Hubie Chen
The Logic of Counting Query Answers: A Study via Existential Positive Queries
Yoram Moses
Principles of Coordination in Multi-agent Systems
Neng-Fa Zhou
The Picat Language and System
Andrej Bauer
An Introduction to Algebraic Effects and Handlers
PostDoc position within the project “Oligomorphic clones”
The position will initially be for one year, but the project will be running until 4/2018 and prolongation of the position is negotiable.
James Anderson
Graph Decomposition for Large-Scale Dynamical System Analysis
Hannes Strass
Abstract Argumentation and Approximation Fixpoint Theory
March 24, 2015
Roopsha Samanta
Succinct Representation of Concurrent Trace Sets
Iyad Kanj
On Bounded-Degree Plane Geometric Spanners
Helmut Seidl
Parametric Strategy Iteration
