Anamaria Martins Moreira
发表
João Batista de Souza Neto,
Anamaria Martins Moreira,
Genoveva Vargas-Solar,
2020,
SBMF.
João Batista de Souza Neto,
Anamaria Martins Moreira,
Genoveva Vargas-Solar,
2020,
CAiSE.
Anamaria Martins Moreira,
David Déharbe,
Bruno Emerson Gurgel Gomes,
2007,
SBMF.
Anamaria Martins Moreira,
David Déharbe,
Bruno Emerson Gurgel Gomes,
2008,
ABZ.
Anamaria Martins Moreira,
David Déharbe,
Bruno Emerson Gurgel Gomes,
2006,
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).
Anamaria Martins Moreira,
David Déharbe,
Bruno Gomes,
2006
.
Anamaria Martins Moreira,
David Déharbe,
Bartira Dantas,
2009,
Electron. Notes Theor. Comput. Sci..
Anamaria Martins Moreira,
Jurgen J. Vinju,
Cleverton Hentz,
2015,
ICTSS.
Anamaria Martins Moreira,
David Déharbe,
Ernesto Cid Brasil de Matos,
2015,
TAP@STAF.
Anamaria Martins Moreira,
David Déharbe,
Bruno Emerson Gurgel Gomes,
2009,
ArXiv.
Anamaria Martins Moreira,
David Déharbe,
Stephenson Galvão,
2009,
SBMF.
Anderson Santana de Oliveira,
Anamaria Martins Moreira,
2004,
Electron. Notes Theor. Comput. Sci..
Ian Mackie,
Anamaria Martins Moreira,
2009,
RULE.
Anamaria Martins Moreira,
Nélio Cacho,
Plácido A. Souza Neto,
2012,
2012 5th International Workshop on Exception Handling (WEH).
Anderson Santana de Oliveira,
Christophe Ringeissen,
Anamaria Martins Moreira,
2003,
Electron. Notes Theor. Comput. Sci..
Anamaria Martins Moreira,
Ernesto Cid Brasil de Matos,
A. Moreira,
2012,
SBMF.
Anamaria Martins Moreira,
Ernesto Cid Brasil de Matos,
João B. Souza Neto,
2016,
Journal of the Brazilian Computer Society.
Ian Mackie,
Anamaria Martins Moreira,
2010
.
Anamaria Martins Moreira,
Martin A. Musicante,
Umberto Souza da Costa,
2012,
Sci. Comput. Program..
Anamaria Martins Moreira,
David Déharbe,
Umberto S. Costa,
2000,
PDPTA.
Anamaria Martins Moreira,
Martin A. Musicante,
João B. Souza Neto,
2018,
Comput. Sci. Rev..
Anamaria Martins Moreira,
David Déharbe,
Bruno Emerson Gurgel Gomes,
2010,
ASM.
Christophe Ringeissen,
Anamaria Martins Moreira,
David Déharbe,
2004,
J. Log. Algebraic Methods Program..
Anamaria Martins Moreira,
Leila Ribeiro,
Vanderlei Moraes Rodrigues,
2000,
RITA.
Anamaria Martins Moreira,
Leila Ribeiro,
2008,
Electron. Notes Theor. Comput. Sci..
Anamaria Martins Moreira,
1999,
World Congress on Formal Methods.
Anamaria Martins Moreira,
David Déharbe,
D. Déharbe,
1999,
World Congress on Formal Methods.
Anamaria Martins Moreira,
Martin A. Musicante,
Umberto Souza da Costa,
2009,
Electron. Notes Theor. Comput. Sci..
Anamaria Martins Moreira,
David Déharbe,
Demóstenes Sena,
2006,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Anamaria Martins Moreira,
David Déharbe,
D. Déharbe,
1997,
CHARME.
Anamaria Martins Moreira,
Umberto S. Cost,
David Déharbe,
2000
.
Regivan H. N. Santiago,
Anamaria Martins Moreira,
Katiane R. Lopes,
2007,
SBMF.
Stephan Merz,
Anderson Santana de Oliveira,
Anamaria Martins Moreira,
2009
.
Christophe Ringeissen,
Anamaria Martins Moreira,
David Déharbe,
2002,
RTA.
Anamaria Martins Moreira,
Genoveva Vargas-Solar,
Martin A. Musicante,
2021,
ArXiv.
Anamaria Martins Moreira,
Genoveva Vargas-Solar,
Martin A. Musicante,
2021,
ArXiv.
Anamaria Martins Moreira,
David Déharbe,
Umberto Souza da Costa,
2001
.