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
Retroactive data structures (extended abstract) – Erik D. Demaine, John Iacono, Stefan Langeman - 2004
Sequential and parallel . . . – Sung Eun Bae - 2007
Algorithmica DOI 10.1007/s00453-012-9636-4 Improved Bounds for Finger Search on a RAM – Alexis Kaporis, Christos Makris, Spyros Sioutas, Athanasios Tsakalidis, Kostas Tsichlas, Christos Zaroliagis, A. Kaporis, C. Makris, A. Tsakalidis, C. Zaroliagis, C. Makris, A. Tsakalidis, C. Zaroliagis, C. Makris, A. Tsakalidis, K. Tsichlas, C. Zaroliagis, K. Tsichlas, S. Sioutas - 2011
22 Certification Trails for Data Structures – Gregory F. Sullivan, Gerald M. Masson, Dwight S. Wilson - 1991
3 Incremental Topological Ordering and Strong Component Maintenance – Bernhard Haeupler, Siddhartha Sen, Robert E. Tarjan - 2008
50 Wait-free Parallel Algorithms for the Union-Find Problem – Richard J. Anderson, Heather Woll - 1994
§1. Union Find Problem – unknown authors
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
1 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
Algorithms for Large-Scale Astronomical Problems – Bin Fu, Garth Gibson - 2013
10 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
38 Filling Gaps in the Boundary of a Polyhedron – Gill Barequet, Micha Sharir - 1993
On-Line Seat Reservations . . . – Jens S. Kohrt, Kim S. Larsen - 2004
2 Algorithms for abstracting and solving imperfect information games – Andrew Gilpin - 2007
21 Lossless abstraction of imperfect information games – Andrew Gilpin, Tuomas Sandholm - 2007