next up previous contents
Next: Analysis Up: Algebra and Geometry Previous: 1.3. Topology and Dynamical

1.4. Theoretical Foundations of Computer Sciences

Papers in journals and proceedings

H.L. BODLAENDER AND J. ENGELFRIET, Domino treewidth, Lecture Notes in Computer Science, 903:1-13, 1995.

B. COURCELLE AND J. ENGELFRIET, A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars, Mathematical Systems Theory, 28:515-552, 1995.

A. EHRENFEUCHT, J. ENGELFRIET, AND G. ROZENBERG, Finite languages for the representation of finite graphs, Journal of Computer and System Sciences, 52:170-184, 1996.

A. EHRENFEUCHT, J. ENGELFRIET, P. TEN PAS, AND G. ROZENBERG, Grammatical codes of trees and terminally coded grammars, Fundamenta Informaticae, 23:1-33, 1995.

J. ENGELFRIET, T. HARJU, A. PROSKUROWSKI, AND G. ROZENBERG, Characterization and complexity of uniformly nonprimitive labeled 2-structures, Theoretical Computer Science, 154:247-282, 1996.

A. EHRENFEUCHT, T. HARJU, AND G. ROZENBERG, Group based graph transformations and hierarchical representations of graphs, Lecture Notes in Computer Science, 1073:502-520, 1996.

J. ENGELFRIET AND J.J.VEREIJKEN, Concatenation of graphs, Lecture Notes in Computer Science, 1073:368-382, 1996.

C.A. ELLIS, K. KEDDARA, AND G. ROZENBERG, Dynamic change within workflow systems, In Proceedings of the ACM Conference on Organisational Computing Systems, pages 10-21, 1995.

J. ENGELFRIET, A multiset semantics for the pi-calculus with replication, Theoretical Computer Science, 153:65-94, 1996.

A. EHRENFEUCHT, G. PAUN, AND G. ROZENBERG, Linear landscape of external contextual languages, Acta Informatica, 33:571-594, 1996.

A. EHRENFEUCHT, P. TEN PAS, AND G. ROZENBERG, A note on binary grammatical codes of trees, Theoretical Computer Science, 155:425-438, 1996.

H.J. HOOGEBOOM AND P. TEN PAS, Text languages in an algebraic framework, Fundamenta Informaticae, 25:353-380, 1995.

P.W. HOOGERS, H.C.M. KLEIJN, AND P.S. THIAGARAJAN, A trace semantics for petri nets, Information and Computation, 117:98-114, 1995.

P.W. HOOGERS, H.C.M. KLEIJN, AND P.S. THIAGARAJAN, An event structure semantics for general petri nets, Theoretical Computer Science, 153:129-170, 1996.

L. KARI, G. ROZENBERG, AND A. SALOMAA, Generalised DOL trees, Acta Cybernetica, 1:1-9, 1995.

A. MATEESCU, G. PAUN, G. ROZENBERG, AND A. SALOMAA, Parikh prime words and GO-like territories, Journal of Universal Computer Science, 1(12):790-810, 1995.

V. MITRANA, GH. PAUN, G. ROZENBERG, AND A. SALOMAA, Pattern systems, Theoretical Computer Science, 154:183-201, 1996.

M. NIELSEN, G. ROZENBERG, AND P.S. THIAGARAJAN, Transition systems, event structures and unfoldings, Information and Computation, 118: 191-207, 1995.

G. PAUN, G. ROZENBERG, AND A. SALOMAA, Contextual grammars: Parallellism and blocking of derivation, Fundamenta Informaticae, 25:381-398, 1996.

G. PAUN, G. ROZENBERG, AND A. SALOMAA, Restricted use of the splicing operation, International Journal of Computer Mathematics, 60:17-32, 1996.

G. PAUN, A. SALOMAA, AND G. ROZENBERG, Computing with splicing, Theoretical Computer Science, 168:321-336, 1996.

G. PAUN, A. SALOMAA, AND G. ROZENBERG, Contextual grammars: Deterministic derivations and growth functions, Revue Roumaine de Mathématiques Pures et Appliquées, 41:83-108, 1996.

G. ROZENBERG, EDITOR, Theoretical Computer Science, Special issue on Petri Nets, volume 153, Elsevier, 1996.

G. ROZENBERG AND A. SALOMAA, editors, Fundamenta Informaticae, Special issue on Formal Language Theory, volume 25(3,4), IOS Press, March 1996.

