Margarida Mamede
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1991–2026
Best venue rank
National
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICST | Systematic API Testing Through Model Checking and Executable Contracts. | Ana Catarina Ribeiro, Margarida Mamede, Carla Ferreira |
| 2000 | AI | On the Integration of Recursive ALN-Theories. | Aida Vitria, Margarida Mamede |
| 1999 | EPIA | Is PL | Aida Vitria, Margarida Mamede |
| 1995 | EPIA | The Retrieval Problem in a Concept Language with Number Restrictions. | Aida Vitria, Margarida Mamede, Lus Monteiro |
| 1993 | EPIA | Towards Complete Answers in Concept Languages. | Margarida Mamede, Lus Monteiro |
| 1992 | ICLP | A Contraint Logic Programming Scheme for Taxonomic Reasoning. | Margarida Mamede, Lus Monteiro |
| 1991 | EPIA | A Constraint-Based Language for Querying Taxonomic Systems. | Margarida Mamede, Lus Monteiro |