×
Edit Profile (opens in new tab)

Klarl, Annabelle

Co-Author Distance
Author ID: klarl.annabelle Recent zbMATH articles by "Klarl, Annabelle"
Published as: Klarl, Annabelle
Documents Indexed: 3 Publications since 2014
Co-Authors: 11 Co-Authors with 3 Joint Publications
130 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
2 Hennicker, Rolf
1 Belzner, Lenz
1 Busch, Marianne
1 Fasching, Anton
1 Hölzl, Matthias M.
1 Koch, Nora
1 Kroiss, Christian
1 Mayer, Philip
1 Raed, Laith
1 Schroeder, Andreas
1 Wirsing, Martin

Serials

Fields

3 Computer science (68-XX)
1 History and biography (01-XX)

Publications by Year

Citations contained in zbMATH Open

2 Publications have been cited 7 times in 5 Documents Cited by ▼ Year ▼
Foundations for ensemble modeling – the Helena approach. Handling massively distributed systems with elaborate ensemble architectures. Zbl 1320.68118
Hennicker, Rolf; Klarl, Annabelle
5
2014
Model-checking Helena ensembles with Spin. Zbl 1321.68346
Hennicker, Rolf; Klarl, Annabelle; Wirsing, Martin
2
2015
Model-checking Helena ensembles with Spin. Zbl 1321.68346
Hennicker, Rolf; Klarl, Annabelle; Wirsing, Martin
2
2015
Foundations for ensemble modeling – the Helena approach. Handling massively distributed systems with elaborate ensemble architectures. Zbl 1320.68118
Hennicker, Rolf; Klarl, Annabelle
5
2014
all top 5

Cited by 18 Authors

3 Hennicker, Rolf
3 Klarl, Annabelle
1 Audrito, Giorgio
1 Beal, Jacob
1 Belzner, Lenz
1 Busch, Marianne
1 Casadei, Roberto
1 Damiani, Ferruccio
1 Fasching, Anton
1 Hölzl, Matthias M.
1 Koch, Nora
1 Kroiss, Christian
1 Mayer, Philip
1 Pianini, Danilo
1 Raed, Laith
1 Schroeder, Andreas
1 Viroli, Mirko
1 Wirsing, Martin

Cited in 1 Serial

1 Journal of Logical and Algebraic Methods in Programming

Cited in 3 Fields

5 Computer science (68-XX)
1 History and biography (01-XX)
1 Mathematical logic and foundations (03-XX)

Citations by Year