Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Topology and Knowledge of Multiple Agents
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
Software Engineering for Ensembles
Software-Intensive Systems and New Computing Paradigms
Model Checking Strategic Equilibria
Model Checking and Artificial Intelligence
Observational Effort and Formally Open Mappings
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The VSE Refinement Method in Hets
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Parameterized modal satisfiability
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Logical knowledge representation of regulatory relations in biomedical pathways
ITBAM'10 Proceedings of the First international conference on Information technology in bio- and medical informatics
Clausal graph tableaux for hybrid logic with eventualities and difference
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
On characterization, definability and ω-saturated models
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Combining and automating classical and non-classical logics in classical higher-order logics
Annals of Mathematics and Artificial Intelligence
Constructive formalization of hybrid logic with eventualities
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
Weak models of distributed computing, with connections to modal logic
PODC '12 Proceedings of the 2012 ACM symposium on Principles of distributed computing
A modal logic for abstract delta modeling
Proceedings of the 16th International Software Product Line Conference - Volume 2
Abstract delta modeling: my research plan
Proceedings of the 16th International Software Product Line Conference - Volume 2
Global view on reactivity: switch graphs and their logics
Annals of Mathematics and Artificial Intelligence
Coinductive Predicates and Final Sequences in a Fibration
Electronic Notes in Theoretical Computer Science (ENTCS)
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.02 |