dblp.uni-trier.dewww.uni-trier.de

Andreas Meier

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
73EEMartin Homik, Andreas Meier: Designing a GUI for Proofs - Evaluation of an HCI Experiment CoRR abs/0903.3926: (2009)
2008
72 Onur von Burg, Marco Savini, Henrik Stormer, Andreas Meier: Introducing a Mobile System for the Early Detection of Cardiac Disorders as a Precaution from a Cardiologists' View - Evaluation of a Survey. HEALTHINF (2) 2008: 44-50
71EEAndreas Meier, Mehul Motani, Siquan Hu, Simon Künzli: DiMo: distributed node monitoring in wireless sensor networks. MSWiM 2008: 117-121
70EEAndreas Meier, Mischa Weise, Jan Beutel, Lothar Thiele: NoSE: efficient initialization of wireless sensor networks. SenSys 2008: 397-398
69EEErica Melis, Andreas Meier, Jörg H. Siekmann: Proof planning with multiple strategies. Artif. Intell. 172(6-7): 656-684 (2008)
68EEVolker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton: Automatic Construction and Verification of Isotopy Invariants. J. Autom. Reasoning 40(2-3): 221-243 (2008)
2007
67EEMario Strasser, Andreas Meier, Koen Langendoen, Philipp Blum: Dwarf: Delay-aWAre Robust Forwarding for Energy-Constrained Wireless Sensor Networks. DCOSS 2007: 64-81
66 Marco Savini, Henrik Stormer, Andreas Meier: Integrating Context Information in a Mobile Environment using the eSana Framework. ECEH 2007: 131-142
2006
65 Henrik Stormer, Andreas Meier, Michael Schumacher: European Conference on eHealth 2006, Proceedings of the ECEH'06, Fribourg, Switzerland, October 12-13, 2006 GI 2006
64EEDiana Arellano Távara, Andreas Meier: Agents with Personality for Videogames. AMDO 2006: 484-493
63 Andreea Ionas, Andreas Meier, Ciprian Pop, Marco Savini, Henrik Stormer: Using a Data Warehouse Approach for Mobile Patients. ECEH 2006: 287-297
62EENicolas Werro, Henrik Stormer, Andreas Meier: A Hierarchical Fuzzy Classification of Online Customers. ICEBE 2006: 256-263
61EEVolker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton: Automatic Construction and Verification of Isotopy Invariants. IJCAR 2006: 36-51
60EEChristoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann: Omega. The Seventeen Provers of the World 2006: 127-141
2005
59EEAndreas Meier, Erica Melis: System Description: Multi A Multi-strategy Proof Planner. CADE 2005: 250-254
58 Nicolas Werro, Andreas Meier, Christian Mezger, Günter Schindler: Concept and Implementation of a Fuzzy Classification Query Language. DMIN 2005: 208-214
57EESerge 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
56EEAndreas Meier, Erica Melis: Impasse-Driven Reasoning in Proof Planning. MKM 2005: 143-158
55EEChristoph Benzmüller, Andreas Meier, Volker Sorge: Bridging Theorem Proving and Mathematical Knowledge Retrieval. Mechanizing Mathematical Reasoning 2005: 277-296
54EEAndreas Meier, Volker Sorge: A New Set of Algebraic Benchmark Problems for SAT Solvers. SAT 2005: 459-466
53EEAndreas Meier, Nicolas Werro, Martin Albrecht, Miltiadis Sarakinos: Using a Fuzzy Classification Query Language for Customer Relationship Management. VLDB 2005: 1089-1096
52EEAndreas Meier, Erica Melis: Failure Reasoning in Multiple-Strategy Proof Planning. Electr. Notes Theor. Comput. Sci. 125(2): 67-90 (2005)
51EEHenrik Stormer, Andreas Meier, Franz Lehner: Mobile Business - eine Übersicht. HMD - Praxis Wirtschaftsinform. 244: (2005)
50EEAndreas Meier, Volker Sorge: Applying SAT Solving in Classification of Finite Algebras. J. Autom. Reasoning 35(1-3): 201-235 (2005)
2004
49 Nicolas Werro, Henrik Stormer, Daniel Frauchiger, Andreas Meier: eSarine - A Struts-based Webshop for Small and Medium-sized Enterprises. EMISA 2004: 13-24
48EESimon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland: Automatic Generation of Classification Theorems for Finite Algebras. IJCAR 2004: 400-414
47EEErica Melis, Andreas Meier, Martin Pollet: Adaptive Access to a Proof Planner. MKM 2004: 251-264
46EEAndreas Meier, Erica Melis, Martin Pollet: Adaptable Mixed-Initiative Proof Planning for Educational Interaction. Electr. Notes Theor. Comput. Sci. 103: 105-120 (2004)
45EEMalte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier: Interactive Theorem Proving with Tasks. Electr. Notes Theor. Comput. Sci. 103: 161-181 (2004)
44EEAndreas Meier: Citizen Relationship Management - Ein Online-Kommunikationsmodell für Bürgerinnen und Bürger. HMD - Praxis Wirtschaftsinform. 235: (2004)
43EEDaniel Frauchiger, Andreas Meier, Henrik Stormer, Nicolas Werro: Zur Entwicklung des Struts-basierten Webshops eSarine - Ein Open-Source-Projekt aus dem Hochschulbereich. HMD - Praxis Wirtschaftsinform. 238: (2004)
2003
42EEVolker Graf, Andreas Meier, Simon Schreier: Vergleich von Websites im Gesundheitsmarkt. HMD - Praxis Wirtschaftsinform. 229: (2003)
41EEAndreas Meier: Editorial. HMD - Praxis Wirtschaftsinform. 232: (2003)
2002
40EEAndreas Meier, Volker Sorge, Simon Colton: Employing Theory Formation to Guide Proof Planning. AISC 2002: 275-289
39EEJö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
38EEJö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
37EEAndreas 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
36EEAndreas 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
35EEAndreas Meier, Martin Pollet, Volker Sorge: Classifying Isomorphic Residue Classes. EUROCAST 2001: 494-508
34EEAndreas Meier: Editorial. HMD - Praxis Wirtschaftsinform. 220: (2001)
33EEThomas 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
31EEErica Melis, Andreas Meier: Proof Planning with Multiple Strategies. Computational Logic 2000: 644-659
30EEPeter Kueng, Andreas Meier, Thomas Wettstein: Computer-based Performance Measurement in SMEs: Is there any option? ICSTM 2000
29EEAndreas 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)
28EEAndreas Meier: Editorial. HMD - Praxis Wirtschaftsinform. 214: 1 (2000)
27EEAndreas 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
26EEJö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)
25EEAndreas Meier: Editorial. HMD - Praxis Wirtschaftsinform. 206: 1 (1999)
1998
24EEAndreas 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
21EEBernhard Joos, Rolf M. Katzsch, Andreas Meier, Christian Wernet: Drei Workflow-Management-Systeme im praktischen Vergleich: WorkFlow, Staffware und InConcert. HMD - Praxis Wirtschaftsinform. 193: (1997)
20EEAndreas 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
18EEAndreas Meier: Providing Database Migration Tools - A Practicioner's Approach. VLDB 1995: 635-641
17EEAndreas 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)
15EEAndreas 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
3EEAndreas 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)