Autor der Publikation

Deriving sound inference rules for concept diagrams

, , , und . 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Seite 87-94. (September 2011)
DOI: 10.1109/VLHCC.2011.6070384

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Computing Reading Trees for Constraint Diagrams., und . AGTIVE, Volume 3062 von Lecture Notes in Computer Science, Seite 260-274. Springer, (2003)Completeness Proofs for Diagrammatic Logics., , und . Diagrams, Volume 7352 von Lecture Notes in Computer Science, Seite 318-320. Springer, (2012)The Expressiveness of Spider Diagrams., , , und . J. Log. Comput., 14 (6): 857-880 (2004)Visualizing Concepts with Euler Diagrams., , , und . Diagrams, Volume 8578 von Lecture Notes in Computer Science, Seite 54-56. Springer, (2014)On Diagram Tokens and Types., , , und . Diagrams, Volume 2317 von Lecture Notes in Computer Science, Seite 146-160. Springer, (2002)Advanced visual modelling: beyond UML., , und . ICSE, Seite 697-698. ACM, (2002)Drawing Euler Diagrams with Circles., , , und . Diagrams, Volume 6170 von Lecture Notes in Computer Science, Seite 23-38. Springer, (2010)Navigation Expresion in Object-Oriented Modelling., , und . FASE, Volume 1382 von Lecture Notes in Computer Science, Seite 123-137. Springer, (1998)Inductively Generating Euler Diagrams., , , und . IEEE Trans. Vis. Comput. Graph., 17 (1): 88-100 (2011)A graph theoretic approach to general Euler diagram drawing., , und . Theor. Comput. Sci., 411 (1): 91-112 (2010)