AAAAAA
Results: 1-25/284
Authors:
La Torre, S
Napoli, M
Citation: S. La Torre et M. Napoli, Timed tree automata with an application to temporal logic, ACT INFORM, 38(2), 2001, pp. 89-116
Authors:
Ito, M
Martin-Vide, C
Mitrana, V
Citation: M. Ito et al., Group weighted finite transducers, ACT INFORM, 38(2), 2001, pp. 117-129
Authors:
Dassow, J
Paun, G
Thierrin, G
Yu, S
Citation: J. Dassow et al., Tree-systems of morphisms, ACT INFORM, 38(2), 2001, pp. 131-153
Authors:
Colomb, RM
Dampney, CNG
Johnson, M
Citation: Rm. Colomb et al., Category-theoretic fibration as an abstraction mechanism in information systems, ACT INFORM, 38(1), 2001, pp. 1-44
Authors:
Meinke, K
Steggles, LJ
Citation: K. Meinke et Lj. Steggles, Correctness of dataflow and systolic algorithms using algebras of streams, ACT INFORM, 38(1), 2001, pp. 45-88
Authors:
Kim, C
Citation: C. Kim, Efficient recognition algorithms for boundary and linear eNCE graph languages, ACT INFORM, 37(9), 2001, pp. 619-632
Authors:
Aycock, J
Horspool, N
Janousek, J
Melichar, B
Citation: J. Aycock et al., Even faster generalized LR parsing, ACT INFORM, 37(9), 2001, pp. 633-651
Authors:
Alonso, L
Schott, R
Citation: L. Alonso et R. Schott, On the tree inclusion problem, ACT INFORM, 37(9), 2001, pp. 653-670
Authors:
Morimoto, S
Sassa, M
Citation: S. Morimoto et M. Sassa, Yet another generation of LALR parsers for regular right part grammars, ACT INFORM, 37(9), 2001, pp. 671-697
Authors:
Morris, JM
Bunkenburg, A
Citation: Jm. Morris et A. Bunkenburg, A theory of bunches, ACT INFORM, 37(8), 2001, pp. 541-561
Authors:
Moreau, L
Duprat, J
Citation: L. Moreau et J. Duprat, A construction of distributed reference counting, ACT INFORM, 37(8), 2001, pp. 563-595
Authors:
Carpi, A
de Luca, A
Citation: A. Carpi et A. De Luca, Periodic-like words, periodicity, and boxes, ACT INFORM, 37(8), 2001, pp. 597-618
Authors:
Corradini, F
Pistore, M
Citation: F. Corradini et M. Pistore, 'Closed interval process algebra' versus 'Interval process algebra', ACT INFORM, 37(7), 2001, pp. 467-510
Authors:
Fernau, H
Citation: H. Fernau, Parallel communicating grammar systems with terminal transmission, ACT INFORM, 37(7), 2001, pp. 511-540
Authors:
Hayes, IJ
Utting, M
Citation: Ij. Hayes et M. Utting, A sequential real-time refinement calculus, ACT INFORM, 37(6), 2001, pp. 385-448
Authors:
Tiplea, FL
Makinen, E
Apachite, C
Citation: Fl. Tiplea et al., Synchronized extension systems, ACT INFORM, 37(6), 2001, pp. 449-465
Authors:
Broy, M
Citation: M. Broy, Untitled, ACT INFORM, 37(4-5), 2001, pp. 227-228
Authors:
van Glabbeek, R
Goltz, U
Citation: R. Van Glabbeek et U. Goltz, Refinement of actions and equivalence notions for concurrent systems, ACT INFORM, 37(4-5), 2001, pp. 229-327
Authors:
McIver, AK
Morgan, C
Citation: Ak. Mciver et C. Morgan, Demonic, angelic and unbounded probabilistic choices in sequential programs, ACT INFORM, 37(4-5), 2001, pp. 329-354
Authors:
Chanzy, P
Devroye, L
Zamora-Cura, C
Citation: P. Chanzy et al., Analysis of range search for random k-d trees, ACT INFORM, 37(4-5), 2001, pp. 355-383
Authors:
Best, E
Devillers, R
Koutny, M
Citation: E. Best et al., Recursion and petri nets, ACT INFORM, 37(11-12), 2001, pp. 781-829
Authors:
Astesiano, E
Reggio, G
Citation: E. Astesiano et G. Reggio, Labelled transition logic: an outline, ACT INFORM, 37(11-12), 2001, pp. 831-879
Authors:
Chakka, R
Harrison, PG
Citation: R. Chakka et Pg. Harrison, A Markov modulated multi-server queue with negative customers the MM CPP/GE/c/L G-queue, ACT INFORM, 37(11-12), 2001, pp. 881-919
Authors:
Greco, S
Sacca, D
Zaniolo, C
Citation: S. Greco et al., Extending stratified datalog to capture complexity classes ranging from P to QH, ACT INFORM, 37(10), 2001, pp. 699-725
Authors:
van Stee, R
La Poutre, H
Citation: R. Van Stee et H. La Poutre, Running a job on a collection of partly available machines, with on-line restarts, ACT INFORM, 37(10), 2001, pp. 727-742