Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 81 to 90 of 506.
  1. Mihai Codescu; Daniel Găină

    Birkhoff Completeness in Institutions

    In: Logica Universalis, Vol. 2, No. 2, Pages 277-309, Birkhäuser Basel, 2008.

  2. Dominik Dietrich; Ewaryst Schulz; Marc Wagner

    Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors

    In: Intelligent Computer Mathematics - 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM …

  3. Dominik Dietrich; Ewaryst Schulz

    CRStL: A Declarative Language for the Encoding of Proof Techniques

    In: Workshop on Programming Languages for Mechanized Mathematics Systems. Conferences on Intelligent Computer Mathematics (CICM-08), July 29, …

  4. Andreas Eisele; Christian Federmann; Hans Uszkoreit; Hervé Saint-Amand; Martin Kay; Michael Jellinghaus; Sabine Hunsicker; Teresa Herrmann; Yu Chen

    Hybrid Architectures for Multi-Engine Machine Translation

    In: Proceedings of Translating and the Computer 30. Translating and the Computer Conference (TC-30), November 27-28, London, United Kingdom, ASLIB, …

  5. Peter Loos; Torben Hansen

    State-of-the-Art-Betrachtung sensorischer B2C-Empfehlungsfunktionalität im stationären Einzelhandes

    In: Mobile und Ubiquitäre Informationssysteme - Technologien, Prozesse, Marktfähigkeit. Proceedings zur 3. Konferenz Mobile und Ubiquitäre …

  6. Peter Loos; N. Gronau; P. Schuber (Hrsg.)

    Vorwort ISIH'08: Informationssysteme in Industrie und Handel - ERP und Collaborative Business

    Multikonferenz Wirtschaftsinformatik (MKWI-08), located at Informationssysteme in Industrie und Handel, February 26-28, München, Germany, …

  7. Peter Loos; Dirk Werth; Philipp Walter

    Distribution and Composition of Collaborative Business Process through Peer-to-Peer Networks

    In: Proceedings of the 6th International Conference on Business Process Management. Business Process Management (BPM-2008), 2nd International Workshop …

  8. Peter Loos; Torben Hansen

    RFID-based Recommender Systems in Stationary Trade

    In: Proceedings of the 14th Americas Conference on Information Systems. Americas Conference on Information Systems (AMCIS-2008), Learning from the …

  9. Enhancing Business Engineering with Reference Modeling

    In: EMCIS2008: Proceedings - Accepted Referred Papers. European and Mediterranean Conference on Information Systems (EMCIS-2008), May 25-26, Dubai, …

  10. Peter Loos; Pavlina Chikova; Björn Simon

    Potential Process Improvements in Supply Chain Managemen through RFID

    In: T. Blecker; G. Huang; F. Salvador. RFID in Operations and Supply Chain Management. Pages 175-194, ISBN 978-3-503-10088-0, ESV-Verlag, Berlin, …