Serge Autexier
发表
Serge Autexier,
2007
.
Serge Autexier,
Normen Müller,
2010,
DocEng '10.
Serge Autexier,
Armin Fiedler,
Thomas Neumann,
2007,
Calculemus/MKM.
George Vassilacopoulos,
Dimosthenis Kyriazis,
Andreas Menychtas,
2017,
ICIMTH.
Heiko Mantel,
Serge Autexier,
H. Mantel,
2006
.
Till Mossakowski,
Serge Autexier,
2002,
FroCoS.
Dieter Hutter,
Axel Schairer,
Till Mossakowski,
2002,
AMAST.
Rolf Drechsler,
Mazyar Seraj,
Eva-Sophie Katterfeldt,
2019,
Koli Calling.
Jörg H. Siekmann,
Christoph Benzmüller,
Serge Autexier,
2006,
J. Appl. Log..
Christoph Benzmüller,
Quoc Bao Vo,
Helmut Horacek,
2004,
Electron. Notes Theor. Comput. Sci..
Serge Autexier,
Jürgen Zimmer,
2006,
IJCAR.
Christoph Benzmüller,
Serge Autexier,
Dominik Dietrich,
2008
.
Ciprian Dobre,
Constandinos X. Mavromoustakis,
Rossitza Goleva,
2017
.
Serge Autexier,
2005,
TABLEAUX.
Serge Autexier,
S. Autexier,
2005,
CADE.
Christoph Lüth,
David Aspinall,
Serge Autexier,
2009,
UITP@TPHOLs.
Heiko Mantel,
Werner Stephan,
Serge Autexier,
1998,
KI.
Iliano Cervesato,
Heiko Mantel,
Serge Autexier,
2004,
International Journal of Information Security.
Dieter Hutter,
Christoph Stahl,
Serge Autexier,
2013,
AmI.
Rolf Drechsler,
Christoph Lüth,
Serge Autexier,
2016,
LDIC.
Dieter Hutter,
Till Mossakowski,
Serge Autexier,
2010,
Verification, Induction, Termination Analysis.
Dieter Hutter,
Serge Autexier,
2002,
LPAR.
Dieter Hutter,
Axel Schairer,
Heiko Mantel,
1999,
WADT.
Dieter Hutter,
Christoph Lüth,
Serge Autexier,
2012,
ISoLA.
Carsten Schürmann,
Serge Autexier,
C. Schürmann,
2003,
LPAR.
Dieter Hutter,
Axel Schairer,
Serge Autexier,
2001,
Electron. Notes Theor. Comput. Sci..
Stephan Merz,
Pierre Wolper,
Leon van der Torre,
2006,
Trustworthy Software.
Heiko Mantel,
Serge Autexier,
H. Mantel,
2001
.
Stephan Merz,
Pierre Wolper,
Reinhard Wilhelm,
2006,
Trustworthy Software.
Christoph Lüth,
Serge Autexier,
2010,
IFM.
Dieter Hutter,
Serge Autexier,
2012,
WoMO.
Dieter Hutter,
Serge Autexier,
1997
.
Stephan Merz,
Tobias Nipkow,
Heiko Mantel,
2008
.
Christoph Benzmüller,
Serge Autexier,
2007,
Electron. Notes Theor. Comput. Sci..
Christoph Benzmüller,
Marvin R. G. Schiller,
Serge Autexier,
2007,
KI.
Jörg H. Siekmann,
Christoph Benzmüller,
Serge Autexier,
2009,
Logic from Russell to Church.
Dimosthenis Kyriazis,
Andreas Menychtas,
Mitja Lustrek,
2019,
EFMI-STC.
Jörg H. Siekmann,
Christoph Benzmüller,
Serge Autexier,
2009,
ArXiv.
Christoph Benzmüller,
Serge Autexier,
2003
.
Dieter Hutter,
Serge Autexier,
2015,
LOPSTR.
Marvin R. G. Schiller,
Serge Autexier,
Dominik Dietrich,
2012,
ThEdu.
Dieter Hutter,
Serge Autexier,
2015,
CICM.
Serge Autexier,
2015,
Int. J. Softw. Informatics.
Dieter Hutter,
Serge Autexier,
2013,
Description Logics.
Dieter Hutter,
Christoph Benzmüller,
Serge Autexier,
2003
.
Dieter Hutter,
Axel Schairer,
Heiko Mantel,
1999,
CADE.
Serge Autexier,
1993
.
Dieter Hutter,
Serge Autexier,
Mohamed Bawadekji,
2013,
2013 10th International Conference and Expo on Emerging Technologies for a Smarter World (CEWIT).
Serge Autexier,
1993
.
Dieter Hutter,
Serge Autexier,
S. Autexier,
1997
.
Christoph Benzmüller,
Serge Autexier,
Ramses A. Heckler,
1992
.
Christoph Benzmüller,
Andreas Meier,
Serge Autexier,
2005,
MKM.
Jacques Calmet,
David Delahaye,
Alan P. Sexton,
2010
.
Christoph Benzmüller,
Serge Autexier,
2009,
Electron. Notes Theor. Comput. Sci..
Dieter Hutter,
Serge Autexier,
2005,
Mechanizing Mathematical Reasoning.
Christian Mandel,
Serge Autexier,
S. Autexier,
2016,
ICOST.
Rolf Drechsler,
Serge Autexier,
R. Drechsler,
2018,
2018 7th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO).
Christoph Benzmüller,
Serge Autexier,
2007
.
Christoph Benzmüller,
Serge Autexier,
Marc Wagner,
2007,
UITP@FLoC.
Stephan Merz,
Pierre Wolper,
Leon van der Torre,
2006
.
Jörg H. Siekmann,
Christoph Benzmüller,
Serge Autexier,
2004
.
Claudio Sacerdoti Coen,
Serge Autexier,
2006,
MKM.
David Aspinall,
Serge Autexier,
S. Autexier,
2008
.
Jörg H. Siekmann,
Christoph Benzmüller,
Serge Autexier,
2011,
Resource-Adaptive Cognitive Processes.
Serge Autexier,
Dominik Dietrich,
S. Autexier,
2010,
ITP.
Dieter Hutter,
Christian Mandel,
Christoph Stahl,
2013,
AmI.
Jörg H. Siekmann,
Christoph Benzmüller,
Michael Kohlhase,
2004
.
Michael Kohlhase,
Catalin David,
Vyacheslav Zholudev,
2011,
Calculemus/MKM.
Dieter Hutter,
Till Mossakowski,
Serge Autexier,
2001,
FASE.
Serge Autexier,
2019,
Wirtschaftsinformatik Manag..
Stephan Merz,
Tobias Nipkow,
Heiko Mantel,
2008,
Journal of Automated Reasoning.
Masakazu Suzuki,
Volker Sorge,
Freek Wiedijk,
2008,
AISC/MKM/Calculemus.
Christoph Benzmüller,
Quoc Bao Vo,
Serge Autexier,
2003
.
Dieter Hutter,
Axel Schairer,
Roland Vogt,
2000,
International Journal on Software Tools for Technology Transfer.
Rolf Drechsler,
Mazyar Seraj,
Serge Autexier,
2019,
IDC.
Dieter Hutter,
Till Mossakowski,
Serge Autexier,
2006,
J. Log. Algebraic Methods Program..
Pedro Quaresma,
Serge Autexier,
2017
.
Stephan Merz,
Tobias Nipkow,
Heiko Mantel,
2008
.
Rolf Drechsler,
Mazyar Seraj,
Eva-Sophie Katterfeldt,
2020,
SIGCSE.
Serge Autexier,
Dominik Dietrich,
S. Autexier,
2009,
KI.
James H. Davenport,
Jacques Calmet,
David Delahaye,
2010,
AISC/MKM/Calculemus.
Bernd Krieg-Brückner,
Serge Autexier,
Martin Rink,
2015,
Software, Services, and Systems.
Serge Autexier,
Dominik Dietrich,
S. Autexier,
2010,
ACCA.
Carsten Schürmann,
Serge Autexier,
C. Schürmann,
2002,
LFM.
Christoph Benzmüller,
Quoc Bao Vo,
Serge Autexier,
2003,
IJCAI.
Serge Autexier,
2001,
Electron. Notes Theor. Comput. Sci..
Serge Autexier,
Armin Fiedler,
S. Autexier,
2005,
MKM.
George Vassilacopoulos,
Dimosthenis Kyriazis,
Andreas Menychtas,
2019,
Acta informatica medica : AIM : journal of the Society for Medical Informatics of Bosnia & Herzegovina : casopis Drustva za medicinsku informatiku BiH.
Masakazu Suzuki,
Petr Sojka,
Serge Autexier,
2010,
Math. Comput. Sci..
Pedro Quaresma,
Serge Autexier,
2017,
UITP.
Serge Autexier,
S. Autexier,
2003
.
Christoph Benzmüller,
Andreas Meier,
Serge Autexier,
2004,
Electron. Notes Theor. Comput. Sci..
Mazyar Seraj,
Serge Autexier,
Jan Janssen,
2018,
NordiCHI.
Serge Autexier,
Dominik Dietrich,
2006,
MKM.
Christoph Benzmüller,
Serge Autexier,
2009
.
Rolf Drechsler,
Mazyar Seraj,
Serge Autexier,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET).
Bernd Krieg-Brückner,
Serge Autexier,
Mihai Pomarlan,
2021,
JOWO.
Heiko Mantel,
Serge Autexier,
1998
.
Christoph Lüth,
David Aspinall,
Serge Autexier,
2009
.
Serge Autexier,
Marc Wagner,
S. Autexier,
2006
.
Serge Autexier,
S. Autexier,
1999
.