From post

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.

 

Другие публикации лиц с тем же именем

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