A. Ravara

发表

F. Martins, V. Vasconcelos, L. Filipe, 2007 .
A. Ravara, S. Sousa, Pedro Soares, 2018 .
A. Ravara, M. Giunti, João Mota, 2022, 2209.05136.
F. Martins, A. Ravara, 2005 .
F. Martins, A. Ravara, 2003 .
António Ravara, Vasco Thudichum Vasconcelos, Simon J. Gay, 2004, CONCUR.
Antonio Vallecillo, António Ravara, Vasco Thudichum Vasconcelos, 2003, FOCLASA.
A. Ravara, M. Giunti, João Mota, 2022, ArXiv.
António Ravara, José Duarte, A. Ravara, 2021, SBLP.
Ant'onio Ravara, Andr'e Trindade, Joao Mota, 2020, ICE.
Ivan Lanese, Emilio Tuosto, Luca Padovani, 2016, ACM Comput. Surv..
António Ravara, Marco Giunti, João Mota, 2021, COORDINATION.
António Ravara, A. Ravara, 2017 .
António Ravara, Uwe Nestmann, A. Ravara, 1999, ECOOP Workshops.
António Ravara, Vasco Thudichum Vasconcelos, Simon J. Gay, 2006, Theor. Comput. Sci..
António Ravara, Joana Martinho, A. Ravara, 2011, Journal of Automated Reasoning.
V. Vasconcelos, A. Ravara, 1999, Inf. Process. Lett..
A. Ravara, M. Bravetti, M. Giunti, 2022, Sci. Comput. Program..
António Ravara, Cláudio Vasconcelos, A. Ravara, 2017, SAC.
A. Ravara, M. Giunti, Hervé Paulino, 2022, SAC.
António Ravara, Vasco Thudichum Vasconcelos, Luís M. B. Lopes, 2003, FGC.
António Ravara, Luís M. B. Lopes, Vasco T. Vasconcelos, 2002 .
Pedro Barroso, M'ario Pereira, Ant'onio Ravara, 2020, PAAR+SC²@IJCAI.
António Ravara, Carla Ferreira, Cátia Vaz, 2009, TGC.
A. Ravara, Hervé Paulino, Ana Almeida Matos, 2023, Proc. ACM Program. Lang..
A. Ravara, Hervé Paulino, Jan Cederquist, 2023, ArXiv.
Hervé Paulino, António Ravara, Nuno Delgado, 2016, SAC.
Adrian Francalanza, António Ravara, Marco Giunti, 2015, WWV.
António Ravara, Vasco T. Vasconcelos, V. Vasconcelos, 2003 .
A. Ravara, S. Gay, W. Schoenmaker, 2022 .
Roberto Bruni, Ivan Lanese, Rocco De Nicola, 2006, WS-FM.