On &ohgr;-automata and temporal logic
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Discrete event simulation modeling: directions for the '90s
WSC '92 Proceedings of the 24th conference on Winter simulation
Hyperdocuments as automata: trace-based browsing property verification
ECHT '92 Proceedings of the ACM conference on Hypertext
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Proving temporal properties of hybrid systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
A Comparative Study of Synthesis Methods for Discrete Event Controllers
Formal Methods in System Design
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols
IEEE Transactions on Software Engineering
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Combining logics for modelling security policies
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Using duration models to reduce fragmentation in audio segmentation
Machine Learning
Journal of Biomedical Informatics
Transformational government: basics and key issues
Proceedings of the 2nd international conference on Theory and practice of electronic governance
Strategic IT planning as change specification
Proceedings of the 2nd international conference on Theory and practice of electronic governance
Open paper: caT: adapting and updating the trellis hypertext model
The New Review of Hypermedia and Multimedia
F@: a framework of group awareness in synchronous distributed groupware
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
An epistemic event-based correlation approach for managing pervasive networks
International Journal of Network Management
ePERT: extending PERT for workflow management systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Planning temporal events using point-interval logic
Mathematical and Computer Modelling: An International Journal
| Hi-index | 0.00 |