Petri net based simulation of construction schedules
Proceedings of the 29th conference on Winter simulation
Stochastic processes as concurrent constraint programs
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Annals of Software Engineering - Special issue on software engineering education
Let's evaluate performance algebraically
ACM Computing Surveys (CSUR)
IEEE Transactions on Parallel and Distributed Systems
Metrics for Labeled Markov Systems
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Approximating Labeled Markov Processes
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
A structure based decomposition approach for GSPN
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Approximating labelled Markov processes
Information and Computation
Mathematical models of uncertainty with a regard to membrane systems
Natural Computing: an international journal
Metrics for labelled Markov processes
Theoretical Computer Science - Logic, semantics and theory of programming
Experiments on the reliability of stochastic spiking neural P systems
Natural Computing: an international journal
Towards the Evaluation of Environment and Business Trade-offs in Supply Chains
Electronic Notes in Theoretical Computer Science (ENTCS)
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Complex functional rates in rule-based languages for biochemistry
Transactions on Computational Systems Biology XIV
Availability analysis for deployment of in-cloud applications
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems
An Exposition of Performance-Security Trade-offs in RANETs Based on Quantitative Network Models
Wireless Personal Communications: An International Journal
Hi-index | 0.01 |