Author of the publication

Deriving sound inference rules for concept diagrams

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

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

IT Governance as a Higher Order Capability., and . PACIS, page 150. (2015)Visualizing Concepts with Euler Diagrams., , , and . Diagrams, volume 8578 of Lecture Notes in Computer Science, page 54-56. Springer, (2014)Invertibility in Sequent Calculi.. Arch. Formal Proofs, (2009)Formal proof development.Creating a Second Order Diagrammatic Logic., and . Diagrams, volume 6170 of Lecture Notes in Computer Science, page 298-300. Springer, (2010)PicoCTF: A Game-Based Computer Security Competition for High School Students., , and . 3GSE, USENIX Association, (2014)Benchmarking Deep Learning Models for Driver Distraction Detection., , , and . LOD (2), volume 12566 of Lecture Notes in Computer Science, page 103-117. Springer, (2020)Measuring perceived clutter in concept diagrams., , and . VL/HCC, page 31-39. IEEE Computer Society, (2016)Introducing Second-Order Spider Diagrams for Defining Regular Languages., and . VL/HCC, page 159-167. IEEE Computer Society, (2010)Antipattern Comprehension: An Empirical Evaluation., , and . FOIS, volume 283 of Frontiers in Artificial Intelligence and Applications, page 211-224. IOS Press, (2016)PaL Diagrams: A Linear Diagram-Based Visual Language., , and . DMS, page 310-320. Knowledge Systems Institute Graduate School, (2014)