|
Publications
A bibtex file of some of our publications
- D. Janssens, G. Rozenberg, On the Structure of Node-Label Controlled Graph Grammars, Information Sciences, 20, 191-216, 1980.
- D. Janssens, G. Rozenberg, Restrictions, Extensions and Variations of NLC Grammars, Information Sciences, 20, 217-244, 1980.
- D. Janssens, G. Rozenberg, Node-Label Controlled Graph Grammars, in Mathematical Foundations of Computer Science 1980, Springer Lecture notes in Computer Science 88, 334-347, 1980.
- D. Janssens, J. Paredaens, Decomposition of Relations: a Comprehensive Approach, Advances in Data Base Theory 1, Plenum press, 73-100, 1980.
- D. Janssens, G. Rozenberg, Decision Problems for Node Label Controlled Graph Grammars, Journal of Computer and System Science, 22, 144--177, 1981.
- D. Janssens, G. Rozenberg, a Characterization of Context-free String Languages by Directed node-Label controlled Graph Grammars, Acta Informatica, 16, 63-85, 1981.
- D. Janssens, G. Rozenberg, Graph Grammars with Neighbourhood--Controlled embedding, Theoretical Computer Science, 21, 55--74, 1982.
- D. Janssens, G. Rozenberg, Generating Graph Languages Using Hypergraph Systems, in Fundamentals of Computation Theory, Springer Lecture notes in Computer Science 117, 154-164, 1981.
- H. Ehrig, D. Janssens, H.J. Kreowski, G. Rozenberg, Concurrency of Node-Label Controlled Graph Transformations, in 8th Conference on Graph-Theoretic Concepts in Computer Science, Carl Hauser Verlag, 91-108, 1981.
- D. Janssens, G. Rozenberg, R. Verraedt, On Sequential and Parallel Node-Rewriting Graph Grammars, part 1, Computer Graphics and Image Processing, 18, 279-301, 1982.
- D. Janssens, G. Rozenberg, R. Verraedt, On Sequential and Parallel Node-Rewriting Graph Grammars, part 2, Computer Graphics and Image Processing, 23, 295-312, 1983.
- D. Janssens, G. Rozenberg, Hypergraph Systems and Their Extensions, RAIRO Informatique Theorique, 17, 163-196, 1983.
- H.J. Genrich, D. Janssens, G. Rozenberg, P.S. Thiagarajan, Generalized Handle Grammars and their Relation to Petri Nets, Electronische Informationsverarbeitung und Kybernetik, 1983.
- H.J. Genrich, D. Janssens, G. Rozenberg, P.S. Thiagarajan, Petri Nets and their Relation to Graph Grammars, in Graph Grammars and their Application in Computer Science, Springer Lecture notes in Computer Science 153, 115-129, 1983.
- D. Janssens, G. Rozenberg, Hypergraph Systems Generating Graph Languages, in Graph Grammars and their Application in Computer Science, Springer Lecture notes in Computer Science 153, 172-185, 1983.
- D. Janssens, G. Rozenberg, Graph Grammars with Node-Label Controled Embedding and Rewriting, in Graph Grammars and their Application in Computer Science, Springer Lecture notes in Computer Science 153, 186-205, 1983.
- D. Janssens, G. Rozenberg, A Survey of NLC Grammars, in CAAP 83, Springer Lecture notes in Computer Science 159, 114-12, 1983.
- D. Janssens, E. Welzl, G. Rozenberg, The Bounded Degree Problem for NLC Grammars is Decidable, Journal of Computer and System Sciences, 33, 415--422, 1986.
- D. Janssens, G. Rozenberg, Neighbourhood--Uniform NLC Grammars, Computer Graphics and Image Processing, 35, 131-151, 1986.
- D. Janssens, Message Passing and Graph Transformations: A Model of Actor Computation, Microprocessing and Microprogramming, 18, 307-38, 1986.
- D. Janssens and G. Rozenberg, Basic Notions of Actor Grammars: a Graph Grammar Model for Actor Computation, in Graph Grammars and their Application in Computer Science, Springer Lecture notes in Computer Science 291, 280--298, 1987.
- D. Janssens and G. Rozenberg, Actor Grammars, Mathematical Systems Theory, 22, 75-107, 1989.
- D. Janssens and G. Rozenberg, Graph--Grammar Based Description of Object--Based Systems, in Foundations of Object--Oriented Languages, Springer Lecture notes in Computer Science 489, 343--404, 1990.
- D. Janssens and G. Rozenberg, Structured Transformations and Computation graphs for Actor Grammars, in Graph Grammars and their Application in Computer Science, Springer Lecture notes in Computer Science 532, 446-460, 1991.
- D. Janssens, Graph--Rewriting as a Semantics for Message--Passing Systems, Nouvelles de la Science et des Technologies, 9, 11-17, 1991.
- D. Janssens, Equivalence of Computations in Actor Grammars, Theoretical Computer Science, 109, 145-180, 1993.
- D. Janssens, M. Lens and G. Rozenberg, Computation Graphs for Actor Grammars, Computer and System Sciences, 46, 60-90, 1993.
- D. Janssens, ESM Systems and the Composition of their Computations, Graph Transformations in Computer Science, Springer Lecture Notes in Computer Science 776, 203-217 1994.
- D. Janssens and T. Mens, Abstract Semantics for ESM Systems, Fundamenta Informaticae, 26, 315-339, 1996.
- D. Janssens, The Decomposition of ESM Computations, in Graph Grammars and their Application in Computer Science, Springer Lecture notes in Computer Science 1073, 271-287, 1996.
- D. Janssens and N. Verlinden, Reasoning on Graph Rewriting Processes, technical report 97-07, Dept. of Math and Comp. Sci., UIA, 1997.
- D. Janssens and N. Verlinden, Algebraic Reasoning in Graph Processes, in 6th International Workshop on Theory and Application of Graph Transformation tr-ri-98-201, Universität GH Paderborn, 217-224, 1998.
- D. Janssens and J. Müller, Modeling Timed Petri Nets, in 6th International Workshop on Theory and Application of Graph Transformation tr-ri-98-201, Universität GH Paderborn, 225-232, 1998.
- D. Janssens, Actor Grammars and Local Actions, in Handbook of Graph Grammars and Computing by Graph Transformation vol 3, %%Chapter 2%% World Scientific, 57-106, 1999.
- D. Janssens and N. Verlinden, A Framework for ESM and NLC: Local Action Systems, in 6th International Workshop on Theory and Application of Graph Transformation Springer Lecture Notes in Computer Science 1764, 194-214, 2000.
- D. Janssens and N. Verlinden, Algebraic Properties of LAS Processes, Technical report 99-13, Dept. of math. and Comp. Sci., UIA, 1999.
- D. Janssens, Processes and Local Actions, in GetGrats Closing Workshop, Electronic Notes in Theoretical Computer Science vol 51, http://www.elsevier.nl/locate/entcs, Elseviers, 2001.
- D. Janssens and N. Verlinden, Modeling Petri Nets by Local Action Systems (ext. abstr.), Electronic Notes in Theoretical Computer Science vol 50 3, http://www.elsevier.nl/locate/entcs/volume50/html , Elseviers, 2001. also Proc. GT-VMT 2001, ICALP 2001 Satellite Workshops, Elseviers Science, 277-283, 2001.
- D. Janssens and N. Verlinden, Algebraic Properties for Local Action Systems, Math. Struct. in Comp. Science, vol 12, 423-448 , 2002.
- D. Janssens, Local Action Systems and DPO Graph Transformation, in Formal and Natural Computing Springer Lecture Notes in Computer Science 2300, 138-157, 2002.
- T. Mens, S. Demeyer and D. Janssens, Formalizing Behaviour Preserving Program Transformations, technical report 02-03, Dept of Math. and Computer Science, University of Antwerp - UIA, 2002. Also proceedings of ICGT 2002.
- T. Mens, S. Demeyer and D. Janssens, Formalizing Behaviour Preserving Program Transformations, in Proceedings of ICGT 2002, Springer Lecture Notes in Computer Science 2505, 286-301, 2002.
- D. Janssens, S. Demeyer and T. Mens Case Study: Simulation of a LAN, Electronic Notes in Theoretical Computer Science vol 74 4, http://www.elsevier.nl/locate/entcs/volume74/html , Elseviers, 2002.
- N. Van Eetvelde and D. Janssens, A Hierarchical Program Representation for Refactoring, submitted to UNIGRA 03 (satt of ETAPS 03 Warsaw), 2003.
- A. Amsel and D. Janssens, Expressing Component-Relating Aspects with Graph Transformations, Applications of Graph Transformations with Industrial Relevance, AGTIVE 2003, LNCS 3062, pages 149-162
|