This is the author’s version of an article that has been published in the journal of Systems and Software. Changes were made to this version by the publisher prior to publication. The final version of record is availab

Source URL: qav.comlab.ox.ac.uk

• Mathematical optimization
• Mathematical analysis
• Vilfredo Pareto
• Economy
• Analysis
• Multi-objective optimization
• Multiple-criteria decision analysis
• Pareto efficiency
• XTR
• Sensitivity analysis

Logical Methods in Computer Science Vol. 10(1:, pp. 1–29 www.lmcs-online.org Submitted Published

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Mathematical analysis
• Applied mathematics
• Boolean algebra
• Experiment
• Measure theory
• Sigma-algebra
• Markov decision process
• Game theory
• Mathematical optimization

Stochastic Games for Verification of Probabilistic Timed Automata Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. Probabilistic timed auto

Source URL: qav.comlab.ox.ac.uk

• Dynamic programming
• Markov decision process
• Stochastic control
• Symbol
• PP
• Probability and statistics
• Probability
• Theoretical computer science
• Models of computation

Fake it till you make it: Fishing for Catfishes Walid Magdy∗ , Yehia Elkhatib§ , Gareth Tyson‡ , Sagar Joglekar† , and Nishanth Sastry† ∗ School of Informatics, The University of Edinburgh, UK

Source URL: www.eecs.qmul.ac.uk

• World Wide Web
• Software
• Digital media
• Social media
• Social networking services
• Universal Windows Platform apps
• Blog hosting services
• Video hosting
• Pornhub
• Tinder
• Catfishing
• Online dating service

Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom

Source URL: qav.comlab.ox.ac.uk

• Probability theory
• Statistical randomness
• Probability
• Markov models
• Stochastic game
• Markov chain
• Determinacy
• Game theory
• Strategy
• Probabilistic automaton
• Markov decision process
• Stochastic process

Microsoft Word - Pischke.doc

Source URL: econ.lse.ac.uk

• Economy
• Labour law
• Socialism
• Labour relations
• Income distribution
• Minimum wage
• Full employment
• Unemployment
• Labour economics
• Living wage
• Union wage premium

Calculating Quantitative Integrity and Security for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2

Source URL: www.cs.bham.ac.uk

• Information theory
• Information
• Information flow
• Mutual information
• Conditional entropy
• Conditional mutual information
• Quicken Interchange Format
• Metaphysics
• Knowledge

SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces ´ Erika Abrah´ am1 , John Abbott10 , Bernd Becker2 , Anna M. Bigatti3 , Martin Brain9 , Alessandro Cimatti4 , James H. Davenport5 ,

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Logic in computer science
• Computational complexity theory
• Formal methods
• Mathematics
• Electronic design automation
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Solver
• Model checking

Opportunities and Research Challenges of Hybrid Software Defined Networks Stefano Vissicchio⇤ Laurent Vanbever Princeton University

Source URL: www0.cs.ucl.ac.uk

• Network architecture
• Emerging technologies
• Computing
• Computer architecture
• Information and communications technology
• Configuration management
• Software-defined networking
• OpenFlow
• Network function virtualization
• Routing
• Big Switch Networks
• Computer network

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

Source URL: www.cl.cam.ac.uk