Hasso-Plattner-Institut für Softwaresystemtechnik
Journal Papers

Contact

Prof. Dr. Christoph Meinel

Hasso-Plattner-Institut
an der Universität Potsdam

Tel: +49 0331/5509-222
Fax: +49 0331/5509-325
Mobil: +49 176 10010727
meinel"at"hpi.uni-potsdam.de

Books

Journal Papers

(Last Updated: March 27, 2012)

Selected Journal

Communication of the ACM (ACM)

  • Christoph Meinel, V. Klotz
    10 Years ECCC - A Digital Library in World Wide Use
    Communication of the ACM, Vol. 49, No. 1 (2006), 131-134

IEEE Communications Magazine (IEEE)

  • R. Protzmann, B. Schuenemann, I. Radusch: The Influences of Communication Models on the Simulated Effectiveness of V2X Applications. IEEE Communications Magazine, Vol. 49, Issue 11 (2011): 149-155 

IEEE Transactions on Computers (IEEE)

  • J. Gergov, Christoph Meinel
    Efficient Analysis and Manipulation of OBDD's can be Extended to FBDD's
    IEEE Transactions on Computers, Vol. 43, No. 10 (1994), 1197-1209.

IEEE Intelligent Systems (IEEE)

  • Ching-man Au Yeung, Michael G. Noll, Christoph Meinel, Nicholas Gibbins, Nigel Shadbolt: Measuring Expertise in Online Communities. 26(1): 26-32 (2011)

Computers & Security Journal (Elsevier)

  • Christoph Meinel, J. Hu
    Tele-Lab "IT-Security" on CD: Portable, Reliable and Safe IT Security Training
    Computers & Security Journal, COSE 234, Vol. 23, Iss. 4 (2004) pp. 282-289.

Computer Networks (Elsevier)

  • B. Schuenemann: V2X Simulation Runtime Infrastructure VSimRTI: An Assessment Tool to Design Smart Traffic Management Systems. Computer Networks, Vol. 55, Issue 14 (2011): pp. 3189-3198

IEEE Transactions on Computer-Aided Design (IEEE)

  • Christoph Meinel, F. Somenzi, T. Theobald
    Linear Sifting of Decision Diagrams and ist Application in Synthesis
    IEEE Transactions on CAD, Vol. 19 (2000), No. 5, 521-533.
  • J. Bern, Christoph Meinel, A. Slobodová
    Global Rebuilding of OBDDs Avoiding Memory Requirement Maxima
    IEEE Transactions on CAD, Vol. 15 (1996), No. 1, 131-134.
  • J. Bern, Christoph Meinel, A. Slobodová
    Some Heuristics for Generating Tree-like FBDD Types
    IEEE Transactions on CAD, Vol. 15 (1996), No. 1, 127-130.

Journal on Computer and System Sciences (Academic Press)

  • C. Damm, M. Krause, Christoph Meinel, S. Waack
    On Relations Between Counting Communication Complexity Classes(1998)

Computational Intelligence (Wiley-Blackwell)

  • Ching-Man Au Yeung, Michael G. Noll, Nicholas Gibbins, Christoph Meinel, Nigel Shadbolt: SPEAR: Samming-resistant Expertise Analysis and Ranking in Collaborative Tagging Systems, 27(3): 458-488 (2011)

Concurrency and Computation: Practise and Experience (Wiley-Blackwell)

  • Sebastian Roschke, Feng Cheng, Christoph Meinel:
    An Alert Correlation Platform for Memory-Supported Techniques, 24(2), 2011. 

Journal of Distance Learning (United States Distance Learning Association)

  • S. Linckels, Christoph Meinel
    An Educational Tool that Understands Students' Questions
    Journal of Distance Learning, 2005, Vol. 2(3), pp. 13 - 21

Computational Complexity (Birkhäuser Verlag)

  • Christoph Meinel, S. Waack
    The "Log Rank" Conjecture for Modular Communication Complexity
    Computational Complexity, Heft 10/2001, 70-91

