-
1
-
-
84958043444
-
Linear time algorithms for liveness and boundedness in conflict-free petri nets
-
Lecture Notes in Computer Science, Springer-Verlag
-
P. Alimonti, E. Feuerstein, and U. Nanni. Linear time algorithms for liveness and boundedness in conflict-free petri nets. In 1st Latin American Theoretical Informatics, Volume 583, pages 1-14. Lecture Notes in Computer Science, Springer-Verlag, 1992.
-
(1992)
1st Latin American Theoretical Informatics
, vol.583
, pp. 1-14
-
-
Alimonti, P.1
Feuerstein, E.2
Nanni, U.3
-
2
-
-
0020831559
-
Graph algorithms for functional dependency manipulation
-
G. Ausiello, A. D'Atri, and D. Saccà. Graph algorithms for functional dependency manipulation. Journal of the ACM, 30:752-766, 1983.
-
(1983)
Journal of the ACM
, vol.30
, pp. 752-766
-
-
Ausiello, G.1
D'Atri, A.2
Saccà, D.3
-
4
-
-
0030784205
-
On-line algorithms for satisfiability formulae with uncertainty
-
G. Ausiello, R. Giaccio. On-line algorithms for satisfiability formulae with uncertainty. Theoretical Computer Science 171:3-24, 1997.
-
(1997)
Theoretical Computer Science
, vol.171
, pp. 3-24
-
-
Ausiello, G.1
Giaccio, R.2
-
6
-
-
0009750756
-
Online algorithms for polynomially solvable satisfiability problems
-
G. Ausiello and G. F. Italiano. Online algorithms for polynomially solvable satisfiability problems. Journal of Logic Programming, 10:69-90, 1991.
-
(1991)
Journal of Logic Programming
, vol.10
, pp. 69-90
-
-
Ausiello, G.1
Italiano, G.F.2
-
7
-
-
0025430467
-
Dynamic maintenance of directed hypergraphs
-
G. Ausiello, G. F. Italiano, and U. Nanni. Dynamic maintenance of directed hypergraphs. Theoretical Computer Science, 72(2-3):97-117, 1990.
-
(1990)
Theoretical Computer Science
, vol.72
, Issue.2-3
, pp. 97-117
-
-
Ausiello, G.1
Italiano, G.F.2
Nanni, U.3
-
8
-
-
0023384210
-
Fibonacci heaps and their uses in improved network optimization algorithms
-
M. L. Fredman and R. E. Tarjan. Fibonacci heaps and their uses in improved network optimization algorithms. Journal of the ACM, 34:596-615, 1987.
-
(1987)
Journal of the ACM
, vol.34
, pp. 596-615
-
-
Fredman, M.L.1
Tarjan, R.E.2
-
10
-
-
0039687278
-
A hypergraph approach to logical inference for datalog formulae
-
Univ. of Pisa, Italy
-
G. Gallo and G. Rago. A hypergraph approach to logical inference for Datalog formulae. Technical Report 28/90, Dip. di Informatica, Univ. of Pisa, Italy, 1990.
-
(1990)
Technical Report 28/90, Dip. Di Informatica
-
-
Gallo, G.1
Rago, G.2
-
12
-
-
0002210838
-
A generalization of dijkstra's algorithm
-
D. E. Knuth. A generalization of Dijkstra's algorithm. Information Processing Letters, 6(1):1-5, 1977.
-
(1977)
Information Processing Letters
, vol.6
, Issue.1
, pp. 1-5
-
-
Knuth, D.E.1
-
13
-
-
84896754887
-
On-line reevaluation of functions
-
Comp. Sci. Dept., Aarhus University, January
-
P. B. Miltersen. On-line reevaluation of functions. Technical Report DAIMI PB-380, Comp. Sci. Dept., Aarhus University, January 1992.
-
(1992)
Technical Report DAIMI PB-380
-
-
Miltersen, P.B.1
-
15
-
-
0030353548
-
An incremental algorithm for a generalization of the shortest path problem
-
G. Ramalingam and T. Reps, An Incremental Algorithm for a Generalization of the Shortest Path Problem, Journal of Algorithms, 21:267-305, 1996.
-
(1996)
Journal of Algorithms
, vol.21
, pp. 267-305
-
-
Ramalingam, G.1
Reps, T.2
|