Author of the publication

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

Scenario-based Design - An Essential Instrument for an Innovative Target Application - Case Report., , , , , and . ICEIS (5), page 113-117. (2009)Formalizing Action and Change in Modal Logic I: the frame problem., , and . J. Log. Comput., 9 (5): 701-735 (1999)Transparency Meets Management: A Monitoring and Evaluating Tool for Governmental Projects., , , , , , , , , and 1 other author(s). AICCSA, page 1429-1435. IEEE Computer Society, (2017)The Planning Net: A Structure to Improve Planning Solvers with Petri Nets., , , , and . IJNCR, 5 (2): 16-36 (2015)Acquiring Expertise in Medical Radiology through Long-Term Interactions., , , , , , and . CBMS, page 403-408. IEEE Computer Society, (2008)Authoring Adaptive Tutoring Systems for Complex Visual Skills., , , , , , and . ICALT, page 160-164. IEEE Computer Society, (2009)A User-interface Environment as a Support in Maths Teaching for Deaf Children., , , , , , and . ICEIS (5), page 79-85. SciTePress, (2010)The Planning Net: Exploring the Petri Net Flow to Improve Planning Solvers., , , and . IBERAMIA, volume 7637 of Lecture Notes in Computer Science, page 581-590. Springer, (2012)On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability., , , and . IBERAMIA, volume 7637 of Lecture Notes in Computer Science, page 381-391. Springer, (2012)PBFVMC: A New Pseudo-Boolean Formulation to Virtual-Machine Consolidation., , , , and . BRACIS, page 201-206. IEEE, (2013)