Books - Book Articles - Journals - Conferences & Workshops - Technical Reports - Thesis
  

  Books

  Book Articles

  • J. Bross, H. Sack:
    Kommunikation, Partizipation und Wirkungen im Social Web,
    in: A. Zerfaß, M. Welker, J. Schmidt: Kommunikation, Partizipation und Wirkungen im Social Web, Band 2 der Neuen Schriften zur Online-Forschung, Deutsche Gesellschaft für Online-Forschung (Hrsg.), Herbert van Halem Verlag, Köln, (to appear 2008).

     
  • Ch. Meinel, H. Sack, A. Wagner:
    WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms
    In: Experimental Algorithmics, R. Fleischer, E. Meineche Schmidt, B. Moret, LNCS 2547, Springer Verlag, Berlin, Heidelberg, New York 2002, pp.127-137.
     

  Reviewed Publications in Journals

  1. J. Bross, H. Sack, Ch. Meinel:
    Encouraging Participation in Virtual Communities - The IT-Summit Blog Case,
    in IADIS Int. Journal on WWW/Internet, vol.5:2, 2007, pp. 113-129.
  2. E. Dubrova, H. Sack:
    Probabilistic equivalence checking of multiple-valued functions,
    Multiple Valued Logic - An International Journal, 2003.
  3. Ch. Meinel, H. Sack:
    Mod2OBDDs - a BDD Structure for Probabilistic Verification
    in Electronic Notes in Theoretical Computer Science, vol.22, 2000.
     

  Reviewed Publications in Conferences / Workshops

2008

  1. M. Quasthoff , H. Sack, Ch. Meinel:
    Who Reads and Writes the Social Web? A Security Architecture for Web 2.0 Applications ,
    in Proc. of 3rd International Conference on Internet and Web Applications and Services (ICIW 08), June 8-.13, 2008, Athens, Greece.
  2. J. Waitelonis, H. Sack, Ch. Meinel:
    Zeitbezogene kollaborative Annotation zur Verbesserung der inhaltsbasierten Videosuche,
    in: Birgit Gaiser and Thorsten Hampel and Stefanie Panke (eds.): Good Tags and Bad Tags - Workshop „Social Tagging in der Wissensorganisation“, Waxmann, 2008.
  3. M. Quasthoff , H. Sack, Ch. Meinel:
    Nutzerfreundliche Internet-Sicherheit durch tagbasierte Zugriffskontrolle,
    in: Birgit Gaiser and Thorsten Hampel and Stefanie Panke (eds.): Good Tags and Bad Tags - Workshop „Social Tagging in der Wissensorganisation“, Waxmann, 2008.

2007

  1. S. Linckels , H. Sack, Ch. Meinel:
    Retrieval Optimization of Pertinent Answers for NL Questions with the E-Librarian Service,
    in Proc. of 6th International Semantic Web Conference (ISWC 2007), Busan, Korea, 2007 (to appear),
    in a more explicit version the paper also appears at Service Matchmaking and Resource Retrieval (SMR2) in the Semantic Web Workshop at ISWC+ASWC 2007
    .
  2. S. Repp , J. Waitelonis, H. Sack, Ch. Meinel:
    Segmentation and Annotation of Audiovisual Recordings based on Automated Speech Recognition ,
    in Proc. of 8th Int. Conf. on Intelligent Data Eng. and Automated Learning (IDEAL 2007), Springer LNCS 4881, Birmingham, UK, December 2007. pp. 620 - 629, ISBN: 978-3-540-77225-5.
  3. M. Quasthoff , H. Sack, Ch. Meinel:
    Why HTTPS is Not Enough -- A Signature-Based Architecture for Trusted Content on the Social Web,
    in Proc. of the 2007 IEEE / WIC /ACM Int. Conf. on Web Intelligence (WI 2007), IEEE Press, Silicon Valley, USA, November 2007. pp. 820 - 824. ISBN: 0-7695-3026-5
    .
  4. R. Landefeld, H. Sack:
    Collaborative Web-Publishing with a Semantik Wiki,
    in Proc. of SABRE Conference on Social Semantic Web (CSSW 2007), Leipzig, 2007.
  5. C. Beckstein, J. Denzler, M. Fothe, B. König-Ries, H. Sack, and J. Vogel:
    A Reactive Architecture for Ambient E-Learning,
    in Proc. of Towards Ambient Intelligence: Methods for Cooperating Ensembles in Ubiquitous Environments (AIM-CU 2007), 2007.
  6. R. Landefeld, H. Sack:
    Maariwa - Ontologie-basiertes Web-Publishing mit einem Semantic Wiki,
    in XML-Tage 2007 Berlin, 2007.
  7. H. Sack, J. Waitelonis:
    OSOTIS - kollaborative, inhaltsbasierte Video-Suche ,
    in Proc. of 5. e-Learning Fachtagung Informatik, DeLFI 2007, Siegen, Lecture Notes in Informatics, P-111, Köllen, Bonn, 2007, pp. 281--292.
  8. J. Bross, H. Sack:
    Encouraging Participation in Virtual Communities: The "IT-summit-blog" Case ,
    in Proc. of IADIS Int. Conf. e-Society 2007, Lisboa, Portugal, July 2007. pp. 245 - 254, ISBN:978-972-8924-35-5
    .

