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
Hilfe
Suche: Author="Kleijn, Jetty"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Compatibility in a multi-component environment
Josep Carmona
,
Jetty Kleijn
Theoretical Computer Science
484
, 2013, pp. 1-15
Step semantics of Boolean nets
Jetty Kleijn
,
Maciej Koutny
,
Marta Pietkiewicz-Koutny
,
Grzegorz Rozenberg
Acta Informatica
50
(1), 2013, pp. 15-39
Regions of Petri nets with a/sync connections
Jetty Kleijn
,
Maciej Koutny
,
Marta Pietkiewicz-Koutny
Theoretical Computer Science
454
, 2012, pp. 189-198
Localities in systems with a/sync communication
Jetty Kleijn
,
Maciej Koutny
Theoretical Computer Science
429
, 2012, pp. 185-192
Vector team automata
Maurice H. ter Beek
,
Jetty Kleijn
Theoretical Computer Science
429
, 2012, pp. 21-29
The mutex paradigm of concurrency
Jetty Kleijn
,
Maciej Koutny
Lecture Notes in Computer Science
6709
, 2011, pp. 228-247
Petri nets with localities and testing
Jetty Kleijn
,
Maciej Koutny
Lecture Notes in Computer Science
6128
, 2010, pp. 19-38
Processes of membrane systems with promoters and inhibitors
Jetty Kleijn
,
Maciej Koutny
Theoretical Computer Science
404
(1-2), 2008, pp. 112-126
Petri nets, discrete physics, and distributed quantum computation
Samson Abramsky
Lecture Notes in Computer Science
4546
, 2007, pp. 1-2
Markov decision Petri net and Markov decision well-formed net formalisms
M. Beccuti
,
G. Franceschinis
,
S. Haddad
Lecture Notes in Computer Science
4546
, 2007, pp. 43-62
Comparison of the expressiveness of arc, place and transition Time Petri Nets
M. Boyer
,
O.H. Roux
Lecture Notes in Computer Science
4546
, 2007, pp. 63-82
Improving static variable orders via invariants
Gianfranco Ciardo
,
Gerald Lüttgen
,
Andy Jinqing Yu
Lecture Notes in Computer Science
4546
, 2007, pp. 83-103
Independence of net transformations and token firing in reconfigurable place/transition systems
Hartmut Ehrig
,
Kathrin Hoffmann
,
Julia Padberg
,
Ulrike Prange
,
Claudia Ermel
Lecture Notes in Computer Science
4546
, 2007, pp. 104-123
From many places to few: Automatic abstraction refinement for Petri nets
Pierre Ganty
,
Jean-François Raskin
,
Laurent Van Begin
Lecture Notes in Computer Science
4546
, 2007, pp. 124-143
A compositional method for the synthesis of asynchronous communication mechanisms
Kyller Gorgônio
,
Jordi Cortadella
,
Fei Xia
Lecture Notes in Computer Science
4546
, 2007, pp. 144-163
dmcG: A distributed symbolic model checker based on GreatSPN
Alexandre Hamez
,
Fabrice Kordon
,
Yann Thierry-Mieg
,
Fabrice Legond-Aubry
Lecture Notes in Computer Science
4546
, 2007, pp. 495-504
Complete process semantics for inhibitor nets
Gabriel Juhás
,
Robert Lorenz
,
Sebastian Mauser
Lecture Notes in Computer Science
4546
, 2007, pp. 184-203
Combining decomposition and unfolding for STG synthesis
Victor Khomenko
,
Mark Schaefer
Lecture Notes in Computer Science
4546
, 2007, pp. 223-243
Behaviour-preserving transition insertions in unfolding prefixes
Victor Khomenko
Lecture Notes in Computer Science
4546
, 2007, pp. 204-222
Object nets for mobility
Michael Köhler
,
Berndt Farwer
Lecture Notes in Computer Science
4546
, 2007, pp. 244-262
Web service orchestration with super-dual object nets
Michael Köhler
,
Heiko Rölke
Lecture Notes in Computer Science
4546
, 2007, pp. 263-280
Synthesis of elementary net systems with context arcs and localities
Maciej Koutny
,
Marta Pietkiewicz-Koutny
Lecture Notes in Computer Science
4546
, 2007, pp. 281-300
Autonomous Distributed System and its realization by Multi Agent Nets
Sadatoshi Kumagai
,
Toshiyuki Miyamoto
Lecture Notes in Computer Science
4546
, 2007, pp. 3-19
Nets with tokens which carry data
Ranko Lazić
,
Tom Newcomb
,
Joël Ouaknine
,
A.W. Roscoe
,
James Worrell
Lecture Notes in Computer Science
4546
, 2007, pp. 301-320
Operating guidelines for finite-state services
Niels Lohmann
,
Peter Massuthe
,
Karsten Wolf
Lecture Notes in Computer Science
4546
, 2007, pp. 321-341
Seiten 1
2
3
>