Conceptual modelling of web information systems
Data & Knowledge Engineering
A formal semantics for Gaia liveness rules and expressions
International Journal of Agent-Oriented Software Engineering
Theoretical Computer Science
Certified Size-Change Termination
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Graphical models of separation logic
Information Processing Letters
A formal language for electronic contracts
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Characterising and matching iterative and recursive agent interaction protocols
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A framework for kleene algebra with an embedded structure
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
| Hi-index | 0.01 |