Ugo Dal Lago

Cited by

	All	Since 2017
Citations	2829	1494
h-index	31	22
i10-index	71	50

340

170

255

2002200320042005200620072008200920102011201220132014201520162017201820192020202120228 21 32 47 69 55 75 69 65 92 113 93 181 191 165 223 180 283 266 333 206

Public access

View all

33 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Francesco GavazzoUniversity of BolognaVerified email at unibo.it
Martin AvanziniUniversity of InnsbruckVerified email at uibk.ac.at
Margherita ZorziUniversità degli Studi di VeronaVerified email at univr.it
Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
Charles GrelloisUniversité Aix-MarseilleVerified email at univ-amu.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 PistoreResearch Director, Service Oriented Applications, Fondazione Bruno Kessler, ItalyVerified email at fbk.eu
Paolo CoppolaAssociate Professor of Computer Science, University of UdineVerified email at uniud.it
Marco GaboardiBoston UniversityVerified email at bu.edu
Ulrich Schöppfortiss GmbHVerified email at ulrichschoepp.de
Paolo Di GiamberardinoPost-doc fellow, Dipartimento di Matematica ed Informatica, Università di CagliariVerified email at unica.it
Ichiro HasuoProfessor of Computer Science, National Institute of InformaticsVerified email at acm.org
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoVerified email at fbk.eu
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
Akihisa YamadaNational Institute of Advanced Industrial Science and Technology (AIST), JapanVerified email at aist.go.jp
Andrew D GordonMicrosoft Research and University of EdinburghVerified email at microsoft.com
Johannes BorgströmDocent in computing science, Uppsala UniversityVerified email at it.uu.se
Alessandro CimattiHead of Unit, Fondazione Bruno KesslerVerified email at fbk.eu

Ugo Dal Lago

Professor of Computer Science, University of Bologna

Verified email at cs.unibo.it - Homepage

Programming Languages Implicit Computational Complexity Quantum Computation Probabilistic Computation 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	193	2002
Linear Dependent Types and Relative Completeness M Gaboardi, U Dal Lago Logical Methods in Computer Science 8, 2012	132*	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	99	2016
Probabilistic Operational Semantics for the Lambda Calculus U Dal Lago, M Zorzi RAIRO-Theoretical Informatics and Applications, 2012, 2011	94	2011
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed UD Lago, B Accattoli Logical Methods in Computer Science 12, 2016	85*	2016
The weak lambda calculus as a reasonable machine U Dal Lago, S Martini Theoretical Computer Science 398 (1-3), 32-50, 2008	77*	2008
On constructor rewrite systems and the lambda-calculus U Dal Lago, S Martini ICALP 2009, 163-174, 2009	73*	2009
Analysing the complexity of functional programs: higher-order meets first-order M Avanzini, U Dal Lago, G Moser ICFP 2015, 152-164, 2015	72	2015
Context semantics, linear logic, and computational complexity U Dal Lago ACM Transactions on Computational Logic (TOCL) 10 (4), 25, 2009	68*	2009
Realizability models and implicit complexity U Dal Lago, M Hofmann Theoretical Computer Science 412 (20), 2029-2047, 2011	66*	2011
On the invariance of the unitary cost model for head reduction B Accattoli, U Dal Lago RTA 2012, 2012	64	2012
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs U Dal Lago, D Sangiorgi, M Alberti POPL 2014, 297-308, 2014	61	2014
On probabilistic applicative bisimulation and call-by-value λ-calculi R Crubillé, U Dal Lago ESOP 2014, 209-228, 2014	60	2014
The Geometry of Linear Higher-Order Recursion U Dal Lago TOCL 10 (2), 8, 2009	56*	2009
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	53*	2009
Functional programming in sublinear space U Dal Lago, U Schöpp ESOP 2010, 205-225, 2010	49*	2010
Light logics and the call-by-value lambda calculus P Coppola, U Dal Lago, SR Della Rocca Logical Methods in Computer Science, 2008	49*	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	49	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