Luis Caires

Cited by

	All	Since 2018
Citations	3975	1384
h-index	34	18
i10-index	52	26

320

160

240

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202323 52 75 120 114 134 155 164 139 147 127 189 140 207 231 294 224 208 301 217 262 287 109

Public access

View all

7 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
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
Luísa LourençoDepartamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de LisboaVerified email at campus.fct.unl.pt
Hans HüttelAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
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, Universidade Nova de Lisboa

Verified email at fct.unl.pt - Homepage

Programming Languages Concurrency Logic and Type Theory Software Verification Language-based 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	451	2010
A spatial logic for concurrency (part I) L Caires, L Cardelli Information and Computation 186 (2), 194-235, 2003	273	2003
Foundations of Session Types and Behavioural Contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...	262*
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
A spatial logic for concurrency (part I) L Caires, L Cardelli Theoretical Aspects of Computer Software, 1-37, 2001	166	2001
Linear Logic Propositions as Session Types L Caires, F Pfenning, B Toninho	162	2016
A basic model of typed components J Seco, L Caires ECOOP 2000—Object-Oriented Programming, 108-128, 2000	152	2000
Higher-Order Processes, Functions, and Sessions: A Monadic Integration B Toninho, L Caires, F Pfenning 22nd Symposium on Programming Languages and Systems ESOP, 2013	147	2013
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	145	2008
A spatial logic for concurrency (part II) L Caires, L Cardelli CONCUR 2002—Concurrency Theory, 163-199, 2002	126	2002
Dependent session types via intuitionistic linear type theory B Toninho, L Caires, F Pfenning Proc. of PPDP 11, 161-172, 2011	116	2011
Behavioral and spatial observations in a logic for the π-calculus L Caires Foundations of Software Science and Computation Structures, 72-89, 2004	100	2004
A spatial logic for concurrency--II L Caires, L Cardelli Theoretical Computer Science 322 (3), 517-565, 2004	96	2004
Conversation types L Caires, HT Vieira Theoretical Computer Science 411 (51-52), 4399-4440, 2010	90	2010
Conversation types L Caires, HT Vieira Theoretical Computer Science 411 (51), 4399-4440, 2010	90	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	88	2013
Conversation types L Caires, H Vieira 18th Symposium on Programming Languages and Systems ESOP, 285-300, 2009	86	2009
Dependent information flow types L Lourenço, L Caires Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	79	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	72	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	69	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