Luis Caires

Cited by

	All	Since 2016
Citations	3332	1306
h-index	31	18
i10-index	48	27

300

150

225

20012002200320042005200620072008200920102011201220132014201520162017201820192020202123 48 69 122 83 143 153 158 141 147 140 169 136 187 244 292 215 231 286 248 34

Co-authors

Hugo Torres VieiraUniversidade da Beira InteriorVerified email at ubi.pt
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
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
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
Pierre-Malo DeniélouGoogle IncVerified email at denielou.pm
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Luísa LourençoDepartamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de LisboaVerified email at campus.fct.unl.pt
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Hans HüttelAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
Marco CarboneAssociate Professor, IT University of CopenhagenVerified email at itu.dk

Luis Caires

Professor of Computer Science, Universidade Nova de Lisboa

Verified email at fct.unl.pt - Homepage

Software Construction Programming Languages Concurrency Trustworthy Computing Software Verification


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	360	2010
A spatial logic for concurrency (part I) L Caires, L Cardelli Information and Computation 186 (2), 194-235, 2003	252	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
Foundations of Session Types and Behavioural Contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...	177*
A spatial logic for concurrency (part I) L Caires, L Cardelli Theoretical Aspects of Computer Software, 1-37, 2001	154	2001
A basic model of typed components J Seco, L Caires ECOOP 2000—Object-Oriented Programming, 108-128, 2000	147	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	144	2008
A spatial logic for concurrency (part II) L Caires, L Cardelli CONCUR 2002—Concurrency Theory, 163-199, 2002	117	2002
Higher-Order Processes, Functions, and Sessions: A Monadic Integration B Toninho, L Caires, F Pfenning 22nd Symposium on Programming Languages and Systems ESOP, 2013	105	2013
Linear Logic Propositions as Session Types L Caires, F Pfenning, B Toninho	103	2016
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	89	2004
Dependent session types via intuitionistic linear type theory B Toninho, L Caires, F Pfenning Proc. of PPDP 11, 161-172, 2011	85	2011
Conversation types L Caires, HT Vieira Theoretical Computer Science 411 (51-52), 4399-4440, 2010	82	2010
Conversation types L Caires, HT Vieira Theoretical Computer Science 411 (51), 4399-4440, 2010	82	2010
Conversation types L Caires, H Vieira 18th Symposium on Programming Languages and Systems ESOP, 285-300, 2009	77	2009
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	69	2013
Dependent information flow types L Lourenço, L Caires Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	63	2015
Linear logical relations for session-based concurrency JA Pérez, L Caires, F Pfenning, B Toninho European Symposium on Programming, 539-558, 2012	58	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	55	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

Upload PDF

Follow this author

Cited by

Co-authors