- Solving Parity Games on the Playstation 3 Freark van der Berg Fri 28 March 2014
- Improved Upper and Lower Bounds for Buchi Disambiguation Hrishikesh Karmarkar Manas Joglekar Supratik Chakraborty Fri 28 March 2014
- Abstracting Abstract Machines David Van Horn Matthew Might Fri 28 March 2014
- Practical Coinduction Dexter Kozen Alexandra Silva Fri 28 March 2014
- Weighted sums of certain dependent random variables Kazuoki Azuma Fri 28 March 2014
- Probability Inequalities for Sums of Bounded Random Variables Wassily Hoeffding Fri 28 March 2014
- Boolean Equation Solving As Graph Traversal Brian Herlihy Peter Schachte Harald Søndergaard Fri 28 March 2014
- Programming in Standard ML '97: A Tutorial Introduction Stephen Gilmore Fri 28 March 2014
- Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems Kousha Etessami Dominik Wojtczak Mihalis Yannakakis Thu 27 March 2014
- Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems Kousha Etessami Dominik Wojtczak Mihalis Yannakakis Thu 27 March 2014
- A regularity test for pushdown machines R.E. Stearns Thu 27 March 2014
- Distributed synthesis for acyclic architectures Anca Muscholl Igor Walukiewicz Wed 26 March 2014
- Efficient Analysis of Probabilistic Programs with an Unbounded Counter Tomàs Brazdil Stefan Kiefer Antonín Kučera Wed 26 March 2014
- Efficient Fixpoint Computation for Invariant Checking K. Ravi F. Somenzi Mon 24 March 2014
- On computing the fixpoint of a set of boolean equations Viktor Kuncak K. Rustan M. Leino Mon 24 March 2014
- Abstract Interpretation of Functional Languages: From Theory to Practice Sebastian Hunt Mon 24 March 2014
- An improved differential fixpoint iteration method for program analysis Hyunjun Eo Kwangkeun Yi Mon 24 March 2014
- Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems Christian Fecht Helmut Seidl Mon 24 March 2014
- Higher-Order Logic Stefan Hetzl Sun 23 March 2014
- Modal mu-calculi Julian Bradfield Colin Stirling Sun 23 March 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
