Luis Caires

Citado por

	Total	Desde 2019
Citas	4290	1512
Índice h	33	18
Índice i10	53	27

300

150

225

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202423 60 74 124 104 139 150 161 144 152 135 180 141 201 221 282 214 203 274 219 244 269 234 270

Acceso público

Ver todo

8 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Bernardo ToninhoUniversidade Nova de LisboaDirección de correo verificada de fct.unl.pt
Hugo Torres VieiraEvidence SrlDirección de correo verificada de evidence.eu.com
Joao Costa SecoNOVA LINCS - Universidade Nova de LisboaDirección de correo verificada de fct.unl.pt
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaDirección de correo verificada de di.fc.ul.pt
Jorge A. PérezAssociate Professor, University of GroningenDirección de correo verificada de rug.nl
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonDirección de correo verificada de fct.unl.pt
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaDirección de correo verificada de cs.unibo.it
Luca CardelliUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
Ivan LaneseUniversity of BolognaDirección de correo verificada de unibo.it
Pierre-Malo DeniélouGoogle IncDirección de correo verificada de denielou.pm
Emilio TuostoGran Sasso Science InstituteDirección de correo verificada de gssi.it
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Rocco De NicolaProfessor of Computer Science, IMT LuccaDirección de correo verificada de imtlucca.it
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoDirección de correo verificada de unicam.it
Hans HüttelAssociate Professor, Aalborg UniversityDirección de correo verificada de cs.aau.dk
Marco CarboneAssociate Professor, IT University of CopenhagenDirección de correo verificada de itu.dk
Luca PadovaniUniversità di BolognaDirección de correo verificada de unibo.it
Luísa LourençoDepartamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de LisboaDirección de correo verificada de campus.fct.unl.pt
Davide SangiorgiProfessor of Computer Science, University of BolognaDirección de correo verificada de cs.unibo.it

Seguir

Luis Caires

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

Dirección de correo verificada de tecnico.ulisboa.pt - Página principal

Programming Languages Concurrent and Distributed Computing Logic and Types Security


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Session types as intuitionistic linear propositions L Caires, F Pfenning CONCUR 2010-Concurrency Theory, 222-236, 2010	497	2010
Foundations of Session Types and Behavioural Contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...	308*
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	210	2006
Linear Logic Propositions as Session Types L Caires, F Pfenning, B Toninho	189	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	164	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	148	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
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	99	2013
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
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	77	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	75	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	71	2014

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores