Ana Paula Lüdtke Ferreira

Statistics

Publications

Citations

H-Index

Active since

2005

Affiliations

Universidade Federal do Rio Grande do Sul(Current)

Universidade do Vale do Rio dos Sinos

Ana Paula Lüdtke Ferreira is an author at Universidade Federal do Rio Grande do Sul specializing in computing, computer science, and model verification.

ORCID

Publications per year

2005–2007

Publications

Formal Verification of Object-Oriented Graph Grammars Specifications

Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro · Electronic Notes in Theoretical Computer Science · 2007 · 17 citations · Full text

Computing, Computer Science, Computer Systems +14

A Graph-based Semantics For Object-oriented Programming Constructs

Ana Paula Lüdtke Ferreira, Leila Ribeiro · Electronic Notes in Theoretical Computer Science · 2005 · 10 citations · Full text

Computing, Computer Science, Programming Languages +15

1–2 of 2