Proceedings of The first International Workshop on Semantic Web and Databases (SWDB'03)
Proceedings of The Second International Workshop on Evaluation of Ontology-based Tools (EON2003), located at ISWC03
OntoTrack: Fast Browsing and Easy Editing of Large Ontologies
A Framework for Modelling the Semantics of Expression Evaluation with Abstract State Machines
Storing and Querying Ontologies in Logic Databases
Abstract State Machines - Advances in Theory and Applications 10th International Workshop, ASM 2003
Formal Analysis of Fault-Tolerant Algorithms in the Time-Triggered Architecture
Elvinia Riccobene Egon Boerger Angelo Gargantini
This ontology contains information detailing publications held by The School of Electronics and Computer Science, University of Southampton
Publication export from The School of Electronics and Computer Science, University of Southampton