Luís Caires

发表

Rocco De Nicola, Gianluigi Zavattaro, Vasco Thudichum Vasconcelos, 2011, Results of the SENSORIA Project.
João Costa Seco, Hugo Torres Vieira, Luís Caires, 2007 .
Luís Caires, Luís Caires, 2007, CALCO.
Ivan Lanese, Davide Sangiorgi, Massimo Bartoletti, 2011, Results of the SENSORIA Project.
Luís Caires, H. Vieira, D. Sousa, 2007 .
Luís Caires, Luís Monteiro, 1998 .
Luís Caires, Filipe Militão, Jonathan Aldrich, 2015 .
Vasco Thudichum Vasconcelos, Hugo Torres Vieira, Luís Caires, 2012, TGC.
Luca Cardelli, Luís Caires, L. Cardelli, 2004, Theor. Comput. Sci..
Luís Monteiro, Luís Caires, Luís Caires, 1998, ESOP.
Ivan Lanese, Emilio Tuosto, Luca Padovani, 2016, ACM Comput. Surv..
Luís Caires, Jorge A. Pérez, Luís Caires, 2017, ESOP.
Bernardo Toninho, Lu'is Caires, Luís Caires, 2019, Proc. ACM Program. Lang..
Bernardo Toninho, Frank Pfenning, Luís Caires, 2011, PPDP.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2013, ESOP.
Bernardo Toninho, Frank Pfenning, Jorge A. Pérez, 2010 .
Hugo Torres Vieira, Luís Caires, Luís Caires, 2009, Theor. Comput. Sci..
João Costa Seco, Hugo Torres Vieira, Luís Caires, 2008, ESOP.
Luís Caires, Mário Pires, Luís Caires, 2010, ARSPA-WITS.
Hugo Torres Vieira, Luís Caires, Carla Ferreira, 2009, TGC.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2013, ESOP.
Frank Pfenning, Luís Caires, F. Pfenning, 2010, CONCUR.
Bernardo Toninho, Frank Pfenning, Luís Caires, 2012, TLDI '12.
Bernardo Toninho, Luís Caires, Luís Caires, 2010, SecCo.
Luís Caires, Luísa Lourenço, Luís Caires, 2015, POPL.
Luís Caires, Luísa Lourenço, Luís Caires, 2013, TGC.
João Costa Seco, Hugo Torres Vieira, Luís Caires, 2011, ESOP.
Kwangkeun Yi, Luís Caires, 2019, Lecture Notes in Computer Science.
Hugo Torres Vieira, Luís Caires, Luís Caires, 2009 .
Roberto Bruni, Ivan Lanese, Rocco De Nicola, 2006, WS-FM.