Statistics
Publications
7
Citations
643
H-Index
7
Active since
1996
Affiliations
Lars Pareto is an author at Chalmers University of Technology specializing in computer science, computing, and agile software development.
Publications per year
1996–2015
7
7
Proving the correctness of reactive systems using sized types
John Hughes, Lars Pareto, Amr Sabry · 1996 · 314 citations · Full text
Recursion and dynamic data-structures in bounded space
John Hughes, Lars Pareto · 1999 · 123 citations
Enablers and inhibitors for speed with reuse
Antonio Martini, Lars Pareto, Jan Bosch · 2012 · 26 citations
Management, Project Management, Business Process Management +16
1–5 of 7