×
Edit Profile (opens in new tab)

Gerth, Rob Tristan

Co-Author Distance
Author ID: gerth.rob-tristan Recent zbMATH articles by "Gerth, Rob Tristan"
Published as: Gerth, Rob; Gerth, R.; Gerth, R. T.
Documents Indexed: 19 Publications since 1981
Biographic References: 1 Publication
Co-Authors: 26 Co-Authors with 14 Joint Publications
410 Co-Co-Authors
all top 5

Co-Authors

3 single-authored
3 Kuiper, Ruurd
3 Roncken, Marly
2 Arunkumar, S.
2 Dams, Dennis René
2 Penczek, Wojciech
2 Shyamasundar, Rudrapatna Kallikote
1 Armoni, Roy
1 Boucher, Andy
1 Fix, Limor
1 Flaisher, Alon
1 Ginsburg, Boris
1 Huizing, Cornelis
1 Kanza, Tomer
1 Knaack, Bart
1 Koyman, R.
1 Koymans, Ron
1 Landver, Avner
1 Mador-Haim, Sela
1 Peled, Doron A.
1 Shrira, Liuba
1 Singerman, Eli
1 Stomp, F. A.
1 Szreter, Maciej
1 Tiemeyer, Andreas
1 Vardi, Moshe Ya’akov
1 Zbar, Yael
all top 5

Serials

3 Information and Computation
1 Annales Societatis Mathematicae Polonae. Series IV
1 Science of Computer Programming
1 Formal Aspects of Computing
1 Distributed Computing
1 Fundamenta Informaticae

Fields

19 Computer science (68-XX)
3 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

