Author of the publication

Formal Methods for GI Systems Development

, , , , and . Conferência da Association of Geographic Information Laboratories for Europe (AGILE), Roma, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal Methods for GI Systems Development, , , , and . Conferência da Association of Geographic Information Laboratories for Europe (AGILE), Roma, (1999)Training Computational Thinking to Leverage Citizens of Next Generation., , and . WorldCIST (2), volume 800 of Lecture Notes in Networks and Systems, page 481-490. Springer, (2023)Plagiarism Detection: A Tool Survey and Comparison., , , and . SLATE, volume 38 of OASIcs, page 143-158. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Probabilistic SynSet Based Concept Location., , , and . SLATE, volume 21 of OASIcs, page 239-253. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Learning Spaces for Knowledge Generation., , , and . SLATE, volume 21 of OASIcs, page 175-184. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)OntoCnE, characterizing Learning Resources for training Computational Thinking., , and . SIIE, page 1-6. IEEE, (2023)Analyzing the Footprint of Classifiers in Adversarial Denial of Service Contexts., , , and . EPIA (2), volume 11805 of Lecture Notes in Computer Science, page 256-267. Springer, (2019)Constraining Topic Maps: A TMCL declarative implementation., , and . Extreme Markup Languages®, (2005)Research on virtual reality in construction., , and . CE, page 1241-1248. A. A. Balkema Publishers, (2003)Constraint Specification Languages: Comparing XCSL, Schematron and XML-Schemas, , , and . Proceedings of XML Europe 2002, Barcelona, Spain, (May 2002)