Foundations of logic programming
Foundations of logic programming
A qualitative physics based on confluences
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Logic for problem-solving
ROSS: an object-oriented language for constructing simulations
Expert systems techniques, tools and applications
Temporal logics in AI: semantical and ontological considerations
Artificial Intelligence
Infinitesimal perturbation analysis for general discrete event systems
Journal of the ACM (JACM)
Artificial Intelligence
Generality in artificial intelligence
Communications of the ACM
Temporal logics and their applications
Temporal logics and their applications
Structures of discrete event simulation: an introduction to the engagement strategy
Structures of discrete event simulation: an introduction to the engagement strategy
A logic for simulating discontinous systems
WSC '89 Proceedings of the 21st conference on Winter simulation
Combining logic and differential equations for describing real-world systems
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Simulation modeling with event graphs
Communications of the ACM
The time and state relationships in simulation modeling
Communications of the ACM - Special issue on simulation modeling and statistical computing
The IC* Model of Parallel Computation and Programming Environment
IEEE Transactions on Software Engineering
Verification of Concurrent Programs: Temporal Proof Principles
Logic of Programs, Workshop
Proving real-time properties of programs with temporal logic
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
A software mechanism to enhance simulation model validity
WSC '92 Proceedings of the 24th conference on Winter simulation
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |