×
Edit Profile (opens in new tab)

Staber, Stefan

Co-Author Distance
Author ID: staber.stefan Recent zbMATH articles by "Staber, Stefan"
Published as: Staber, Stefan
External Links: MGP
Documents Indexed: 3 Publications since 2005
Co-Authors: 3 Co-Authors with 3 Joint Publications
87 Co-Co-Authors

Co-Authors

0 single-authored
3 Bloem, Roderick
2 Jobstmann, Barbara
1 Griesmayer, Andreas

Serials

1 Journal of Computer and System Sciences

Fields

3 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Information and communication theory, circuits (94-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

3 Publications have been cited 23 times in 21 Documents Cited by ▼ Year ▼
Fault localization and correction with QBF. Zbl 1214.94086
Staber, Stefan; Bloem, Roderick
12
2007
Finding and fixing faults. Zbl 1263.68112
Jobstmann, Barbara; Staber, Stefan; Griesmayer, Andreas; Bloem, Roderick
8
2012
Finding and fixing faults. Zbl 1159.68341
Staber, Stefan; Jobstmann, Barbara; Bloem, Roderick
3
2005
Finding and fixing faults. Zbl 1263.68112
Jobstmann, Barbara; Staber, Stefan; Griesmayer, Andreas; Bloem, Roderick
8
2012
Fault localization and correction with QBF. Zbl 1214.94086
Staber, Stefan; Bloem, Roderick
12
2007
Finding and fixing faults. Zbl 1159.68341
Staber, Stefan; Jobstmann, Barbara; Bloem, Roderick
3
2005
all cited Publications top 5 cited Publications
all top 5

Cited by 37 Authors

4 Beyersdorff, Olaf
4 Blinkhorn, Joshua
4 Bloem, Roderick
3 Chockler, Hana
3 Jobstmann, Barbara
3 Peitl, Tomáš
3 Slivovsky, Friedrich
3 Szeider, Stefan
2 Ebrahimi, Masoud
2 Hinde, Luke
2 Strichman, Ofer
1 Attie, Paul C.
1 Balabanov, Valeriy
1 Beer, Ilan
1 Ben-David, Shoham
1 Bresolin, Davide
1 Capiluppi, Marta
1 Carrillo, Miguel
1 Chatterjee, Krishnendu
1 Clemente, Lorenzo
1 Cocke, William L.
1 de Moura, Leonardo
1 Griesmayer, Andreas
1 Hamadi, Youssef
1 Jiang, Jie-Hong Roland
1 Majumdar, Rupak
1 Mayr, Richard M.
1 Orni, Avigail
1 Raskin, Jean-François
1 Rosenblueth, David A.
1 Staber, Stefan
1 Trefler, Richard J.
1 Vechev, Martin T.
1 von Essen, Christian
1 Wintersteiger, Christoph M.
1 Yahav, Eran
1 Yorsh, Greta
all top 5

Cited in 7 Serials

5 Formal Methods in System Design
2 Logical Methods in Computer Science
1 Artificial Intelligence
1 Journal of Computer and System Sciences
1 Theoretical Computer Science
1 Journal of Automated Reasoning
1 Theory of Computing Systems

Cited in 4 Fields

20 Computer science (68-XX)
11 Mathematical logic and foundations (03-XX)
3 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Systems theory; control (93-XX)

Citations by Year