| 2008 |
|---|
| 33 | EE | Matthias Quasthoff,
Harald Sack,
Christoph Meinel:
Who Reads and Writes the Social Web? A Security Architecture for Web 2.0 Applications.
ICIW 2008: 576-582 |
| 2007 |
|---|
| 32 | | Jan van Leeuwen,
Giuseppe F. Italiano,
Wiebe van der Hoek,
Christoph Meinel,
Harald Sack,
Frantisek Plasil,
Mária Bieliková:
SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings Volume II
Institute of Computer Science AS CR, Prague 2007 |
| 31 | | Jan van Leeuwen,
Giuseppe F. Italiano,
Wiebe van der Hoek,
Christoph Meinel,
Harald Sack,
Frantisek Plasil:
SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings
Springer 2007 |
| 30 | EE | Rico Landefeld,
Harald Sack:
Collaborative Web-Publishing with a Semantic Wiki.
CSSW 2007: 23-34 |
| 29 | | Harald Sack,
Jörg Waitelonis:
OSOTIS - Kollaborative inhaltsbasierte Video-Suche.
DeLFI 2007: 281-292 |
| 28 | EE | Stephan Repp,
Jörg Waitelonis,
Harald Sack,
Christoph Meinel:
Segmentation and Annotation of Audiovisual Recordings Based on Automated Speech Recognition.
IDEAL 2007: 620-629 |
| 27 | EE | Serge Linckels,
Harald Sack,
Christoph Meinel:
Optimizing the Retrieval of Pertinent Answers for NL Questions with the E-Librarian Service.
SMRR 2007 |
| 26 | EE | Matthias Quasthoff,
Harald Sack,
Christoph Meinel:
Why HTTPS Is Not Enough - A Signature-Based Architecture for Trusted Content on the Social Web.
Web Intelligence 2007: 820-824 |
| 2006 |
|---|
| 25 | EE | Clemens Beckstein,
Peter Dittrich,
Christian Erfurth,
Dietmar Fey,
Birgitta König-Ries,
Martin Mundhenk,
Harald Sack:
SOGOS - A Distributed Meta Level Architecture for the Self-Organizing Grid of Services.
MDM 2006: 82 |
| 2005 |
|---|
| 24 | EE | Harald Sack:
NPBibSearch - An Ontology Augmented Bibliographic Search.
SWAP 2005 |
| 2003 |
|---|
| 23 | | Christoph Meinel,
Harald Sack:
WWW - Kommunikation, Internetworking, Web-Technologien
Springer 2003 |
| 2002 |
|---|
| 22 | | Christoph Meinel,
Harald Sack,
Volker Schillings:
VisBDD - A Web-based Visualization Framework for OBDD Algorithms.
IWLS 2002: 385-390 |
| 21 | EE | Christoph Meinel,
Harald Sack,
Volker Schillings:
Course management in the twinkle of an eye - LCMS: a professional course management system.
SIGUCCS 2002: 281-283 |
| 20 | EE | Harald Sack:
Improving the Power of Ordered Binary Decision Diagrams by Integrating Parity Nodes
Univ. Trier, FB 4, Informatik 2002 |
| 2001 |
|---|
| 19 | EE | Christoph Meinel,
Harald Sack,
Volker Schillings:
IDDS: an interactive decentralized documentation system.
SIGDOC 2001: 165-171 |
| 18 | | Christoph Meinel,
Harald Sack:
A Heuristic for (+)-OBDD Minimization
Universität Trier, Mathematik/Informatik, Forschungsbericht 01-06: (2001) |
| 17 | | Christoph Meinel,
Harald Sack:
Improving XOR-Node Placement for (+)-OBDDs
Universität Trier, Mathematik/Informatik, Forschungsbericht 01-07: (2001) |
| 16 | | Christoph Meinel,
Harald Sack,
Arno Wagner:
WWW.BDD-PORTAL.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms
Universität Trier, Mathematik/Informatik, Forschungsbericht 01-09: (2001) |
| 15 | | Christoph Meinel,
Harald Sack,
Volker Schillings:
IDDS: An Interactive Decentallzed Documentation System
Universität Trier, Mathematik/Informatik, Forschungsbericht 01-15: (2001) |
| 14 | | Christoph Meinel,
Harald Sack,
Volker Schillings:
VisBDD - A Webbased Visualization Framework for OBDD Algorithms
Universität Trier, Mathematik/Informatik, Forschungsbericht 01-21: (2001) |
| 2000 |
|---|
| 13 | EE | Christoph Meinel,
Harald Sack,
Arno Wagner:
WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms.
Experimental Algorithmics 2000: 127-138 |
| 12 | EE | Harald Sack,
Elena Dubrova,
Christoph Meinel:
Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions.
ISMVL 2000: 233-238 |
| 11 | EE | Elena Dubrova,
Harald Sack:
Probabilistic Verification of Multiple-Valued Functions.
ISMVL 2000: 460-466 |
| 1999 |
|---|
| 10 | EE | Christoph Meinel,
Harald Sack:
Parity-OBDDs - a BDD structure for Probabilistic Verification.
Electr. Notes Theor. Comput. Sci. 22: (1999) |
| 9 | | Christoph Meinel,
Harald Sack:
Algorithmic Considerations for +-OBDD Reordering
Universität Trier, Mathematik/Informatik, Forschungsbericht 99-19: (1999) |
| 8 | | Elena Dubrova,
Harald Sack:
Probabilistic Verification of Multiple-Valued Functions
Universität Trier, Mathematik/Informatik, Forschungsbericht 99-23: (1999) |
| 7 | | Harald Sack,
Elena Dubrova,
Christoph Meinel:
Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions.
Universität Trier, Mathematik/Informatik, Forschungsbericht 99-27: (1999) |
| 1998 |
|---|
| 6 | EE | Jochen Bern,
Christoph Meinel,
Harald Sack:
The STACS Electronic Submission Service.
ECDL 1998: 639-640 |
| 5 | EE | Jochen Bern,
Christoph Meinel,
Harald Sack:
Electronic Colloquia: Idea and Practice.
SIGDOC 1998: 113-119 |
| 4 | | Gianpiero Cabodi,
Stefano Quer,
Christoph Meinel,
Harald Sack,
Anna Slobodová,
Christian Stangier:
Binary Decision Diagrams and the Multiple Variable Order Problem
Universität Trier, Mathematik/Informatik, Forschungsbericht 98-22: (1998) |
| 3 | | Christoph Meinel,
Harald Sack:
Xor-OBDDs - a BDD Structure for Probabilistic Verification
Universität Trier, Mathematik/Informatik, Forschungsbericht 98-28: (1998) |
| 2 | | Christoph Meinel,
Harald Sack,
Christian Stangier,
Arno Wagner:
Do We Really Need Common Variable Orders for Synthesizing OBDDs?
Universität Trier, Mathematik/Informatik, Forschungsbericht 98-29: (1998) |
| 1997 |
|---|
| 1 | | Christoph Meinel,
Harald Sack:
Case Study: Manipulating xor-OBDDs by Means of Signatures
Universität Trier, Mathematik/Informatik, Forschungsbericht 97-15: (1997) |
