×
Edit Profile (opens in new tab)

Schuller, Rebecca A.

Co-Author Distance
Author ID: schuller.rebecca-a Recent zbMATH articles by "Schuller, Rebecca A."
Published as: Schuller, Rebecca A.
Documents Indexed: 2 Publications since 2001
Co-Authors: 2 Co-Authors with 2 Joint Publications
65 Co-Co-Authors

Co-Authors

0 single-authored
2 Etessami, Kousha
2 Wilke, Thomas

Serials

1 SIAM Journal on Computing

Fields

2 Computer science (68-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

2 Publications have been cited 32 times in 32 Documents Cited by ▼ Year ▼
Fair simulation relations, parity games, and state space reduction for Büchi automata. Zbl 1079.68050
Etessami, Kousha; Wilke, Thomas; Schuller, Rebecca A.
24
2005
Fair simulation relations, parity games, and state space reduction for Büchi automata. Zbl 0986.68049
Etessami, Kousha; Wilke, Thomas; Schuller, Rebecca A.
8
2001
Fair simulation relations, parity games, and state space reduction for Büchi automata. Zbl 1079.68050
Etessami, Kousha; Wilke, Thomas; Schuller, Rebecca A.
24
2005
Fair simulation relations, parity games, and state space reduction for Büchi automata. Zbl 0986.68049
Etessami, Kousha; Wilke, Thomas; Schuller, Rebecca A.
8
2001
all cited Publications top 5 cited Publications
all top 5

Cited by 69 Authors

3 Clemente, Lorenzo
3 Hasuo, Ichiro
3 Hutagalung, Milka
2 Bulychev, Peter E.
2 Chen, Yu-Fang
2 Havlena, Vojtěch
2 Hundeshagen, Norbert
2 Kuske, Dietrich
2 Lange, Martin
2 Larsen, Kim Guldstrand
2 Lengál, Ondřej
2 Löding, Christof
2 Lozes, Etienne
2 Mayr, Richard M.
2 Schewe, Sven
2 Schilling, Christian
2 Thomas, Wolfgang
2 Urabe, Natsuki
2 Willemse, Tim A. C.
1 Abdulla, Parosh Aziz
1 Althoff, Christoph Schulte
1 Baier, Christel
1 Bielova, Nataliia
1 Bloem, Roderick
1 Bustan, Doron
1 Chatain, Thomas
1 Chatterjee, Krishnendu
1 Cîrstea, Corina
1 Cranen, Sjoerd
1 David, Alexandre
1 Dax, Christian
1 Dragoni, Nicola
1 Ehlers, Rüdiger
1 Eisinger, Jochen
1 Gazda, Maciej W.
1 Grumberg, Orna
1 Hahn, Ernst Moritz
1 Heizmann, Matthias
1 Holík, Lukáš
1 Holtmann, Michael
1 Hong, Chih-Duo
1 Jobstmann, Barbara
1 Jurdziński, Marcin
1 Keiren, Jeroen J. A.
1 Klaedtke, Felix
1 Klein, Joachim
1 Konnov, Igor V.
1 Li, Yong
1 Massacci, Fabio
1 Morvan, Rémi
1 Naliuka, Katsiaryna
1 Perez, Mateo
1 Pirogov, Anton
1 Ranzato, Francesco
1 Shimizu, Shunsuke
1 Siahaan, Ida R.
1 Šmahlíková, Barbora
1 Somenzi, Fabio
1 Srba, Jiří
1 Tapparo, Francesco
1 Thejaswini, K. S.
1 Tischner, Daniel
1 Trivedi, Ashutosh
1 Turrini, Andrea
1 Vojnar, Tomáš
1 Wallmeier, Nico
1 Wilke, Thomas
1 Wojtczak, Dominik
1 Zakharov, Vladimir Anatolyevich
all top 5

Cited in 7 Serials

3 Information and Computation
2 Theoretical Computer Science
1 Acta Informatica
1 Programming and Computer Software
1 Journal of Symbolic Computation
1 Fundamenta Informaticae
1 The Journal of Logic and Algebraic Programming

Cited in 5 Fields

32 Computer science (68-XX)
8 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
7 Mathematical logic and foundations (03-XX)
2 Category theory; homological algebra (18-XX)
1 Operations research, mathematical programming (90-XX)

Citations by Year