Viktor Schuppan
发表
Viktor Schuppan,
Armin Biere,
Armin Biere,
2003,
Formal Aspects of Computing.
Viktor Schuppan,
2016,
Theor. Comput. Sci..
Viktor Schuppan,
Marco Roveri,
Alessandro Cimatti,
2008,
VMCAI.
Viktor Schuppan,
Viktor Schuppan,
2018,
2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI).
Viktor Schuppan,
Armin Biere,
Armin Biere,
2006,
INFINITY.
Viktor Schuppan,
2020,
Int. J. Artif. Intell. Tools.
Dragan Bosnacki,
Viktor Schuppan,
Anton Wijs,
2009,
MoChArt.
Viktor Schuppan,
2013,
2013 20th International Symposium on Temporal Representation and Reasoning.
Viktor Schuppan,
2013,
TIME.
Viktor Schuppan,
Marco Roveri,
Alessandro Cimatti,
2007,
CAV.
Viktor Schuppan,
Luthfi Darmawan,
Viktor Schuppan,
2011,
ATVA.
Viktor Schuppan,
Armin Biere,
Marcel Baur,
2005,
Electron. Notes Theor. Comput. Sci..
Viktor Schuppan,
Viktor Schuppan,
2012,
Sci. Comput. Program..
Viktor Schuppan,
Armin Biere,
Cyrille Artho,
2003,
Electron. Notes Theor. Comput. Sci..
Viktor Schuppan,
Winfried Rußwurm,
2000,
EWSPT.
Viktor Schuppan,
Armin Biere,
2001
.
Viktor Schuppan,
Armin Biere,
Timo Latvala,
2006,
Log. Methods Comput. Sci..
Viktor Schuppan,
Armin Biere,
Cyrille Artho,
2004,
CAV.
Viktor Schuppan,
2009,
FSEN.
Viktor Schuppan,
Marco Roveri,
Alessandro Cimatti,
2010,
CAV.
Viktor Schuppan,
Armin Biere,
Armin Biere,
2004,
International Journal on Software Tools for Technology Transfer.
Viktor Schuppan,
Armin Biere,
Cyrille Artho,
2002,
FMICS.
Viktor Schuppan,
Viktor Schuppan,
2013,
Theor. Comput. Sci..
Viktor Schuppan,
Viktor Schuppan,
2006
.
Viktor Schuppan,
Armin Biere,
Armin Biere,
2005,
TACAS.