Semantics of Architectural Specifications in CASL
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Framework for Order-Sorted Algebra
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
IC-based ontology expansion in devouring accessibility
AOW '05 Proceedings of the 2005 Australasian Ontology Workshop - Volume 58
Temporal Contextual Logic Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
A Framework for Model Checking Institutions
Model Checking and Artificial Intelligence
Relating structure and dynamics in organisation models
MABS'02 Proceedings of the 3rd international conference on Multi-agent-based simulation II
The representation of inconsistent knowledge in advanced knowledge based systems
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
A formal reuse-based approach for interactively designing organizations
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
| Hi-index | 0.00 |