Information and Computation (Academic Press, USA)

  • J. Hromkovic, M. Krause, Christoph Meinel, S. Waack
    Branching Programs Provide Lower Bounds on the Area of Multilective
    Deterministic and Nondeterministic VLSI-Circuit
    Information and Computation, Vol. 96, No. 2 (1992), 168-178.
  • Christoph Meinel
    Polynomial Size Omega-Branching Programs and Their Computational Power
    Information and Computation, Vol. 85, No. 2 (1990), 163-182.

Computer & Information Science (ACIS, CNU Printing Service, USA)

  • F. Cheng, Christoph Meinel
    Reserach on the Lock-Keeper Technology: Architectures, Applications and Advancements
    Computers & Information Science, Vol. 5, Number 3 (2004), 236-245.

Formal Methods in System Design (Kluwer Academic Publishers)

  • Christoph Meinel, T. Theobald
    Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines
    Formal Methods in System Design, 18, 285-301(2001).
  • Christoph Meinel, A. Slobodová
    A Unifying Theoretical Background for Some BDD-Based Data Structures
    Formal Methods in System Design 11 (1997), 223-237.
  • J. Gergov, Christoph Meinel
    Mod-2-OBDDs - a Data Structure that Generalizes EXOR-Sum-of-Products and Ordered Binary Decision Diagrams
    Formal Methods in System Design 8 (1996), 273-282.

Journal of Theoretical and Applied Electronic Commerce Research

  • Rehab Alnemr, Stefan Koenig, Torsten Eymann, Christoph Meinel
    Enabling Usage Control through Reputation Objects: A Discussion on e-Commerce and the Internet of Services Environments.
    Vol. 5 (August 2010), Issue 2, Special Issue on Trust and Trust Managenent

 

 

Mathematical Systems Theory (Springer International)

  • Christoph Meinel, S. Waack
    Lower Bounds on the Majority Communication Complexity of Various Graph Accessibility Problems
    Math. Systems Theory 29, (1996), 649-659.
  • Christoph Meinel, S. Waack
    Separating Complexity Classes Related to Bounded Alternating omega-Branching Programs
    Math. Systems Theory 28, (1995), 21-40.
  • G. Buntrock, C. Damm, U. Hertrampf, Christoph Meinel
    Structure and Importance of Logspace-MOD-Classes
    Math. Systems Theory 25, (1992), 223-237.

Theoretical Computer Science (North-Holland)

  • C. Damm, Christoph Meinel
    Separating Completely Complexity Classes Related to Polynomial Size Omega-Decision Trees
    TCS 106 (1992), 351-360.
  • M. Krause, Christoph Meinel, S. Waack
    Separating the Eraser Turing Machine Classes L_epsilon, NL_epsilon, co-NL_epsilon and P_epsilon
    TCS 86 (1991), 267-275.
  • Christoph Meinel
    The Power of Nondeterminism in Polynomial-Size Bounded-Width Branching Programs
    TCS 62 (1988), 319-325.

Journal of Circuits, Systems and Computers (World Scientific)

  • Christoph Meinel, T. Theobald
    Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI-Circuits
    J. of Ciruits, Systems and Computers, Vol. 9, Nos. 3 & 4 (1999), 181-198.

Theory of Computing Systems (Springer International)

  • Christoph Meinel, A. Slobodová
    A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams
    Theory Comput. Systems 30, (1997), 495-518.

Information Processing Letters (North-Holland)

  • J. Gergov, Christoph Meinel
    On the Complexity of Analysis and Manipulation of Boolean Functions in Terms of Decision Diagrams
    IPL 50 (1994), 317-322.
  • Christoph Meinel
    Logic vs. Complexity Theoretic Properties of the Graph Accessibility Problem for Directed Graphs of Bounded Degree
    IPL 50 (1990), 143-146.

