Andreas Meier

2007
62	EE	Mario Strasser, Andreas Meier, Koen Langendoen, Philipp Blum: Dwarf: Delay-aWAre Robust Forwarding for Energy-Constrained Wireless Sensor Networks. DCOSS 2007: 64-81
2006
61	EE	Diana Arellano Távara, Andreas Meier: Agents with Personality for Videogames. AMDO 2006: 484-493
60	EE	Nicolas Werro, Henrik Stormer, Andreas Meier: A Hierarchical Fuzzy Classification of Online Customers. ICEBE 2006: 256-263
59	EE	Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton: Automatic Construction and Verification of Isotopy Invariants. IJCAR 2006: 36-51
58	EE	Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann: Omega. The Seventeen Provers of the World 2006: 127-141
2005
57	EE	Andreas Meier, Erica Melis: System Description: Multi A Multi-strategy Proof Planner. CADE 2005: 250-254
56		Nicolas Werro, Andreas Meier, Christian Mezger, Günter Schindler: Concept and Implementation of a Fuzzy Classification Query Language. DMIN 2005: 208-214
55	EE	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
54	EE	Andreas Meier, Erica Melis: Impasse-Driven Reasoning in Proof Planning. MKM 2005: 143-158
53	EE	Christoph Benzmüller, Andreas Meier, Volker Sorge: Bridging Theorem Proving and Mathematical Knowledge Retrieval. Mechanizing Mathematical Reasoning 2005: 277-296
52	EE	Andreas Meier, Volker Sorge: A New Set of Algebraic Benchmark Problems for SAT Solvers. SAT 2005: 459-466
51	EE	Andreas Meier, Nicolas Werro, Martin Albrecht, Miltiadis Sarakinos: Using a Fuzzy Classification Query Language for Customer Relationship Management. VLDB 2005: 1089-1096
50	EE	Andreas Meier, Erica Melis: Failure Reasoning in Multiple-Strategy Proof Planning. Electr. Notes Theor. Comput. Sci. 125(2): 67-90 (2005)
49	EE	Andreas Meier, Volker Sorge: Applying SAT Solving in Classification of Finite Algebras. J. Autom. Reasoning 35(1-3): 201-235 (2005)
2004
48		Nicolas Werro, Henrik Stormer, Daniel Frauchiger, Andreas Meier: eSarine - A Struts-based Webshop for Small and Medium-sized Enterprises. EMISA 2004: 13-24
47	EE	Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland: Automatic Generation of Classification Theorems for Finite Algebras. IJCAR 2004: 400-414
46	EE	Erica Melis, Andreas Meier, Martin Pollet: Adaptive Access to a Proof Planner. MKM 2004: 251-264
45	EE	Andreas Meier, Erica Melis, Martin Pollet: Adaptable Mixed-Initiative Proof Planning for Educational Interaction. Electr. Notes Theor. Comput. Sci. 103: 105-120 (2004)
44	EE	Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier: Interactive Theorem Proving with Tasks. Electr. Notes Theor. Comput. Sci. 103: 161-181 (2004)
43	EE	Andreas Meier: Citizen Relationship Management - Ein Online-Kommunikationsmodell für Bürgerinnen und Bürger. HMD - Praxis Wirtschaftsinform. 235: (2004)
2003
42	EE	Volker Graf, Andreas Meier, Simon Schreier: Vergleich von Websites im Gesundheitsmarkt. HMD - Praxis Wirtschaftsinform. 229: (2003)
41	EE	Andreas Meier: Editorial. HMD - Praxis Wirtschaftsinform. 232: (2003)
2002
40	EE	Andreas Meier, Volker Sorge, Simon Colton: Employing Theory Formation to Guide Proof Planning. AISC 2002: 275-289
39	EE	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
38	EE	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
37	EE	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)
2001
36	EE	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
35	EE	Andreas Meier, Martin Pollet, Volker Sorge: Classifying Isomorphic Residue Classes. EUROCAST 2001: 494-508
34	EE	Andreas Meier: Editorial. HMD - Praxis Wirtschaftsinform. 220: (2001)
33	EE	Thomas Wettstein, Peter Küng, Andreas Meier: Performance Measurement als Ausweg aus dem Information Overload: Ein zielorientierter Ansatz. HMD - Praxis Wirtschaftsinform. 222: (2001)
2000
32		Andreas Meier: System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level. CADE 2000: 460-464
31	EE	Erica Melis, Andreas Meier: Proof Planning with Multiple Strategies. Computational Logic 2000: 644-659
30	EE	Peter Kueng, Andreas Meier, Thomas Wettstein: Computer-based Performance Measurement in SMEs: Is there any option? ICSTM 2000
29	EE	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)
28	EE	Andreas Meier: Editorial. HMD - Praxis Wirtschaftsinform. 214: 1 (2000)
27	EE	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)
1999
26	EE	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: Lovely <Omega>MEGA User Interface. Formal Asp. Comput. 11(3): 326-342 (1999)
25	EE	Andreas Meier: Editorial. HMD - Praxis Wirtschaftsinform. 206: 1 (1999)
1998
24	EE	Andreas Meier, Patrick Hügi, Stefan Scherrer: Zur Etablierung eines elektronischen Gesundheitsmarktes Schweiz. HMD - Praxis Wirtschaftsinform. 200: (1998)
1997
23		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
22		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
21	EE	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)
20	EE	Andreas Meier: Datenbankmigration - Wege aus dem Datenchaos. HMD - Praxis Wirtschaftsinform. 194: (1997)
1995
19		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
18	EE	Andreas Meier: Providing Database Migration Tools - A Practicioner's Approach. VLDB 1995: 635-641
17	EE	Andreas Meier, Thomas Wüst: Objektorientierte Datenbanksysteme - Ein Produktvergleich. HMD - Praxis Wirtschaftsinform. 183: (1995)
1994
16		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)
15	EE	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)
14		Andreas Meier: Ziele und Aufgaben im Datenmanagement aus der Sicht des Praktikers. Wirtschaftsinformatik 36(5): 455-464 (1994)
1993
13		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)
1992
12		Andreas Meier: SI-VDF-Tagung über Migration von Datenbanken vom 19.6.92 in Zürich. Datenbank Rundbrief 10: 53 (1992)
11		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)
1987
10		Andreas Meier: Erweiterung relationaler Datenbanksysteme für technische Anwendungen Springer 1987
1986
9		Andreas Meier, Erwin Petry: Versionenkontrolle geometrischer Daten. GI Jahrestagung (1) 1986: 498-512
8		Andreas Meier, Hansbeat Loacker, Fredy Paquet, Thomas Kohler: Das rechnergestützte Unterrichtssystem POLY zur Darstellung und Manipulation ebenbegrenzter Objekte. INFOS 1986: 171-185
7		Andreas Meier, Hansbeat Loacker: Demonstration des Unterrichtssystems POLY zur Darstellung und Manipulation ebenbegrenzter Objekte. INFOS 1986: 198-199
1985
6		Andreas Meier: Applying Relational Database Techniques to Solid Modeling. BTW 1985: 50-67
5		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
4		Andreas Meier: A graph grammar approach to geographical databes. Inf. Syst. 10(1): 9-19 (1985)
1983
3	EE	Andreas Meier, Raymond A. Lorie: A Surrogate Concept for Engineering Databases. VLDB 1983: 30-32
1982
2		Andreas Meier: A graph-relational approach to geographic databases. Graph-Grammars and Their Application to Computer Science 1982: 245-254
1980
1		Andreas Meier: Flächenbezogene Datenstrukturen. GI Jahrestagung 1980: 543

Coauthor Index

1	Martin Albrecht	[51]
2	Serge Autexier	[44] [55]
3	Peter Bachmann	[19] [23]
4	Christoph Benzmüller	[22] [26] [38] [39] [44] [53] [55] [58]
5	Philipp Blum	[62]
6	Jean-Yves Le Boudec	[16]
7	Vladimir Brezhnev	[39]
8	Lassaad Cheikhrouhou	[22] [26] [39]
9	Simon Colton	[40] [47] [59]
10	Dominik Dietrich	[55]
11	Rolf Dippold	[11] [15]
12	Stefan Dünki	[19]
13	Robert Eckerlin	[15]
14	Detlef Fehrer	[22]
15	Flavio Ferrara	[15]
16	Armin Fiedler	[22] [26] [38] [39] [58]
17	Andreas Franke	[39]
18	Daniel Frauchiger	[48]
19	Volker Graf	[42]
20	René Haltinner	[13]
21	Harald Häuschen	[27] [36]
22	Stephan M. Hess	[26]
23	Helmut Horacek	[26] [39]
24	Xiaorong Huang	[22]
25	Werner Huber	[19]
26	Malte Hübner	[44]
27	Patrick Hügi	[24]
28	Stefan Hüsemann	[27] [36]
29	Bernhard Joos	[21]
30	Rolf M. Katzsch	[21]
31	Manfred Kerber	[22]
32	Won Kim	[5]
33	Thomas Kohler	[8]
34	Michael Kohlhase	[22] [26] [39]
35	Karsten Konrad	[22] [26]
36	Peter Kueng	[30]
37	Peter Küng	[33]
38	Koen Langendoen	[62]
39	Hansbeat Loacker	[7] [8]
40	Raymond A. Lorie	[3] [5]
41	Ambros Lüthi	[27] [36]
42	A. Madörin	[23]
43	Gitta Marchand	[29]
44	Roy L. McCasland	[47] [59]
45	Dan McNabb	[5]
46	Erica Melis	[22] [26] [31] [39] [45] [46] [50] [54] [57]
47	Jacky Mercerat	[15]
48	Kurt A. Meyer	[27] [36]
49	Christian Mezger	[56]
50	Markus Moschner	[39]
51	Alex Muriset	[15]
52	Immanuel Normann	[39]
53	Philippe Nussbaum	[19] [23]
54	Rainer Oechsle	[16]
55	Fredy Paquet	[8]
56	Jacques Pasquier-Rocha (Jacques Pasquier-Boltuck, Jacques Pasquier)	[29]
57	Erwin Petry	[9]
58	Wil Plouffe	[5]
59	Martin Pollet	[26] [35] [37] [38] [39] [45] [46] [58]
60	Miltiadis Sarakinos	[51]
61	Wolf Schaarschmidt	[22]
62	Stefan Scherrer	[19] [23] [24]
63	Günter Schindler	[56]
64	Simon Schreier	[42]
65	Adrian Sieber	[29]
66	Jörg H. Siekmann	[22] [26] [38] [39] [58]
67	Volker Sorge	[22] [26] [35] [37] [39] [40] [47] [49] [52] [53] [59]
68	M. Stettler	[23]
69	Henrik Stormer	[48] [60]
70	Mario Strasser	[62]
71	Diana Arellano Távara	[61]
72	U. Tonazzi	[23]
73	Hong Linh Truong	[16]
74	Carsten Ullrich	[39]
75	Jean-Claude Untersinger	[15]
76	Hans-Peter Weber	[19] [23]
77	Christian Wernet	[21]
78	Nicolas Werro	[48] [51] [56] [60]
79	Thomas Wettstein	[30] [33]
80	Brigitte Widmer-Itin	[13]
81	Claus-Peter Wirth	[39] [55]
82	Daniel Wismer	[27] [29] [36]
83	Pascal Wohlwender	[27] [36]
84	Thomas Wüst	[17] [23]
85	Jürgen Zimmer	[39]

Colors in the list of coauthors