| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Approximate minimization of weighted tree automata
|
Balle, Borja
|
|
|
282 |
C |
p.
|
artikel
|
| 2 |
Bisimulation metrics and norms for real-weighted automata
|
Balle, Borja
|
|
|
282 |
C |
p.
|
artikel
|
| 3 |
Costs and rewards in priced timed automata
|
Fränzle, Martin
|
|
|
282 |
C |
p.
|
artikel
|
| 4 |
Dynamics of reputation in mobile agents systems and weighted timed automata
|
Aman, Bogdan
|
|
|
282 |
C |
p.
|
artikel
|
| 5 |
Editorial Board
|
|
|
|
282 |
C |
p.
|
artikel
|
| 6 |
Logic for ω-pushdown automata
|
Droste, Manfred
|
|
|
282 |
C |
p.
|
artikel
|
| 7 |
Preface
|
Droste, Manfred
|
|
|
282 |
C |
p.
|
artikel
|
| 8 |
Preservation of normality by transducers
|
Carton, Olivier
|
|
|
282 |
C |
p.
|
artikel
|
| 9 |
Principal abstract families of weighted tree languages
|
Fülöp, Zoltán
|
|
|
282 |
C |
p.
|
artikel
|
| 10 |
Probabilistic automata of bounded ambiguity
|
Fijalkow, Nathanaël
|
|
|
282 |
C |
p.
|
artikel
|
| 11 |
Regular transducer expressions for regular transformations
|
Dave, Vrunda
|
|
|
282 |
C |
p.
|
artikel
|
| 12 |
Weighted automata computation of edit distances with consolidations and fragmentations
|
Giraud, Mathieu
|
|
|
282 |
C |
p.
|
artikel
|
| 13 |
Weighted operator precedence languages
|
Droste, Manfred
|
|
|
282 |
C |
p.
|
artikel
|
| 14 |
Weighted propositional configuration logics: A specification language for architectures with quantitative features
|
Paraponiari, Paulina
|
|
|
282 |
C |
p.
|
artikel
|
| 15 |
What's decidable about weighted automata?
|
Almagor, Shaull
|
|
|
282 |
C |
p.
|
artikel
|
Tijdschrift beschrijving