Leila Ribeiro

发表

Andrea Corradini, Dominique Duval, Frédéric Prost, 2016, ICGT.

Leila Ribeiro, Leonardo Vieira Cervo, 2002, WOB.

Leila Ribeiro, Bernardo Copstein, Michael da Costa Móra, 2000, Proceedings 33rd Annual Simulation Symposium (SS 2000).

Fernando Luís Dotti, Osmar Marchi dos Santos, Leila Ribeiro, 2005, Electron. Notes Theor. Comput. Sci..

Leila Ribeiro, Luciana Foss, 2004, Electron. Notes Theor. Comput. Sci..

Ugo Montanari, Leila Ribeiro, U. Montanari, 2002, ICGT.

Andrea Corradini, Dominique Duval, Frédéric Prost, 2017, ICGT.

Dominique Duval, Frédéric Prost, Leila Ribeiro, 2014, FASE.

Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro, 2015, SAC.

Filipe Reis, Érika F. Cota, Leila Ribeiro, 2014, WADT.

Hartmut Ehrig, Julia Padberg, Leila Ribeiro, 1995, Mathematical Structures in Computer Science.

Leila Ribeiro, Martin Korff, 1995, Electron. Notes Theor. Comput. Sci..

Reiko Heckel, Leila Ribeiro, Rodrigo Machado, 2010, RULE.

Hartmut Ehrig, Ugo Montanari, Grzegorz Rozenberg, 2006 .

Leila Ribeiro, Rodrigo Machado, Andrei Costa, 2018, Graph Transformation, Specifications, and Nets.

Leila Ribeiro, Ana Paula Lüdtke Ferreira, L. Ribeiro, 2004, ICGT.

Leila Ribeiro, Luciana Foss, José C. M. Mombach, 2005, BSB.

Andrea Corradini, Leila Ribeiro, Guilherme Grochau Azzi, 2019, J. Log. Algebraic Methods Program..

Fernando Luís Dotti, Osmar Marchi dos Santos, Leila Ribeiro, 2003, FMOODS.

Érika F. Cota, Leila Ribeiro, Andrei Costa, 2016, Electron. Notes Theor. Comput. Sci..

Leila Ribeiro, Simone André da Costa Cavalheiro, L. Ribeiro, 2012, Sci. Comput. Program..

Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro, 2012, SBMF.

Álvaro F. Moreira, Leila Ribeiro, Daltro José Nunes, 2011, 2011 25th Brazilian Symposium on Software Engineering.

Andrea Corradini, Dominique Duval, Frédéric Prost, 2014, ICGT.

Álvaro F. Moreira, Leila Ribeiro, Rodrigo Machado, 2008, J. Univers. Comput. Sci..

Fernando Luís Dotti, Osmar Marchi dos Santos, Leila Ribeiro, 2004, Electron. Notes Theor. Comput. Sci..

Ugo Montanari, Andrea Corradini, Paolo Baldan, 2007, Inf. Comput..

Leila Ribeiro, Martin Korff, 1994, TAGT.

Leila Ribeiro, Daltro José Nunes, Ecivaldo de Souza Matos, 2013, 2013 2nd Workshop-School on Theoretical Computer Science.

Leila Ribeiro, Luciana Foss, Rodrigo Machado, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Fernando Luís Dotti, Leila Ribeiro, F. Dotti, 2011, 2011 Workshop-School on Theoretical Computer Science.

Érika F. Cota, Leila Ribeiro, Lucio Mauro Duarte, 2013, 2013 2nd Workshop-School on Theoretical Computer Science.

Leila Ribeiro, Luciana Foss, Rodrigo Machado, 2009 .

Érika F. Cota, Leila Ribeiro, Andrei Costa, 2017, Int. J. Medical Informatics.

Fernando Luís Dotti, Luciana S. Buriol, Leila Ribeiro, 2011, J. Comput. Sci..

Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro, 2017, Theor. Comput. Sci..

Fernando Luís Dotti, Leila Ribeiro, Odorico Machado Mendizabal, 2007, Electron. Notes Theor. Comput. Sci..

Leila Ribeiro, Ana Paula Lüdtke Ferreira, L. Ribeiro, 2003, FMOODS.

Anamaria Martins Moreira, Leila Ribeiro, Vanderlei Moraes Rodrigues, 2000, RITA.

Leila Ribeiro, Simone André da Costa, Leonardo Michelon, 2007 .

Anamaria Martins Moreira, Leila Ribeiro, 2008, Electron. Notes Theor. Comput. Sci..

Leila Ribeiro, Luciana Foss, Ana Paula Lüdtke Ferreira, 2007, GT-VC@CONCUR.

Leila Ribeiro, Aline Brum Loreto, Laira Vieira Toscani, 2000, RITA.

Fernando Luís Dotti, Leila Ribeiro, 2008, Concurrency, Graphs and Models.

