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 |