Manuel A. Martins
发表
Suene Campos,
Regivan H. N. Santiago,
Manuel A. Martins,
2020,
SBMF.
Manuel A. Martins,
Luís Soares Barbosa,
Renato Neves,
2014,
Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014).
Manuel A. Martins,
2007,
Theor. Comput. Sci..
Manuel A. Martins,
Diana Costa,
2019,
DaLí.
Fuyuki Ishikawa,
Pietro Ferrara,
Manuel A. Martins,
2009,
SEFM.
Manuel A. Martins,
Diana Costa,
2016,
IJCAR.
Manuel A. Martins,
Dirk Hofmann,
2013,
J. Log. Comput..
Manuel A. Martins,
Daniel Figueiredo,
Madalena Chaves,
2018,
Natural Computing.
Manuel A. Martins,
Luís Soares Barbosa,
Renato Neves,
2016,
WADT.
Manuel A. Martins,
Luís Soares Barbosa,
Razvan Diaconescu,
2011,
CALCO.
Mario R. F. Benevides,
Manuel A. Martins,
Alexandre Madeira,
2018,
LSFA.
Manuel A. Martins,
Daniel Figueiredo,
M. Martins,
2017
.
Manuel A. Martins,
Igor Sedlár,
M. Martins,
2020,
DaLí.
Manuel A. Martins,
Diana Costa,
2016,
2016 International Conference on Autonomous Robot Systems and Competitions (ICARSC).
Benjamín R. C. Bedregal,
Regivan H. N. Santiago,
Manuel A. Martins,
2019,
Sci. Comput. Program..
Manuel A. Martins,
Luís Soares Barbosa,
Alexandre Madeira,
2009,
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
Manuel A. Martins,
Luís Soares Barbosa,
Alexandre Madeira,
2013,
Log. Methods Comput. Sci..
Manuel A. Martins,
Antonia Huertas,
María Manzano,
2018,
Stud Logica.
Manuel A. Martins,
Daniel Figueiredo,
Madalena Chaves,
2019,
HSB.
Manuel A. Martins,
Diana Costa,
2018,
2018 IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom).
Manuel A. Martins,
Luís Soares Barbosa,
Alexandre Madeira,
2016,
ICTAC.
Manuel A. Martins,
Madalena Chaves,
2018,
Lecture Notes in Computer Science.
Manuel A. Martins,
Luís Soares Barbosa,
Renato Neves,
2013,
2013 International Symposium on Theoretical Aspects of Software Engineering.
Manuel A. Martins,
Don Pigozzi,
2007,
Math. Struct. Comput. Sci..
Ricardo Gonçalves,
Manuel A. Martins,
Carlos Caleiro,
2009,
Stud Logica.
Manuel A. Martins,
Luís Soares Barbosa,
Renato Neves,
2014
.
Manuel A. Martins,
Diana Costa,
M. Martins,
2016,
J. Log. Comput..
Manuel A. Martins,
Diana Costa,
João Marcos,
2019,
FLAP.
Manuel A. Martins,
Luís Soares Barbosa,
Alexandre Madeira,
2009,
Electron. Notes Theor. Comput. Sci..
Manuel A. Martins,
George Voutsadakis,
G. Voutsadakis,
2013,
Log. J. IGPL.
Mario R. F. Benevides,
Manuel A. Martins,
Alexandre Madeira,
2018,
LSFA.
Manuel A. Martins,
Sergey Babenyshev,
2016,
J. Appl. Log..
Manuel A. Martins,
Alexandre Madeira,
Manisha Jain,
2020,
LSFA.
Manuel A. Martins,
Luís Soares Barbosa,
Alexandre Madeira,
2011,
SEFM.
Manuel A. Martins,
2008,
Comput. J..
Manuel A. Martins,
Luís Soares Barbosa,
Renato Neves,
2016,
Theoretical Information Reuse and Integration.
Manuel A. Martins,
Renato Neves,
Alexandre Madeira,
2016,
J. Log. Algebraic Methods Program..
Manuel A. Martins,
Alexandre Madeira,
C'esar Rodrigues,
2011,
Refine@FM.
Manuel A. Martins,
Luís Soares Barbosa,
Renato Neves,
2014,
SBMF.
Manuel A. Martins,
Luís Soares Barbosa,
Dirk Hofmann,
2016,
J. Log. Algebraic Methods Program..
Manuel A. Martins,
Luís Soares Barbosa,
Renato Neves,
2014,
SBMF.
Manuel A. Martins,
Luís Soares Barbosa,
Alexandre Madeira,
2011
.
Manuel A. Martins,
Luís Soares Barbosa,
Renato Neves,
2013,
IRI.
Manuel A. Martins,
Luís Soares Barbosa,
Alexandre Madeira,
2013,
SBLP.
Manuel A. Martins,
María Manzano,
Patrick Blackburn,
2019,
WoLLIC.
Manuel A. Martins,
Luís Soares Barbosa,
Alexandre Madeira,
2014,
Formal Aspects of Computing.
Manuel A. Martins,
Daniel Figueiredo,
Luís Soares Barbosa,
2018,
It's All About Coordination.
Manuel A. Martins,
Diana Costa,
2014,
2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom).
Manuel A. Martins,
Luís Soares Barbosa,
Alexandre Madeira,
2018,
Theor. Comput. Sci..
Manuel A. Martins,
Luís Soares Barbosa,
Renato Neves,
2017,
LSFA.
Manuel A. Martins,
Luís Soares Barbosa,
Renato Neves,
2016,
Sci. Comput. Program..
Manuel A. Martins,
Luís Soares Barbosa,
Marta Carreteiro,
2014,
J. Log. Lang. Inf..
Manuel A. Martins,
Luís Soares Barbosa,
Alexandre Madeira,
2015,
Refine@FM.
Manuel A. Martins,
2006,
J. Univers. Comput. Sci..
Manuel A. Martins,
Luís Soares Barbosa,
Renato Neves,
2013,
CALCO.
Manuel A. Martins,
Luís Soares Barbosa,
Alexandre Madeira,
2013,
Refine@IFM.
Manuel A. Martins,
Luís Soares Barbosa,
Alexandre Madeira,
2013,
Stud Logica.
Manuel A. Martins,
Luís Soares Barbosa,
Renato Neves,
2015
.
Benjamín R. C. Bedregal,
Regivan H. N. Santiago,
Manuel A. Martins,
2016,
SBMF.
Manuel A. Martins,
Luís Soares Barbosa,
Alexandre Madeira,
2011
.
Manuel A. Martins,
Luís Soares Barbosa,
Renato Neves,
2013,
2013 IEEE 14th International Conference on Information Reuse & Integration (IRI).
Manuel A. Martins,
Isabel Ferreirim,
2018
.
Manuel A. Martins,
Luís Soares Barbosa,
Renato Neves,
2016,
Sci. Comput. Program..
Regivan H. N. Santiago,
Manuel A. Martins,
Daniel Figueiredo,
2021,
Soft Comput..
Manuel A. Martins,
Diana Costa,
M. Martins,
2021,
J. Log. Algebraic Methods Program..
Mario R. F. Benevides,
Manuel A. Martins,
Alexandre Madeira,
2021,
FSEN.
Manuel A. Martins,
Antonia Huertas,
M. Martins,
2014
.
Manuel A. Martins,
Carlos Caleiro,
Carlos Caleiro,
2008
.
Manuel A. Martins,
Luís Soares Barbosa,
Alexandre Madeira,
2011
.
Manuel A. Martins,
Renato Neves,
Alexandre Madeira,
2014
.