| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Algebraic Structure of Step Traces and Interval Traces
|
Janicki, Ryszard
|
|
|
175 |
1-4 |
p. 253-280
|
artikel
|
| 2 |
A Theory of Distributed Markov Chains
|
Thiagarajan, P. S.
|
|
|
175 |
1-4 |
p. 301-325
|
artikel
|
| 3 |
Companions and an Essential Motion of a Reaction System
|
Genova, Daniela
|
|
|
175 |
1-4 |
p. 187-199
|
artikel
|
| 4 |
Comparing Degenerate Strings
|
Alzamel, Mai
|
|
|
175 |
1-4 |
p. 41-58
|
artikel
|
| 5 |
Discovering Object-centric Petri Nets
|
van der Aalst, Wil M.P.
|
|
|
175 |
1-4 |
p. 1-40
|
artikel
|
| 6 |
Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks
|
Arcile, Johan
|
|
|
175 |
1-4 |
p. 59-95
|
artikel
|
| 7 |
Flexible Process Model Mapping using Relaxation Labeling
|
Carmona, Josep
|
|
|
175 |
1-4 |
p. 123-141
|
artikel
|
| 8 |
L-systems from 3D-imaging of Phenotypes of Arborized Structures
|
Verbeek, Fons J.
|
|
|
175 |
1-4 |
p. 327-345
|
artikel
|
| 9 |
Multi-valued Verification of Strategic Ability
|
Jamroga, Wojciech
|
|
|
175 |
1-4 |
p. 207-251
|
artikel
|
| 10 |
Network Controllability Analysis of Three Multiple-myeloma Patient Genetic Mutation Datasets
|
Sanchez Martin, Jose Angel
|
|
|
175 |
1-4 |
p. 281-299
|
artikel
|
| 11 |
On Shuffling a Word with its Letter-to-Letter Substitution
|
Halava, Vesa
|
|
|
175 |
1-4 |
p. 201-206
|
artikel
|
| 12 |
Preface
|
ter Beek, Maurice
|
|
|
175 |
1-4 |
p. v-viii
|
artikel
|
| 13 |
Roots and Powers in Regular Languages: Recognizing Nonregular Properties by Finite Automata
|
Frei, Fabian
|
|
|
175 |
1-4 |
p. 173-185
|
artikel
|
| 14 |
Stop-transitions of Petri Nets*
|
Desel, Jörg
|
|
|
175 |
1-4 |
p. 143-172
|
artikel
|
| 15 |
Target-oriented Petri Net Synthesis
|
Best, Eike
|
|
|
175 |
1-4 |
p. 97-122
|
artikel
|
Tijdschrift beschrijving