Bibliographie

Roxana Dietze (geb. Melinte)

2006

Roxana Dietze, Manfred Kudlek, and Olaf Kummer.
On decidability problems of a basic class of object nets.
Technical Report FBI-HH-B-270/06, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, March 2006.

2005

Roxana Dietze.
Unentscheidbarkeit des Beschränktheitsproblems für allgemeine Referenznetze.
In Schmidt and Stahl (Hrsg.), Proceedings of the 12th Workshop on Algorithms and Tools for Petri Nets (AWPN 05), pages 48-53.

2004

Roxana Melinte.
Konzepte von Referenznetzen.
In Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN 04), Ekkart Kindler (ed.), Bericht tr-ri-04-251, pages 43-48, 2004.

Roxana Melinte and Manfred Kudlek.
On black hole languages.
Supplemental Papers for DLT'04 - C.S. Calude, E. Calude, M. J. Dinneen (Eds.), CDMTCS-252, pages 30-41, 2004.

2003

Roxana Melinte.
Coverability structure based analysis.
Technical Report TR 02-05, University ``A.I.Cuza'' of Iasi, Faculty of Computer Science, 2002.

2002

Roxana Melinte, O. Oanea, I. Olga, and F. L. Tiplea.
The home marking problem and some related concepts.
Acta Cybernetica 15, pages 467-478, 2002.

Roxana Melinte, Olivia Oanea, Ioana Olga, and F. L. Tiplea.
The home marking problem and some related concepts.
In PROMISE 2002, GI-Edition - Lecture Notes in Informatics, P-21 ed. J. Desel, pages 104-115. Bonner Köllen Verlag, 2002.