×
Edit Profile (opens in new tab)

Timmers, Ferry

Co-Author Distance
Author ID: timmers.ferry Recent zbMATH articles by "Timmers, Ferry"
Published as: Timmers, Ferry
Documents Indexed: 2 Publications since 2020
Co-Authors: 3 Co-Authors with 2 Joint Publications
162 Co-Co-Authors

Co-Authors

0 single-authored
2 Groote, Jan Friso
1 Jansen, David N.
1 Yang, Pengfei

Serials

1 Scientific Annals of Computer Science

Fields

2 Computer science (68-XX)

Publications by Year

Citations contained in zbMATH Open

2 Publications have been cited 5 times in 5 Documents Cited by ▼ Year ▼
A near-linear-time algorithm for weak bisimilarity on Markov chains. Zbl 07559464
Jansen, David N.; Groote, Jan Friso; Timmers, Ferry; Yang, Pengfei
4
2020
A complete axiomatisation for probabilistic trace equivalence. Zbl 1513.68037
Timmers, Ferry; Groote, Jan Friso
1
2020
A near-linear-time algorithm for weak bisimilarity on Markov chains. Zbl 07559464
Jansen, David N.; Groote, Jan Friso; Timmers, Ferry; Yang, Pengfei
4
2020
A complete axiomatisation for probabilistic trace equivalence. Zbl 1513.68037
Timmers, Ferry; Groote, Jan Friso
1
2020
all top 5

Cited by 19 Authors

1 Aceto, Luca
1 Castiglioni, Valentina
1 Chen, Yixiang
1 Fokkink, Willem Jan
1 Garavel, Hubert
1 He, Kangli
1 Holtzen, Steven
1 Ingólfsdóttir, Anna
1 Junges, Sebastian
1 Katoen, Joost-Pieter
1 Lang, Frédéric
1 Lehmann, Johannes
1 Luttik, Bas
1 Millstein, Todd D.
1 Seshia, Sanjit Arunkumar
1 Van Den Broeck, Guy
1 Vazquez-Chanlatte, Marcell
1 Winkler, Tobias
1 Wu, Hengyang

Cited in 2 Serials

1 Information and Computation
1 ACM Transactions on Computational Logic

Cited in 3 Fields

5 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)
1 Probability theory and stochastic processes (60-XX)

Citations by Year