A. SALOMAA, G. ROZENBERG, AND G. PAUN, Grammars based on the shuffle operation, Journal of Universal Computer Science, 1:67-82, 1995.

Ph.D. Theses

P. TEN PAS, Trees and texts, 1995, Leiden University.

N.W. KEESMAAT, Vector controlled concurrent systems, 1996, Leiden University.

Reports and pre-prints

F. DREWES AND J. ENGELFRIET, Decidability of the finiteness of ranges of tree transductions, University of bremen, December 1996.

A. EHRENFEUCHT, A. MATEESCU, G. PAUN, G. ROZENBERG, AND A. SALOMAA, On representing RE languages by one-sided internal contextual languages, Leiden University technical report, 1995.

J. ENGELFRIET, Derivation trees of ground term rewriting systems, Leiden University technical report, 1996, August.

J. ENGELFRIET AND TJ. GELSEMA, Multisets and structural congruence of the pi-calculus with replication, Leiden University technical report, 1995.

J. ENGELFRIET AND TJ. GELSEMA, A Cantor-Bernstein result for structured objects, Leiden University technical report, 1996, October.

J. ENGELFRIET AND V. VAN OOSTROM, Logical description of context-free graph-languages, Leiden University technical report, 1996, August.

J. ENGELFRIET AND J.-J. VEREIJKEN, Context-free graph grammars and concatenation of graphs, Leiden University technical report, 1995.

J. ENGELFRIET AND H. VOGLER, The equivalence of bottom-up and top-down tree-to-graph transducers, Report tud/fi96/17, technical University of dresden, 1996.

R. FREUND, G. PAUN, AND G. ROZENBERG, Contextual array grammars, Leiden University technical report, 1995.

J. HAGE AND T. HARJU, Acyclicity of switching classes, Leiden University technical report, 1996.

J. HAGE AND T. HARJU, The size of 2-classes in group labeled 2-structures, Leiden University technical report, 1996.

H.J. HOOGEBOOM AND A. MUSCHOLL, The code problem for traces - improving the boundaries, Leiden University technical report, 1995.

L. KARI, G. PAUN, SHENG YU, G. ROZENBERG, A. SALOMAA, AND S. YU, DNA computing, matching systems, and universality, Tucs technical report, 1996, October.

N.W. KEESMAAT AND H.C.M. KLEIJN, Net-based control versus rational control: the relation between ITNC vector languages and rational relations, Leiden University technical report, 1995.

H.C.M. KLEIJN, Local traces and local event structures, In Proceedings Workshop on Algebraic and Syntactic Aspects of Concurrency, Chantilly, Frankrijk, LITP 95/48, pages 153-161, 1995.

H.C.M. KLEIJN AND B. ROZOY, Local traces and local event structures again, In Proceedings Workshop on Algebraic and Syntactic Aspects of Concurrency, Chantilly, Frankrijk, LITP 95/48, pages 163-171, 1995.

A. MATEESCU, G.R. MATEESCU, G. ROZENBERG, AND A. SALOMAA, Shuffle-like operations on omega-words, Leiden University technical report, 1996.

A. MATEESCU, G. PAUN, G. ROZENBERG, AND A. SALOMAA, Simple splicing systems, Leiden University technical report, 1995.

A. MATEESCU, G. ROZENBERG, AND A. SALOMAA, Shuffle on trajectories: Syntactic constraints, Leiden University technical report, 1996.

V. MIHALACHE, G. PAUN, G. ROZENBERG, AND A. SALOMAA, Generating strings by replication: a simple case, Leiden University technical report, 1995.

G. PAUN, G. ROZENBERG, AND A. SALOMAA, Computing by splicing, Leiden University technical report, 1995.

G. ROZENBERG AND A. SALOMAA, Watson-Crick complementarity, universal computations and genetic engineering, Leiden University technical report, 1996, October.

Other publications

V. DIEKERT AND G. ROZENBERG, editors, The Book of Traces, World Scientific, 1995.

G. ENGELS, H. EHRIG, AND G. ROZENBERG, editors, Fundamenta Informaticae, Special issue on Graph Transformations, volume 26(3,4), IOS Press, June 1996.

H.J. HOOGEBOOM AND G. ROZENBERG, Dependence graphs, In The Book of Traces, pages 43-68. World Scientific, 1995.


next up previous contents
Next: Analysis Up: Algebra and Geometry Previous: 1.3. Topology and Dynamical

J.H.M.Dassen
Fri Mar 20 16:01:06 MET 1998