Efficient Simplification of Bisimulation Formulas (1995)

Cached

Download Links

by Uffe H. Engberg , Kim S. Larsen
Venue:In Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems, pages 111--132. LNCS 1019
Citations:1 - 0 self

Active Bibliography

Backtracking – Alberto Apostolico, Giuseppe F. Italiano
Polytechnic University – Erik D. Demaine, John Iacono, Stefan Langerman, Université Libre De Bruxelles
8 Retroactive data structures – Erik D. Demaine, John Iacono - 2004
Sequential and parallel . . . – Sung Eun Bae - 2007
14 I/O-efficient batched union-find and its applications to terrain analysis – Pankaj K. Agarwal Lars Arge, Ke Yi - 2006
21 Certification Trails for Data Structures – Gregory F. Sullivan, Gerald M. Masson, Dwight S. Wilson - 1991
§1. Union Find Problem – unknown authors
2 Incremental Topological Ordering and Strong Component Maintenance – Bernhard Haeupler, Siddhartha Sen, Robert E. Tarjan - 2008
45 Wait-free Parallel Algorithms for the Union-Find Problem – Richard J. Anderson, Heather Woll - 1994
Privacy-Preserving Publishing of Moving Objects Databases – Roman Yarovoy - 2009
7 Nardelli: Distributed searching of k-dimensional data with almost constant costs – Adriano Di Pasquale, Enrico Nardelli - 2000
4 The CLP(OIH) Language – Ole Ildsgaard Hougaard - 1998
Recipes for Baking Black Forest Databases Building and Querying Black Hole Merger Trees from Cosmological Simulations – Julio López, Colin Degraf, Tiziana Dimatteo, Bin Fu, Eugene Fink, Garth Gibson - 2011
2 Concurrent Computation of Attribute Filters on Shared Memory Parallel Machines – Michael H. F. Wilkinson, Wim H. Hesselink, Arnold Meijster, et al. - 2008
On Consulting a Set of Experts and Searching – Igal Galperin - 1996
30 Filling Gaps in the Boundary of a Polyhedron – Gill Barequet, Micha Sharir - 1993
1 Algorithms for abstracting and solving imperfect information games – Andrew Gilpin - 2007
14 Lossless abstraction of imperfect information games – Andrew Gilpin, Tuomas Sandholm - 2007
On-Line Seat Reservations . . . – Jens S. Kohrt, Kim S. Larsen - 2004