-
2
-
-
0000779388
-
An auction algorithm for shortest paths
-
D.P. Bertsekas. An auction algorithm for shortest paths. SIAM Journal on Optimization, 1(4):425-447, 1991.
-
(1991)
SIAM Journal on Optimization
, vol.1
, Issue.4
, pp. 425-447
-
-
Bertsekas, D.P.1
-
5
-
-
0024748699
-
Faster scaling algorithms for network problems
-
H.N. Gabow and R.E. Tarjan. Faster scaling algorithms for network problems. SIAM Journal on Computing, 18(5):1013-1036, 1989.
-
(1989)
SIAM Journal on Computing
, vol.18
, Issue.5
, pp. 1013-1036
-
-
Gabow, H.N.1
Tarjan, R.E.2
-
6
-
-
0031122908
-
All pairs shortest distances for graphs with small integerlength edges
-
Z. Galil and O. Margalit. All pairs shortest distances for graphs with small integer length edges. Journal of Computer and System Sciences, 54:243-254, 1997.
-
(1997)
Journal of Computer and System Sciences
, vol.54
, pp. 243-254
-
-
Galil, Z.1
Margalit, O.2
-
8
-
-
0002779713
-
Safety, translation and evaluation of AlignmentCalculus
-
Springer Electronic Workshops in Computing
-
G. Grahne and M. Nykänen. Safety, translation and evaluation of Alignment Calculus. In Advances in Databases and Information Systems, Springer Electronic Workshops in Computing, pages 295-304, 1997.
-
(1997)
Advances in Databases and Information Systems
, pp. 295-304
-
-
Grahne, G.1
Nykänen, M.2
-
11
-
-
85051533358
-
Decidability of reachability in vector addition systems
-
S.R. Kosaraju. Decidability of reachability in vector addition systems. In ACM Symposium on Theory of Computing, pages 267-281, 1982.
-
(1982)
Acmsymposium on Theory of Computing
, pp. 267-281
-
-
Kosaraju, S.R.1
-
12
-
-
0021474508
-
An algorithm for the general Petri net reachability problem
-
E.W. Mayr. An algorithm for the general Petri net reachability problem. SIAM Journal on Computing, 13(3):441-460, 1984.
-
(1984)
Siamjournal on Computing
, vol.13
, Issue.3
, pp. 441-460
-
-
Mayr, E.W.1
-
13
-
-
0004209192
-
-
PhD thesis, Department of Computer Science, University of Helsinki, Finland
-
M. Nykänen. Querying String Databases with Modal Logic. PhD thesis, Department of Computer Science, University of Helsinki, Finland, 1997.
-
(1997)
Querying String Databases with Modal Logic
-
-
Nykänen, M.1
-
14
-
-
84957083017
-
Using acceptors as transducers
-
press
-
M. Nykänen. Using acceptors as transducers. In Third International Workshop on Implementing Automata (WIA'98), 1998. In press.
-
(1998)
Third International Workshop
-
-
Nykänen, M.1
-
16
-
-
0029509262
-
On the all-pairs-shortest-path problem in unweighted undirectedgraphs
-
R. Seidel. On the all-pairs-shortest-path problem in unweighted undirected graphs. Journal of Computer and System Sciences, 51:400-403, 1995.
-
(1995)
Journal of Computer and System Sciences
, vol.51
, pp. 400-403
-
-
Seidel, R.1
|