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="Silva, Manuel"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Continuous Petri nets: Expressive power and decidability issues
Laura Recalde
,
Serge Haddad
,
Manuel Silva
International Journal of Foundations of Computer Science
21
(2), 2010, pp. 235-256
Words avoiding repetitions in arithmetic progressions
Jui-Yi Kao
,
Narad Rampersad
,
Jeffrey Shallit
,
Manuel Silva
Theoretical Computer Science
391
(1-2), 2008, pp. 126-137
Continuization of timed Petri nets: From performance evaluation to observation and control
Manuel Silva
,
Laura Recalde
Lecture Notes in Computer Science
3536
, 2005, pp. 26-47
On reachability in autonomous continuous Petri net systems
Jorge Júlvez
,
Laura Recalde
,
Manuel Silva
Lecture Notes in Computer Science
2679
, 2003, pp. 221-240
Structural characterization and qualitative properties of product form stochastic Petri nets
Serge Haddad
,
Patrice Moreaux
,
Matteo Sereno
,
Manuel Silva
Lecture Notes in Computer Science
2075
, 2001, pp. 164-183
Structure theory of multi-level deterministically synchronized sequential processes
Laura Recalde
,
Enrique Teruel
,
Manuel Silva
Theoretical Computer Science
254
(1-2), 2001, pp. 1-33
Autonomous continuous P/T systems
Laura Recalde
,
Enrique Teruel
,
Manuel Silva
Lecture Notes in Computer Science
1639
, 1999, pp. 107-126
Dimensioning handover buffers in wireless ATM networks with GSPN models
Marco Ajmone Marsan
,
Carla-Fabiana Chiasserini
,
Andrea Fumagalli
Lecture Notes in Computer Science
1420
, 1998, pp. 44-63
Synchronized products of transition systems and their analysis
André Arnold
Lecture Notes in Computer Science
1420
, 1998, pp. 26-27
M
-net calculus based semantics for triggers
Véronique Benzaken
,
Nicolas Hugon
,
Hanna Klaudel
,
Elisabeth Pelz
,
Robert-C. Riemann
Lecture Notes in Computer Science
1420
, 1998, pp. 306-325
Deadlock detection in the face of transaction and data dependencies
E. Bertino
,
G. Chiola
,
L.V. Mancini
Lecture Notes in Computer Science
1420
, 1998, pp. 266-285
Efficiency of token-passing MUTEX-solutions - Some experiments
Elmar Bihler
,
Walter Vogler
Lecture Notes in Computer Science
1420
, 1998, pp. 185-204
Iterative decomposition and aggregation of labeled GSPNs
Peter Buchholz
Lecture Notes in Computer Science
1420
, 1998, pp. 226-245
Manual and automatic exploitation of symmetries in SPN models
Giovanni Chiola
Lecture Notes in Computer Science
1420
, 1998, pp. 28-43
A class of well structured Petri nets for flexible manufacturing systems
J. Ezpeleta
,
F. García-Vallés
,
J.M. Colom
Lecture Notes in Computer Science
1420
, 1998, pp. 64-83
Modelling and model checking a distributed shared memory consistency protocol
Kathi Fisler
,
Claude Girault
Lecture Notes in Computer Science
1420
, 1998, pp. 84-103
A compositional Petri net semantics for SDL
Hans Fleischhack
,
Bernd Grahlmann
Lecture Notes in Computer Science
1420
, 1998, pp. 144-164
SWN analysis and simulation of large knockout ATM switches
Rossano Gaeta
,
Marco Ajmone Marsan
Lecture Notes in Computer Science
1420
, 1998, pp. 326-344
On the use of structural Petri net analysis for studying product form equilibrium distributions of queueing networks with blocking
Marco Gribaudo
,
Matteo Sereno
Lecture Notes in Computer Science
1420
, 1998, pp. 246-265
An axiomatisation of duplication equivalence in the Petri box calculus
Martin Hesketh
,
Maciej Koutny
Lecture Notes in Computer Science
1420
, 1998, pp. 165-184
ESTL: A temporal logic for events and states
Ekkart Kindler
,
Tobias Vesper
Lecture Notes in Computer Science
1420
, 1998, pp. 365-384
Flexibility in algebraic nets
Ekkart Kindler
,
Hagen Völzer
Lecture Notes in Computer Science
1420
, 1998, pp. 345-364
Finding stubborn sets of coloured Petri nets without unfolding
Lars Michael Kristensen
,
Antti Valmari
Lecture Notes in Computer Science
1420
, 1998, pp. 104-123
Petri net based certification of event-driven process chains
Peter Langner
,
Christoph Schneider
,
Joachim Wehler
Lecture Notes in Computer Science
1420
, 1998, pp. 286-305
Thinking in cycles
Mark-Oliver Stehr
Lecture Notes in Computer Science
1420
, 1998, pp. 205-225
Seiten 1
2
>