17 Publications have been cited 128 times in 109 Documents Cited by ▼ Year ▼
The ForSpec temporal logic: A new temporal property-specification language. Zbl 1043.68563
Armoni, Roy; Fix, Limor; Flaisher, Alon; Gerth, Rob; Ginsburg, Boris; Kanza, Tomer; Landver, Avner; Mador-Haim, Sela; Singerman, Eli; Tiemeyer, Andreas; Vardi, Moshe Y.; Zbar, Yael
27
2002
A partial order approach to branching time logic model checking. Zbl 1045.68588
Gerth, Rob; Kuiper, Ruurd; Peled, Doron; Penczek, Wojciech
20
1999
The \(\mu\)-calculus as an assertion-language for fairness arguments. Zbl 0678.68010
Stomp, F. A.; de Roever, W. P.; Gerth, R. T.
13
1989
Modelling Statecharts behaviour in a fully abstract way. Zbl 0647.68018
Huizing, C.; Gerth, R.; de Roever, W. P.
12
1988
A timed failures model for extended communicating processes. Zbl 0623.68022
Gerth, Rob; Boucher, Andy
10
1987
Compositional semantics for real-time distributed computing. Zbl 0669.68055
Koyman, R.; Shyamasundar, R. K.; De Roever, W. P.; Gerth, R.; Arun-Kumar, S.
9
1988
Proving monitors revisited: A first step towards verifying object oriented systems. Zbl 0617.68026
Gerth, Rob; de Roever, W. P.
6
1986
A proof system for concurrent ADA programs. Zbl 0536.68009
Gerth, Rob; de Roever, Willem P.
6
1984
Compositional semantics for real-time distributed computing. Zbl 0565.68026
Koymans, R.; Shyamasundar, R. K.; de Roever, W. P.; Gerth, R.; Arun-Kumar, S.
6
1985
Improving partial order reductions for universal branching time properties. Zbl 0966.68126
Penczek, Wojciech; Szreter, Maciej; Gerth, Rob; Kuiper, Ruurd
5
2000
Procedures and concurrency: a study in proof. Zbl 0493.68019
Gerth, Rob; De Roever, Willem P.; Roncken, Marly
3
1982
On proving communication closedness of distributed layers. Zbl 0604.68028
Gerth, Rob; Shrira, Liuba
3
1986
Partial-order reduction techniques for real-time model checking. Zbl 0952.68070
Dams, Dennis; Gerth, Rob; Knaack, Bart; Kuiper, Ruurd
3
1998
The bounded retransmission protocol revisited. Extended abstract. Zbl 0907.68122
Dams, Dennis; Gerth, Rob
2
1997
A proof system for Brinch Hansen’s distributed processes. Zbl 0476.68023
Roncken, M.; Gerth, R.; De Roever, W. P.
1
1981
A study in distributed systems and Dutch patriotism. Zbl 0547.68025
Gerth, Rob; de Roever, Willem P.; Roncken, Marly
1
1982
Sequential consistency and the lazy caching algorithm. Zbl 1448.68101
Gerth, Rob
1
1999
The ForSpec temporal logic: A new temporal property-specification language. Zbl 1043.68563
Armoni, Roy; Fix, Limor; Flaisher, Alon; Gerth, Rob; Ginsburg, Boris; Kanza, Tomer; Landver, Avner; Mador-Haim, Sela; Singerman, Eli; Tiemeyer, Andreas; Vardi, Moshe Y.; Zbar, Yael
27
2002
Improving partial order reductions for universal branching time properties. Zbl 0966.68126
Penczek, Wojciech; Szreter, Maciej; Gerth, Rob; Kuiper, Ruurd
5
2000
A partial order approach to branching time logic model checking. Zbl 1045.68588
Gerth, Rob; Kuiper, Ruurd; Peled, Doron; Penczek, Wojciech
20
1999
Sequential consistency and the lazy caching algorithm. Zbl 1448.68101
Gerth, Rob
1
1999
Partial-order reduction techniques for real-time model checking. Zbl 0952.68070
Dams, Dennis; Gerth, Rob; Knaack, Bart; Kuiper, Ruurd
3
1998
The bounded retransmission protocol revisited. Extended abstract. Zbl 0907.68122
Dams, Dennis; Gerth, Rob
2
1997
The \(\mu\)-calculus as an assertion-language for fairness arguments. Zbl 0678.68010
Stomp, F. A.; de Roever, W. P.; Gerth, R. T.
13
1989
Modelling Statecharts behaviour in a fully abstract way. Zbl 0647.68018
Huizing, C.; Gerth, R.; de Roever, W. P.
12
1988
Compositional semantics for real-time distributed computing. Zbl 0669.68055
Koyman, R.; Shyamasundar, R. K.; De Roever, W. P.; Gerth, R.; Arun-Kumar, S.
9
1988
A timed failures model for extended communicating processes. Zbl 0623.68022
Gerth, Rob; Boucher, Andy
10
1987
Proving monitors revisited: A first step towards verifying object oriented systems. Zbl 0617.68026
Gerth, Rob; de Roever, W. P.
6
1986
On proving communication closedness of distributed layers. Zbl 0604.68028
Gerth, Rob; Shrira, Liuba
3
1986
Compositional semantics for real-time distributed computing. Zbl 0565.68026
Koymans, R.; Shyamasundar, R. K.; de Roever, W. P.; Gerth, R.; Arun-Kumar, S.
6
1985
A proof system for concurrent ADA programs. Zbl 0536.68009
Gerth, Rob; de Roever, Willem P.
6
1984
Procedures and concurrency: a study in proof. Zbl 0493.68019
Gerth, Rob; De Roever, Willem P.; Roncken, Marly
3
1982
A study in distributed systems and Dutch patriotism. Zbl 0547.68025
Gerth, Rob; de Roever, Willem P.; Roncken, Marly
1
1982
A proof system for Brinch Hansen’s distributed processes. Zbl 0476.68023
Roncken, M.; Gerth, R.; De Roever, W. P.
1
1981
all cited Publications top 5 cited Publications
all top 5

Cited by 174 Authors

