×

zbMATH — the first resource for mathematics

Kröning, Daniel

Compute Distance To:
Author ID: kroning.daniel
Published as: Kroening, D.; Kroening, Daniel; Kröning, Daniel
External Links: ORCID
Documents Indexed: 79 Publications since 2000, including 7 Books
all top 5

Co-Authors

1 single-authored
11 Wahl, Thomas
10 Strichman, Ofer
9 D’silva, Vijay
9 Sharygina, Natasha
8 Rümmer, Philipp
7 Brain, Martin
7 Haller, Leopold
6 Wintersteiger, Christoph M.
5 Chebiryak, Yury
5 Clarke, Edmund Melson jun.
5 Cook, Byron
5 David, Cristina
4 Brillout, Angelo
4 Griggio, Alberto
4 Kaiser, Alexander D.
4 Lewis, Matthew S.
4 Ouaknine, Joel O.
4 Tautschnig, Michael
4 Weissenbacher, Georg
3 Donaldson, Alastair F.
3 Mazzucchi, Michele
3 Purandare, Mitra
3 Tsitovich, Aliaksei
3 Zinovik, Igor
2 Abbott, John A.
2 Ábrahám, Erika
2 Basler, Gérard
2 Becker, Bernd
2 Bessa, Iury
2 Biere, Armin
2 Bigatti, Anna Maria
2 Buchberger, Bruno
2 Cimatti, Alessandro
2 Cordeiro, Lucas
2 Davenport, James Harold
2 England, Matthew
2 Fontaine, Pascal
2 Forrest, Stephen
2 Groce, Alex
2 Kesseli, Pascal
2 Lerda, Flavio
2 Martins, Ruben
2 Păsăreanu, S.
2 Paul, Wolfgang Jakob
2 Schrammel, Peter
2 Seiler, Werner M.
2 Seshia, Sanjit Arunkumar
2 Sousa, Marcelo S.
2 Tonetta, Stefano
2 Yorav, Karen
1 Abate, Alessandro
1 Alglave, Jade
1 Barner, Sharon
1 Beyer, Sven
1 Bienmüller, Tom
1 Brady, Bryan A.
1 Bryant, Randal E.
1 Cattaruzza, Dario
1 Chapman, Martin
1 Chaves, Lennon
1 Chockler, Hana
1 Giannakopoulou, Dimitra
1 Hadarean, Liana
1 Harris, Ian R.
1 He, Nannan
1 Horn, Alex
1 Jacobi, Chris
1 Jain, Himanshu
1 Jussila, Toni
1 Leinenbach, Dirk C.
1 Leroux, Jérôme
1 Margaria, Tiziana
1 Müller, Silvia Melitta
1 Nimal, Vincent
1 Raz, Orna
1 Rodríguez, César
1 Rybalchenko, Andrey
1 Seghir, Mohamed Nassim
1 Sharma, Subodh K.
1 Sinz, Carsten
1 Sturm, Teo
1 Sturm, Thomas P.
1 Teige, Tino
1 Woodcock, James C. P.
1 Worrell, James B.

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription