João Lourenço
发表
José C. Cunha,
João Lourenço,
Tiago Antao,
1996
.
João Lourenço,
Gonçalo Cunha,
2007,
PADTAD '07.
João Leitão,
Hervé Paulino,
João Lourenço,
2016,
MECC@Middleware.
João Lourenço,
Nuno Ricardo Costa,
Zulema Lopes Pereira,
2012,
Comput. Ind. Eng..
Eitan Farchi,
Ricardo J. Dias,
João Lourenço,
2011,
PADTAD '11.
José C. Cunha,
João Lourenço,
Vítor Duarte,
1998,
Comput. Artif. Intell..
José C. Cunha,
João Lourenço,
Tiago R. Antão,
1999,
J. Syst. Archit..
Alan J. Hu,
João Lourenço,
Yoav Hollander,
2010,
Haifa Verification Conference.
Ricardo J. Dias,
João Lourenço,
2009,
Euro-Par.
Ricardo J. Dias,
João Lourenço,
Gonçalo Cunha,
2008,
Comput. Sci. Inf. Syst..
Luís Gomes,
João Lourenço,
L. Gomes,
2010,
IEEE Transactions on Industrial Electronics.
Using program closures to make an application programming interface (API) implementation thread safe
Eitan Farchi,
João Lourenço,
Diogo Sousa,
2012,
PADTAD 2012.
João Lemos Nabais,
Miguel Ayala Botto,
João Lourenço,
2013,
PAAMS.
João Lourenço,
António Ravara,
Patrícia Monteiro,
2018,
ArXiv.
Marios D. Dikaiakos,
Omer F. Rana,
João Lourenço,
2008,
Euro-Par.
Ricardo J. Dias,
João Lourenço,
Carla Ferreira,
2015,
ArXiv.
Ricardo J. Dias,
João Lourenço,
Vasco Pessanha,
2012,
Haifa Verification Conference.
Henryk Krawczyk,
Bogdan Wiszniewski,
José C. Cunha,
1997,
EUROMICRO 97. Proceedings of the 23rd EUROMICRO Conference: New Frontiers of Information Technology (Cat. No.97TB100167).
Henryk Krawczyk,
Tomàs Margalef,
Emilio Luque,
1996,
ITiCSE '96.
Hervé Paulino,
João Lourenço,
Diogo Remédios,
2017,
MobiQuitous.
Maria Cecilia Gomes,
José C. Cunha,
João Lourenço,
1999,
PDPTA.
João Lourenço,
João Lemos xvii,
Miguel Botto,
2012
.
Ricardo J. Dias,
João Costa Seco,
João Lourenço,
2010
.
João Lourenço,
Simone do Rocio Senger de Souza,
Júlio Cezar Estrella,
2015,
2015 Latin American Computing Conference (CLEI).
João Lourenço,
João M. Lourenço,
2018,
ISoLA.
Hervé Paulino,
João Lourenço,
Diogo Remédios,
2015,
MobiQuitous.
Ricardo J. Dias,
João Lourenço,
Tiago M. Vale,
2013,
Concurr. Comput. Pract. Exp..
José C. Cunha,
João Lourenço,
Vitor Duarte,
2001
.
João Lourenço,
Nuno M. Preguiça,
João Soares,
2013,
EWDC.
João Leitão,
Hervé Paulino,
João Lourenço,
2018
.
Rodrigo Rodrigues,
João Lourenço,
Nuno M. Preguiça,
2008,
HotDep.
João Lourenço,
Simone do Rocio Senger de Souza,
Júlio Cezar Estrella,
2016,
ICCS.
José C. Cunha,
João Lourenço,
1998
.
Carlos Ribeiro,
João Lourenço,
Atilio Gameiro,
2013
.
João Leitão,
Nuno Preguiça,
Hervé Paulino,
2019,
MobiQuitous.
Hervé Paulino,
João Lourenço,
João A. Silva,
2015,
SAC.
José C. Cunha,
João Lourenço,
João Vieira,
1998,
HPCN Europe.
João Lourenço,
Atilio Gameiro,
Adao Silva,
2014
.
Hervé Paulino,
João Lourenço,
Diogo Remédios,
2015,
MobiQuitous.
João Leitão,
Rodrigo Rodrigues,
João Lourenço,
2020,
ArXiv.
José C. Cunha,
João Lourenço,
J. Cunha,
2001,
International Conference on Computational Science.
João Lourenço,
2010,
Haifa Verification Conference.
Eitan Farchi,
Ricardo J. Dias,
João Lourenço,
2010,
PADTAD '10.
Hervé Paulino,
João Martins,
João Lourenço,
2010,
PADTAD '10.
Ricardo J. Dias,
João Lourenço,
Diogo Sousa,
2011,
Comput. Sci. Inf. Syst..
Ricardo J. Dias,
João Lourenço,
Tiago M. Vale,
2013,
MUSEPAT.
Ricardo J. Dias,
João Lourenço,
Vasco Pessanha,
2009,
PADTAD '09.
Hervé Paulino,
João Lourenço,
João A. Silva,
2017,
MECC@Middleware.
José C. Cunha,
João Lourenço,
Vítor Duarte,
2001,
Scalable Comput. Pract. Exp..
Ricardo J. Dias,
João Lourenço,
Tiago M. Vale,
2015,
Transactional Memory.
Manuel Filipe Santos,
Carlos Silva,
João Lourenço,
2012
.
José C. Cunha,
João Lourenço,
João Vieira,
1998,
HPCN Europe.
Ricardo J. Dias,
João Lourenço,
Tiago M. Vale,
2012,
Euro-Par.
José C. Cunha,
João Lourenço,
Vitor Duarte,
2001
.
João Lourenço,
Nuno Ricardo Costa,
Zulema Lopes Pereira,
2012,
Qual. Reliab. Eng. Int..
João Lourenço,
Nuno M. Preguiça,
João Soares,
2013,
Euro-Par.
João Lourenço,
Tomás Vojnar,
Jan Fiedor,
2015,
EUROCAST.
João Lourenço,
Nuno Ricardo Costa,
N. Costa,
2016,
Qual. Reliab. Eng. Int..
José C. Cunha,
João Lourenço,
Vitor Moreira,
2003,
ArXiv.
Hervé Paulino,
João Lourenço,
Nuno Duro,
2010,
CSDM.
Luís Gomes,
João Lourenço,
2008,
Petri Nets.
João Lourenço,
Tomás Vojnar,
Jan Fiedor,
2014,
MEMICS.
Dejan Nickovic,
Gordon J. Pace,
Ezio Bartocci,
2019,
Formal Methods Syst. Des..
Hervé Paulino,
Ricardo J. Dias,
João Lourenço,
2015,
ICDCN.
José C. Cunha,
João Lourenço,
1998,
SIGCSE '98.
João Lourenço,
Viera K. Proulx,
William M. Fleischman,
2005,
ITiCSE.
Hervé Paulino,
João Lourenço,
Ricardo Monteiro,
2015,
MobiQuitous.
Péter Kacsuk,
José C. Cunha,
João Lourenço,
1997,
Parallel Comput..
Robert M. Hierons,
Eitan Farchi,
João Lourenço,
2015,
Softw. Test. Verification Reliab..
João Lourenço,
Hannah Thinyane,
2011,
SAICSIT '11.
João Lourenço,
Lois Orosa,
2016,
2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP).
João Lourenço,
Cláudia Quaresma,
Leonardo Martins,
2016,
DoCEIS.
Carlos Ribeiro,
João Lourenço,
Atilio Gameiro,
2012,
ICSNC 2012.
Ricardo J. Dias,
João Lourenço,
Tomás Vojnar,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Ricardo J. Dias,
João Costa Seco,
João Lourenço,
2012,
ECOOP.
João Lourenço,
Tomás Vojnar,
Jan Fiedor,
2018,
Lectures on Runtime Verification.