| 2009 |
|---|
| 73 | EE | Martin 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 |
| 71 | EE | Andreas Meier,
Mehul Motani,
Siquan Hu,
Simon Künzli:
DiMo: distributed node monitoring in wireless sensor networks.
MSWiM 2008: 117-121 |
| 70 | EE | Andreas Meier,
Mischa Weise,
Jan Beutel,
Lothar Thiele:
NoSE: efficient initialization of wireless sensor networks.
SenSys 2008: 397-398 |
| 69 | EE | Erica Melis,
Andreas Meier,
Jörg H. Siekmann:
Proof planning with multiple strategies.
Artif. Intell. 172(6-7): 656-684 (2008) |
| 68 | EE | Volker 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 |
|---|
| 67 | EE | Mario 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 |
| 64 | EE | Diana 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 |
| 62 | EE | Nicolas Werro,
Henrik Stormer,
Andreas Meier:
A Hierarchical Fuzzy Classification of Online Customers.
ICEBE 2006: 256-263 |
| 61 | EE | Volker Sorge,
Andreas Meier,
Roy L. McCasland,
Simon Colton:
Automatic Construction and Verification of Isotopy Invariants.
IJCAR 2006: 36-51 |
| 60 | 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 |
|---|
| 59 | EE | Andreas 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 |
| 57 | 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 |
| 56 | EE | Andreas Meier,
Erica Melis:
Impasse-Driven Reasoning in Proof Planning.
MKM 2005: 143-158 |
| 55 | EE | Christoph Benzmüller,
Andreas Meier,
Volker Sorge:
Bridging Theorem Proving and Mathematical Knowledge Retrieval.
Mechanizing Mathematical Reasoning 2005: 277-296 |
| 54 | EE | Andreas Meier,
Volker Sorge:
A New Set of Algebraic Benchmark Problems for SAT Solvers.
SAT 2005: 459-466 |
| 53 | EE | Andreas Meier,
Nicolas Werro,
Martin Albrecht,
Miltiadis Sarakinos:
Using a Fuzzy Classification Query Language for Customer Relationship Management.
VLDB 2005: 1089-1096 |
| 52 | EE | Andreas Meier,
Erica Melis:
Failure Reasoning in Multiple-Strategy Proof Planning.
Electr. Notes Theor. Comput. Sci. 125(2): 67-90 (2005) |
| 51 | EE | Henrik Stormer,
Andreas Meier,
Franz Lehner:
Mobile Business - eine Übersicht.
HMD - Praxis Wirtschaftsinform. 244: (2005) |
| 50 | EE | Andreas 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 |
| 48 | EE | Simon Colton,
Andreas Meier,
Volker Sorge,
Roy L. McCasland:
Automatic Generation of Classification Theorems for Finite Algebras.
IJCAR 2004: 400-414 |
| 47 | EE | Erica Melis,
Andreas Meier,
Martin Pollet:
Adaptive Access to a Proof Planner.
MKM 2004: 251-264 |
| 46 | EE | Andreas Meier,
Erica Melis,
Martin Pollet:
Adaptable Mixed-Initiative Proof Planning for Educational Interaction.
Electr. Notes Theor. Comput. Sci. 103: 105-120 (2004) |
| 45 | 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) |
| 44 | EE | Andreas Meier:
Citizen Relationship Management - Ein Online-Kommunikationsmodell für Bürgerinnen und Bürger.
HMD - Praxis Wirtschaftsinform. 235: (2004) |
| 43 | EE | Daniel 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 |
|---|
| 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 |
