D. Wojtczak
发表
Sanjay Jain,
Sven Schewe,
John Fearnley,
2017,
SPIN.
D. Wojtczak,
R. Mayr,
M. Shirmohammadi,
2020
.
D. Wojtczak,
J. Kasznicki,
J. Drzewoski,
2017
.
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2020,
ArXiv.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2022,
ArXiv.
D. Wojtczak,
Yanhua Xu,
2022,
2206.03823.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2022,
ArXiv.
D. Wojtczak,
Yanhua Xu,
2022,
ArXiv.
D. Wojtczak,
Yanhua Xu,
2022,
Biosyst..
D. Wojtczak,
Yanhua Xu,
2022,
ArXiv.
D. Wojtczak,
R. Mayr,
M. Shirmohammadi,
2017
.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2022,
NeurIPS.
S. Schewe,
D. Wojtczak,
R. Mayr,
2017
.
S. Schewe,
D. Wojtczak,
Mehmet Kurucan,
2022,
IJCAI.
Sven Schewe,
Fabio Somenzi,
Dominik Wojtczak,
2020,
CONCUR.
Dominik Wojtczak,
D. Wojtczak,
2013,
FORMATS.
Kousha Etessami,
Tomás Brázdil,
Antonín Kucera,
2009,
SODA '10.
Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant
S. Schewe,
D. Wojtczak,
A. Faraggi,
2021,
2101.03227.
Sven Schewe,
Dominik Wojtczak,
Mahmoud A. A. Mousa,
2017,
FORMATS.
Sven Schewe,
Dominik Wojtczak,
Mahmoud A. A. Mousa,
2016,
2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).
Dominik Wojtczak,
D. Wojtczak,
2013,
ArXiv.
Dominik Wojtczak,
Michael Ummels,
D. Wojtczak,
2009,
ICALP.
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2018,
TACAS.
Dominik Wojtczak,
D. Wojtczak,
2011,
ATVA.
Ashutosh Trivedi,
Dominik Wojtczak,
Shankara Narayanan Krishna,
2015,
TAMC.
Dominik Wojtczak,
Michael Ummels,
D. Wojtczak,
2011,
Log. Methods Comput. Sci..
Dominik Wojtczak,
Michael Ummels,
D. Wojtczak,
2011,
CONCUR.
Dominik Wojtczak,
Michael Ummels,
D. Wojtczak,
2009,
CSL.
Dominik Wojtczak,
D. Wojtczak,
2009
.
Kousha Etessami,
Mihalis Yannakakis,
Dominik Wojtczak,
2008,
ICALP.
Stefan Kiefer,
Richard Mayr,
Patrick Totzke,
2020,
ICALP.
Stefan Kiefer,
Richard Mayr,
Dominik Wojtczak,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Krzysztof R. Apt,
Dominik Wojtczak,
K. Apt,
2018,
J. Artif. Intell. Res..
Dominik Wojtczak,
Bart de Keijzer,
D. Wojtczak,
2018,
Algorithmica.
Krzysztof R. Apt,
Dominik Wojtczak,
K. Apt,
2019,
TARK.
Sven Schewe,
Massimo Benerecetti,
Fabio Mogavero,
2021,
ArXiv.
Sanjay Jain,
John Fearnley,
S. Schewe,
2019,
International Journal on Software Tools for Technology Transfer.
Sanjay Jain,
Sven Schewe,
John Fearnley,
2017,
International Journal on Software Tools for Technology Transfer.
Stefan Kiefer,
Richard Mayr,
Dominik Wojtczak,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Kousha Etessami,
Dominik Wojtczak,
Antonín Kučera,
2010
.
Krzysztof R. Apt,
Dominik Wojtczak,
K. Apt,
2017,
TARK.
Krzysztof R. Apt,
Dominik Wojtczak,
Sunil Simon,
2019,
Math. Oper. Res..
Dominik Wojtczak,
Sunil Simon,
D. Wojtczak,
2016,
AAAI.
Rajeev Alur,
Ashutosh Trivedi,
Dominik Wojtczak,
2012,
HSCC '12.
Sven Schewe,
Dominik Wojtczak,
Anshul Gupta,
2014,
GandALF.
Dominik Wojtczak,
D. Wojtczak,
2013,
ATVA.
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2021,
FM.
Krishnendu Chatterjee,
Dominik Wojtczak,
Vojtech Forejt,
2013,
LPAR.
Dominik Wojtczak,
Yanhua Xu,
D. Wojtczak,
2021,
2021 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB).
Dominik Wojtczak,
D. Wojtczak,
2014
.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2019,
TACAS.
D. Wojtczak,
Yanhua Xu,
2023,
SN Computer Science.
Sven Schewe,
Richard Mayr,
Patrick Totzke,
2021,
FoSSaCS.
Petr Novotný,
Tomás Brázdil,
Antonín Kucera,
2012,
ICALP.
Sven Schewe,
Fabio Somenzi,
Dominik Wojtczak,
2020,
ATVA.
E. M. Hahn,
F. Somenzi,
S. Schewe,
2023,
Formal Aspects Comput..
D. Wojtczak,
Yanhua Xu,
2022,
Biosyst..
Sven Schewe,
Ashutosh Trivedi,
Fabio Somenzi,
2021,
ArXiv.
Krzysztof R. Apt,
Dominik Wojtczak,
Sunil Simon,
2015,
TARK.
Ashutosh Trivedi,
Dominik Wojtczak,
D. Wojtczak,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Kousha Etessami,
Mihalis Yannakakis,
Dominik Wojtczak,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.