Daniel Neider
发表
Paulo Tabuada,
Eric Dallal,
Daniel Neider,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Frits W. Vaandrager,
Harco Kuppens,
Daniel Neider,
2018,
Models, Mindsets, Meta.
Daniel Neider,
D. Neider,
2011,
ATVA.
Paulo Tabuada,
Daniel Neider,
P. Tabuada,
2015,
CSL.
P. Madhusudan,
Daniel Neider,
Shambwaditya Saha,
2016,
TACAS.
Daniel Neider,
2008,
Informatiktage.
Emmanuel Müller,
Daniel Neider,
Maximilian Möllers,
2006,
Informatiktage.
Dan Roth,
Pranav Garg,
P. Madhusudan,
2016,
POPL.
Christof Löding,
Pranav Garg,
P. Madhusudan,
2015,
Formal Methods Syst. Des..
Martin Zimmermann,
Daniel Neider,
Alexander Weinert,
2018,
GandALF.
Daniel Neider,
2010,
CIAA.
Paulo Tabuada,
Daniel Neider,
Tzanis Anevlavis,
2019,
HSCC.
Benedikt Bollig,
Joost-Pieter Katoen,
Martin Leucker,
2010,
CAV.
Daniel Neider,
2008,
Informatik-Spektrum.
Christof Löding,
Pranav Garg,
P. Madhusudan,
2014,
CAV.
P. Madhusudan,
Daniel Neider,
Shambwaditya Saha,
2018,
ACM Trans. Comput. Log..
Ufuk Topcu,
Rupak Majumdar,
Zhe Xu,
2020,
ICAPS.
Daniel Neider,
Ivan Gavran,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Paulo Tabuada,
Matthew Philippe,
Daniel Neider,
2018,
2018 IEEE Conference on Decision and Control (CDC).
Pranav Garg,
P. Madhusudan,
Daejun Park,
2017,
TACAS.
Nils Jansen,
Daniel Neider,
2013,
NASA Formal Methods.
Ufuk Topcu,
Daniel Neider,
2016,
TACAS.
Daniel Neider,
2010
.
Daniel Neider,
Oliver Markgraf,
D. Neider,
2019,
2019 Formal Methods in Computer Aided Design (FMCAD).
Christof Löding,
Pranav Garg,
P. Madhusudan,
2013,
CAV.
Martin Zimmermann,
Daniel Neider,
Alexander Weinert,
2017,
Acta Informatica.
Martin Leucker,
Daniel Neider,
2012,
ISoLA.
Roman Rabinovich,
Martin Zimmermann,
Daniel Neider,
2012,
GandALF.
Pranav Garg,
P. Madhusudan,
Daniel Neider,
2019,
SAS.
Daniel Neider,
2012,
ATVA.
Roman Rabinovich,
Martin Zimmermann,
Daniel Neider,
2014,
Theor. Comput. Sci..
Daniel Neider,
D. Neider,
2014
.
Paulo Tabuada,
Corto Mascle,
Daniel Neider,
2018,
Formal Methods in System Design.
Kristian Kersting,
Michael Benedikt,
Phokion G. Kolaitis,
2019,
Dagstuhl Reports.
Christof Löding,
Pranav Garg,
P. Madhusudan,
2013
.
Christof Löding,
P. Madhusudan,
Daniel Neider,
2015,
TACAS.
Kristian Kersting,
Daniel Neider,
Lukas Struppek,
2021,
ArXiv.
Paulo Tabuada,
Matthew Philippe,
Daniel Neider,
2021,
ACM Trans. Comput. Log..
Ufuk Topcu,
Daniel Neider,
Rajarshi Roy,
2021,
ATVA.
Daniel Neider,
Martin Zimmermann,
Satya Prakash Nayak,
2021,
HSCC.
Daniel Neider,
Martin Zimmermann,
Rajarshi Roy,
2022,
ArXiv.
Daniel Neider,
Rajarshi Roy,
Benedikt Böing,
2021,
OVERLAY@GandALF.
Ufuk Topcu,
Bo Wu,
Zhe Xu,
2021,
AAAI.
Ufuk Topcu,
Daniel Neider,
Zhe Xu,
2021,
ArXiv.
Ufuk Topcu,
Daniel Neider,
Zhe Xu,
2021,
ArXiv.
Benedikt Bollig,
Alain Finkel,
Serge Haddad,
2021,
ATVA.
Ritam Raha,
Daniel Neider,
Rajarshi Roy,
2021,
ArXiv.
Ufuk Topcu,
Daniel Neider,
Zhe Xu,
2021,
VSTTE.
Ufuk Topcu,
Bo Wu,
Zhe Xu,
2021,
CD-MAKE.
Roman Rabinovich,
Daniel Neider,
Martin Zimmermann,
2011
.