Christoph M. Wintersteiger
发表
Youssef Hamadi,
Christoph M. Wintersteiger,
C. Wintersteiger,
2012,
AI Mag..
Hillel Kugler,
Youssef Hamadi,
Sara-Jane Dunn,
2016,
Biosyst..
Krzysztof Czarnecki,
Jia Hui Liang,
Ruben Martins,
2018,
CP.
Krzysztof Czarnecki,
Jia Hui Liang,
Ruben Martins,
2018,
CP.
Hillel Kugler,
Youssef Hamadi,
Christoph M. Wintersteiger,
2012
.
Joao Marques-Silva,
Youssef Hamadi,
Christoph M. Wintersteiger,
2011,
PDMC.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2013,
Formal Methods Syst. Des..
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Youssef Hamadi,
Leonardo Mendonça de Moura,
Christoph M. Wintersteiger,
2009,
CAV.
Nicola Paoletti,
Hillel Kugler,
Youssef Hamadi,
2014,
CAV.
Andrew Phillips,
Hillel Kugler,
Youssef Hamadi,
2013,
DNA.
Armin Biere,
Youssef Hamadi,
Christoph M. Wintersteiger,
2015,
AAAI.
Hillel Kugler,
Youssef Hamadi,
Christoph M. Wintersteiger,
2013,
NASA Formal Methods.
Mikolás Janota,
Christoph M. Wintersteiger,
2016,
SMT@IJCAR.
Hillel Kugler,
Markus N. Rabe,
Youssef Hamadi,
2014,
QEST.
Sophia Drossopoulou,
Matthew J. Parkinson,
Juliana Franco,
2019,
ISMM.
Daniel Kroening,
Armin Biere,
Carsten Sinz,
2007,
SAT.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2010,
WING@ETAPS/IJCAR.
Daniel Kroening,
Natasha Sharygina,
Aliaksei Tsitovich,
2011,
TACAS.
Philipp Rümmer,
Christoph M. Wintersteiger,
Peter Backeman,
2018,
IJCAR.
Philipp Rümmer,
Christoph M. Wintersteiger,
Aleksandar Zeljic,
2016,
Journal of Automated Reasoning.
Philipp Rümmer,
Christoph M. Wintersteiger,
Aleksandar Zeljic,
2016,
SAT.
Youssef Hamadi,
Leonardo Mendonça de Moura,
Christoph M. Wintersteiger,
2010,
Formal Methods in Computer Aided Design.
Olaf Beyersdorff,
Christoph M. Wintersteiger,
C. Wintersteiger,
2018,
Lecture Notes in Computer Science.
Nikolaj Bjørner,
Samin Ishtiaq,
Josh Berdine,
2013,
LPAR.
Berthold Göttgens,
Nir Piterman,
Jasmin Fisher,
2018,
BMC Systems Biology.
Daniel Kroening,
Armin Biere,
Georg Weissenbacher,
2008
.
Daniel Kroening,
Philipp Rümmer,
Byron Cook,
2010,
TACAS.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2008,
ATVA.
Antti Eero Johannes Hyvärinen,
Christoph M. Wintersteiger,
A. Hyvärinen,
2018,
Handbook of Parallel Constraint Reasoning.
Paul B. Jackson,
Christoph M. Wintersteiger,
Grant Olney Passmore,
2018,
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Krzysztof Czarnecki,
Jia Liang,
Ruben Martins,
2017,
ArXiv.
Kartik Nayak,
Roy Schwartz,
Mark Russinovich,
2019
.
Daniel Kroening,
Natasha Sharygina,
Aliaksei Tsitovich,
2010,
CAV.
Sara-Jane Dunn,
Christoph M. Wintersteiger,
Boyan Yordanov,
2016,
SMT@IJCAR.
Philipp Rümmer,
Christoph M. Wintersteiger,
Aleksandar Zeljic,
2014,
IJCAR.
Daniel Kroening,
Philipp Rümmer,
Byron Cook,
2010,
Formal Methods Syst. Des..
Nikolaj Bjørner,
Lev Nachmanson,
Christoph M. Wintersteiger,
2018,
SETSS.
Samin Ishtiaq,
Josh Berdine,
Arlen Cox,
2012,
CAV.
Hillel Kugler,
Youssef Hamadi,
Sara-Jane Dunn,
2015,
IPCAT.
Hillel Kugler,
Youssef Hamadi,
Claudio Angione,
2020,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Hillel Kugler,
Youssef Hamadi,
Christoph M. Wintersteiger,
2013
.