Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Bernardinello, Luca"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Orthomodular lattices in occurrence nets
Luca Bernardinello
,
Lucia Pomello
,
Stefania Rombolà
Lecture Notes in Computer Science
5606
, 2009, pp. 163-182
Formal tools for modular system development
Lucia Pomello
,
Luca Bernardinello
Lecture Notes in Computer Science
3099
, 2004, pp. 77-96
Modular system development with pullbacks
Marek Bednarczyk
,
Luca Bernardinello
,
Benoît Caillaud
,
Wiesƚaw Pawƚowski
,
Lucia Pomello
Lecture Notes in Computer Science
2679
, 2003, pp. 140-160
An algebraic model of observable properties in distributed systems
Luca Bernardinello
,
Carlo Ferigato
,
Lucia Pomello
Theoretical Computer Science
290
(1), 2003, pp. 637-668
The synthesis problem for elementary net systems is
NP
-complete
Eric Badouel
,
Luca Bernardinello
,
Philippe Darondeau
Theoretical Computer Science
186
(1-2), 1997, pp. 107-134
A category of transition systems and its relations with orthomodular posets
Luca Bernardinello
,
Lucia Pomello
Lecture Notes in Computer Science
1295
, 1997, pp. 139-148
Synthesis of net systems
Luca Bernardinello
Lecture Notes in Computer Science
691
, 1993, pp. 89-105
A survey of basic net models and modular net classes
Luca Bernardinello
,
Fiorella de Cindio
Lecture Notes in Computer Science
609
, 1992, pp. 304-351