Ana Paula Lüdtke Ferreira

According to our database, Ana Paula Lüdtke Ferreira authored at least 9 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Unveiling Knowledge Organization Systems' Artifacts for Digital Agriculture with Lexical Network Analysis.

Filipi Miranda Soares, Ivan Bergier, Maria Carolina Coradini, Ana Paula Lüdtke Ferreira, Milena Ambrosio Telles, Benildes Coura Moreira dos Santos Maculan, Maria de Cléofas Faggion Alencar, Victor Paulo Marques Simão, Bibiana Teixeira de Almeida, Debora Pignatari Drucker, Marcia dos Santos Machado Vieira, Sérgio Manuel Serra da Cruz

Proceedings of the Advances in Conceptual Modeling, 2023

2021

On the problem of optimal mating in animal breeding.

Ana Paula Lüdtke Ferreira, Marcos Jun-Iti Yokoo, Bruno Ernesto Techera da Motta

Proceedings of the XLVII Latin American Computing Conference, 2021

2011

Model Checking.

Ana Paula Lüdtke Ferreira

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011

2006

Formal Verification of Object-Oriented Graph Grammars Specifications.

Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro

Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006

2005

Object-oriented graph grammars.

Ana Paula Lüdtke Ferreira

PhD thesis, 2005

2004

A Graph-based Semantics For Object-oriented Programming Constructs.

Ana Paula Lüdtke Ferreira, Leila Ribeiro

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

Derivations in Object-Oriented Graph Grammars.

Ana Paula Lüdtke Ferreira, Leila Ribeiro

Proceedings of the Graph Transformations, Second International Conference, 2004

2003

Towards Object-Oriented Graphs and Grammars.

Ana Paula Lüdtke Ferreira, Leila Ribeiro

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2002

Directions and Challenges in Informatics Education.

John Hughes, Andrew D. McGettrick, Ellen Francine Barbosa, Jens Kaasbøll, Vinícius Medina Kern, Ana Paula Lüdtke Ferreira, Esselina Macome, Joberto S. B. Martins, Clara Amélia de Oliveira, Alfonso Ignacio Orth, R. Sadananda, Elaine da Silva, Romero Tori

Proceedings of the Informatics Curricula and Teaching Methods, 2002