skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
previous page 1 2 Resultados 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
21
Reversibility and Durability as Potential Indicators for Circular Building Technologies
Reversibility and Durability as Potential Indicators for Circular Building Technologies
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reversibility and Durability as Potential Indicators for Circular Building Technologies

Antonini, Ernesto ; Boeri, Andrea ; Lauria, Massimo ; Giglio, Francesca

Sustainability (Basel, Switzerland), 2020-09, Vol.12 (18), p.7659 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
22
A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem
A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem

Lauria, Massimo

ACM transactions on computation theory, 2016-07, Vol.8 (4), p.1-13 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
23
Verification and generation of unrefinable partitions
Verification and generation of unrefinable partitions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verification and generation of unrefinable partitions

Aragona, Riccardo ; Campioni, Lorenzo ; Civino, Roberto ; Lauria, Massimo

Information processing letters, 2023-03, Vol.181, p.106361, Article 106361 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
24
TEMPO E ARCHITETTURA
TEMPO E ARCHITETTURA
Material Type:
Artigo 		Adicionar ao Meu Espaço

TEMPO E ARCHITETTURA

Lauria, Massimo ; Pollo, Riccardo

Techne (Florence, Italy : 2011), 2020-01, Vol.20, p.16-22 [Periódico revisado por pares]

Florence: Firenze University Press

Texto completo disponível

Citações Citado por
25
Il progetto dell'esistente 2.0/The Built Environment Plan 2.0
Il progetto dell'esistente 2.0/The Built Environment Plan 2.0
Material Type:
Artigo 		Adicionar ao Meu Espaço

Il progetto dell'esistente 2.0/The Built Environment Plan 2.0

Lauria, Massimo

Techne (Florence, Italy : 2011), 2016-07, Vol.12, p.82 [Periódico revisado por pares]

Florence: Firenze University Press

Texto completo disponível

Citações Citado por
26
Progetto e manutenibilità nell'era di Industria 4.0
Progetto e manutenibilità nell'era di Industria 4.0
Material Type:
Artigo 		Adicionar ao Meu Espaço

Progetto e manutenibilità nell'era di Industria 4.0

Lauria, Massimo ; Azzalin, Maria

Techne (Florence, Italy : 2011), 2019-01, Vol.18, p.184-190 [Periódico revisado por pares]

Florence: Firenze University Press

Texto completo disponível

Citações Citado por
27
Narrow Proofs May Be Maximally Long
Narrow Proofs May Be Maximally Long
Material Type:
Artigo 		Adicionar ao Meu Espaço

Narrow Proofs May Be Maximally Long

Atserias, Albert ; Lauria, Massimo ; Nordström, Jakob

ACM transactions on computational logic, 2016-07, Vol.17 (3), p.1-30 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
28
Tight Size-Degree Bounds for Sums-of-Squares Proofs
Tight Size-Degree Bounds for Sums-of-Squares Proofs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Tight Size-Degree Bounds for Sums-of-Squares Proofs

Lauria, Massimo ; Nordström, Jakob

Computational complexity, 2017-12, Vol.26 (4), p.911-948 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
29
OLTRE LA CULTURA DELLO SCARTO, VERSO PROCESSI CIRCOLARI
OLTRE LA CULTURA DELLO SCARTO, VERSO PROCESSI CIRCOLARI
Material Type:
Artigo 		Adicionar ao Meu Espaço

OLTRE LA CULTURA DELLO SCARTO, VERSO PROCESSI CIRCOLARI

Giglio, Francesca ; Lauria, Massimo ; Lucarelli, Maria Teresa

Techne (Florence, Italy : 2011), 2021-01, Vol.22, p.16-21 [Periódico revisado por pares]

Florence: Firenze University Press

Texto completo disponível

Citações Citado por
30
Clique Is Hard on Average for Regular Resolution
Clique Is Hard on Average for Regular Resolution
Material Type:
Artigo 		Adicionar ao Meu Espaço

Clique Is Hard on Average for Regular Resolution

Atserias, Albert ; Bonacina, Ilario ; De Rezende, Susanna F. ; Lauria, Massimo ; Nordström, Jakob ; Razborov, Alexander

Journal of the ACM, 2021-08, Vol.68 (4), p.1-26 [Periódico revisado por pares]

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
previous page 1 2 Resultados 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (62)
  2. Revistas revisadas por pares (47)

Data de Publicação 

De até
Refinar
  1. Antes de2010  (3)
  2. 2010Até2012  (10)
  3. 2013Até2015  (14)
  4. 2016Até2019  (17)
  5. Após 2019  (24)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (66)
  2. Italiano  (8)
  3. Japonês  (1)
  4. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.