Author of the publication

On Modelling Virtual Machine Consolidation to Pseudo-Boolean Constraints.

, , , , , and . IBERAMIA, volume 7637 of Lecture Notes in Computer Science, page 361-370. Springer, (2012)

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

Formalizing Action and Change in Modal Logic I: the frame problem., , and . J. Log. Comput., 9 (5): 701-735 (1999)Scenario-based Design - An Essential Instrument for an Innovative Target Application - Case Report., , , , , and . ICEIS (5), page 113-117. (2009)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)A User-interface Environment as a Support in Maths Teaching for Deaf Children., , , , , , and . ICEIS (5), page 79-85. SciTePress, (2010)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)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)A user-interface environment solution for an online educational Chess server., , , , , , , , and . RCIS, page 179-186. IEEE, (2008)