Theories for Algorithm Calculation (1993)

Cached

Download Links

by Johan Theodoor Jeuring
Citations:37 - 4 self

Active Bibliography

4 Incremental Algorithms on Lists – Johan Jeuring - 1991
6 Strengthening invariants for efficient computation – Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum - 2001
14 From Dynamic Programming to Greedy Algorithms – Richard Bird, Oege De Moor - 1992
41 Calculate Polytypically! – Lambert Meertens - 1996
15 When Do Datatypes Commute? – Paul Hoogendijk, Roland Backhouse - 1997
1 Incremental Data Compression (Extended Abstract) – Johan Jeuring
2 Data Structures for Parallel Recursion – Jacob Kornerup - 1997
3 Bridging the Algorithm Gap: A Linear-time Functional Program for Paragraph Formatting – Oege De Moor, Jeremy Gibbons - 1997
6 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
30 Generic Haskell: applications – Ralf Hinze, Johan Jeuring - 2003
3 Indexing techniques for file sharing in scalable peer-to-peer networks (Extended Abstract) – Fred S. Annexstein, Kenneth A. Berman, Mihajlo A. Jovanovic, Kovendhan Ponnavaikko - 2002
2 Improved Dynamic Text Indexing – Paolo Ferragina, Roberto Grossi - 1998
1 Parallel String Matching Algorithms – Dany Breslauer, Zvi Galil - 1990
8 Efficient String Algorithmics – Dany Breslauer - 1992
17 Optimal Parallel Suffix Tree Construction – Ramesh Hariharan - 1997
10 Pattern Matching in a Digitized Image – Gad M. Landau, Uzi Vishkin - 1994
122 The String B-Tree: A New Data Structure for String Search in External Memory and its Applications. – Paolo Ferragina, Roberto Grossi - 1998
25 Fast lightweight suffix array construction and checking – Stefan Burkhardt, Juha Kärkkäinen - 2003
48 Dynamic Dictionary Matching – Amihood Amir, Martin Farach, Zvi Galil, Raffaele Giancarlo, Kunsoo Park - 1993