Author of the publication

The Modelling Language Zinc.

, , , and . CP, volume 4204 of Lecture Notes in Computer Science, page 700-705. Springer, (2006)

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

The Data Visualisation and Immersive Analytics Research Lab at Monash University., , , , , , , , and . Vis. Informatics, 4 (4): 41-49 (2020)An Object-Oriented Architecture for Constraint-Based Graphical Editing., , , and . Workshops on Object-Oriented Graphics (2), page 217-238. Springer, (1992)Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs., , , and . WSA, volume 81-82 of Series Bigre, page 35-42. Atelier Irisa, IRISA, Campus de Beaulieu, (1992)Guest Editor's Introduction., and . J. Vis. Lang. Comput., 10 (4): 313-316 (1999)A constraint extension to scalable vector graphics., , , , , and . WWW, page 489-498. ACM, (2001)Toward tighter tables., , and . ACM Symposium on Document Engineering, page 74-83. ACM, (2005)Non-standard Logics for Diagram Interpretation., and . Diagrams, volume 1889 of Lecture Notes in Computer Science, page 42-57. Springer, (2000)Restricted Focus Viewer: A Tool for Tracking Visual Attention., , and . Diagrams, volume 1889 of Lecture Notes in Computer Science, page 162-177. Springer, (2000)Resource Usage Verification., , and . APLAS, volume 2895 of Lecture Notes in Computer Science, page 212-229. Springer, (2003)Modelling with Option Types in MiniZinc., , , , , and . CPAIOR, volume 8451 of Lecture Notes in Computer Science, page 88-103. Springer, (2014)