Sciweavers

10 search results - page 1 / 2
» icalp 1995
Sort
View
66
Voted
ICALP
1995
Springer
15 years 1 months ago
Polynomial Closure and Unambiguous Product
Jean-Eric Pin, Pascal Weil
81
Voted
ICALP
1995
Springer
15 years 1 months ago
Automatic Synthesis of Real Time Systems
Jørgen H. Andersen, Kåre J. Kristoffe...
70
Voted
ICALP
1995
Springer
15 years 1 months ago
Shortest Path Queries in Digraphs of Small Treewidth
We consider the problem of preprocessing an n-vertex digraph with real edge weights so that subsequent queries for the shortest path or distance between any two vertices can be efï...
Shiva Chaudhuri, Christos D. Zaroliagis
136
Voted
ICALP
1995
Springer
15 years 1 months ago
Intervalizing k-Colored Graphs
The problem to determine whether a given k-colored graph is a subgraph of a properly colored interval graph has an application in DNA physical mapping. In this paper, we study the...
Hans L. Bodlaender, Babette de Fluiter
78
Voted
ICALP
1995
Springer
15 years 1 months ago
Parallel Algorithms with Optimal Speedup for Bounded Treewidth
We describe the rst parallel algorithm with optimal speedup for constructing minimum-width tree decompositions of graphs of bounded treewidth. On n-vertex input graphs, the algori...
Hans L. Bodlaender, Torben Hagerup