Journal of Information Warfare (Teamlink Australia Pty Ltd)

  • M. Schmitt, J. Hu, Christoph Meinel
    A Tutoring System for IT Security Education
    Journal of Information Warfare, Vol. 2, Issue 3 (2003), 79-85.

it - Information Technology (Oldenbourg Wissenschaftsverlag)

  • Christoph Meinel
    Vom ersten nationalen IT-Gipfel der Bundesregierung
    it-Information Technology, Issue 5 (2007), 328-331
  • S. Linckels, Christoph Meinel
    Semantic Interpretation of Natural Language User Input to Improve Search in Multimedia Knowledge Base
    it- Information Technology, Vol. 49, Issue 1 (2007), 40-48.

<kes> - Zeitschrift für Informations-Sicherheit

  • Christoph Meinel, Michael Menzel, Ivonne Thomas
    SOA, aber sicher!
    Vol. 24, Nr. 1, März 2009, 38-46

Distance Learning Magazine (USDLA, Information Age Publishing)

  • S. Linckels, Christoph Meinel
    CHESt - An Educational Tool that Understands Students' Questions.
    Distance Learning Magazine , Volume 2, Number 3 (2005), 285-301.

Computers and Artificial Intelligence (Slovak Academic Press Ltd.)

  • Christoph Meinel
    Omega-Branching Programs of Bounded Width
    Computers and Artificial Intelligence Vol. 9 No. 3, 1990, 291-298.
  • Christoph Meinel
    Structural Investigations of Parallel Computation Devices
    Computers and Artificial Intelligence Vol. 3, No. 4, 1984, 331-340.

ITA - Informatique Theorique et Applications (AFCET - Gauthier Villars)

  • Christoph Meinel, T. Theobald
    On the Influence of the State Encoding on OBDD-Representations of Finite State Machines
    ITA Vol. 33, No. 1, 1999, 21-31.
  • M. Krause, Christoph Meinel, S. Waack
    Separating Complexity Classes Related to Certain Input Oblivious Logarithmic Space-Bounded Turing Machines
    RAIRO Vol. 26, No. 4, 1992, 345-362.

Fundamenta Informatice (North-Holland)

  • Christoph Meinel
    A Complexity Theoretic Parade of Network-Flow-Problems
    Fundamenta Informatice XI (1988), North-Holland, 195-208.

Informatik-Spektrum (Springer-Verlag)

  • Justus Bross, Matthias Kohnen, Patrick Schilf, Christoph Meinel
    Vier Jahre Docu-Blogging im IT-Gipfel-Prozess der Bundesregierung
    Informatik-Spektrum, No 1, Februar 2011, 71-78.
  • Hans-Joachim Bungartz, Christoph Meinel, Reinhard Wilhelm
    Quo vadis, Informatik? Innovation dank Informatik, Teil 4
    Informatik-Spektrum, No. 6, Dezember 2007, 458-459.
  • Hans-Joachim Bungartz, Christoph Meinel, Reinhard Wilhelm
    Quo vadis, Informatik? Innovation dank Informatik, Teil 3
    Informatik-Spektrum, No. 5, Oktober 2007, 374-377.
  • Hans-Joachim Bungartz, Christoph Meinel, Reinhard Wilhelm
    Quo vadis, Informatik? Innovation dank Informatik, Teil 2
    Informatik-Spektrum, No. 4, Juli 2007, 291-296.
  • Hans-Joachim Bungartz, Christoph Meinel, Reinhard Wilhelm
    Quo vadis, Informatik? Innovation dank Informatik, Teil 1
    Informatik-Spektrum, No. 3, Juni 2007, 207-211.
  • Christoph Meinel
    Physikalische Trennung als Ultima Ratio im Hochsicherheitsbereich
    Informatik-Spektrum, No. 3, Juni 2007, 170-174.
  • V. KLotz, Christoph Meinel
    10 Jahre ECCC - Eine digitale Bibliothek in weltweiter Benutzung
    Informatik-Spektrum,. No. 4, 2004, 380-388.
  • Christoph Meinel, T. Theobald
    Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise
    Informatik-Spektrum,. No. 20, 1997, 268-275.

