Concurrency and composition in a stochastic world
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Probabilistic Logical Characterization
Information and Computation
Approximating Markovian testing equivalence
Theoretical Computer Science
Probabilistic relational reasoning for differential privacy
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
A general framework for probabilistic characterizing formulae
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
Computing game metrics on markov decision processes
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Probabilistic relational hoare logics for computer-aided security proofs
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Testing probabilistic equivalence through Reinforcement Learning
Information and Computation
Probabilistic Relational Reasoning for Differential Privacy
ACM Transactions on Programming Languages and Systems (TOPLAS)
Revisiting weak simulation for substochastic markov chains
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Verified indifferentiable hashing into elliptic curves
Journal of Computer Security - Security and Trust Principles
Hi-index | 0.00 |
The origins of QEST in these diverse communities are reflected in the wide range of topics in the call and the great variety of the submitted and accepted papers. This, of course, makes the selection process challenging but also stimulating. The reviewing ...