Bibliography
Roxana Dietze (nee 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. - Roxana Dietze, Manfred Kudlek, and Olaf Kummer.
2005
-
- Roxana Dietze.
Unentscheidbarkeit des Beschränktheitsproblems für allgemeine Referenznetze.
In Schmidt and Stahl (eds.), Proceedings of the 12th Workshop on Algorithms and Tools for Petri Nets (AWPN 05), pages 48-53. - Roxana Dietze.
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. - Roxana Melinte.
2003
-
- Roxana Melinte.
Coverability structure based analysis.
Technical Report TR 02-05, University ``A.I.Cuza'' of Iasi, Faculty of Computer Science, 2002. - Roxana Melinte.
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. - Roxana Melinte, O. Oanea, I. Olga, and F. L. Tiplea.