Information Wissenschaft & Praxis (DGI)

  • V. Schillings, Christoph Meinel
    tele-TASK-Teleteaching - Anywhere Solution Kit
    Information Wissenschaft & Praxis, Heft 1/2003, 21-26.

Forschung & Lehre (Deutscher Hochschulverband)

  • Christoph Meinel
    Elektronisches Publizieren im World Wide Web - Eine neue Dimension in der wissenschaftlichen Kommunikation
    Forschung & Lehre. No. 3, 1998, 122-125.

Informatik - Forschung und Entwicklung (Springer-Verlag)

  • Christoph Meinel, T. Engel
    Institut für Telematik (Trier) - angewandte Forschung nach Fraunhofer Ideal
    Informatik - Forschung und Entwicklung, Bd. 13, Heft 2, 1998, 97-101.

EATCS-Bulletin

  • Christoph Meinel, T. Theobald
    Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits
    EATCS-Bulletin,. No. 64, 1998, 171-187.
  • Christoph Meinel
    Branching Programs - An Efficient Data Structure for Computer-Aided Circuit Design
    EATCS-Bulletin,. No. 46, 1992, 149-170.
  • L. Budach, E.-G. Giessmann, H. Grassmann, B. Graw, Christoph Meinel, B. Molzan, U. Schäfer, P. Zienicke
    Recursive VLSI Design. Theory and Application
    EATCS-Bulletin,. No. 37, 1989, 131-150.

