Thomas Studer
发表
Phiniki Stouppa,
Thomas Studer,
2006,
Ershov Memorial Conference.
Thomas Studer,
2013,
J. Symb. Log..
Thomas Studer,
Eveline Lehmann,
2020,
LFCS.
Meghdad Ghari,
Thomas Studer,
Samuel Bucheli,
2017,
M4M@ICLA.
Thomas Studer,
T. Studer,
2009,
Inf. Process. Lett..
Thomas Studer,
Roman Kuznets,
T. Studer,
2016,
Log. J. IGPL.
Thomas Studer,
Norbert Kottmann,
2007,
DEXA.
Thomas Studer,
Hamzeh Mohammadi,
T. Studer,
2019,
ECSQARU.
Thomas Studer,
T. Studer,
2001,
J. Log. Comput..
Thomas Studer,
Michel Marti,
2018,
Advances in Modal Logic.
Thomas Studer,
Luca Alberucci,
Jürg Krähenbühl,
2014,
Log. J. IGPL.
Thomas Studer,
Dandolo Flumini,
Kai Brünnler,
2020,
J. Log. Comput..
Thomas Studer,
Roman Kuznets,
Samuel Bucheli,
2011,
WoLLIC.
Thomas Studer,
Michael Dürig,
T. Studer,
2005,
Description Logics.
Thomas Studer,
Gerhard Jäger,
Mathis Kretz,
2008,
J. Log. Algebraic Methods Program..
Thomas Studer,
2011,
2011 Seventh International Conference on Computational Intelligence and Security.
Thomas Studer,
2015,
ArXiv.
Thomas Studer,
Gerhard Jäger,
2011,
Logica Universalis.
Thomas Studer,
Michel Marti,
T. Studer,
2018
.
Silvia Ghilezan,
Thomas Studer,
Zoran Ognjanović,
2020,
Logic, Language, and Security.
Thomas Studer,
Roman Kuznets,
Samuel Bucheli,
2010,
ArXiv.
Kilian Stoffel,
Thomas Studer,
2005,
DEXA.
Thomas Studer,
Kai Brünnler,
2010
.
Thomas Studer,
Mathis Kretz,
2006,
J. Appl. Log..
Thomas Studer,
Zoran Ognjanović,
Bojan Marinković,
2019,
J. Log. Comput..
Thomas Studer,
David Steiner,
2007,
LFCS.
Grigori Mints,
Thomas Studer,
2012,
FICS.
Thomas Studer,
T. Studer,
2005,
Ann. Pure Appl. Log..
Thomas Studer,
Nenad Savić,
Ioannis Kokkinis,
2020
.
Thomas Studer,
Michael Baur,
2020,
CLAR.
Thomas Studer,
Marc Dr. Peters,
Jens Dr. Wiemann,
2011
.
Thomas Studer,
Roman Kuznets,
Samuel Bucheli,
2014,
J. Comput. Syst. Sci..
Thomas Studer,
Johannes Werner,
2014,
Trans. Data Priv..
Thomas Studer,
Roman Kuznets,
Samuel Bucheli,
2010,
J. Appl. Non Class. Logics.
Thomas Studer,
T. Studer,
2008,
Stud Logica.
Thomas Studer,
Nenad Savic,
2019,
ICLA.
Zoran Ognjanovic,
Thomas Studer,
Ioannis Kokkinis,
2016,
LFCS.
Thomas Studer,
Roman Kuznets,
Samuel Bucheli,
2011,
TbiLLC.
Thomas Studer,
Dragan Doder,
Zoran Ognjanović,
2019,
ECSQARU.
Nenad Savic,
Thomas Studer,
T. Studer,
2019,
FLAP.
Thomas Studer,
Kai Brünnler,
2009,
Ann. Pure Appl. Log..
Thomas Studer,
Dandolo Flumini,
Kai Brünnler,
2017,
LFCS.
Thomas Studer,
Eveline Lehmann,
2019,
WoLLIC.
Thomas Studer,
2009,
Ershov Memorial Conference.
Thomas Studer,
Gerhard Jäger,
Mathis Kretz,
2007,
J. Appl. Log..
Phiniki Stouppa,
Thomas Studer,
2009,
LFCS.
Thomas Studer,
Reinhard Kahle,
T. Studer,
2000,
CSL.
Thomas Studer,
Roman Kuznets,
2012,
Advances in Modal Logic.
Thomas Studer,
2011,
Ershov Memorial Conference.
Zoran Ognjanovic,
Petar Maksimovic,
Thomas Studer,
2015,
Log. J. IGPL.
Thomas Studer,
Thomas Strahm,
Reinhard Kahle,
2016
.
Thomas Studer,
Nathalie Froidevaux,
2019
.
Thomas Studer,
Zoran Ognjanović,
Ioannis Kokkinis,
2020,
J. Log. Comput..
Thomas Studer,
Kai Brünnler,
2012,
Ann. Pure Appl. Log..
Thomas Studer,
Reinhard Kahle,
T. Studer,
2001,
J. Log. Algebraic Methods Program..
Thomas Studer,
Dieter Probst,
T. Studer,
2001,
Theor. Comput. Sci..
Thomas Studer,
T. Studer,
2001
.
Zoran Ognjanovic,
Thomas Studer,
Nenad Savic,
2017,
LORI.
Thomas Studer,
Gerhard Jäger,
2002,
Ann. Pure Appl. Log..
Thomas Studer,
T. Studer,
2001,
Proof Theory in Computer Science.
Thomas Studer,
Dieter Probst,
Kai Brünnler,
2008,
Math. Log. Q..
Thomas Studer,
2013,
Logica Universalis.
Meghdad Ghari,
Federico L. G. Faroldi,
Thomas Studer,
2023,
DEON.
Thomas Studer,
2019,
2019 IEEE-RIVF International Conference on Computing and Communication Technologies (RIVF).
Thomas Studer,
Roman Kuznets,
T. Studer,
2013,
LFCS.
Thomas Studer,
Michel Marti,
2016,
ArXiv.
Thomas Studer,
Gerhard Jäger,
Reinhard Kahle,
2001,
Ann. Pure Appl. Log..
Thomas Studer,
Roman Kuznets,
Samuel Bucheli,
2010,
Electron. Notes Theor. Comput. Sci..
Thomas Studer,
Kai Brünnler,
2009,
Electron. Notes Theor. Comput. Sci..
Thomas Studer,
T. Studer,
2020,
ArXiv.
Thomas Studer,
Kilian Stoel,
T. Studer,
2004
.
Thomas Studer,
Atefeh Rohani,
2021,
WoLLIC.
Zoran Ognjanovic,
Thomas Studer,
David Lehnherr,
2022,
LFCS.
Thomas Studer,
Michael Baur,
2021,
J. Log. Comput..
Thomas Studer,
1999
.
Joshua Sack,
Thomas Studer,
Roman Kuznets,
2010
.
Thomas Studer,
T. Studer,
1997
.
Thomas Studer,
Ioannis Kokkinis,
2016
.
Thomas Studer,
1997
.
Thomas Studer,
Gerhard Jäger,
Mathis Kretz,
2007
.