Andreas Meier

Joël Vogt, Kris Luyten, Jan Van den Bergh, Karin Coninx, Andreas Meier: Putting Dementia into Context - A Selective Literature Review of Assistive Applications for Users with Dementia and Their Caregivers. HCSE 2012: 181-198

Darius Zumstein, Aleksandar Drobnjak, Andreas Meier: Data Privacy in Web Analytics - An Empirical Study and Declaration Model of Data Collection on Websites. WEBIST 2011: 466-472

David Hasenfratz, Andreas Meier, Matthias Woehrle, Marco Zimmerling, Lothar Thiele: Poster Abstract: If You Have Time, Save Energy with Pull. CoRR abs/1103.5695 (2011)

Edy Portmann, Andreas Meier: A Fuzzy Grassroots Ontology for improving Weblog Extraction. JDIM 8(4): 276-284 (2010)

Koen Langendoen, Andreas Meier: Analyzing MAC protocols for low data-rate applications. TOSN 7(2) (2010)

Andreas Meier, Matthias Woehrle, Marco Zimmerling, Lothar Thiele: ZeroCal: Automatic MAC Protocol Calibration. DCOSS 2010: 31-44

Luis Terán, Andreas Meier: A Fuzzy Recommender System for eElections. EGOVIS 2010: 62-76

Federico Ferrari, Andreas Meier, Lothar Thiele: Secondis: An Adaptive Dissemination Protocol for Synchronizing Wireless Sensor Networks. SECON 2010: 412-420

David Hasenfratz, Andreas Meier, Matthias Woehrle, Marco Zimmerling, Lothar Thiele: If you have time, save energy with pull. SenSys 2010: 423-424

Federico Ferrari, Andreas Meier, Lothar Thiele: Accurate clock models for simulating Wireless Sensor Networks. SimuTools 2010: 21

David Hasenfratz, Andreas Meier, Clemens Moser, Jian-Jia Chen, Lothar Thiele: Analysis, Comparison, and Optimization of Routing Protocols for Energy Harvesting Wireless Sensor Networks. SUTC/UMC 2010: 19-26

Andreas Meier: Safety critical wireless sensor networks. ETH Zurich 2009, isbn 978-3-8322-8563-0, pp. 1-166

Andreas Meier: Realmath.de: Konzeption und Evaluation einer interaktiven dynamischen Lehr- Lernumgebung für den Mathematikunterricht in der Sekundarstufe I. University of Erlangen-Nuremberg 2009, isbn 978-3-88120-486-6, pp. 1-346

Andreas Meier: Elektronische Abstimmungen und Wahlen. HMD - Praxis Wirtschaftsinform. 265 (2009)

Jan Beutel, Stephan Gruber, Andreas Hasler, Roman Lim, Andreas Meier, Christian Plessl, Igor Talzi, Lothar Thiele, Christian F. Tschudin, Matthias Woehrle, Mustafa Yuecel: PermaDAQ: A scientific instrument for precision sensing and data recovery in environmental extremes. IPSN 2009: 265-276

Jan Beutel, Stephan Gruber, Andreas Hasler, Roman Lim, Andreas Meier, Christian Plessl, Igor Talzi, Lothar Thiele, Christian F. Tschudin, Matthias Woehrle, Mustafa Yuecel: Demo abstract: Operating a sensor network at 3500 m above sea level. IPSN 2009: 405-406

Andreas Meier, Matthias Woehrle, Mischa Weise, Jan Beutel, Lothar Thiele: NoSE: Efficient Maintenance and Initialization of Wireless Sensor Networks. SECON 2009: 1-9

Matthias Keller, Jan Beutel, Andreas Meier, Roman Lim, Lothar Thiele: Learning from sensor network data. SenSys 2009: 383-384

Jan Beutel, Roman Lim, Andreas Meier, Lothar Thiele, Christoph Walser, Matthias Woehrle, Mustafa Yuecel: The FlockLab testbed architecture. SenSys 2009: 415-416

Martin Homik, Andreas Meier: Designing a GUI for Proofs - Evaluation of an HCI Experiment. CoRR abs/0903.3926 (2009)

Erica Melis, Andreas Meier, Jörg H. Siekmann: Proof planning with multiple strategies. Artif. Intell. 172(6-7): 656-684 (2008)

Andreas Meier, Josephine Hofmann: Zur Klassifikation von Geschäftsmodellen im Market Space. HMD - Praxis Wirtschaftsinform. 261 (2008)

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)

Andreas Meier, Günter Schindler, Nicolas Werro: Fuzzy Classification on Relational Databases. Handbook of Research on Fuzzy Information Processing in Databases 2008: 586-614

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

Andreas Meier, Mehul Motani, Siquan Hu, Simon Künzli: DiMo: distributed node monitoring in wireless sensor networks. MSWiM 2008: 117-121

