Concepedia

Ugo Dal Lago

UD

57

Publications

1.5K

Citations

24

H-Index

2003

Active since

Affiliations

University of Bologna(Current)

Institut national de recherche en sciences et technologies du numérique

École Polytechnique

Université Paris Cité

The University of Tokyo

Ugo Dal Lago is an author at University of Bologna specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningComputational ComplexityFormal VerificationMathematical ProgrammingProgram AnalysisProbabilitySemantics

Publications per year

2003–2022

57

Publications

57

A lambda-calculus foundation for universal probabilistic programming

Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon et al. · 2016 · 87 citations · Full text

Mathematical Programming, Engineering, Probabilistic Computation +17

Probabilistic operational semantics for the lambda calculus

Ugo Dal Lago, Margherita Zorzi · RAIRO - Theoretical Informatics and Applications · 2012 · 81 citations · Full text

Bayesian Decision Theory, Probabilistic Ontology, Engineering +13

LINEAR DEPENDENT TYPES AND RELATIVE COMPLETENESS ˚

Ugo Dal Lago · 2011 · 74 citations

Analysing the complexity of functional programs: higher-order meets first-order

Martin Avanzini, Ugo Dal Lago, Georg Moser · 2015 · 60 citations · Full text

Engineering, Software Engineering, Computational Complexity +16

Linear Dependent Types and Relative Completeness

Ugo Dal Lago, Marco Gaboardi · 2011 · 54 citations

Mathematical Programming, Linear Dependent Types, Dependent Types +15

Rows per page

1–5 of 57