Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mateja Jamnik
Reasoning With Concept Diagrams About Antipatterns
Related publications
Reasoning With Spider Diagrams
A Coalgebraic Semantic Framework for Reasoning About UML Sequence Diagrams
Description Logic Reasoning With Decision Diagrams
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Reasoning for Actor Specification Diagrams
Reasoning About Justified Belief
Reasoning About the Past With Two-Way Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Causal Reasoning About Quantities
Reasoning About Comprehensions With First-Order SMT Solvers
Reasoning About Skills and Competencies
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