2006

  1. H. Sack, J. Waitelonis:
    Integrating Social Tagging and Document Annotation for Content-Based Search in Multimedia Data,
    in Proc. of the 1st Semantic Authoring and Annotation Workshop (SAAW2006), Athens (GA), USA, 2006.
  2. H. Peter, H. Sack, C. Beckstein:
    Tags and Dependencies: an Integrated View of Document Annotation,
    in Proc. of the 1st Semantic Authoring and Annotation Workshop (SAAW2006), Athens (GA), USA, 2006.
  3. H. Sack:
    Kollaborative Indexierung und die Emergenz neuer sozialer Netzwerke,
    Workshop Social Software in der Wertschöpfungskette
    , MFG Baden-Württemberg GmbH Kompetenzzentrum des Landes für Informationstechnologie und Medien, 2006.
  4. H. Peter, H. Sack, C. Beckstein:
    Document Indexing - Providing a Basis for Semantic Document Annotation,
    XML-Tage 2006, Berlin, September 2006.
  5. H. Sack, U. Krüger, M. Dom:
    A Knowledge Base on NP-complete Decision Problems and its Application in Bibliographic Search,
    XML-Tage 2006, Berlin, September 2006.
  6. H. Sack, J. Waitelonis:
    Automated Annotations of Synchronized Multimedia Presentations,
    in Proceedings of Mastering the Gap : From Information Extraction to Semantic Representation (MTG06 / ESWC2006), Budva, Montenegro, June 12, 2006.
  7. C. Beckstein, P. Dittrich, Ch. Erfurth, D. Fey, B. König-Ries, M. Mundhenk, H. Sack:
    SOGOS - A Distributed Meta Level Architecture for the Self-Organizing Grid of Services

    in Proceedings of MOSO 2006 - Mobile Services and Ontologies, Nara, Japan, May, 9th , 2006.
  8. H. Peter , H. Sack, C. Beckstein:
    SmartIndexer - Amalgamating Ontologies and Lexical Resources for Document Indexing
    in Proceedings of OntoLex 2006 - Interfacing Ontologies and Lexical Resources for Semantic Web Technologies, Genoa, Italy, May, 24-26, 2006

2005

  1. H. Sack:
    NPBibSearch: An Ontology Augmented Bibliographic Search
    in Proceedings of SWAP 2005, the 2nd Italian Semantic Web
    Workshop, Trento, Italy, December 14-16, 2005, CEUR Workshop Proceedings,
    ISSN 1613-0073, online http://ceur-ws.org/Vol-166/70.pdf
    .

2003

  1. Ch. Meinel, H. Sack:
    Adapted Variable Reordering for Parity-OBDDs
    In: Proc. of 6th Int. Symposium on Representations and Methodology of Future Computing Technologies (Reed-Muller 2003),Unversität Trier, Trier, Germany, 2003, pp. 135-144.

2002

  1. Ch. Meinel, H. Sack, V. Schillings:
    VisBDD: A Web-based Visualization Framework for OBDD Algorithms
    Proc. of IEEE/ACM Int. Worshop of Logic and Synthesis (IWLS2002), New Orleans, USA, 2002, pp.385-390.

2001

  1. Ch. Meinel, H. Sack, V. Schillings:
    IDDS: An Interactive Decentraliced Documentation System
    Proc. of ACM SIGDOC 2001 Santa Fe, NM, USA, 2001
  2. Ch. Meinel, H. Sack:
    Improving XOR-node Placement for Mod2-OBDD Minimization
    Proc. of 5th Int. Workshop on Applications of the Reed-Muller Expansion in Circuit Design (Reed-Muller 2001),Mississippi State University, Starkville, Mississippi, USA, 2001, pp. 51-56
  3. Ch. Meinel, H. Sack:
    A Simple Heuristic for Mod2-OBDD Minimization
    Proc. of IEEE/ACM Int. Workshop of Logic and Synthesis (IWLS2001) Lake Tahoe, CA, USA, 2001, pp. 304-309

2000

  1. H. Sack, E. Dubrova, Ch. Meinel:
    Representation of Multiple-Valued Functions with Mod-p-Decsion Diagrams,
    Proc. of IEEE/ACM Int. Workshop of Logic Synthesis (IWLS2000), Dana Point, CA, USA, 2000, pp. 341-348
  2. H. Sack, E. Dubrova, Ch. Meinel:
    Mod-p Decision Diagrams: A Data-Structure for Multiple-Valued Functions
    Proc. of 30th IEEE International Symposium on Multiple-Valued-Logic (ISMVL 2000), Portland, Oregon, USA, 2000, pp. 233-238
  3. E. Dubrova, H. Sack: 
    Probabilistic Verification of Multiple-Valued Functions
    Proc. of 30th IEEE International Symposium on Multiple-Valued-Logic (ISMVL 2000), Portland, Oregon, USA, 2000, pp. 460-466
  4. Ch. Meinel, H. Sack:
    Functional Extensions of OBDDs in Practice
    4th Workshop on Tools for System Design and Verification (FM-Tools), Reisensburg Castle, Germany, 2000, pp. 195-196

