Luís Caires

发表

Luca Cardelli, Luís Caires, Luís Caires, 2002, CONCUR.
Rocco De Nicola, Gianluigi Zavattaro, Vasco Thudichum Vasconcelos, 2011, Results of the SENSORIA Project.
José Júlio Alferes, Luís Moniz Pereira, Luís Caires, 1992, ELP.
João Costa Seco, Luís Caires, 2002 .
Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, 2011 .
Vasco Thudichum Vasconcelos, Luís Caires, 2010, Inf. Comput..
Bernardo Toninho, Frank Pfenning, Luís Caires, 2013, ESOP.
Luca Cardelli, Luís Caires, L. Cardelli, 2004, Theor. Comput. Sci..
Hugo Torres Vieira, Luís Caires, 2006, EXPRESS.
Jonathan Aldrich, Luís Caires, Filipe Militão, 2010, FTfJP@ECOOP.
Luís Caires, Mário Pires, Luís Caires, 2010, ARSPA-WITS.
Luís Monteiro, Luís Caires, 1997, ALP/HOA.
João Costa Seco, Hugo Torres Vieira, Luís Caires, 2011, ESOP.
Luís Caires, Luís Caires, 2008, Bull. EATCS.
Roberto Bruni, Ivan Lanese, Rocco De Nicola, 2006, WS-FM.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2013, ESOP.
João Costa Seco, Luís Caires, 2000, ECOOP.
Ivan Lanese, Davide Sangiorgi, Massimo Bartoletti, 2011, Results of the SENSORIA Project.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2019, ArXiv.
João Costa Seco, Luís Caires, 2013, POPL.
Luca Cardelli, Luís Caires, Luís Caires, 2003, Inf. Comput..
Luís Monteiro, Luís Caires, 1994, ICLP.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2016, Math. Struct. Comput. Sci..
Luca Cardelli, Luís Caires, 2001, TACS.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2012, TLDI '12.
João Costa Seco, Luís Caires, 2006, ESOP.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2014, Inf. Comput..
João Costa Seco, Hugo Torres Vieira, Luís Caires, 2007 .
Jonathan Aldrich, Luís Caires, Filipe Militão, 2014, PLPV '14.
Ivan Lanese, Emilio Tuosto, Luca Padovani, 2016, ACM Comput. Surv..
Frank Pfenning, Luís Caires, F. Pfenning, 2010, CONCUR.
João Costa Seco, Luís Caires, 2005, ESOP.
Christel Baier, Luís Caires, Luís Caires, 2018, Lecture Notes in Computer Science.
Hugo Torres Vieira, Luís Caires, Carla Ferreira, 2009, TGC.
Hugo Torres Vieira, Luís Caires, Luís Caires, 2009 .
Luís Caires, José A. S. Alegria, Artur M. Dias, 1989, ICLP.
João Costa Seco, Hugo Torres Vieira, Luís Caires, 2007 .
Jonathan Aldrich, Luís Caires, Filipe Militão, 2014, ECOOP.
Jonathan Aldrich, Luís Caires, Filipe Militão, 2016, ECOOP.
Vasco Thudichum Vasconcelos, Hugo Torres Vieira, Luís Caires, 2012, TGC.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2014, TGC.
Bernardo Toninho, Luís Caires, Luís Caires, 2010, SecCo.
Hugo Torres Vieira, Luís Caires, David Tavares Sousa, 2007 .
Hugo Torres Vieira, Luís Caires, Luís Caires, 2009, Theor. Comput. Sci..
Bernardo Toninho, Frank Pfenning, Luís Caires, 2012, CSL.
Luís Caires, Étienne Lozes, 2006, Theor. Comput. Sci..
Luís Caires, Jorge A. Pérez, Luís Caires, 2017, ESOP.
Luís Monteiro, Luís Caires, Luís Caires, 1998, ESOP.
Hugo Torres Vieira, Luís Caires, 2004 .
João Costa Seco, Hugo Torres Vieira, Luís Caires, 2008, ESOP.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2011, PPDP.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2012, FoSSaCS.
João Costa Seco, Luís Caires, 2000 .
Bernardo Toninho, Frank Pfenning, Luís Caires, 2011, CPP.
Luís Caires, Luís Caires, 2007, CALCO.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2012, ESOP.
Luís Caires, Luísa Lourenço, Luís Caires, 2013, TGC.
António Ravara, Luís Caires, Carla Ferreira, 2010, PSPL@LICS.
Luís Caires, Luísa Lourenço, Luís Caires, 2015, POPL.
Hugo Torres Vieira, Luís Caires, 2009, ESOP.
Luís Caires, Étienne Lozes, Luís Caires, 2006, Theor. Comput. Sci..
Bernardo Toninho, Frank Pfenning, Luís Caires, 2013 .
Bernardo Toninho, Frank Pfenning, Luís Caires, 2021, PPDP.
Luís Caires, Pedro Rocha, 2021, Proc. ACM Program. Lang..