EALIZ-Proceedings (Europäische Akademie für Lebensforschung

  • Christoph Meinel
    Neue Medien in der Ausbildung - Erfolgsfaktor zum Erhalt eines sozialen Europas
    EALIZ-Proceedings, No. 3, 2006, 185-188

EIK (Akademie-Verlag Berlin)

  • C. Damm, M. Krause, Christoph Meinel, S. Waack
    Separating Oblivious Linear Length MOD_p-Branching Programm Classes
    EIK 30 (1994), 2, 63-75.
  • Christoph Meinel, F. Balfanz, S. Zahn, P. Zienicke, L. Budach
  • Entwurfserfahrungen mit dem rekursiven Layoutentwurfssystem RELACS. II
    EIK 26 (1990), 8/9, 501-515.
  • Christoph Meinel, F. Balfanz, S. Zahn, P. Zienicke, L. Budach
    Entwurfserfahrungen mit dem rekursiven Layoutentwurfssystem RELACS. I
    EIK 26 (1990), 7, 389-414.
  • L. Budach, E.-G. Giessmann, B. Graw, Christoph Meinel, B. Molzan, U. Schäfer, S. Zahn, P. Zienicke
    RELACS - a REcursive LAyout Computing System
    EIK 26 (1990), 5/6, 315-336.
  • Christoph Meinel
    The Nonuniform Complexity Classes NC^1, L and NL
    EIK 23 (1987), 10/11, 545-558.
  • Christoph Meinel
    Symbolic Simulation of Synchronous Parallel Systems
    EIK 22 (1986), 7/8, 355-370.
  • Christoph Meinel
    A Functional Description of Synchronous Systems
    EIK 21 (1985), 4/5, 231-244.
  • Christoph Meinel
    On the Structure of Endomorphism Monoids and Automorphism Groups of Group Labyrinths in the Category CODE
    EIK 18 (1982), 9, 501-506.
  • Christoph Meinel
    The Importance of Plane Labyrinths
    EIK 18 (1982), 7/8, 419-422.
  • Christoph Meinel
    Embedding of the Poset of Turing Degrees in the Poset [U, <=]
    EIK 18 (1982), 6, 339-344.
  • L. Budach, Christoph Meinel
    Environments and Automata. II
    EIK 18 (1982), 3, 113-140.
  • L. Budach, Christoph Meinel
    Environments and Automata. I
    EIK 18 (1982), 1/2, 3-40.

GI-Mitteilungen

  • Christoph Meinel
    Modifizierte Branching Programme und ihre komplexitätstheoretische Bedeutung
    GI-Mitteilungen 5, Issue 2/90, 26-28.

Handelsblatt

  • L. Günwoldt, Christoph Meinel
    Telematik im Gesundheitswesen der Bundesrepublik - eine Studie des ITWM-Trier zur Telemedizin
    19.02.1987

JurPc - Internet-Zeitschrift für Rechtsinformatik

  • Christoph Meinel, L. Gollan
    Digitale Signaturen in der Verwaltung
    Internet-Zeitschrift für Rechtsinformatik, Web-Dok. 89/2003, Abs. 1-14.
  • Christoph Meinel, L. Gollan
    Der elektronische Personalausweis? - Elektronische Signaturen und staatliche Verantwortung
    Internet-Zeitschrift für Rechtsinformatik, Web-Dok. 223/2002, Abs. 1-15.

Denken + Glauben

  • Christoph Meinel
    Internet die Dampfmaschine des digitalen Zeitalters
    Denken + Glauben, Heft Nr. 135/136, März/April 2005, 29-34

Kommune21

  • Christoph Meinel
    Karte mit Mehrwert?
    Heft 2/2011, 22-23.
  • L. Gollan, Christoph Meinel
    Elektronischer Notar
    Heft 7/2001, 12-16.

Management und Krankenhaus (Media-Daten Verlag)

  • H.-J. Görg, Christoph Meinel
    Digitale Signaturen schaffen Sicherheit auf der Datenautobahn - Public-Key-Verfahren als Ausgangspunkt für gesetzgeberische Initiativen
    Heft 10/98, 8-9
  • H.-J.Görg, Christoph Meinel
    Digitale Signaturen schaffen Sicherheit auf der Datenautobahn - Sicherheitsaspekte im Organisationsablauf von Trust Center Dienstleistungen
    Heft 11/98, 77-78

Deutsches Ärzteblatt / PraxisComputer

  • S. Khludov, Christoph Meinel
    DICOM-Bilder - einfach übers Internet
    Heft 2/2000, 12-13
  • S. Khludov, Christoph Meinel
    Adaptive LZW-JPEG-Komprimierung - Kompressionsverfahren für medizinische Bilder
    Heft 5/2000, 20-23

Arzt und Krankenhaus (Media-Daten Verlag)

  • A. Becker, L. Günwoldt, Christoph Meinel
    Telemedizin - Neue Informations- und Kommunikationstechnologien im Gesundheitswesen
    Heft 1/97, 22-24

Die berufsbildende Schule

  • Stephan Repp, Ralf Ziegler, Christoph Meinel
    Kompetenzentwicklung in Softwareprojekten - Unterrichtskonzept und Feedback der Schüler
    Die berufsbildende Schule, Heckner Druck- und Verlagsgesellschaft mbH & Co. KG Wolfenbüttel, March 2008

International Journal on WWW/Internet (IADIS)

  • Justus Bross, Harald Sack, Christoph Meinel: Encouraging Participation in Virtual Communities: The "IT-Summit-Blog" Case, IADIS International Journal on WWW/Internet, Vol.5 Issue 2 (2007), 113-129.

Kommunikation, Partizipation und Wirkungen im Social Web

  • Justus Bross, Harald Sack, Christoph Meinel: Politische Partizipation durch Diskussion? Konzeption und Wirkungen des IT-Gipfelblogs, Vol.2 Issue 3 (2008), 265-282.

Journal of Information Assurance and Security (Dynamic Publishers, Inc)

  • Michael Menzel, Christian Wolter, Christoph Meinel: Access Control for Cross-Organisational Web Service Composition, Volume 2, Issue 3 (2007), 155-160.
  • Wei Zhou, Christoph Meinel, Authorization Constraints Specification and Enforcement, Volume 3, Issue 1 (2008), 155-160.
  • Sebastian Roschke, Feng Cheng, Christoph Meinel, An Advanced IDS Management Architecture, Volume 5, Issue 1 (2010), 246-255. 

International Journal of Online Engineering (iJOE)

  • Christian Willems, Christoph Meinel: Tele-Lab IT-Security: an Architecture for an online virtual IT Security Lab, Vol.4, No. 2 (2008), 31-37.

IEEE Transactions on Learning Technologies (IEEE Press)

  • Stephan Repp, Andreas Gross, Christoph Meinel: Browsing within Lecture Videos Based on the Chain Index of Speech Transcription, Vol. 1, No. 3 (2008), 145-156

Logic Journal of the IGPL (Oxford University Press)

  • Sebastian Roschke, Feng Cheng, Christoph Meinel
    High Quality Attack Graph based IDS Correlation
    Logic Journal of the IGPL, Oxford University Press, ISSN 1367-0751, 2012 (to appear)

Journal of Systems Architecture (Elsevier)

  • Christian Wolter, Michael Menzel, Philip Miseldine, Christoph Meinel: Model-driven business process security requirement specification. Elsevier, Vol. 55, No. 4 (2009), 211-223.

i-com (Oldenbourg Wissenschaftsverlag)

  • Stephan Trahasch, Serge Linckels, Wolfgang Hürst: Vorlesungsaufzeichnungen – Anwendungen, Erfahrungen und Forschungsperspektiven. Beobachtungen vom GI-Workshop „eLectures 2009“, Vol. 8, No. 3 (2009), 62-64.

Journal of Theoretical and Applied Electronic Commerce Research (jtaer.com)

  • Rehab Alnemr, Stefan Koenig, T. Eymann, and Christoph Meinel, Enabling Usage Control Through Reputation Objects: A Discussion on e-Commerce and the Internet of Services Environments, Special Issue "Trust and Trust Management", Vol. 5, No. 2 (2010), 59-76.

Technoetic Arts: A Journal of Speculative Research (Intellect Ltd.)

  • Tilmann Lindberg, Christine Noweski, Christoph Meinel
    Evolving Discourses on Design Thinking: How Design Cognition Inspires Meta-Disciplinary Creative Collaboration. Intellect Ltd., Vol. 8, No. 1 (2010), 31-38.

Requirements Engineering (Springer-Verlag)

  • Christian Wolter, Christoph Meinel: An approach to capture authorisation requirements in business processes. Springer-Verlag, Vol.5, No. 4 (2010), 359-373.

HMD-Praxis der Wirtschaftsinformatik (dpunkt Verlag)

  • Harald Sack: Semantische Suche - Theorie und Praxis am Beispiel der Videosuchmaschine yovisto.com. Web 3.0 & Semantic Web, HMD - Praxis der Wirtschaftsinformatik, Nr. 271 (2010), paper 2.

International Journal of Advanced Research in Computer Science (ijarcs.info)

  • Justus Bross, Patrick Hennig, Philipp Berger, Christoph Meinel: Feed-Crawler Enhancement for Blogosphere-Mapping, US.ISSN: 2156-5570 (Online), Vol. 1, No.2 (2010), paper 9.

Cyprus Computer Society (www.pliroforiki.org)

International Journal of Digital Society (Infonomics Society)

Open Journal of Knowledge Management

Social Network Analysis and Mining

  • Justus Bross, Matthias Kohnen, Keven Richly, Christoph Meinel, Identifying the top dogs of the blogosphere, Social Network Analysis and Mining, Vol. 1 (2011)

International Journal of Interactive Technology and Smart Education (Emerald Group)

Multimedia Tools and Applications (Springer-Verlag)