Luis Caires

Dikutip oleh

	Semua	Sejak 2020
Kutipan	4373	1310
indeks-h	34	18
indeks-i10	55	24

300

150

225

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202524 60 74 131 101 142 150 163 148 152 139 182 138 197 224 293 212 206 269 221 247 281 221 286 53

Akses publik

Lihat semua

8 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
Bernardo ToninhoUniversidade Nova de LisboaEmail yang diverifikasi di fct.unl.pt
Hugo Torres VieiraEvidence SrlEmail yang diverifikasi di evidence.eu.com
Joao Costa SecoNOVA LINCS - Universidade Nova de LisboaEmail yang diverifikasi di fct.unl.pt
Jorge A. PérezAssociate Professor, University of GroningenEmail yang diverifikasi di rug.nl
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaEmail yang diverifikasi di di.fc.ul.pt
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonEmail yang diverifikasi di fct.unl.pt
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaEmail yang diverifikasi di cs.unibo.it
Luca CardelliUniversity of OxfordEmail yang diverifikasi di cs.ox.ac.uk
Ivan LaneseUniversity of BolognaEmail yang diverifikasi di unibo.it
Pierre-Malo DeniélouGoogle IncEmail yang diverifikasi di denielou.pm
Emilio TuostoGran Sasso Science InstituteEmail yang diverifikasi di gssi.it
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
Rocco De NicolaProfessor of Computer Science, IMT LuccaEmail yang diverifikasi di imtlucca.it
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoEmail yang diverifikasi di unicam.it
Hans HüttelAssociate Professor, Aalborg UniversityEmail yang diverifikasi di cs.aau.dk
Marco CarboneAssociate Professor, IT University of CopenhagenEmail yang diverifikasi di itu.dk
Luísa LourençoDepartamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de LisboaEmail yang diverifikasi di campus.fct.unl.pt
Davide SangiorgiProfessor of Computer Science, University of BolognaEmail yang diverifikasi di cs.unibo.it
Roberto BruniUniversity of PisaEmail yang diverifikasi di di.unipi.it

Ikuti

Luis Caires

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

Email yang diverifikasi di tecnico.ulisboa.pt - Beranda

Programming Languages Concurrent and Distributed Computing Logic and Types Security


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Session types as intuitionistic linear propositions L Caires, F Pfenning CONCUR 2010-Concurrency Theory, 222-236, 2010	507	2010
Foundations of Session Types and Behavioural Contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...	315*
A spatial logic for concurrency (part I) L Caires, L Cardelli Information and Computation 186 (2), 194-235, 2003	283	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	195	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	155	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	151	2008
Dependent session types via intuitionistic linear type theory B Toninho, L Caires, F Pfenning Proc. of PPDP 11, 161-172, 2011	134	2011
A spatial logic for concurrency (part II) L Caires, L Cardelli CONCUR 2002—Concurrency Theory, 163-199, 2002	125	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	102	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	99	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	87	2009
Dependent information flow types L Lourenço, L Caires Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	81	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	81	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	79	2014
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

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama