Peter Stadler
Dynamic Programming for Lazy Bastards
Katarina Singer
Wolfgang Gatterbauer
The Linearization of Pairwise Markov Random Fields
Tomas Vojnar
From Pointers to List Containers
First edition of the VCLA International Student Awards
Four winners in two award categories were celebrated on May 15, 2015.
András Vörös
Saturation-based incremental LTL model checking with inductive proofs
Wolfgang Dvorak
Welfare Maximization with Friends-of-Friends Network Externalities
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