Concepedia

Massimo Lauria

ML

Statistics

Publications

14

Citations

382

H-Index

12

Active since

2002

Affiliations

KTH Royal Institute of Technology(Current)

Sapienza University of Rome

University of Toronto

Czech Academy of Sciences

Universitat Politècnica de Catalunya

Massimo Lauria is an author at KTH Royal Institute of Technology specializing in computer science, mathematics, and theory of computation.

Publications per year

2002–2018

14

Publications

14

Efficient layering for high speed communication: Fast Messages 2.x

Massimo Lauria, Scott Pakin, Andrew A. Chien · 2002 · 70 citations

Computing, Computer Science, High-performance Computing +10

Narrow Proofs May Be Maximally Long

Albert Atserias, Massimo Lauria, Jakob Nordström · ACM Transactions on Computational Logic · 2016 · 54 citations · Full text

Computing, Computer Science, Mathematics +15

Space Complexity in Polynomial Calculus

Massimo Lauria, Jakob Nordström, Noga Ron‐Zewi et al. · SIAM Journal on Computing · 2015 · 37 citations · Full text

Computing, Computer Science, Mathematics +16

From Small Space to Small Width in Resolution

Massimo Lauria, Mladen Mikša, Jakob Nordström et al. · ACM Transactions on Computational Logic · 2015 · 35 citations

Computing, Computer Science, Mathematics +15

Optimality of size-degree tradeoffs for polynomial calculus

Nicola Galesi, Massimo Lauria · ACM Transactions on Computational Logic · 2010 · 31 citations

Computing, Computer Science, Mathematics +13

1–5 of 14