Andreas Meier - RankMe

25 papers A 7B 1Misc 1Journal 5Unranked 9

Year	Rank	Type	Title / Venue / Authors
2009	J	`jnl`	Designing a GUI for Proofs - Evaluation of an HCI Experiment CoRR Martin Homik, Andreas Meier
2008	J	`jnl`	Automatic Construction and Verification of Isotopy Invariants. J. Autom. Reason. Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton
2008	J	`jnl`	Proof planning with multiple strategies. Artif. Intell. Erica Melis, Andreas Meier, Jörg H. Siekmann
2007	—	`—`	Proof planning with multiple strategies. Andreas Meier
2006	A	`conf`	Automatic Construction and Verification of Isotopy Invariants. IJCAR Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton
2006	—	`ch.`	Omega. The Seventeen Provers of the World Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann
2005	—	`conf`	A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. MKM Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth
2005	A	`conf`	A New Set of Algebraic Benchmark Problems for SAT Solvers. SAT Andreas Meier, Volker Sorge
2005	J	`jnl`	Applying SAT Solving in Classification of Finite Algebras. J. Autom. Reason. Andreas Meier, Volker Sorge
2005	—	`conf`	Bridging Theorem Proving and Mathematical Knowledge Retrieval. Mechanizing Mathematical Reasoning Christoph Benzmüller, Andreas Meier, Volker Sorge
2005	—	`conf`	Impasse-Driven Reasoning in Proof Planning. MKM Andreas Meier, Erica Melis
2005	A	`conf`	System Description: Multi A Multi-strategy Proof Planner. CADE Andreas Meier, Erica Melis
2004	—	`conf`	Adaptive Access to a Proof Planner. MKM Erica Melis, Andreas Meier, Martin Pollet
2004	A	`conf`	Automatic Generation of Classification Theorems for Finite Algebras. IJCAR Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland
2004	—	`conf`	Failure Reasoning in Multiple-Strategy Proof Planning. STRATEGIES@IJCAR Andreas Meier, Erica Melis
2003	—	`conf`	Adaptable Mixed-Initiative Proof Planning for Educational Interaction. UITP@TPHOLs Andreas Meier, Erica Melis, Martin Pollet
2003	—	`conf`	Interactive Theorem Proving with Tasks. UITP@TPHOLs Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier
2002	J	`jnl`	Comparing Approaches to the Exploration of the Domain of Residue Classes. J. Symb. Comput. Andreas Meier, Martin Pollet, Volker Sorge
2002	Misc	`conf`	Employing Theory Formation to Guide Proof Planning. AISC Andreas Meier, Volker Sorge, Simon Colton
2002	A	`conf`	Proof Development with OMEGA. CADE Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer
2002	B	`conf`	Proof Development with Omega-MEGA: sqrt(2) Is Irrational. LPAR Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet
2001	—	`conf`	Classifying Isomorphic Residue Classes. EUROCAST Andreas Meier, Martin Pollet, Volker Sorge
2000	—	`conf`	Proof Planning with Multiple Strategies. Computational Logic Erica Melis, Andreas Meier
2000	A	`conf`	System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level. CADE Andreas Meier
1997	A	`conf`	Omega: Towards a Mathematical Assistant. CADE Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge