×

zbMATH — the first resource for mathematics

Edit Profile

Bloem, Roderick

Compute Distance To:
Author ID: bloem.roderick
Published as: Bloem, R.; Bloem, Roderick
External Links: MGP
Documents Indexed: 38 Publications since 1997, including 4 Books
all top 5

Co-Authors

0 single-authored
8 Jobstmann, Barbara
7 Könighofer, Robert
7 Somenzi, Fabio
6 Jacobs, Swen
4 Chatterjee, Krishnendu
4 Könighofer, Bettina
4 Ravi, Kavita
3 Griesmayer, Andreas
3 Henzinger, Thomas A.
3 Staber, Stefan
3 Wang, Chao
2 Cimatti, Alessandro
2 Engelfriet, Joost
2 Greimel, Karin
2 Hachtel, Gary D.
2 Hofferek, Georg
2 Khalimov, Ayrat
2 Pill, Ingo
2 Roveri, Marco
2 Veith, Helmut
1 Alshiekh, Mohammed
1 Arbel, Eli
1 Biere, Armin
1 Braud-Santoni, Nicolas
1 Chockler, Hana
1 Clarke, Edmund Melson jun.
1 Cook, Byron
1 Drechsler, Rolf
1 Ebrahimi, Masoud
1 Ehlers, Rüdiger
1 Fey, Görschwin
1 Gabow, Harold N.
1 Groß, Hannes
1 Gurumurthy, Sankar
1 Humphrey, Laura
1 Iusupov, Rinat
1 Konnov, Igor V.
1 Mangard, Stefan
1 Piterman, Nir
1 Pnueli, Amir
1 Rubin, Sasha
1 Sa’ar, Yaniv
1 Seidl, Martina
1 Semprini, Simone
1 Strichman, Ofer
1 Sülflow, André
1 Topcu, Ufuk
1 Vardi, Moshe Y.
1 Wang, Chao
1 Widder, Josef
1 Winter, Johannes
all top 5

Serials

3 Journal of Computer and System Sciences
3 Formal Methods in System Design
2 Lecture Notes in Computer Science
1 Acta Informatica
1 International Journal of Foundations of Computer Science
1 Logical Methods in Computer Science
1 Synthesis Lectures on Distributed Computing Theory
all top 5

Fields

36 Computer science (68-XX)
5 Mathematical logic and foundations (03-XX)
5 Game theory, economics, social and behavioral sciences (91-XX)
2 General mathematics (00-XX)
2 Information and communication, circuits (94-XX)
1 Systems theory; control (93-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription