| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Andreas Meier Christoph Benzmüller , Armin Fiedler , Andreas Meier, Martin Pollet , Jörg H. Siekmann : Omega. The Seventeen Provers of the World 2006 : 127-141 Andreas Meier, Erica Melis : System Description: Multi A Multi-strategy Proof Planner. CADE 2005 : 250-254 Nicolas Werro , Andreas Meier, Christian Mezger , Günter Schindler : Concept and Implementation of a Fuzzy Classification Query Language. DMIN 2005 : 208-214 Serge Autexier , Christoph Benzmüller , Dominik Dietrich , Andreas Meier, Claus-Peter Wirth : A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. MKM 2005 : 126-142 Andreas Meier, Erica Melis : Impasse-Driven Reasoning in Proof Planning. MKM 2005 : 143-158 Christoph Benzmüller , Andreas Meier, Volker Sorge : Bridging Theorem Proving and Mathematical Knowledge Retrieval. Mechanizing Mathematical Reasoning 2005 : 277-296 Andreas Meier, Volker Sorge : A New Set of Algebraic Benchmark Problems for SAT Solvers. SAT 2005 : 459-466 Andreas Meier, Nicolas Werro , Martin Albrecht , Miltiadis Sarakinos : Using a Fuzzy Classification Query Language for Customer Relationship Management. VLDB 2005 : 1089-1096 Andreas Meier, Erica Melis : Failure Reasoning in Multiple-Strategy Proof Planning. Electr. Notes Theor. Comput. Sci. 125 (2): 67-90 (2005) Nicolas Werro , Henrik Stormer , Daniel Frauchiger , Andreas Meier: eSarine - A Struts-based Webshop for Small and Medium-sized Enterprises. EMISA 2004 : 13-24 Simon Colton , Andreas Meier, Volker Sorge , Roy McCasland : Automatic Generation of Classification Theorems for Finite Algebras. IJCAR 2004 : 400-414 Erica Melis , Andreas Meier, Martin Pollet : Adaptive Access to a Proof Planner. MKM 2004 : 251-264 Andreas Meier, Erica Melis , Martin Pollet : Adaptable Mixed-Initiative Proof Planning for Educational Interaction. Electr. Notes Theor. Comput. Sci. 103 : 105-120 (2004) Malte Hübner , Serge Autexier , Christoph Benzmüller , Andreas Meier: Interactive Theorem Proving with Tasks. Electr. Notes Theor. Comput. Sci. 103 : 161-181 (2004) Andreas Meier: Citizen Relationship Management - Ein Online-Kommunikationsmodell für Bürgerinnen und Bürger. HMD - Praxis Wirtschaftsinform. 235 : (2004) Volker Graf , Andreas Meier, Simon Schreier : Vergleich von Websites im Gesundheitsmarkt. HMD - Praxis Wirtschaftsinform. 229 : (2003) Andreas Meier: Editorial. HMD - Praxis Wirtschaftsinform. 232 : (2003) Andreas Meier, Volker Sorge , Simon Colton : Employing Theory Formation to Guide Proof Planning. AISC 2002 : 275-289 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 : Proof Development with OMEGA. CADE 2002 : 144-149 Jörg H. Siekmann , Christoph Benzmüller , Armin Fiedler , Andreas Meier, Martin Pollet : Proof Development with Omega-MEGA: sqrt(2) Is Irrational. LPAR 2002 : 367-387 Andreas Meier, Martin Pollet , Volker Sorge : Comparing Approaches to the Exploration of the Domain of Residue Classes. J. Symb. Comput. 34 (4): 287-306 (2002) Andreas Meier, Stefan Hüsemann , Ambros Lüthi , Daniel Wismer , Harald Häuschen , Kurt A. Meyer , Pascal Wohlwender : Market Analysis of Electronic Business in Switzerland and Comparisons with Europe. ECIS 2001 Andreas Meier, Martin Pollet , Volker Sorge : Classifying Isomorphic Residue Classes. EUROCAST 2001 : 494-508 Andreas Meier: Editorial. HMD - Praxis Wirtschaftsinform. 220 : (2001) Thomas Wettstein , Peter Küng , Andreas Meier: Performance Measurement als Ausweg aus dem Information Overload: Ein zielorientierter Ansatz. HMD - Praxis Wirtschaftsinform. 222 : (2001) Andreas Meier: System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level. CADE 2000 : 460-464 Erica Melis , Andreas Meier: Proof Planning with Multiple Strategies. Computational Logic 2000 : 644-659 Peter Kueng , Andreas Meier, Thomas Wettstein : Computer-based Performance Measurement in SMEs: Is there any option? ICSTM 2000 Andreas Meier, Jacques Pasquier-Rocha , Gitta Marchand , Adrian Sieber , Daniel Wismer : Elektronische Bücher für Wissensvermittlung und Unterhaltung. HMD - Praxis Wirtschaftsinform. 211 : 89-96 (2000) Andreas Meier: Editorial. HMD - Praxis Wirtschaftsinform. 214 : 1 (2000) Andreas Meier, Harald Häuschen , Stefan Hüsemann , Ambros Lüthi , Kurt A. Meyer , Daniel Wismer , Pascal Wohlwender : Marktstudie Internet & Electronic Business. HMD - Praxis Wirtschaftsinform. 215 : 109-122 (2000) Jörg H. Siekmann , Stephan M. Hess , Christoph Benzmüller , Lassaad Cheikhrouhou , Armin Fiedler , Helmut Horacek , Michael Kohlhase , Karsten Konrad , Andreas Meier, Erica Melis , Martin Pollet , Volker Sorge : L <Omega> UI : L ovely <Omega>MEGA U ser I nterface. Formal Asp. Comput. 11 (3): 326-342 (1999) Andreas Meier: Editorial. HMD - Praxis Wirtschaftsinform. 206 : 1 (1999) Andreas Meier, Patrick Hügi , Stefan Scherrer : Zur Etablierung eines elektronischen Gesundheitsmarktes Schweiz. HMD - Praxis Wirtschaftsinform. 200 : (1998) Andreas Meier, Peter Bachmann , A. Madörin , Philippe Nussbaum , Stefan Scherrer , M. Stettler , U. Tonazzi , Hans-Peter Weber , Thomas Wüst : Der Einsatz objektorientierter Datenbanksysteme in der Praxis: ein Triathlon. BTW 1997 : 17-33 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 : Omega: Towards a Mathematical Assistant. CADE 1997 : 252-255 Bernhard Joos , Rolf M. Katzsch , Andreas Meier, Christian Wernet : Drei Workflow-Management-Systeme im praktischen Vergleich: WorkFlow, Staffware und InConcert. HMD - Praxis Wirtschaftsinform. 193 : (1997) Andreas Meier: Datenbankmigration - Wege aus dem Datenchaos. HMD - Praxis Wirtschaftsinform. 194 : (1997) Andreas Meier, Peter Bachmann , Stefan Dünki , Werner Huber , Philippe Nussbaum , Stefan Scherrer , Hans-Peter Weber : Konzeption und Entwicklung eines EDI-Servers für den Gesundheitsmarkt Schweiz. GI Jahrestagung 1995 : 695-702 Andreas Meier: Providing Database Migration Tools - A Practicioner's Approach. VLDB 1995 : 635-641 Andreas Meier, Thomas Wüst : Objektorientierte Datenbanksysteme - Ein Produktvergleich. HMD - Praxis Wirtschaftsinform. 183 : (1995) Jean-Yves Le Boudec , Andreas Meier, Rainer Oechsle , Hong Linh Truong : Connectionless Data Service in an ATM-Based Customer Premises Network. Computer Networks and ISDN Systems 26 (11): 1409-1424 (1994) Andreas Meier, Rolf Dippold , Jacky Mercerat , Alex Muriset , Jean-Claude Untersinger , Robert Eckerlin , Flavio Ferrara : Hierarchical to Relational Database Migration. IEEE Software 11 (3): 21-27 (1994) Andreas Meier: Ziele und Aufgaben im Datenmanagement aus der Sicht des Praktikers. Wirtschaftsinformatik 36 (5): 455-464 (1994) Andreas Meier, René Haltinner , Brigitte Widmer-Itin : Schutz der Investitionen beim Wechsel eines Datenbanksystems - Systemkontrollierte Koexistenz zwischen hierarchischen und relationalen Datenbanken. Wirtschaftsinformatik 35 (4): 331-338 (1993) Andreas Meier: SI-VDF-Tagung über Migration von Datenbanken vom 19.6.92 in Zürich. Datenbank Rundbrief 10 : 53 (1992) Andreas Meier, Rolf Dippold : Migration und Koexistenz heterogener Datenbanken, praktische Lösungen zum Wechsel in die relationale Datenbanktechnologie. Informatik Spektrum 15 (3): 157-166 (1992) Andreas Meier: Erweiterung relationaler Datenbanksysteme für technische Anwendungen Springer 1987 Andreas Meier, Erwin Petry : Versionenkontrolle geometrischer Daten. GI Jahrestagung (1) 1986 : 498-512 Andreas Meier, Hansbeat Loacker , Fredy Paquet , Thomas Kohler : Das rechnergestützte Unterrichtssystem POLY zur Darstellung und Manipulation ebenbegrenzter Objekte. INFOS 1986 : 171-185 Andreas Meier, Hansbeat Loacker : Demonstration des Unterrichtssystems POLY zur Darstellung und Manipulation ebenbegrenzter Objekte. INFOS 1986 : 198-199 Andreas Meier: Applying Relational Database Techniques to Solid Modeling. BTW 1985 : 50-67 Raymond A. Lorie , Won Kim , Dan McNabb , Wil Plouffe , Andreas Meier: Supporting Complex Objects in a Relational System for Engineering Databases. Query Processing in Database Systems 1985 : 145-155 Andreas Meier: A graph grammar approach to geographical databes. Inf. Syst. 10 (1): 9-19 (1985) Andreas Meier, Raymond A. Lorie : A Surrogate Concept for Engineering Databases. VLDB 1983 : 30-32 Andreas Meier: A graph-relational approach to geographic databases. Graph-Grammars and Their Application to Computer Science 1982 : 245-254 Andreas Meier: Flächenbezogene Datenstrukturen. GI Jahrestagung 1980 : 543 1 [ 50 ] 2 [ 44 ] [ 54 ] 3 [ 19 ] [ 23 ] 4 [ 22 ] [ 26 ] [ 38 ] [ 39 ] [ 44 ] [ 52 ] [ 54 ] [ 57 ] 5 [ 16 ] 6 [ 39 ] 7 [ 22 ] [ 26 ] [ 39 ] 8 [ 40 ] [ 47 ] 9 [ 54 ] 10 [ 11 ] [ 15 ] 11 [ 19 ] 12 [ 15 ] 13 [ 22 ] 14 [ 15 ] 15 [ 22 ] [ 26 ] [ 38 ] [ 39 ] [ 57 ] 16 [ 39 ] 17 [ 48 ] 18 [ 42 ] 19 [ 13 ] 20 [ 27 ] [ 36 ] 21 [ 26 ] 22 [ 26 ] [ 39 ] 23 [ 22 ] 24 [ 19 ] 25 [ 44 ] 26 [ 24 ] 27 [ 27 ] [ 36 ] 28 [ 21 ] 29 [ 21 ] 30 [ 22 ] 31 [ 5 ] 32 [ 8 ] 33 [ 22 ] [ 26 ] [ 39 ] 34 [ 22 ] [ 26 ] 35 [ 30 ] 36 [ 33 ] 37 [ 7 ] [ 8 ] 38 [ 3 ] [ 5 ] 39 [ 27 ] [ 36 ] 40 [ 23 ] 41 [ 29 ] 42 [ 47 ] 43 [ 5 ] 44 [ 22 ] [ 26 ] [ 31 ] [ 39 ] [ 45 ] [ 46 ] [ 49 ] [ 53 ] [ 56 ] 45 [ 15 ] 46 [ 27 ] [ 36 ] 47 [ 55 ] 48 [ 39 ] 49 [ 15 ] 50 [ 39 ] 51 [ 19 ] [ 23 ] 52 [ 16 ] 53 [ 8 ] 54 [ 29 ] 55 [ 9 ] 56 [ 5 ] 57 [ 26 ] [ 35 ] [ 37 ] [ 38 ] [ 39 ] [ 45 ] [ 46 ] [ 57 ] 58 [ 50 ] 59 [ 22 ] 60 [ 19 ] [ 23 ] [ 24 ] 61 [ 55 ] 62 [ 42 ] 63 [ 29 ] 64 [ 22 ] [ 26 ] [ 38 ] [ 39 ] [ 57 ] 65 [ 22 ] [ 26 ] [ 35 ] [ 37 ] [ 39 ] [ 40 ] [ 47 ] [ 51 ] [ 52 ] 66 [ 23 ] 67 [ 48 ] 68 [ 23 ] 69 [ 16 ] 70 [ 39 ] 71 [ 15 ] 72 [ 19 ] [ 23 ] 73 [ 21 ] 74 [ 48 ] [ 50 ] [ 55 ] 75 [ 30 ] [ 33 ] 76 [ 13 ] 77 [ 39 ] [ 54 ] 78 [ 27 ] [ 29 ] [ 36 ] 79 [ 27 ] [ 36 ] 80 [ 17 ] [ 23 ] 81 [ 39 ]  ©2006 Association for Computing Machinery |
