Ugo Dal Lago

Cited by

	All	Since 2018
Citations	2956	1401
h-index	32	21
i10-index	74	45

360

180

270

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 18 32 47 61 57 73 69 72 87 116 89 190 195 160 218 184 284 224 345 313 50

Public access

View all

35 articles

0 articles

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
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Charles GrelloisBordeaux INPVerified email at bordeaux-inp.fr
Ulrich Schöppfortiss GmbHVerified email at ulrichschoepp.de
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
Paolo PistoneVerified email at uniroma3.it
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

Ugo Dal Lago

Professor of Computer Science, University of Bologna

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	135*	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	106	2016
Probabilistic Operational Semantics for the Lambda Calculus U Dal Lago, M Zorzi RAIRO-Theoretical Informatics and Applications, 2012, 2011	96	2011
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed UD Lago, B Accattoli Logical Methods in Computer Science 12, 2016	86*	2016
The weak lambda calculus as a reasonable machine U Dal Lago, S Martini Theoretical Computer Science 398 (1-3), 32-50, 2008	78*	2008
Analysing the complexity of functional programs: higher-order meets first-order M Avanzini, U Dal Lago, G Moser ICFP 2015, 152-164, 2015	71	2015
On constructor rewrite systems and the lambda-calculus U Dal Lago, S Martini ICALP 2009, 163-174, 2009	70	2009
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs U Dal Lago, D Sangiorgi, M Alberti POPL 2014, 297-308, 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 probabilistic applicative bisimulation and call-by-value λ-calculi R Crubillé, U Dal Lago ESOP 2014, 209-228, 2014	65	2014
On the invariance of the unitary cost model for head reduction B Accattoli, U Dal Lago RTA 2012, 2012	65	2012
Realizability models and implicit complexity U Dal Lago, M Hofmann Theoretical Computer Science 412 (20), 2029-2047, 2011	65*	2011
The Geometry of Linear Higher-Order Recursion U Dal Lago TOCL 10 (2), 8, 2009	57*	2009
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	54	2017
The Geometry of Types U Dal Lago, B Petit POPL 2013, 167-178, 2013	54	2013
Bounded linear logic, revisited U Dal Lago, M Hofmann TLCA 2009, 80-94, 2009	54	2009
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	50*	2008
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	47	2017

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