Luis Caires

Cited by

	All	Since 2018
Citations	4042	1482
h-index	33	18
i10-index	51	24

300

150

225

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202324 59 73 124 100 137 148 163 138 153 134 170 143 199 225 286 224 203 292 216 250 292 229

Public access

View all

9 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
Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
Bernardo ToninhoUniversidade Nova de LisboaVerified email at fct.unl.pt
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
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Pierre-Malo DeniélouGoogle IncVerified email at denielou.pm
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
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
Luca PadovaniVerified email at unicam.it
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.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	465	2010
Foundations of Session Types and Behavioural Contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...	282*
A spatial logic for concurrency (part I) L Caires, L Cardelli Information and Computation 186 (2), 194-235, 2003	272	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	204	2006
Linear Logic Propositions as Session Types L Caires, F Pfenning, B Toninho	171	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	154	2013
A basic model of typed components J Seco, L Caires ECOOP 2000—Object-Oriented Programming, 108-128, 2000	152	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	146	2008
A spatial logic for concurrency (part II) L Caires, L Cardelli CONCUR 2002—Concurrency Theory, 163-199, 2002	125	2002
Dependent session types via intuitionistic linear type theory B Toninho, L Caires, F Pfenning Proc. of PPDP 11, 161-172, 2011	122	2011
Behavioral and spatial observations in a logic for the π-calculus L Caires Foundations of Software Science and Computation Structures, 72-89, 2004	99	2004
A spatial logic for concurrency--II L Caires, L Cardelli Theoretical Computer Science 322 (3), 517-565, 2004	95	2004
Conversation types L Caires, HT Vieira Theoretical Computer Science 411 (51-52), 4399-4440, 2010	94	2010
Conversation types L Caires, HT Vieira Theoretical Computer Science 411 (51), 4399-4440, 2010	94	2010
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	91	2013
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	78	2015
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	73	2012
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication H DeYoung, L Caires, F Pfenning, B Toninho Computer Science Logic 2012, 3675, 2012	66	2012

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