Ugo Dal Lago

Cited by

	All	Since 2019
Citations	3534	1808
h-index	34	25
i10-index	87	58

360

180

270

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202419 33 55 55 56 63 70 74 92 114 89 180 196 165 222 176 284 228 341 321 332 295

Public access

View all

44 articles

1 article

available

not available

Based on funding mandates

Co-authors

Francesco GavazzoAssistant Professor at University of PadovaVerified email at unipd.it
Martin AvanziniCentre Inria d'Université Côte d'AzurVerified email at inria.fr
Beniamino AccattoliInria & École PolytechniqueVerified email at inria.fr
Margherita ZorziUniversità degli Studi di VeronaVerified email at univr.it
Paolo PistoneVerified email at uniroma3.it
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Charles GrelloisUniversity of SheffieldVerified email at sheffield.ac.uk
Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.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
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
Marco GaboardiBoston UniversityVerified email at bu.edu
Ichiro HasuoProfessor of Computer Science, National Institute of InformaticsVerified email at acm.org
Paolo Di GiamberardinoVerified 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
Andrew D GordonCogna and University of EdinburghVerified email at cogna.co

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	202	2002
Linear Dependent Types and Relative Completeness M Gaboardi, U Dal Lago Logical Methods in Computer Science 8, 2012	156*	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	129	2016
Probabilistic Operational Semantics for the Lambda Calculus U Dal Lago, M Zorzi RAIRO-Theoretical Informatics and Applications, 2012, 2011	109	2011
Beta reduction is invariant, indeed B Accattoli, U Dal Lago Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014	92*	2014
The weak lambda calculus as a reasonable machine U Dal Lago, S Martini Theoretical Computer Science 398 (1-3), 32-50, 2008	87*	2008
Analysing the complexity of functional programs: higher-order meets first-order M Avanzini, U Dal Lago, G Moser ICFP 2015, 152-164, 2015	80	2015
On constructor rewrite systems and the lambda-calculus U Dal Lago, S Martini ICALP 2009, 163-174, 2009	78	2009
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs U Dal Lago, D Sangiorgi, M Alberti POPL 2014, 297-308, 2014	73	2014
On probabilistic applicative bisimulation and call-by-value λ-calculi R Crubillé, U Dal Lago ESOP 2014, 209-228, 2014	71	2014
On the invariance of the unitary cost model for head reduction B Accattoli, U Dal Lago RTA 2012, 2012	71	2012
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	69	2017
Realizability models and implicit complexity U Dal Lago, M Hofmann Theoretical Computer Science 412 (20), 2029-2047, 2011	69*	2011
Context semantics, linear logic, and computational complexity U Dal Lago ACM Transactions on Computational Logic (TOCL) 10 (4), 25, 2009	65*	2009
Bounded linear logic, revisited U Dal Lago, M Hofmann TLCA 2009, 80-94, 2009	61	2009
The Geometry of Linear Higher-Order Recursion U Dal Lago TOCL 10 (2), 8, 2009	58*	2009
The Geometry of Types U Dal Lago, B Petit POPL 2013, 167-178, 2013	55	2013
The geometry of parallelism: classical, probabilistic, and quantum effects U Dal Lago, C Faggian, B Valiron, A Yoshimizu ACM SIGPLAN Notices 52 (1), 833-845, 2017	54	2017
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
Light logics and the call-by-value lambda calculus P Coppola, U Dal Lago, SR Della Rocca Logical Methods in Computer Science, 2008	51*	2008

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