Luis Caires

Citée par

	Toutes	Depuis 2020
Citations	4340	1295
indice h	33	18
indice i10	55	25

300

150

225

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202523 60 74 127 102 140 149 161 144 152 136 179 141 201 221 285 211 206 272 219 245 273 227 289 41

Accès public

Tout afficher

8 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Bernardo ToninhoUniversidade Nova de LisboaAdresse e-mail validée de fct.unl.pt
Hugo Torres VieiraEvidence SrlAdresse e-mail validée de evidence.eu.com
Joao Costa SecoNOVA LINCS - Universidade Nova de LisboaAdresse e-mail validée de fct.unl.pt
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaAdresse e-mail validée de di.fc.ul.pt
Jorge A. PérezAssociate Professor, University of GroningenAdresse e-mail validée de rug.nl
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonAdresse e-mail validée de fct.unl.pt
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaAdresse e-mail validée de cs.unibo.it
Luca CardelliUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
Ivan LaneseUniversity of BolognaAdresse e-mail validée de unibo.it
Pierre-Malo DeniélouGoogle IncAdresse e-mail validée de denielou.pm
Emilio TuostoGran Sasso Science InstituteAdresse e-mail validée de gssi.it
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Rocco De NicolaProfessor of Computer Science, IMT LuccaAdresse e-mail validée de imtlucca.it
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoAdresse e-mail validée de unicam.it
Hans HüttelAssociate Professor, Aalborg UniversityAdresse e-mail validée de cs.aau.dk
Marco CarboneAssociate Professor, IT University of CopenhagenAdresse e-mail validée de itu.dk
Luca PadovaniUniversità di BolognaAdresse e-mail validée de unibo.it
Luísa LourençoDepartamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de LisboaAdresse e-mail validée de campus.fct.unl.pt
Davide SangiorgiProfessor of Computer Science, University of BolognaAdresse e-mail validée de cs.unibo.it

Suivre

Luis Caires

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

Adresse e-mail validée de tecnico.ulisboa.pt - Page d'accueil

Programming Languages Concurrent and Distributed Computing Logic and Types Security


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Session types as intuitionistic linear propositions L Caires, F Pfenning CONCUR 2010-Concurrency Theory, 222-236, 2010	503	2010
Foundations of Session Types and Behavioural Contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...	319*
A spatial logic for concurrency (part I) L Caires, L Cardelli Information and Computation 186 (2), 194-235, 2003	279	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	193	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	165	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	149	2008
Dependent session types via intuitionistic linear type theory B Toninho, L Caires, F Pfenning Proc. of PPDP 11, 161-172, 2011	136	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	101	2013
Conversation types L Caires, HT Vieira Theoretical Computer Science 411 (51), 4399-4440, 2010	101	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	86	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	79	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	78	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	74	2014

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs