The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andreas Meier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Andreas Meier, Raymond A. Lorie
    A Surrogate Concept for Engineering Databases. [Citation Graph (4, 0)][DBLP]
    VLDB, 1983, pp:30-32 [Conf]
  2. Andreas Meier
    Applying Relational Database Techniques to Solid Modeling. [Citation Graph (1, 0)][DBLP]
    BTW, 1985, pp:50-67 [Conf]
  3. Andreas Meier, Rolf Dippold
    Migration und Koexistenz heterogener Datenbanken, praktische Lösungen zum Wechsel in die relationale Datenbanktechnologie. [Citation Graph (1, 0)][DBLP]
    Informatik Spektrum, 1992, v:15, n:3, pp:157-166 [Journal]
  4. Andreas Meier, Volker Sorge, Simon Colton
    Employing Theory Formation to Guide Proof Planning. [Citation Graph (0, 0)][DBLP]
    AISC, 2002, pp:275-289 [Conf]
  5. Diana Arellano Távara, Andreas Meier
    Agents with Personality for Videogames. [Citation Graph (0, 0)][DBLP]
    AMDO, 2006, pp:484-493 [Conf]
  6. Christoph Benzmüller, Andreas Meier, Volker Sorge
    Bridging Theorem Proving and Mathematical Knowledge Retrieval. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:277-296 [Conf]
  7. 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. [Citation Graph (0, 0)][DBLP]
    BTW, 1997, pp:17-33 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:252-255 [Conf]
  9. Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland
    Automatic Generation of Classification Theorems for Finite Algebras. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:400-414 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:144-149 [Conf]
  11. Andreas Meier
    System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:460-464 [Conf]
  12. Andreas Meier, Erica Melis
    System Description: Multi A Multi-strategy Proof Planner. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:250-254 [Conf]
  13. Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton
    Automatic Construction and Verification of Isotopy Invariants. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:36-51 [Conf]
  14. Erica Melis, Andreas Meier
    Proof Planning with Multiple Strategies. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:644-659 [Conf]
  15. Nicolas Werro, Andreas Meier, Christian Mezger, Günter Schindler
    Concept and Implementation of a Fuzzy Classification Query Language. [Citation Graph (0, 0)][DBLP]
    DMIN, 2005, pp:208-214 [Conf]
  16. 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. [Citation Graph (0, 0)][DBLP]
    ECIS, 2001, pp:- [Conf]
  17. Nicolas Werro, Henrik Stormer, Daniel Frauchiger, Andreas Meier
    eSarine - A Struts-based Webshop for Small and Medium-sized Enterprises. [Citation Graph (0, 0)][DBLP]
    EMISA, 2004, pp:13-24 [Conf]
  18. Andreas Meier, Martin Pollet, Volker Sorge
    Classifying Isomorphic Residue Classes. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2001, pp:494-508 [Conf]
  19. Andreas Meier
    A graph-relational approach to geographic databases. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1982, pp:245-254 [Conf]
  20. Andreas Meier
    Flächenbezogene Datenstrukturen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:543- [Conf]
  21. 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. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1995, pp:695-702 [Conf]
  22. Andreas Meier, Erwin Petry
    Versionenkontrolle geometrischer Daten. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 1986, pp:498-512 [Conf]
  23. Nicolas Werro, Henrik Stormer, Andreas Meier
    A Hierarchical Fuzzy Classification of Online Customers. [Citation Graph (0, 0)][DBLP]
    ICEBE, 2006, pp:256-263 [Conf]
  24. Peter Kueng, Andreas Meier, Thomas Wettstein
    Computer-based Performance Measurement in SMEs: Is there any option? [Citation Graph (0, 0)][DBLP]
    ICSTM, 2000, pp:- [Conf]
  25. Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet
    Proof Development with Omega-MEGA: sqrt(2) Is Irrational. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:367-387 [Conf]
  26. 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. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:126-142 [Conf]
  27. Andreas Meier, Erica Melis
    Impasse-Driven Reasoning in Proof Planning. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:143-158 [Conf]
  28. Erica Melis, Andreas Meier, Martin Pollet
    Adaptive Access to a Proof Planner. [Citation Graph (0, 0)][DBLP]
    MKM, 2004, pp:251-264 [Conf]
  29. Andreas Meier, Volker Sorge
    A New Set of Algebraic Benchmark Problems for SAT Solvers. [Citation Graph (0, 0)][DBLP]
    SAT, 2005, pp:459-466 [Conf]
  30. Andreas Meier, Hansbeat Loacker
    Demonstration des Unterrichtssystems POLY zur Darstellung und Manipulation ebenbegrenzter Objekte. [Citation Graph (0, 0)][DBLP]
    INFOS, 1986, pp:198-199 [Conf]
  31. Andreas Meier, Hansbeat Loacker, Fredy Paquet, Thomas Kohler
    Das rechnergestützte Unterrichtssystem POLY zur Darstellung und Manipulation ebenbegrenzter Objekte. [Citation Graph (0, 0)][DBLP]
    INFOS, 1986, pp:171-185 [Conf]
  32. Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann
    Omega. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:127-141 [Conf]
  33. Andreas Meier
    Providing Database Migration Tools - A Practicioner's Approach. [Citation Graph (0, 2)][DBLP]
    VLDB, 1995, pp:635-641 [Conf]
  34. Andreas Meier, Nicolas Werro, Martin Albrecht, Miltiadis Sarakinos
    Using a Fuzzy Classification Query Language for Customer Relationship Management. [Citation Graph (0, 0)][DBLP]
    VLDB, 2005, pp:1089-1096 [Conf]
  35. Jean-Yves Le Boudec, Andreas Meier, Rainer Oechsle, Hong Linh Truong
    Connectionless Data Service in an ATM-Based Customer Premises Network. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1994, v:26, n:11, pp:1409-1424 [Journal]
  36. Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier
    Interactive Theorem Proving with Tasks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:161-181 [Journal]
  37. Andreas Meier, Erica Melis
    Failure Reasoning in Multiple-Strategy Proof Planning. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:125, n:2, pp:67-90 [Journal]
  38. Andreas Meier, Erica Melis, Martin Pollet
    Adaptable Mixed-Initiative Proof Planning for Educational Interaction. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:105-120 [Journal]
  39. 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. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:3, pp:326-342 [Journal]
  40. Andreas Meier
    SI-VDF-Tagung über Migration von Datenbanken vom 19.6.92 in Zürich. [Citation Graph (0, 0)][DBLP]
    Datenbank Rundbrief, 1992, v:10, n:, pp:53- [Journal]
  41. Volker Graf, Andreas Meier, Simon Schreier
    Vergleich von Websites im Gesundheitsmarkt. [Citation Graph (0, 0)][DBLP]
    HMD - Praxis Wirtschaftsinform., 2003, v:229, n:, pp:- [Journal]
  42. Bernhard Joos, Rolf M. Katzsch, Andreas Meier, Christian Wernet
    Drei Workflow-Management-Systeme im praktischen Vergleich: WorkFlow, Staffware und InConcert. [Citation Graph (0, 0)][DBLP]
    HMD - Praxis Wirtschaftsinform., 1997, v:193, n:, pp:- [Journal]
  43. Andreas Meier
    Editorial. [Citation Graph (0, 0)][DBLP]
    HMD - Praxis Wirtschaftsinform., 2000, v:214, n:, pp:1- [Journal]
  44. Andreas Meier
    Editorial. [Citation Graph (0, 0)][DBLP]
    HMD - Praxis Wirtschaftsinform., 2001, v:220, n:, pp:- [Journal]
  45. Andreas Meier
    Editorial. [Citation Graph (0, 0)][DBLP]
    HMD - Praxis Wirtschaftsinform., 2003, v:232, n:, pp:- [Journal]
  46. Andreas Meier
    Citizen Relationship Management - Ein Online-Kommunikationsmodell für Bürgerinnen und Bürger. [Citation Graph (0, 0)][DBLP]
    HMD - Praxis Wirtschaftsinform., 2004, v:235, n:, pp:- [Journal]
  47. Andreas Meier
    Datenbankmigration - Wege aus dem Datenchaos. [Citation Graph (0, 0)][DBLP]
    HMD - Praxis Wirtschaftsinform., 1997, v:194, n:, pp:- [Journal]
  48. Andreas Meier
    Editorial. [Citation Graph (0, 0)][DBLP]
    HMD - Praxis Wirtschaftsinform., 1999, v:206, n:, pp:1- [Journal]
  49. Andreas Meier, Harald Häuschen, Stefan Hüsemann, Ambros Lüthi, Kurt A. Meyer, Daniel Wismer, Pascal Wohlwender
    Marktstudie Internet & Electronic Business. [Citation Graph (0, 0)][DBLP]
    HMD - Praxis Wirtschaftsinform., 2000, v:215, n:, pp:109-122 [Journal]
  50. Andreas Meier, Patrick Hügi, Stefan Scherrer
    Zur Etablierung eines elektronischen Gesundheitsmarktes Schweiz. [Citation Graph (0, 0)][DBLP]
    HMD - Praxis Wirtschaftsinform., 1998, v:200, n:, pp:- [Journal]
  51. Andreas Meier, Jacques Pasquier-Rocha, Gitta Marchand, Adrian Sieber, Daniel Wismer
    Elektronische Bücher für Wissensvermittlung und Unterhaltung. [Citation Graph (0, 0)][DBLP]
    HMD - Praxis Wirtschaftsinform., 2000, v:211, n:, pp:89-96 [Journal]
  52. Andreas Meier, Thomas Wüst
    Objektorientierte Datenbanksysteme - Ein Produktvergleich. [Citation Graph (0, 0)][DBLP]
    HMD - Praxis Wirtschaftsinform., 1995, v:183, n:, pp:- [Journal]
  53. Thomas Wettstein, Peter Küng, Andreas Meier
    Performance Measurement als Ausweg aus dem Information Overload: Ein zielorientierter Ansatz. [Citation Graph (0, 0)][DBLP]
    HMD - Praxis Wirtschaftsinform., 2001, v:222, n:, pp:- [Journal]
  54. Andreas Meier
    A graph grammar approach to geographical databes. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 1985, v:10, n:1, pp:9-19 [Journal]
  55. Andreas Meier, Volker Sorge
    Applying SAT Solving in Classification of Finite Algebras. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:201-235 [Journal]
  56. Andreas Meier, Martin Pollet, Volker Sorge
    Comparing Approaches to the Exploration of the Domain of Residue Classes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2002, v:34, n:4, pp:287-306 [Journal]
  57. Andreas Meier, Rolf Dippold, Jacky Mercerat, Alex Muriset, Jean-Claude Untersinger, Robert Eckerlin, Flavio Ferrara
    Hierarchical to Relational Database Migration. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1994, v:11, n:3, pp:21-27 [Journal]
  58. Andreas Meier
    Ziele und Aufgaben im Datenmanagement aus der Sicht des Praktikers. [Citation Graph (0, 0)][DBLP]
    Wirtschaftsinformatik, 1994, v:36, n:5, pp:455-464 [Journal]
  59. Andreas Meier, René Haltinner, Brigitte Widmer-Itin
    Schutz der Investitionen beim Wechsel eines Datenbanksystems - Systemkontrollierte Koexistenz zwischen hierarchischen und relationalen Datenbanken. [Citation Graph (0, 0)][DBLP]
    Wirtschaftsinformatik, 1993, v:35, n:4, pp:331-338 [Journal]
  60. Mario Strasser, Andreas Meier, Koen Langendoen, Philipp Blum
    Dwarf: Delay-aWAre Robust Forwarding for Energy-Constrained Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP]
    DCOSS, 2007, pp:64-81 [Conf]

  61. ZeroCal: Automatic MAC Protocol Calibration. [Citation Graph (, )][DBLP]


  62. A Fuzzy Recommender System for eElections. [Citation Graph (, )][DBLP]


  63. Personalized Discount - A Fuzzy Logic Approach. [Citation Graph (, )][DBLP]


  64. Demo abstract: Operating a sensor network at 3500 m above sea level. [Citation Graph (, )][DBLP]


  65. PermaDAQ: A scientific instrument for precision sensing and data recovery in environmental extremes. [Citation Graph (, )][DBLP]


  66. DiMo: distributed node monitoring in wireless sensor networks. [Citation Graph (, )][DBLP]


  67. NoSE: efficient initialization of wireless sensor networks. [Citation Graph (, )][DBLP]


  68. Learning from sensor network data. [Citation Graph (, )][DBLP]


  69. The FlockLab testbed architecture. [Citation Graph (, )][DBLP]


  70. Analysis, Comparison, and Optimization of Routing Protocols for Energy Harvesting Wireless Sensor Networks. [Citation Graph (, )][DBLP]


  71. Integrating Context Information in a Mobile Environment using the eSana Framework. [Citation Graph (, )][DBLP]


  72. Using a Data Warehouse Approach for Mobile Patients. [Citation Graph (, )][DBLP]


  73. Introducing a Mobile System for the Early Detection of Cardiac Disorders as a Precaution from a Cardiologists' View - Evaluation of a Survey. [Citation Graph (, )][DBLP]


  74. Proof planning with multiple strategies. [Citation Graph (, )][DBLP]


  75. Designing a GUI for Proofs - Evaluation of an HCI Experiment [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002