Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gabriel Murray
Interpreting Models of Social Group Interactions in Meetings With Probabilistic Model Checking
Predicting Subjectivity in Multimodal Conversations
Automatic Segmentation and Summarization of Meeting Speech
Related publications
Counterexamples in Probabilistic Model Checking
Model Checking for Probabilistic Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Advances and Challenges of Probabilistic Model Checking
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking
Validation of Service Level Agreements Using Probabilistic Model Checking
Probabilistic Model Checking and Non-Standard Multi-Objective Reasoning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extrapolation of an Optimal Policy Using Statistical Probabilistic Model Checking
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Model Checking the Biological Model of Membrane Computing With Probabilistic Symbolic Model Checker by Using Two Biological Systems
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