7 Vardi, Moshe Ya’akov
6 Pnueli, Amir
4 Hooman, Jozef Johannes Maria
4 Kesten, Yonit
4 Shyamasundar, Rudrapatna Kallikote
4 Valmari, Antti
4 Willemse, Tim A. C.
4 Wolf, Karsten
3 de Roever, Willem-Paul
3 Eisner, Cindy
3 Fisman, Dana
3 Lang, Frédéric
3 Mateescu, Radu
3 Mendler, Michael
3 Neele, Thomas
3 Peled, Doron A.
3 Peron, Adriano
3 Zimmermann, Martin
2 Aguado, Joaquin
2 Arunkumar, S.
2 Bønneland, Frederik Meyer
2 de Boer, Frank S.
2 Francez, Nissim
2 Garavel, Hubert
2 Gutsfeld, Jens Oliver
2 Havlicek, John W.
2 Huizing, Cornelis
2 Jacobs, Swen
2 Jensen, Peter Gjøl
2 Katz, Shmuel
2 Klarlund, Nils
2 Kuiper, Ruurd
2 Kupferman, Orna
2 Larsen, Kim Guldstrand
2 Maggiolo-Schettini, Andrea
2 Manna, Zohar
2 Müller-Olm, Markus
2 Muñiz, Marco
2 Reed, George Michael
2 Roscoe, Andrew William
2 Srba, Jiří
2 Tentrup, Leander
2 Tini, Simone
2 van de Pol, Jan Cornelis
2 Wallner, Sophie
1 Agarwal, Shivali
1 America, Pierre
1 Apt, Krzysztof Rafal
1 Avni, Guy
1 Azcorra, Arturo
1 Azzopardi, Shaun
1 Baader, Franz
1 Baeten, Jos C. M.
1 Barkaoui, Kamel
1 Bauer, Andreas
1 Baxter, James
1 Bergstra, Jan A.
1 Boucheneb, Hanifa
1 Bouyer, Patricia
1 Bozzelli, Laura
1 Bradfield, Julian Charles
1 Brauer, Jörg
1 Cavalcanti, Ana
1 Chebotarev, Anatoli N.
1 Cook, Byron
1 Dams, Dennis René
1 Davies, Jim
1 Dax, Christian
1 de Frutos-Escrig, David
1 de Frutos, David
1 de Jong, Hidde
1 Dielitz, Christian
1 Dumas, Estelle
1 Dwyer, Matthew B.
1 Ehrig, Hartmut
1 Enea, Constantin
1 Faymonville, Peter
1 Függer, Matthias
1 Fuhrmann, Insa
1 Gastin, Paul
1 Geisler, Robert
1 Gerth, Rob Tristan
1 Gotsman, Alexey
1 Groote, Jan Friso
1 Gutierrez, Julian
1 Hains, Gaétan
1 Hannemann, Ulrich
1 Hansen, Henri
1 Hatcliff, John
1 Heibig, A. G.
1 Hennessy, Matthew C. B.
1 Henrio, Ludovic
1 Herbreteau, Frédéric
1 Ho, Hsi-Ming
1 Hoffmann, Jan-Philipp
1 Iosif, Radu
1 Ivannikov, Viktor Petrovich
1 Jutla, Charanjit S.
1 Kahn, David M.
1 Kamkin, A. S.
...and 74 more Authors
all top 5

Cited in 20 Serials

19 Theoretical Computer Science
8 Formal Methods in System Design
7 Acta Informatica
7 Formal Aspects of Computing
6 Information and Computation
3 Information Processing Letters
2 Distributed Computing
2 Sādhanā
2 Logical Methods in Computer Science
1 Journal of Computer and System Sciences
1 Programming and Computer Software
1 Journal of Symbolic Computation
1 Journal of Automated Reasoning
1 Cybernetics and Systems Analysis
1 Fundamenta Informaticae
1 Journal of Applied Mathematics
1 ACM Transactions on Computational Logic
1 Frontiers of Computer Science
1 Computer Science Review
1 Journal of Logical and Algebraic Methods in Programming
all top 5

Cited in 6 Fields

109 Computer science (68-XX)
33 Mathematical logic and foundations (03-XX)
3 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 Category theory; homological algebra (18-XX)
1 History and biography (01-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year