Simão Melo de Sousa

发表

Andrei Paskevich, Jean-Christophe Filliâtre, Cláudio Belo Lourenço, 2020 .
Manuel Barbosa, Simão Melo de Sousa, Thierry Brouard, 2008, ACISP.
Gilles Barthe, Bernard P. Serpette, Simão Melo de Sousa, 2001, ESOP.
Andrei Paskevich, Jean-Christophe Filliâtre, Léon Gondelman, 2018 .
José B. Almeida, Jorge Sousa Pinto, Simão Melo de Sousa, 2011 .
Simão Melo de Sousa, André de Matos Pedro, Paul Andrew Crocker, 2012, ISoLA.
Daniel Martins, Jorge Sousa Pinto, Simão Melo de Sousa, 2008, ArXiv.
Nelma Moreira, David Pereira, Simão Melo de Sousa, 2015, J. Log. Algebraic Methods Program..
Simão Melo de Sousa, 1995, Comput. Sci. Inf. Syst..
José B. Almeida, Jorge Sousa Pinto, Simão Melo de Sousa, 2011 .
Simão Melo de Sousa, Paul Andrew Crocker, Rui Morais, 2020, 2020 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS).
Nelma Moreira, David Pereira, Simão Melo de Sousa, 2013 .
Simão Melo de Sousa, Mário Pereira, 2014, SAC.
José B. Almeida, Jorge Sousa Pinto, Simão Melo de Sousa, 2011 .
Gilles Barthe, Marieke Huisman, Simão Melo de Sousa, 2001, E-smart.
Mário M. Freire, Simão Melo de Sousa, Rui Costa Cardoso, 2009 .
António Ravara, Simão Melo de Sousa, Pedro Soares, 2017, J. Log. Algebraic Methods Program..
Pierre Courtieu, Gilles Barthe, Simão Melo de Sousa, 2005, Journal of Automated Reasoning.
Jorge Sousa Pinto, Simão Melo de Sousa, André Carvalho, 2010, ISoLA.
Mário Florido, João Pedro Pedroso, Benny Akesson, 2015, Sci. Comput. Program..
José B. Almeida, Jorge Sousa Pinto, Simão Melo de Sousa, 2011 .
Nelma Moreira, David Pereira, Simão Melo de Sousa, 2012, RAMiCS.
Mário Florido, Simão Melo de Sousa, Vitor Rodrigues, 2011, WFLP.
Ricardo Azevedo, Simão Melo de Sousa, João Gouveia, 2013, 2013 IEEE 5th International Conference on Cloud Computing Technology and Science.
Jong Hyuk Park, Mário M. Freire, Simão Melo de Sousa, 2007, OTM Conferences.
Rui Pereira, João Paulo Fernandes, Bruno Cabral, 2019, 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR).
José B. Almeida, Jorge Sousa Pinto, Simão Melo de Sousa, 2011 .
Mário M. Freire, Simão Melo de Sousa, Vítor Santos, 2006, OTM Workshops.
Simão Melo de Sousa, Mário Pereira, Luís Pedro Arrojado da Horta, 2020, 2020 IEEE International Conference on Blockchain (Blockchain).
Pierre Courtieu, Gilles Barthe, Simão Melo de Sousa, 2002, AMAST.
Jorge Sousa Pinto, José Bacelar Almeida, Simão Melo de Sousa, 2011, Undergraduate Topics in Computer Science.
José B. Almeida, Jorge Sousa Pinto, Simão Melo de Sousa, 2011 .
Mário Florido, Benny Akesson, Simão Melo de Sousa, 2013, PADL.
Gilles Barthe, Simão Melo de Sousa, Guillaume Dufay, 2002, VMCAI.
Nelma Moreira, Simão Melo de Sousa, Nuno Silva, 2010 .
João Paulo Fernandes, Simão Melo de Sousa, Nelson Fonseca, 2020, 2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA).
António Ravara, Simão Melo de Sousa, Pedro Soares, 2015, 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
Mário Florido, João Pedro Pedroso, Simão Melo de Sousa, 2011, FOPARA.
Nelma Moreira, David Pereira, José Bacelar Almeida, 2010, CIAA.
João Paulo Fernandes, Fernando Castor Filho, Simão Melo de Sousa, 2021, Empirical Software Engineering.