António Ravara
发表
Ivan Lanese,
Luís Cruz-Filipe,
Francisco Martins,
2008,
FMOODS.
António Ravara,
Josep Silva,
2013
.
António Ravara,
Luís M. B. Lopes,
Vasco T. Vasconcelos,
2002
.
António Ravara,
Simon J. Gay,
2016,
Math. Struct. Comput. Sci..
António Ravara,
Artur Miguel Dias,
Rita Macedo,
2019,
ArXiv.
António Ravara,
Vasco Thudichum Vasconcelos,
Simon J. Gay,
2015,
Log. Methods Comput. Sci..
António Ravara,
Vasco Thudichum Vasconcelos,
Pedro Resende,
2012,
Inf. Comput..
António Ravara,
Vasco T. Vasconcelos,
V. Vasconcelos,
2003
.
João Lourenço,
António Ravara,
Patrícia Monteiro,
2018,
ArXiv.
António Ravara,
Josep Silva,
2015,
J. Log. Algebraic Methods Program..
Ivan Lanese,
Francisco Martins,
António Ravara,
2007,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Ivan Lanese,
António Ravara,
Hugo Torres Vieira,
2011,
Results of the SENSORIA Project.
António Ravara,
Vasco Thudichum Vasconcelos,
Simon J. Gay,
2006,
Theor. Comput. Sci..
António Ravara,
Simon J. Gay,
2016,
Math. Struct. Comput. Sci..
António Ravara,
A. Ravara,
2018,
HCVS.
Mario Bravetti,
Adrian Francalanza,
António Ravara,
2020,
APLAS.
António Ravara,
Vasco Thudichum Vasconcelos,
1997,
Euro-Par.
António Ravara,
Vasco Thudichum Vasconcelos,
Luís M. B. Lopes,
2003,
FGC.
Roberto Bruni,
Ivan Lanese,
Rocco De Nicola,
2006,
WS-FM.
António Ravara,
Cláudio Vasconcelos,
2016,
ArXiv.
António Ravara,
Vasco Thudichum Vasconcelos,
1999,
Inf. Process. Lett..
Ivan Lanese,
Emilio Tuosto,
Luca Padovani,
2016,
ACM Comput. Surv..
António Ravara,
Simão Melo de Sousa,
Pedro Soares,
2017,
J. Log. Algebraic Methods Program..
Jan Martijn E. M. van der Werf,
António Ravara,
Thomas Hildebrandt,
2014,
Lecture Notes in Computer Science.
Adrian Francalanza,
António Ravara,
Marco Giunti,
2015,
WWV.
Alexei Lisitsa,
Maurice H. ter Beek,
António Ravara,
2016
.
Ivan Lanese,
Gianluigi Zavattaro,
António Ravara,
2011,
Results of the SENSORIA Project.
António Ravara,
Marco Giunti,
2013,
TGC.
António Ravara,
Joana Martinho,
A. Ravara,
2011,
Journal of Automated Reasoning.
António Ravara,
Josep Silva,
2013
.
Maurice H. ter Beek,
António Ravara,
2014
.
António Ravara,
Vasco Thudichum Vasconcelos,
2000,
CONCUR.
António Ravara,
Maxime Gamboni,
2010,
TGC.
Antonio Vallecillo,
António Ravara,
Vasco Thudichum Vasconcelos,
2006,
Fundam. Informaticae.
António Ravara,
Cláudio Vasconcelos,
2016,
ArXiv.
António Ravara,
Vasco Thudichum Vasconcelos,
Simon J. Gay,
2010,
POPL '10.
Hervé Paulino,
António Ravara,
Nuno Delgado,
2016,
SAC.
António Ravara,
Vasco Thudichum Vasconcelos,
Simon J. Gay,
2004,
CONCUR.
António Ravara,
A. Ravara,
2017
.
António Ravara,
2016
.
Antonio Vallecillo,
António Ravara,
Vasco Thudichum Vasconcelos,
2003,
FOCLASA.
António Ravara,
Simão Melo de Sousa,
Pedro Soares,
2015,
2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
António Ravara,
Simon J. Gay,
Nils Gesbert,
2014,
EXPRESS/SOS.
Ivan Lanese,
Luís Cruz-Filipe,
Francisco Martins,
2013,
Formal Aspects of Computing.
António Ravara,
Luís Caires,
Carla Ferreira,
2010,
PSPL@LICS.
António Ravara,
Cláudio Vasconcelos,
A. Ravara,
2017,
SAC.
António Ravara,
Mohammad Reza Mousavi,
M. Mousavi,
2009,
Sci. Comput. Program..
António Ravara,
Carla Ferreira,
Cátia Vaz,
2009,
TGC.
António Ravara,
Uwe Nestmann,
A. Ravara,
1999,
ECOOP Workshops.
António Ravara,
José Duarte,
A. Ravara,
2021,
SBLP.
António Ravara,
Marco Giunti,
João Mota,
2021,
COORDINATION.
António Ravara,
Simon J. Gay,
Nils Gesbert,
2007
.