Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Luís S. Barbosa
A Coalgebraic Semantic Framework for Reasoning About UML Sequence Diagrams
Related publications
Formalize UML 2 Sequence Diagrams
Finite Model Reasoning on UML Class Diagrams via Constraint Programming
Intelligenza Artificiale
Artificial Intelligence
Reasoning With Concept Diagrams About Antipatterns
Towards a Logical Framework for Reasoning About Risk
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
OWL-POLAR: A Framework for Semantic Policy Representation and Reasoning
Web Semantics
Computer Networks
Software
Human-Computer Interaction
Communications
OWL-POLAR: A Framework for Semantic Policy Representation and Reasoning
SSRN Electronic Journal
A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams
PDL-based Framework for Reasoning About Actions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
PriCL: Creating a Precedent, a Framework for Reasoning About Privacy Case Law
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
