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

The Online Abstraction Problem for Euler Diagrams., , and . ED@Diagrams, volume 854 of CEUR Workshop Proceedings, page 62-76. CEUR-WS.org, (2012)Risk-aware decision support with constrained goal models., , , and . Inf. Comput. Secur., 26 (4): 472-490 (2018)A New Language for the Visualization of Logic and Reasoning., , , , and . DMS, page 287-292. Knowledge Systems Institute, (2005)Decision-Making in Security Requirements Engineering with Constrained Goal Models., , , and . CyberICPS/SECPRE@ESORICS, volume 10683 of Lecture Notes in Computer Science, page 262-280. Springer, (2017)Visual Languages and Logic., , and . VL/HCC, page 3. IEEE Computer Society, (2007)A reading algorithm for constraint diagrams., , and . HCC, page 161-168. IEEE Computer Society, (2003)Policy specifications with Timed Spider Diagrams., and . VL/HCC, page 95-98. IEEE, (2011)Abstractions of Euler Diagrams., and . Euler, volume 134 of Electronic Notes in Theoretical Computer Science, page 77-101. Elsevier, (2004)A toolkit for knot diagram sketching, encoding and re-generation., , , , , and . DMS, page 16-25. KSI Research Inc. / Knowledge Systems Institute Graduate School, (2016)Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT., , , and . ICMS, volume 9725 of Lecture Notes in Computer Science, page 51-58. Springer, (2016)