Foundations of logic programming
Foundations of logic programming
Artificial Intelligence
Probabilistic propositional temporal logics
Information and Control
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
A probabilistic powerdomain of evaluations
Proceedings of the Fourth Annual Symposium on Logic in computer science
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Stochastic Petri nets: an elementary introduction
Advances in Petri nets 1989
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bisimulation through probabilistic testing
Information and Computation
Performance modeling of automated manufacturing systems
Performance modeling of automated manufacturing systems
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Concurrent constraint programming
Concurrent constraint programming
The complexity of probabilistic verification
Journal of the ACM (JACM)
Reactive, generative, and stratified models of probabilistic processes
Information and Computation
Axiomatizing probabilistic processes: ACP with generative probabilities
Information and Computation
Probabilistic predicate transformers
ACM Transactions on Programming Languages and Systems (TOPLAS)
A compositional approach to performance modelling
A compositional approach to performance modelling
Modeling and verification of randomized distributed real-time systems
Modeling and verification of randomized distributed real-time systems
Model-checking of real-time systems: a telecommunications application: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
Timed default concurrent constraint programming
Journal of Symbolic Computation - Special issue: executable temporal logics
Computing with continuous change
Science of Computer Programming - Special issue on concurrent constraint programming
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Symbolic Model Checking for Probabilistic Processes
ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
Scenarios: A Model of Non-Determinate Computation
Proceedings of the International Colloquium on Formalization of Programming Concepts
Probabilistic Concurrent Constraint Programming
CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Preemption in Concurrent Systems
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
The Expressive Power of Indeterminate Primitives in Asynchronous Computation
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Model Checking of Probabalistic and Nondeterministic Systems
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Programming in Hybrid Constraint Languages
Hybrid Systems II
Compositional Testing Preorders for Probabilistic Processes
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Bisimulation for Labelled Markov Processes
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Quantitative Analysis and Model Checking
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
A Logical Characterization of Bisimulation for Labeled Markov Processes
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Probabilistic Broadcast
An Algorithm for Group Formation and Maximal Independent Set in an Amorphous Computer
An Algorithm for Group Formation and Maximal Independent Set in an Amorphous Computer
Paradigms for Structure in an Amorphous Computer
Paradigms for Structure in an Amorphous Computer
Effective Bayesian inference for stochastic programs
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
From logic to stochastic processes (abstract only)
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Stochastic lambda calculus and monads of probability distributions
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A calculus for probabilistic languages
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Temporal Concurrent Constraint Programming: Applications and Behavior
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Quantitative Observables and Averages in Probabilistic Constraint Programming
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Temporal concurrent constraint programming: applications and behavior
Formal and natural computing
Bisimulation for labelled Markov processes
Information and Computation - Special issue: LICS'97
Approximating Labeled Markov Processes
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Approximating labelled Markov processes
Information and Computation
A probabilistic language based upon sampling functions
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Decidability of infinite-state timed CCP processes and first-order LTL
Theoretical Computer Science - Expressiveness in concurrency
Formalization of the Standard Uniform random variable
Theoretical Computer Science
Formalization of Continuous Probability Distributions
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
A probabilistic language based on sampling functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Troll, a language for specifying dice-rolls
Proceedings of the 2009 ACM symposium on Applied Computing
Stochastic Programs and Hybrid Automata for (Biological) Modeling
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Verification of probabilistic properties in HOL using the cumulative distribution function
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Boosting probabilistic choice operators
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Measure transformer semantics for Bayesian machine learning
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
A model-learner pattern for bayesian reasoning
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hi-index | 0.00 |