Andreas Meier, Mischa Weise, Jan Beutel, Lothar Thiele: NoSE: efficient initialization of wireless sensor networks. SenSys 2008: 397-398

Andreas Meier: Proof planning with multiple strategies. Saarland University 2007, pp. 1-267

Andreas Meier, Nicolas Werro: A Fuzzy Classification Model for Online Customers. Informatica (Slovenia) 31(2): 175-182 (2007)

Mario Strasser, Andreas Meier, Koen Langendoen, Philipp Blum: Dwarf: Delay-aWAre Robust Forwarding for Energy-Constrained Wireless Sensor Networks. DCOSS 2007: 64-81

Marco Savini, Henrik Stormer, Andreas Meier: Integrating Context Information in a Mobile Environment using the eSana Framework. ECEH 2007: 131-142

Diana Arellano Távara, Andreas Meier: Agents with Personality for Videogames. AMDO 2006: 484-493

Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton: Automatic Construction and Verification of Isotopy Invariants. IJCAR 2006: 36-51

Andreea Ionas, Andreas Meier, Ciprian Pop, Marco Savini, Henrik Stormer: Using a Data Warehouse Approach for Mobile Patients. ECEH 2006: 287-297

Nicolas Werro, Henrik Stormer, Andreas Meier: A Hierarchical Fuzzy Classification of Online Customers. ICEBE 2006: 256-263

Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann: Omega. The Seventeen Provers of the World 2006: 127-141

Henrik Stormer, Andreas Meier, Michael Schumacher (Eds.): European Conference on eHealth 2006, Proceedings of the ECEH'06, Fribourg, Switzerland, October 12-13, 2006. LNI 91, GI 2006, isbn 978-3-88579-185-0

Andreas Meier, Erica Melis: Failure Reasoning in Multiple-Strategy Proof Planning. Electr. Notes Theor. Comput. Sci. 125(2): 67-90 (2005)

Henrik Stormer, Andreas Meier, Franz Lehner: Mobile Business - eine Übersicht. HMD - Praxis Wirtschaftsinform. 244 (2005)

Andreas Meier, Volker Sorge: Applying SAT Solving in Classification of Finite Algebras. J. Autom. Reasoning 35(1-3): 201-235 (2005)

Christoph Benzmüller, Andreas Meier, Volker Sorge: Bridging Theorem Proving and Mathematical Knowledge Retrieval. Mechanizing Mathematical Reasoning 2005: 277-296

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

Nicolas Werro, Henrik Stormer, Andreas Meier: Personalized Discount - A Fuzzy Logic Approach. I3E 2005: 375-387

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

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, 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)

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)

Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland: Automatic Generation of Classification Theorems for Finite Algebras. IJCAR 2004: 400-414

Nicolas Werro, Henrik Stormer, Daniel Frauchiger, Andreas Meier: eSarine - A Struts-based Webshop for Small and Medium-sized Enterprises. EMISA 2004: 13-24

Erica Melis, Andreas Meier, Martin Pollet: Adaptive Access to a Proof Planner. MKM 2004: 251-264

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, 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, 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: 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, 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: 54-66

Andreas Meier, Martin Pollet, Volker Sorge: Classifying Isomorphic Residue Classes. EUROCAST 2001: 494-508

Andreas Meier, Thomas Wüst: Objektorientierte und objektrelationale Datenbanken - ein Kompaß für die Praxis (2. Aufl.). dpunkt.verlag 2000, isbn 978-3-932588-68-6, pp. I-XVI, 1-207

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)

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

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)

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: Relationale Datenbanken - eine Einführung für die Praxis (3. Aufl.). Springer 1997, isbn 978-3-540-61966-6, pp. I-XI, 1-199

Andreas Meier, Thomas Wüst: Objektorientierte Datenbanken - ein Kompaß für die Praxis. dpunkt 1997, isbn 978-3-920993-95-9, pp. I-XIV, 1-209

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, 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

Andreas Meier: Relationale Datenbanken - eine Einführung für die Praxis (2. Aufl.). Springer 1995, isbn 978-3-540-57486-6, pp. I-XI, 1-179

Andreas Meier, Thomas Wüst: Objektorientierte Datenbanksysteme - Ein Produktvergleich. HMD - Praxis Wirtschaftsinform. 183 (1995)

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

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. Informatik-Fachberichte 135, Springer 1987, isbn 3-540-17693-4

Andreas Meier, Markus Ilg: Consistent Operations on a Spatial Data Structure. IEEE Trans. Pattern Anal. Mach. Intell. 8(4): 532-538 (1986)

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: A graph grammar approach to geographical databes. Inf. Syst. 10(1): 9-19 (1985)

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: Applying Relational Database Techniques to Solid Modeling. BTW 1985: 50-67

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