1999

  1. Ch. Meinel, H. Sack, C. Stangier: 
    Overcoming Ordering Restrictions for Synthesizing Binary Decision Diagrams
    Proc of 17th NORCHIP '99 Conference,   Oslo, Norway 1999, pp. 52-60
  2. Ch. Meinel, H. Sack: 
    Algorithmic Considerations for Parity-OBDD Reordering
    Proc. of the 1999 IEEE/ACM Int. Workshop on Logic Synthesis (IWLS99), Lake Tahoe, CA, 1999, pp.71-74 and
    Proc. of 4th Int. Workshop on Applications of the Reed-Muller Expansion in Circuit Design (Reed-Muller'99), Victoria, B.C., Canada, 1999, pp. 179-184

1998

  1. J. Bern, Ch. Meinel, H. Sack: 
    The STACS Electronic Submission Service.
    in Proc. ECDL 1998 Lecture Notes in Computer Science, Vol. 1513, Springer, Heraklion, Crete, Greece, 1998, pp. 639-640
  2. J. Bern, Ch. Meinel, H. Sack: 
    Electronic Colloquia: Idea and Practice
    Proc. of the ACM SIGDOC 1998 Conference, Quebec City, Canada, 1998
  3. G. Cabodi, S. Quer, Ch. Meinel, H. Sack, A. Slobodova, Ch. Stangier: 
    Binary Decision Diagrams and the Multiple Variable Order Problem
    Proc. of the 1998 IEEE/ACM Int. Workshop on Logic Synthesis (IWLS98), Lake Tahoe, CA, 1998, pp. 346-352
  4. Ch. Meinel, H. Sack:
    Mod2OBDDs - a BDD Structure for Probabilistic Verification
    Proc. of the 1998 IEEE/ACM Int. Workshop on Logic Synthesis (IWLS98), Lake Tahoe, CA, 1998

1997

  1. Ch. Meinel, H. Sack: Case Study:
    Manipulating Mod2OBDDs by Means of Signatures
    Proc. of the 3rd Int. Workshop on Applications of the Reed-Muller Expansion in Circuit Design (Reed-Muller'97), Oxford, UK, 1997
       

 
   Technical Reports

  1. Forschungsbericht 01-21:
    Ch. Meinel, H. Sack, V. Schillings:
    VisBDD: A Web-based Framework for Visualization of OBDD Algorithms
  2. Forschungsbericht 01-15:
    Ch. Meinel, H. Sack, V. Schillings:
    IDDS: An Interactive Decentralized Documentation System
  3. Forschungsbericht 01-09:
    Ch. Meinel, H. Sack, A. Wagner:
    WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms
  4. Forschungsbericht 01-07:
    Ch. Meinel, H. Sack:
    Improving XOR-Node Placement for Parity-OBDDs
  5. Forschungsbericht 01-06:
    Ch. Meinel, H. Sack:
    A Heuristic for Parity-OBDD Minimization
  6. Forschungsbericht 99-27:
    H. Sack, E. Dubrova, Ch. Meinel: 
    Mod-p Decision Diagrams: A Data-Structure for Multiple-Valued Functions
  7. Forschungsbericht 99-23:
    E. Dubrova, H. Sack: 
    Probabilistic Verification of Multiple-Valued Functions
  8. Forschungsbericht 99-19:
    Ch. Meinel, H. Sack: 
    Algorithmic Considerations for Parity-OBDD Reordering
  9. Forschungsbericht 98-29
    Ch. Meinel, H. Sack, Chr. Stangier, A. Wagner: 
    Do We Really Need Common Variable Orders for Synthesizing OBDDs?
  10. Forschungsbericht 98-28:
    Ch. Meinel, H. Sack:
    Mod2OBDDs - a BDD Structure for Probabilistic Verification
  11. Forschungsbericht 98-22:
    G. Cabodi, S. Quer, Ch. Meinel, H. Sack, A. Slobodova, C. Stangier: 
    Binary Decision Diagrams and the Multiple Variable Order Problem
  12. Forschungsbericht 97-15:
    Ch. Meinel, H. Sack: 
    Case Study: Manipulating Mod2OBDDs by Means of Signatures
      

Thesis

  1. PhD Thesis
    H. Sack: Improving the Power of Ordered Binary Decision Diagrams by Integrating Parity Nodes
   
List of Publications - Update: 21/03/2008 - Harald Sack