Ugo Dal Lago

Cited by

	All	Since 2018
Citations	3054	1498
h-index	32	22
i10-index	77	51

340

170

255

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 18 32 47 61 57 73 69 72 87 116 89 191 195 159 218 184 283 222 333 313 162

Public access

View all

34 articles

1 article

available

not available

Based on funding mandates

Co-authors

Francesco GavazzoAssistant Professor at University of PisaVerified email at unipi.it
Beniamino AccattoliInria & École PolytechniqueVerified email at inria.fr
Martin AvanziniUniversity of InnsbruckVerified email at uibk.ac.at
Margherita ZorziUniversità degli Studi di VeronaVerified email at univr.it
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
Paolo PistoneVerified email at uniroma3.it
Charles GrelloisBordeaux INPVerified email at bordeaux-inp.fr
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Gabriele PuppisDept. of Mathematics, Computer Science, and PhysicsVerified email at uniud.it
Marco PistoreDirector, Digital Society Center, Fondazione Bruno Kessler, ItalyVerified email at fbk.eu
Marco GaboardiBoston UniversityVerified email at bu.edu
Paolo CoppolaAssociate Professor of Computer Science, University of UdineVerified email at uniud.it
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoVerified email at fbk.eu
Andrea MasiniDept. Computer Science, University of VeronaVerified email at univr.it
Ichiro HasuoProfessor of Computer Science, National Institute of InformaticsVerified email at acm.org
Paolo Di GiamberardinoPost-doc fellow, Dipartimento di Matematica ed Informatica, Università di CagliariVerified email at unica.it
Georg MoserProfessor for Computer Science, University of InnsbruckVerified email at uibk.ac.at
Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk
Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu

Ugo Dal Lago

University of Bologna and INRIA Sophia Antipolis

Verified email at cs.unibo.it - Homepage

Programming Language Theory Implicit Computational Complexity Quantum Computing Probabilistic Programming Cryptography


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Planning with a Language for Extended Goals. U Dal Lago, M Pistore, P Traverso AAAI/IAAI, 447-454, 2002	197	2002
Linear Dependent Types and Relative Completeness M Gaboardi, U Dal Lago Logical Methods in Computer Science 8, 2012	139*	2012
A lambda-calculus foundation for universal probabilistic programming J Borgström, U Dal Lago, AD Gordon, M Szymczak ICFP 2016 51 (9), 33-46, 2016	112	2016
Probabilistic Operational Semantics for the Lambda Calculus U Dal Lago, M Zorzi RAIRO-Theoretical Informatics and Applications, 2012, 2011	99	2011
Beta reduction is invariant, indeed B Accattoli, U Dal Lago Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014	87	2014
The weak lambda calculus as a reasonable machine U Dal Lago, S Martini Theoretical Computer Science 398 (1-3), 32-50, 2008	79*	2008
Analysing the complexity of functional programs: higher-order meets first-order M Avanzini, U Dal Lago, G Moser ICFP 2015, 152-164, 2015	74	2015
On constructor rewrite systems and the lambda-calculus U Dal Lago, S Martini ICALP 2009, 163-174, 2009	71	2009
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs U Dal Lago, D Sangiorgi, M Alberti POPL 2014, 297-308, 2014	70	2014
On probabilistic applicative bisimulation and call-by-value λ-calculi R Crubillé, U Dal Lago ESOP 2014, 209-228, 2014	67	2014
Context semantics, linear logic, and computational complexity U Dal Lago ACM Transactions on Computational Logic (TOCL) 10 (4), 25, 2009	67*	2009
On the invariance of the unitary cost model for head reduction B Accattoli, U Dal Lago RTA 2012, 2012	66	2012
Realizability models and implicit complexity U Dal Lago, M Hofmann Theoretical Computer Science 412 (20), 2029-2047, 2011	66*	2011
Effectful applicative bisimilarity: Monads, relators, and Howe's method U Dal Lago, F Gavazzo, PB Levy 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017	58	2017
Bounded linear logic, revisited U Dal Lago, M Hofmann TLCA 2009, 80-94, 2009	57	2009
The Geometry of Linear Higher-Order Recursion U Dal Lago TOCL 10 (2), 8, 2009	57*	2009
The Geometry of Types U Dal Lago, B Petit POPL 2013, 167-178, 2013	56	2013
Light logics and the call-by-value lambda calculus P Coppola, U Dal Lago, SR Della Rocca Logical Methods in Computer Science, 2008	53*	2008
Extending PDDL to nondeterminism, limited sensing and iterative conditional plans P Bertoli, A Cimatti, U Dal Lago, M Pistore ICAPS workshop on pddl, informal proceedings, 15-24, 2003	52	2003
On probabilistic term rewriting M Avanzini, U Dal Lago, A Yamada Science of Computer Programming 185, 102338, 2020	47	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors