Zur Hauptnavigation
Zum Inhaltsbereich
Zur Suche
Zum Seitenfuß
Bases Théoriques de l'Informatique
TGI
Cours
Recherche
Publications
Misc
Petri Nets World
TGI
Page de l'accueil
Annonces
Équipe
Étudiants
Cours
Cours (seulement en Allemand)
Mémoire (seulement en Allemand)
Recherche
Publications
Service
Service
Outils
Petri Nets World
UHH
>
MIN
>
Informatique
>
TGI
Bibliographie
Roxana Dietze (née 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 (éd.),
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.
Responsable du site/mentions légales
Dernière modification: 17:16 05.06.2024