Ugo Dal Lago

Cited by

	All	Since 2016
Citations	2427	1287
h-index	28	22
i10-index	64	44

300

150

225

200220032004200520062007200820092010201120122013201420152016201720182019202020217 15 31 46 69 51 68 68 63 91 112 95 184 195 147 237 186 290 280 140

Public access

View all

23 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Martin AvanziniUniversity of InnsbruckVerified email at uibk.ac.at
Margherita ZorziUniversità degli Studi di VeronaVerified email at univr.it
Francesco GavazzoUniversity of BolognaVerified email at unibo.it
Martin HofmannProfessor for Informatics, University of MunichVerified email at ifi.lmu.de
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
Marco PistoreResearch Director, Service Oriented Applications, Fondazione Bruno Kessler, ItalyVerified email at fbk.eu
Gabriele PuppisDept. of Mathematics, Computer Science, and PhysicsVerified email at uniud.it
Marco GaboardiBoston UniversityVerified email at bu.edu
Paolo CoppolaAssociate Professor of Computer Science, University of UdineVerified email at uniud.it
Ulrich SchöppLMU MunichVerified email at tcs.ifi.lmu.de
Ichiro HasuoAssociate Professor 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
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
Akihisa YamadaNational Institute of Advanced Industrial Science and Technology (AIST), JapanVerified email at aist.go.jp
Luca RoversiProfessor of Computer Science, Università di TorinoVerified email at di.unito.it
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

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	189	2002
Linear Dependent Types and Relative Completeness M Gaboardi, U Dal Lago Logical Methods in Computer Science 8, 2012	121*	2012
Probabilistic Operational Semantics for the Lambda Calculus U Dal Lago, M Zorzi RAIRO-Theoretical Informatics and Applications, 2012, 2011	85*	2011
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	80	2016
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed UD Lago, B Accattoli Logical Methods in Computer Science 12, 2016	75*	2016
The weak lambda calculus as a reasonable machine U Dal Lago, S Martini Theoretical Computer Science 398 (1-3), 32-50, 2008	71*	2008
On constructor rewrite systems and the lambda-calculus U Dal Lago, S Martini ICALP 2009, 163-174, 2009	69	2009
Analysing the complexity of functional programs: higher-order meets first-order M Avanzini, U Dal Lago, G Moser ICFP 2015, 152-164, 2015	65	2015
Context semantics, linear logic, and computational complexity U Dal Lago ACM Transactions on Computational Logic (TOCL) 10 (4), 25, 2009	63*	2009
Realizability models and implicit complexity U Dal Lago, M Hofmann Theoretical Computer Science 412 (20), 2029-2047, 2011	62*	2011
On probabilistic applicative bisimulation and call-by-value λ-calculi R Crubillé, U Dal Lago ESOP 2014, 209-228, 2014	55	2014
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs U Dal Lago, D Sangiorgi, M Alberti POPL 2014, 297-308, 2014	55	2014
On the invariance of the unitary cost model for head reduction B Accattoli, U Dal Lago RTA 2012, 2012	54	2012
The Geometry of Linear Higher-Order Recursion U Dal Lago TOCL 10 (2), 8, 2009	53*	2009
The Geometry of Types U Dal Lago, B Petit POPL 2013, 167-178, 2013	46	2013
Bounded linear logic, revisited U Dal Lago, M Hofmann TLCA 2009, 80-94, 2009	46	2009
Light logics and the call-by-value lambda calculus P Coppola, U Dal Lago, SR Della Rocca Logical Methods in Computer Science, 2008	45*	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	44	2003
Functional programming in sublinear space U Dal Lago, U Schöpp ESOP 2010, 205-225, 2010	43	2010
Derivational complexity is an invariant cost model U Dal Lago, S Martini FOPARA 2009, 100-113, 2009	42	2009

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

Upload PDF

Follow this author

Cited by

Co-authors