Leila Ribeiro, Simone André da Costa Cavalheiro, L. Ribeiro, 2009, SBMF.

Leila Ribeiro, L. Ribeiro, 1999, Appl. Categorical Struct..

Luigi Carro, Fabiane Cristine Dillenburg, Leila Ribeiro, 2017, Comput. Biol. Chem..

Andrea Corradini, Dominique Duval, Frédéric Prost, 2019, J. Log. Algebraic Methods Program..

Leila Ribeiro, Bernardo Copstein, L. Ribeiro, 1999, AGTIVE.

Leila Ribeiro, Ana Paula Lüdtke Ferreira, L. Ribeiro, 2005, CTCS.

Leila Ribeiro, Lucio Mauro Duarte, Paulo Roberto Lumertz, 2016, J. Vis. Lang. Comput..

Ugo Montanari, Andrea Corradini, Paolo Baldan, 2002, WADT.

Hartmut Ehrig, Julia Padberg, Leila Ribeiro, 1992, COMPASS/ADT.

Fernando Luís Dotti, Leila Ribeiro, Roswitha Bardohl, 2005, Formal Methods in Software and Systems Modeling.

Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro, 2017, ArXiv.

Matthias Tichy, Leila Ribeiro, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Leila Ribeiro, Luciana Foss, Marcelo Cezar Pinto, 2007, Comput. Biol. Medicine.

Fabio Gadducci, Andrea Corradini, Leila Ribeiro, 2010, WADT.

Leila Ribeiro, 1998, Electron. Notes Theor. Comput. Sci..

Fernando Luís Dotti, Andrea Corradini, Leila Ribeiro, 2013, TGC.

Fernando Luís Dotti, Leila Ribeiro, 2000, PDPTA.

Leila Ribeiro, Marcelo Cezar Pinto, 2004, WOB.

Fernando Luís Dotti, Alexander Romanovsky, Alexei Iliasov, 2009, ICFEM.

Andrea Corradini, Leila Ribeiro, Guilherme Grochau Azzi, 2018, ICGT.

Fernando Luís Dotti, Andrea Corradini, Leila Ribeiro, 2001, GT-VMT@ICALP.

Bruno Carreiro da Silva, Leila Ribeiro, Luciana Foss, 2009, ICSR.

Andrea Corradini, Dominique Duval, Frédéric Prost, 2020, Theor. Comput. Sci..

Fernando Luís Dotti, Osmar Marchi dos Santos, Leila Ribeiro, 2004, Software & Systems Modeling.

Fernando Luís Dotti, Osmar Marchi dos Santos, Leila Ribeiro, 2012, Sci. Comput. Program..

Reiko Heckel, Leila Ribeiro, Rodrigo Machado, 2015, Theor. Comput. Sci..

Andrea Corradini, Leila Ribeiro, Luciana Foss, 2008, WADT.

Leila Ribeiro, Thierry Lecomte, L. Ribeiro, 2016, Lecture Notes in Computer Science.

Fabio Gadducci, Fernando Luís Dotti, Andrea Corradini, 2008, Electron. Notes Theor. Comput. Sci..

Leila Ribeiro, Lucio Mauro Duarte, 2017, SBMF.

Leila Ribeiro, Martin Korff, L. Ribeiro, 1997, US-Brazil Joint Workshops on the Formal Foundations of Software Systems.

Fernando Luís Dotti, Andrea Corradini, Leila Ribeiro, 2004, ICGT.

Leila Ribeiro, Aline Brum Loreto, Laira Vieira Toscani, 2002, IFIP TCS.

Leila Ribeiro, Roswitha Bardohl, 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).

Leila Ribeiro, Simone André da Costa Cavalheiro, Leonardo Michelon, 2007, Journal of the Brazilian Computer Society.

Leila Ribeiro, Rodrigo Machado, Érika Cota, 2020, Sci. Comput. Program..

Dominique Duval, Frédéric Prost, Leila Ribeiro, 2014, ArXiv.

Andrea Corradini, Dominique Duval, Leila Ribeiro, 2018, Graph Transformation, Specifications, and Nets.

Fernando Luís Dotti, Leila Ribeiro, F. Dotti, 2000, FMOODS.

Fernando Luís Dotti, Osmar Marchi dos Santos, Leila Ribeiro, 2003, AGTIVE.

Leila Ribeiro, Diogo Raphael Cravo, 2021, SBMF.

Dominique Duval, Frédéric Prost, Leila Ribeiro, 2014 .

Fernando Luís Dotti, Leila Ribeiro, Lucio Mauro Duarte, 2001 .

Leila Ribeiro, Simone André da Costa, Leonardo Michelon, 2006, SBES.

Fernando Luís Dotti, Osmar Marchi dos Santos, Leila Ribeiro, .