Luis Caires

Cited by

	All	Since 2019
Citations	4245	1467
h-index	33	18
i10-index	52	25

280

140

210

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202423 60 74 124 104 139 150 161 144 152 135 180 141 201 221 280 215 203 274 219 243 269 233 227

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Bernardo ToninhoUniversidade Nova de LisboaVerified email at fct.unl.pt
Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
Joao Costa SecoNOVA LINCS - Universidade Nova de LisboaVerified email at fct.unl.pt
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Pierre-Malo DeniélouGoogle IncVerified email at denielou.pm
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
Hans HüttelAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
Luísa LourençoDepartamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de LisboaVerified email at campus.fct.unl.pt
Marco CarboneAssociate Professor, IT University of CopenhagenVerified email at itu.dk
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Roberto BruniUniversity of PisaVerified email at di.unipi.it

Luis Caires

Professor of Computer Science, Instituto Superior Técnico, Universidade de Lisboa

Verified email at tecnico.ulisboa.pt - Homepage

Programming Languages Concurrent and Distributed Computing Logic and Types Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Session types as intuitionistic linear propositions L Caires, F Pfenning CONCUR 2010-Concurrency Theory, 222-236, 2010	491	2010
Foundations of Session Types and Behavioural Contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...	306*
A spatial logic for concurrency (part I) L Caires, L Cardelli Information and Computation 186 (2), 194-235, 2003	277	2003
SCC: a service centered calculus M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ... Web services and formal methods, 38-57, 2006	208	2006
Linear Logic Propositions as Session Types L Caires, F Pfenning, B Toninho	187	2016
A spatial logic for concurrency (part I) L Caires, L Cardelli Theoretical Aspects of Computer Software, 1-37, 2001	169	2001
Higher-Order Processes, Functions, and Sessions: A Monadic Integration B Toninho, L Caires, F Pfenning 22nd Symposium on Programming Languages and Systems ESOP, 2013	162	2013
A basic model of typed components J Seco, L Caires ECOOP 2000—Object-Oriented Programming, 108-128, 2000	153	2000
The conversation calculus: A model of service-oriented computation HT Vieira, L Caires, JC Seco 17th Symposium on Programming languages and Systems ESOP, 269-283, 2008	147	2008
Dependent session types via intuitionistic linear type theory B Toninho, L Caires, F Pfenning Proc. of PPDP 11, 161-172, 2011	135	2011
A spatial logic for concurrency (part II) L Caires, L Cardelli CONCUR 2002—Concurrency Theory, 163-199, 2002	124	2002
Conversation types L Caires, HT Vieira Theoretical Computer Science 411 (51), 4399-4440, 2010	99	2010
Behavioral and spatial observations in a logic for the π-calculus L Caires Foundations of Software Science and Computation Structures, 72-89, 2004	98	2004
Behavioral Polymorphism and Parametricity in Session-Based Communication L Caires, JA Pérez, F Pfenning, B Toninho 22nd Symposium on Programming Languages and Systems ESOP, 2013	97	2013
A spatial logic for concurrency--II L Caires, L Cardelli Theoretical Computer Science 322 (3), 517-565, 2004	96	2004
Conversation types L Caires, H Vieira 18th Symposium on Programming Languages and Systems ESOP, 285-300, 2009	85	2009
Dependent information flow types L Lourenço, L Caires Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	82	2015
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication H DeYoung, L Caires, F Pfenning, B Toninho Computer Science Logic 2012, 3675, 2012	74	2012
Linear logical relations for session-based concurrency JA Pérez, L Caires, F Pfenning, B Toninho Programming Languages and Systems: 21st European Symposium on Programming …, 2012	74	2012
Linear logical relations and observational equivalences for session-based concurrency JA Pérez, L Caires, F Pfenning, B Toninho Information and Computation 239, 254-302, 2014	69	2014

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