Foundations of logic programming
Foundations of logic programming
Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
A logic-based calculus of events
New Generation Computing
Verification of Prolog programs using an extension of execution
Proceedings on Third international conference on logic programming
Logic for problem-solving
Infinitesimal perturbation analysis for general discrete event systems
Journal of the ACM (JACM)
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
A real-time transition model for analyzing behavioral compatibility of telecommunications services
SIGSOFT '91 Proceedings of the conference on Software for citical systems
ACM Computing Surveys (CSUR)
Discrete Event Systems: Models and Applications
Discrete Event Systems: Models and Applications
Issues Arising in the Analysis of L.0
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Software/modelware application requirements (panel)
WSC '92 Proceedings of the 24th conference on Winter simulation
A logic-based foundation of discrete event modeling and simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Eliminating event cancellation in discrete event simulation
WSC '95 Proceedings of the 27th conference on Winter simulation
| Hi-index | 0.00 |