Experimental Biological Protocols with Formal Semantics Alessandro Abate2 , Luca Cardelli1,2 , Marta Kwiatkowska2 , Luca Laurenti2 , and Boyan Yordanov1 1

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

• Mathematics
• Mathematical analysis
• Theoretical computer science
• Distribution
• Functional analysis
• Substitution
• Denotational semantics
• Markov chain

Planning with Flexible Timelines in the Real World Alessandro Umbrico, Marta Cialdea Mayer University Roma TRE, Italy Abstract

Source URL: icaps16.icaps-conference.org

• Automated planning and scheduling
• Planning
• Framework
• Constraint satisfaction
• Planner

2015 IEEE Symposium on Security and Privacy Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs Eli Ben-Sasson§ , Alessandro Chiesa∗ , Matthew Green† , Eran Tromer¶ , Madars Virza‡ ∗ ETH

Source URL: www.ieee-security.org

Zexe: Enabling Decentralized Private Computation Sean Bowe Alessandro Chiesa Matthew Green

Source URL: eprint.iacr.org

• Cryptocurrencies
• Cryptography
• Computing
• Blockchains
• Information
• Alternative currencies
• Decentralization
• Transaction processing
• Bitcoin
• Ethereum
• Secure multi-party computation
• Smart contract

Language and Hardware Acceleration Backend for Graph Processing Andrey Mokhov† , Alessandro de Gennaro† , Ghaith Tarawneh† , Jonny Wray‡ , Georgy Lukyanov† , Sergey Mileiko† , Joe Scott† , Alex Yakovlev†

Source URL: www.staff.ncl.ac.uk

• Graph theory
• Mathematics
• Discrete mathematics
• Graph traversal
• Graph
• Directed graph
• Breadth-first search
• Degree
• Line graph
• Clique

Sound Numeric Computations in Abstract Acceleration Dario Cattaruzza Alessandro Abate Daniel Kroening

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

• Algebra
• Linear algebra
• Mathematics
• Matrix theory
• Numerical linear algebra
• Eigendecomposition of a matrix
• Eigenvalues and eigenvectors
• Matrix
• State-space representation
• Lanczos algorithm
• Eigenvalue perturbation

Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations ? ˇ ska1,2 , and Marta Kwiatkowska1 Alessandro Abate1 , Milan Ceˇ 2

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

• Dynamic programming
• Equations
• Stochastic control
• Systems theory
• Control theory
• Systems science
• Markov processes
• Mathematics
• Markov decision process
• Mathematical optimization
• Bellman equation
• Reinforcement learning

Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision Alessandro Abate Luca Bortolussi

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

Deciding Unbounded Heaps  in an SMT Framework  Zvonimir Rakamarić 1 , Roberto Bruttomesso 2 , Alan Hu 1 ,  Alessandro Cimatti 2  1 University of British Columbia; 2 ITC­IRST

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Constraint programming
• Electronic design automation
• Logic in computer science
• Satisfiability modulo theories
• Heap
• FO
• Transitive closure

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