Petri nets: an introduction
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Information Systems (TOIS)
A logic-based calculus of events
New Generation Computing
The multimedia object presentation manager of MINOS: a symmetric approach
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Temporal logics and their applications
Temporal logics and their applications
Reflections on NoteCards: seven issues for the next generation of hypermedia systems
Communications of the ACM
HAM: a general purpose hypertext abstract machine
Communications of the ACM
Active paths through multimedia documents
Proceedings of the International Conference on Electronic Publishing on Document manipulation and typography
Petri-net-based hypertext: document structure with browsing semantics
ACM Transactions on Information Systems (TOIS)
IEEE Transactions on Computers
Browsing parallel process networks
Journal of Parallel and Distributed Computing - Special issue: software tools for parallel programming and visualization
Structured dynamic behavior in hypertext
Structured dynamic behavior in hypertext
A logical query language for hypertext systems
Hypertext: concepts, systems and applications
User interface design for the Hyperties electronic encyclopedia (panel session)
HYPERTEXT '87 Proceedings of the ACM conference on Hypertext
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
"Sometimes" and "not never" revisited: on branching versus linear time (preliminary report)
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the temporal analysis of fairness
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
"Sometime" is sometimes "not never": on the temporal logic of programs
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The temporal logic of branching time
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
A temporal logic for reasoning about partially ordered computations (Extended Abstract)
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Now you may compose temporal logic specifications
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Reasoning about digital circuits
Reasoning about digital circuits
Should anchors be typed too?: an experiment with MacWeb
HYPERTEXT '93 Proceedings of the fifth ACM conference on Hypertext
Querying structured documents with hypertext links using OODBMS
ECHT '94 Proceedings of the 1994 ACM European conference on Hypermedia technology
Where no mind has gone before: ontological design for virtual spaces
ECHT '94 Proceedings of the 1994 ACM European conference on Hypermedia technology
Interpreted collaboration protocols and their use in groupware prototyping
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Dynamic hyperdocuments: authoring replaces programming
Communications of the ACM
Generating hypermedia from specifications by sketching multimedia templates
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Structural properties of hypertext
Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
Structured hypertext with domain semantics
ACM Transactions on Information Systems (TOIS)
Mexitl: Multimedia in Executable Interval Temporal Logic
Formal Methods in System Design
Towards the automated verification of semi-structured documents
Data & Knowledge Engineering
A probabilistic approach to navigation in Hypertext
Information Sciences: an International Journal
A theoretical foundation of the DSSSL location model
Mathematical and Computer Modelling: An International Journal
| Hi-index | 0.02 |