|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Interval-based Abstraction for Quantifying Information Flow |
Mu, Chunyan |
2009 |
253 | 3 |
p. 119-141 23 p. |
artikel |
|
| 2 | An M X / G / 1 Energetic Retrial Queue with Vacations and it's Control |
Aissani, Amar |
2009 |
253 | 3 |
p. 33-44 12 p. |
artikel |
|
| 3 | CoBiC: Context-dependent Bioambient Calculus |
Bortolussi, Luca |
2009 |
253 | 3 |
p. 187-201 15 p. |
artikel |
|
| 4 | Discounting in Time |
Fahrenberg, Uli |
2009 |
253 | 3 |
p. 25-31 7 p. |
artikel |
|
| 5 | Exploiting non-Markovian Bio-Processes |
Mura, I. |
2009 |
253 | 3 |
p. 83-98 16 p. |
artikel |
|
| 6 | From Biochemistry to Stochastic Processes |
Laneve, Cosimo |
2009 |
253 | 3 |
p. 167-185 19 p. |
artikel |
|
| 7 | Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities |
Montalto, Bruno |
2009 |
253 | 3 |
p. 143-165 23 p. |
artikel |
|
| 8 | On the Expressive Power of Schedulers in Distributed Probabilistic Systems |
Giro, Sergio |
2009 |
253 | 3 |
p. 45-71 27 p. |
artikel |
|
| 9 | Preface |
Baier, Christel |
2009 |
253 | 3 |
p. 1-2 2 p. |
artikel |
|
| 10 | Programming with Quantum Communication |
Tafliovich, Anya |
2009 |
253 | 3 |
p. 99-118 20 p. |
artikel |
|
| 11 | The Kantorovich Metric in Computer Science: A Brief Survey |
Deng, Yuxin |
2009 |
253 | 3 |
p. 73-82 10 p. |
artikel |
|
| 12 | Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes |
Bernardo, Marco |
2009 |
253 | 3 |
p. 3-23 21 p. |
artikel |
12 gevonden resultaten