|
|
2012
- Serge Autexier; Dominik Dietrich; Marvin Schiller
Towards an Intelligent Tutor for Mathematical Proofs.
In: Pedro Quaresma; Ralph-Johan Back (Hrsg.). Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 79, Pages 1-28, ArXiv, 2/2012.
- Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder
SmartTies - Management of Safety-Critical Developments.
In: Tiziana Margaria; Bernhard Steffen (Hrsg.). Proceedings 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12), 5th, October 15-18, Amirandes, Heraclion, Crete, Greece, Lecture Notes in Computer Science (LNCS), Springer, 10/2012.
- Serge Autexier; Dieter Hutter
Structure Formation to Modularize Ontologies.
In: Thomas Schneider; Dirk Walther (Hrsg.). Proceedings of the 6th International Workshop on Modular Ontologies. International Workshop on Modular Ontologies (WoMO-2012), 6th, located at 7th International Conference on Formal Ontology in Information Systems, July 24-27, Graz, Austria, CEUR, Vol. 875, ISBN ISSN 1613-0073, CEUR Workshop Proceedings, 2012.
2011
- Serge Autexier; Catalin David; Dominik Dietrich; Michael Kohlhase; Vyacheslav Zholudev
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics .
In: James H. Davenport; William Farmer; Florian Rabe; Joseph Urban (Hrsg.). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11), 10th International Conference on Mathematical Knowledge Management , located at Conference on Intelligent Computer Mathematics, July 18-23, Bertonori, Italy, Pages 164-179, LNAI, No. 6824, Springer-Verlag, Berlin Heidelberg, 7/2011.
- Serge Autexier; Dominik Dietrich; Marvin Schiller
Cognitive Tutoring in Mathematics based on Assertion Level Reasoning and Proof Strategies (Extended Abstract).
In: Pedro Quaresma; Ralph-Johan Back (Hrsg.). THedu'11, Workshop associated to CADE-23. THedu - CTP Components for Educational Software (ThEdu-11), located at Conference on Automated Deduction, July 31, Wroclaw, Poland, Pages 11-15, CISUC Technical Report, No. 2011/001, University of Coimbra, Portugal, 7/2011.
2010
- Serge Autexier; Jacques Calmet; David Delahaye; Patrick D. F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.)
Intelligent Computer Mathematics 2010 (CICM 2010).
Conferences on Intelligent Computer Mathematics (CICM-10), 10th International Conference AISC 2010, 17th Symposium Calculemus 2010 and 9th International Conference MKM 2010, located at Conferences on Intelligent Computer Mathematics, July 5-10, Paris, France, LNCS (LNCS), Vol. 6167, ISBN 978-3-642-14127-0, Springer, Heidelberg, Germany, 7/2010.
- Serge Autexier; Dominik Dietrich
A Tactic Language for Declarative Proofs.
In: Matt Kaufmann; Lawrence C. Paulson (Hrsg.). Proceedings International Conference on Interactive Theorem Proving. International Conference on Interactive Theorem Proving (ITP-2010), July 11-14, Edinburgh, United Kingdom, Pages 99-114, Lecture Notes in Computer Sciences (LNCS), Vol. 6172, Springer, 7/2010.
- Serge Autexier; Normen Müller
Semantics-Based Change Impact Analysis for Heterogeneous Collections of Documents.
In: Michael Gormish; Rolf Ingold (Hrsg.). Proceedings of 10th ACM Symposium on Document Engineering. ACM Symposium on Document Engineering (DocEng-10), September 21-24, Manchester, United Kingdom, ACM, 9/2010.
- Serge Autexier; Christoph Lüth
Adding Change Impact Analysis to the Formal Verification of C Programs.
In: Dominique MĂ©ry; Stephan Merz (Hrsg.). Proceedings 8th International Conference on Integrated Formal Methods. International Conference on Integrated Formal Methods (IFM-10), October 11-14, Nancy, France, LNCS, Springer, 10/2010.
- Serge Autexier; Petr Sojka; Masakazu Suzuki
Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge (Foreword).
In: Journal Mathematics in Computer Science, Vol. 3, No. 3, Pages 225-226, Birkhaeuser, Basle, Switzerland, 3/2010.
- Paul Libbrecht
Notations Around the World:Census and Exploitation.
In: Serge Autexier; Jacques Calmet; David Delahaye; Patrick D.F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.). Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10), 9th, located at Conference on Intelligent Computer Mathematics, July 8-9, Paris, France, Pages 398-410, Lecture Notes in Artificial Intelligence (LNAI), Vol. 6167/2010, ISBN 3-652-14127-7, Springer Verlag, 7/2010.
2009
- Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Jörg Siekmann
Resource Adaptive Processes in Automated Reasoning Systems.
In: Matthew Crocker; Jörg Siekmann (Hrsg.). Resource Adaptive Cognitive Processes. Page 28, LNAI, ISBN 978-3-540-89407-0, Springer, 11/2009.
- Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier
Jacques Herbrand: Life, Logic, and Automated Deduction.
In: Dov M. Gabbay; John Woods. Logic from Russell to Church. Pages 195-254, Handbook of The History of Logic, Vol. 5, Elsevier, 6/2009.
- Serge Autexier; Dominik Dietrich
Atomic Metadeduction.
In: Bärbel Mertsching (Hrsg.). Proceedings 32nd Annual German Conference on Artificial Intelligence. German Conference on Artificial Intelligence (KI-09), 32nd, September 15-18, Paderborn, Germany, Lectures Notes in Computer Science (LNCS), Springer, 9/2009.
- David Aspinall; Serge Autexier; Christoph Lüth; Marc Wagner
Towards Merging Plato and PGIP.
In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008), August 22, Montreal, QC, Canada, Pages 3-21, Electronic Notes in Theoretical Computer Science, Vol. 226, Elsevier Science, 2009.
2008
- Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Marc Wagner
Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA.
In: Mathematics in Computer Science, Special Issue on Mathematical Knowledge Management. Vol. Online First, Pages o.A-o.A. Birkhäuser, 2008.
- Serge Autexier; John Campbell; Julio Rubio; Volker Sorge; Masakazu Suzuki; Freek Wiedijk (Hrsg.)
Intelligent Computer Mathematics. Proceedings of the 9th International Conference (AISC-2008), 15th Symposium (Calculemus-2008), 7th International Conference (MKM-2008).
Intelligent Computer Mathematics. 9th International Conference (AISC-2008), 15th Symposium (Calculemus-2008), 7th International Conference (MKM-2008) (MKM-08), located at Conferences on Intelligent Computer Mathematics, CICM'08, July 28 - August 1, Birmingham, United Kingdom, Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence (LNCS/ LNAI), Vol. 5144, ISBN 978-3-540-85109-7, Springer, Berlin, Heidelberg, 2008.
- Paul Libbrecht; Cyrille Desmoulins; Christian Mercat; Colette Laborde; Michael Dietrich; Maxim Hendriks
Cross-Curriculum Search for Intergeo.
In: Serge Autexier; Masakazu Suzuki (Hrsg.). To Appear in Proceedings of MKM 2008. International Conference on Mathematical Knowledge Management (MKM-2008), 7th, July 28-30, Birmingham, United Kingdom, Pages 520-535, Springer Verlag, 7/2008.
- David Aspinall; Ewen Denney; Christoph Lüth
A Tactic Language for Hiproofs.
In: Serge Autexier; J. Campbell; J. Rubio (Hrsg.). Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM), 7th International Conference on Mathematical Knowledge Management, located at Conferences on Intelligent Computer Mathematics - Birmingham 2008, July 28 - August 1, Birmingham, United Kingdom, Pages 339-354, Lecture Notes in Computer Science (LNCS), Vol. 5144, Springer, 2008.
- Serge Autexier; Heiko Mantel; Stephan Merz; Tobias Nipkow (Hrsg.)
Special Issue on Formal Modeling and Verification of Critical Systems.
Journal of Automated Reasoning, Vol. 41, No. 3-4, Springer Netherlands, 12/2008.
- Serge Autexier; Heiko Mantel; S. Merz; T. Nipkow
Preface. Special Issue on Formal Modeling and Verification of Critical Systems.
In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Pages 191-192, Springer Netherlands, 11/2008.
- Serge Autexier; Christoph Benzmueller; Dominik Dietrich; Marc Wagner
Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA.
In: Manfred Kerber (Hrsg.). Journal Mathematics in Computer Science, Vol. 2, No. 2, Pages 253-277, Birkhäuser, 12/2008.
2007
- Serge Autexier; C. Benzmüller (Hrsg.)
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers.
UITP-2006, August 21, Seattle, WA, United States, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 174, No. 2, Elsevier, 2007.
- Serge Autexier; A. Fiedler; T. Neumann; M. Wagner
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems.
In: M. Kauers; M. Kerber; R. Miner; W. Windsteiger (Hrsg.). Towards Mechanized Mathematical Assistants. 14th Symposium (Calcemus-2007) and 6th International Conference (MKM-2007), June 27-30, Hagenberg, Austria, Pages 176-190, LNAI, Vol. 4573, Springer, 6/2007.
- Jörg Siekmann; Serge Autexier
Computer Supported Formal Work: Towards a Digital Mathematical Assistant.
In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 231-248, Studies in Logic, Grammar and Rhetoric, Vol. 10 (23), University of Bialystok, 7/2007.
- Roy McCasland; Alan Bundy; Serge Autexier
Automated Discovery of Inductive Theorems.
In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 135-150, Studies in Logic, Grammar and Rhetoric, Vol. 10 (23), University of Bialystok, 7/2007.
- Serge Autexier; Marvin Schiller; Dominik Dietrich; Christoph Benzmüller
Deep Inference for Automated Proof Tutoring?.
In: Roman Englert; Michael Beetz; Joachim Hertzberg (Hrsg.). Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2007), September 10-13, Osnabrück, Germany, Pages 435-439, Lecture Notes in Computer Science (LNCS), Vol. 4667, ISBN 978-3-540-74564-8, Springer, 9/2007.
2006
- Till Mossakowski; Serge Autexier; Dieter Hutter
Development Graphs -- Proof Management for Structured Specifications.
In: Journal of Logic and Algebraic Programming, Vol. 67, No. 1--2, Pages 114-145, o.A. 2006.
- Dieter Hutter
Automating Proofs of Unwinding Conditions.
In: Serge Autexier; Heiko Mantel (Hrsg.). Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning. International Verification Workshop (VERIFY), Seattle, -, 2006.
- Till Mossakowski; Serge Autexier; Dieter Hutter
Development Graphs -- Proof Management for Structured Specifications.
In: Journal of Logic and Algebraic Programming, Vol. 67, No. 1-2, Pages 114-145, o.A. 2006.
2005
2004
2002
2001
2000
- Serge Autexier; Dieter Hutter
Towards an efficient management of change in an evolutionary formal software development.
In: W.Goerig (Hrsg.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Universitaet Kiel, 2000.
- Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan; Roland Vogt; Andreas Wolpers
VSE: Formal Methods Meet Industrial Needs.
In: International Journal on Software Tools for Technology Transfer, Special Issue on Mechanized Theorem Proving for Technology (STTT), Vol. 3, No. 1, Pages 66-77, Springer Verlag, Berlin, Heidelberg, 2000.
- Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer
Towards an Evolutionary Formal Software-Development Using CASL.
In: C. Choppy; D. Bert (Hrsg.). Recent Trends in Algebraic Development Techniques, (WADT-99). Pages 73-88, Springer, LNCS 1827, 2000.
1999
1998
1997
1994
|
|
