Christoph Meinel

Raja Gumienny, Lutz Gericke, Matthias Wenzel, Christoph Meinel: Supporting creative collaboration in globally distributed companies. CSCW 2013: 995-1007

Sebastian Roschke, Feng Cheng, Christoph Meinel: An alert correlation platform for memory-supported techniques. Concurrency and Computation: Practice and Experience 24(10): 1123-1136 (2012)

Ahmad AlSa'deh, Christoph Meinel: Secure Neighbor Discovery: Review, Challenges, Perspectives, and Recommendations. IEEE Security & Privacy 10(4): 26-34 (2012)

Lutz Gericke, Raja Gumienny, Christoph Meinel: Collaboratecom Special Issue Analyzing Distributed Whiteboard Interactions. Int. J. Cooperative Inf. Syst. 21(3): 199-220 (2012)

Hosnieh Rafiee, Martin von Löwis, Christoph Meinel: IPv6 Deployment and Spam Challenges. IEEE Internet Computing 16(6): 22-29 (2012)

Ibrahim Takouna, Wesam Dawoud, Christoph Meinel: Energy efficient scheduling of HPC-jobs on virtualize clusters using host and VM dynamic configuration. Operating Systems Review 46(2): 19-27 (2012)

Justus Bross, Keven Richly, Matthias Kohnen, Christoph Meinel: Identifying the top-dogs of the blogosphere. Social Netw. Analys. Mining 2(1): 53-67 (2012)

Matthias Quasthoff, Christoph Meinel: Supporting Object-Oriented Programming of Semantic-Web Software. IEEE Transactions on Systems, Man, and Cybernetics, Part C 42(1): 15-24 (2012)

Ahmad AlSa'deh, Hosnieh Rafiee, Christoph Meinel: Cryptographically Generated Addresses (CGAs): Possible Attacks and Proposed Mitigation Approaches. CIT 2012: 332-339

Wesam Dawoud, Ibrahim Takouna, Christoph Meinel: Increasing Spot Instances Reliability Using Dynamic Scalability. IEEE CLOUD 2012: 959-961

Wesam Dawoud, Ibrahim Takouna, Christoph Meinel: Dynamic scalability and contention prediction in public infrastructure using Internet application profiling. CloudCom 2012: 208-216

Rehab Alnemr, Christoph Meinel: Reputation objects for interoperable reputation exchange: Implementation and design decisions. CollaborateCom 2012: 672-680

Haojin Yang, Franka Gruenewald, Christoph Meinel: Automated Extraction of Lecture Outlines from Lecture Videos - A Hybrid Solution for Lecture Video Indexing. CSEDU (1) 2012: 13-22

Lutz Gericke, Matthias Wenzel, Raja Gumienny, Christian Willems, Christoph Meinel: Handwriting recognition for a digital whiteboard collaboration platform. CTS 2012: 226-233

Ahmad AlSa'deh, Hosnieh Rafiee, Christoph Meinel: IPv6 Stateless Address Autoconfiguration: Balancing between Security, Privacy and Usability. FPS 2012: 149-161

Ibrahim Takouna, Wesam Dawoud, Christoph Meinel: Analysis and Simulation of HPC Applications in Virtualized Data Centers. GreenCom 2012: 498-507

Ahmad AlSa'deh, Hosnieh Rafiee, Christoph Meinel: Stopping time condition for practical IPv6 Cryptographically Generated Addresses. ICOIN 2012: 257-262

Hosnieh Rafiee, Ahmad AlSa'deh, Christoph Meinel: Multicore-based auto-scaling SEcure Neighbor Discovery for Windows operating systems. ICOIN 2012: 269-274

Haojin Yang, Christoph Oehlke, Christoph Meinel: An Automated Analysis and Indexing Framework for Lecture Video Portal. ICWL 2012: 285-294

Lutz Gericke, Christoph Meinel: Understanding asynchronous design work - segmentation of digital whiteboard sessions. IRI 2012: 700-705

Angel Jesus Varela-Vaca, Robert Warschofsky, Rafael M. Gasca, Sergio Pozo, Christoph Meinel: A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes. CISIS/ICEUTE/SOCO Special Sessions 2012: 13-23

Serge Linckels, Christoph Meinel: E-Librarian Service - User-Friendly Semantic Search in Digital Libraries. X.media.publishing, Springer 2011, isbn 978-3-642-17742-2, pp. I-XV, 1-212

Christoph Meinel, Harald Sack: Internetworking - Technische Grundlagen und Anwendungen. Springer 2011, isbn 978-3-540-92939-0

Ching-man Au Yeung, Michael G. Noll, Nicholas Gibbins, Christoph Meinel, Nigel Shadbolt: SPEAR: Spamming-Resistant Expertise Analysis and Ranking in Collaborative Tagging Systems. Computational Intelligence 27(3): 458-488 (2011)

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

Justus Bross, Matthias Kohnen, Patrick Schilf, Christoph Meinel: Vier Jahre Docu-blogging im IT-Gipfel-Prozess der Bundesregierung - Partizipation und Dokumentation leicht gemacht. Informatik Spektrum 34(1): 71-78 (2011)

Haojin Yang, Harald Sack, Christoph Meinel: Lecture Video Indexing and Analysis Using Video OCR Technology. JMPT 2(4): 176-196 (2011)

Haojin Yang, Christoph Oehlke, Christoph Meinel: German Speech Recognition: A Solution for the Analysis and Processing of Lecture Recordings. ACIS-ICIS 2011: 201-206

Wesam Dawoud, Ibrahim Takouna, Christoph Meinel: Elastic VM for Cloud Resources Provisioning Optimization. ACC (1) 2011: 431-445

Sebastian Roschke, Feng Cheng, Christoph Meinel: A New Alert Correlation Algorithm Based on Attack Graph. CISIS 2011: 58-67

Lutz Gericke, Raja Gumienny, Christoph Meinel: Analyzing distributed whiteboard interactions. CollaborateCom 2011: 27-34

Rehab Alnemr, Christoph Meinel: Why rating is not enough: A study on online reputation systems. CollaborateCom 2011: 415-421

Raja Gumienny, Lutz Gericke, Markus Dreseler, Sebastian Meyer, Christoph Meinel: User-centered development of social collaboration software. CollaborateCom 2011: 451-457

Raja Gumienny, Lutz Gericke, Matthias Quasthoff, Christian Willems, Christoph Meinel: Tele-Board: Enabling efficient collaboration in digital design spaces. CSCWD 2011: 47-54

Ibrahim Takouna, Wesam Dawoud, Christoph Meinel: Accurate Mutlicore Processor Power Models for Power-Aware Resource Management. DASC 2011: 419-426

Ivonne Thomas, Robert Warschofsky, Christoph Meinel: Whom to Trust? Generating WS-Security Policies Based on Assurance Information. ECOWS 2011: 65-72

Feng Cheng, Sebastian Roschke, Christoph Meinel: An Integrated Network Scanning Tool for Attack Graph Construction. GPC 2011: 138-147

Peter LoBue, Raja Gumienny, Christoph Meinel: Simulating Additional Area on Tele-Board's Large Shared Display. HCI (22) 2011: 519-523

Christian Willems, Thomas Klingbeil, Lukas Radvilavicius, Antanas Cenys, Christoph Meinel: A distributed virtual laboratory architecture for cybersecurity training. ICITST 2011: 408-415

Ahmad AlSa'deh, Feng Cheng, Christoph Meinel: CS-CGA: Compact and more Secure CGA. ICON 2011: 299-304

Ivonne Thomas, Christoph Meinel: An Attribute Assurance Framework to Define and Match Trust in Identity Attributes. ICWS 2011: 580-587

Robert Warschofsky, Michael Menzel, Christoph Meinel: Automated Security Service Orchestration for the Identity Management in Web Service Based Systems. ICWS 2011: 596-603

Rehab Alnemr, Christoph Meinel: From Reputation Models and Systems to Reputation Ontologies. IFIPTM 2011: 98-116

Sebastian Roschke, Feng Cheng, Christoph Meinel: BALG: Bypassing Application Layer Gateways using multi-staged encrypted shellcodes. Integrated Network Management 2011: 399-406

Haojin Yang, Maria Siebert, Patrick Lühne, Harald Sack, Christoph Meinel: Automatic Lecture Video Indexing Using Video OCR Technology. ISM 2011: 111-116

Ahmad AlSa'deh, Feng Cheng, Sebastian Roschke, Christoph Meinel: IPv4/IPv6 Handoff on Lock-Keeper for High Flexibility and Security. NTMS 2011: 1-6

Hosnieh Rafiee, Ahmad AlSa'deh, Christoph Meinel: WinSEND: Windows SEcure Neighbor Discovery. SIN 2011: 243-246

Haojin Yang, Maria Siebert, Patrick Lühne, Harald Sack, Christoph Meinel: Lecture Video Indexing and Analysis Using Video OCR Technology. SITIS 2011: 54-61

Justus F. M. Broß, Patrick Schilf, Maximilian Jenders, Christoph Meinel: Visualizing the Blogosphere with BlogConnect. SocialCom/PASSAT 2011: 651-656

Philipp Berger, Patrick Hennig, Justus Bross, Christoph Meinel: Mapping the Blogosphere-Towards a Universal and Scalable Blog-Crawler. SocialCom/PASSAT 2011: 672-677

Franka Moritz, Maria Siebert, Christoph Meinel: Improving search in tele-lecturing: using folksonomies as trigger to query semantic datasets to extract additional metadata. WIMS 2011: 36

Rehab Alnemr, Stefan König, Torsten Eymann, Christoph Meinel: Enabling Usage Control through Reputation Objects: A Discussion on e-Commerce and the Internet of Services Environments. JTAER 5(2): 59-76 (2010)

Charel Stelmes, Serge Linckels, Christoph Meinel: Digitale Videos im Unterricht - Die "YouTube-Generation" lernt Judo mit E-Videos. LOG IN 30(162): 22-28 (2010)

Serge Linckels, Carole Dording, Christoph Meinel: Besser Mathematik begreifen mit MatES - Autonomes Lernen mit Videosequenzen im Unterricht. LOG IN 30(162): 33-38 (2010)

Christian Wolter, Christoph Meinel: An approach to capture authorisation requirements in business processes. Requir. Eng. 15(4): 359-373 (2010)

Maria Siebert, Franka Moritz, Christoph Meinel: Establishing an Expandable Architecture for a Tele-teaching Portal. ACIS-ICIS 2010: 323-328

Maria Siebert, Christoph Meinel: Realization of an Expandable Search Function for an E-Learning Web Portal. ACIS-ICIS 2010: 361-366

Franka Moritz, Christoph Meinel: Mobile Web Usability Evaluation - Combining the Modified Think Aloud Method with the Testing of Emotional, Cognitive and Conative Aspects of the Usage of a Web Application. ACIS-ICIS 2010: 367-372

Sebastian Roschke, Feng Cheng, Christoph Meinel: Using vulnerability information and attack graphs for intrusion detection. IAS 2010: 68-73

Michael Menzel, Christoph Meinel: SecureSOA. IEEE SCC 2010: 146-153

Feng Cheng, Thanh-Dien Tran, Sebastian Roschke, Christoph Meinel: A Specialized Tool for Simulating Lock-Keeper Data Transfer. AINA 2010: 182-189

Justus Bross, Matthias Quasthoff, Philipp Berger, Patrick Hennig, Christoph Meinel: Mapping the Blogosphere with RSS-Feeds. AINA 2010: 453-460

Maxim Schnjakin, Rehab Alnemr, Christoph Meinel: Contract-based cloud architecture. CloudDB 2010: 33-40

Sebastian Roschke, Luan Ibraimi, Feng Cheng, Christoph Meinel: Secure Communication Using Identity Based Encryption. Communications and Multimedia Security 2010: 256-267

Lutz Gericke, Raja Gumienny, Christoph Meinel: Message capturing as a paradigm for asynchronous digital whiteboard interaction. CollaborateCom 2010: 1-10

Robert Warschofsky, Michael Menzel, Christoph Meinel: Transformation and Aggregation of Web Service Security Requirements. ECOWS 2010: 43-50

Rehab Alnemr, Adrian Paschke, Christoph Meinel: Enabling reputation interoperability through semantic technologies. I-SEMANTICS 2010

Matthias Quasthoff, Max Völkel, Christoph Meinel: Unsupervised matching of object models and ontologies using canonical vocabulary. I-SEMANTICS 2010

Franka Moritz, Maria Siebert, Christoph Meinel: Improving community rating in the tele-lecturing context. ICITST 2010: 1-6

Maria Siebert, Franka Moritz, Frank Hambach, Christoph Meinel: Enriching E-Learning meta data with user generated playlists. ICITST 2010: 1-6

Michael Menzel, Robert Warschofsky, Christoph Meinel: A Pattern-Driven Generation of Security Policies for Service-Oriented Architectures. ICWS 2010: 243-250

Ivonne Thomas, Christoph Meinel: An identity provider to manage reliable digital identities for SOA and the web. IDtrust 2010: 26-36

Sebastian Roschke, Feng Cheng, Christoph Meinel: A Flexible and Efficient Alert Correlation Platform for Distributed IDS. NSS 2010: 24-31

Michael Menzel, Robert Warschofsky, Ivonne Thomas, Christian Willems, Christoph Meinel: The Service Security Lab: A Model-Driven Platform to Compose and Explore Service Security in the Cloud. SERVICES 2010: 115-122

Andreas Groß, Sebastian Voigt, Thomas Janda, Christoph Meinel: Technology based motivation of students to collaborate by digital annotations during real lecture and learning sessions. SIGUCCS 2010: 61-64

David Rieck, Björn Schünemann, Ilja Radusch, Christoph Meinel: Efficient traffic simulator coupling in a distributed V2X simulation environment. SimuTools 2010: 72

Justus Bross, Patrick Schilf, Christoph Meinel: Visualizing Blog Archives to Explore Content- and Context-Related Interdependencies. Web Intelligence 2010: 647-652

Maxim Schnjakin, Rehab Alnemr, Christoph Meinel: A Security and High-Availability Layer for Cloud Storage. WISE Workshops 2010: 449-462

Justus Bross, Keven Richly, Patrick Schilf, Christoph Meinel: Social Physics of the Blogosphere - Capturing, Analyzing and Presenting Interdependencies within a Single Framework. From Sociology to Computing in Social Networks 2010: 301-321

Hasso Plattner, Christoph Meinel, Ulrich Weinberg: Design Thinking: Innovation lernen - Ideenwelten öffnen. mi-Wirtschaftsbuch 2009, isbn 978-3-86880-013-5, pp. 1-222

Christian Wolter, Michael Menzel, Andreas Schaad, Philip Miseldine, Christoph Meinel: Model-driven business process security requirement specification. Journal of Systems Architecture - Embedded Systems Design 55(4): 211-223 (2009)

Michael Menzel, Ivonne Thomas, Christoph Meinel: Security Requirements Specification in Service-Oriented Business Process Management. ARES 2009: 41-48

Sebastian Roschke, Feng Cheng, Christoph Meinel: An Extensible and Virtualization-Compatible IDS Management Architecture. IAS 2009: 130-134

Ivonne Thomas, Christoph Meinel: Enhancing Claim-Based Identity Management by Adding a Credibility Level to the Notion of Claims. IEEE SCC 2009: 243-250

Michael Menzel, Christoph Meinel: A Security Meta-model for Service-Oriented Architectures. IEEE SCC 2009: 251-259

Matthias Quasthoff, Christoph Meinel: Design Pattern for Object Triple Mapping. IEEE SCC 2009: 443-450

Rehab Alnemr, Justus Bross, Christoph Meinel: Constructing a Context-Aware Service-Oriented Reputation Model Using Attention Allocation Points. IEEE SCC 2009: 451-457

Uwe Kylau, Ivonne Thomas, Michael Menzel, Christoph Meinel: Trust Requirements in Identity Federation Topologies. AINA 2009: 137-145

Nico Naumann, Björn Schünemann, Ilja Radusch, Christoph Meinel: Improving V2X simulation performance with optimistic synchronization. APSCC 2009: 52-57

Feng Cheng, Sebastian Roschke, Robert Schuppenies, Christoph Meinel: Remodeling Vulnerability Information. Inscrypt 2009: 324-336

Justus Bross, Janosch Oppermann, Christoph Meinel: Enabling Video-Blogging without Relying on External Service-Providers. CSE (4) 2009: 515-522

Justus Bross, Ahmet Emre Acar, Patrick Schilf, Christoph Meinel: Spurring Design Thinking through Educational Weblogging. CSE (4) 2009: 903-908

Sebastian Roschke, Feng Cheng, Christoph Meinel: Intrusion Detection in the Cloud. DASC 2009: 729-734

Christoph Meinel: Tele-Lecturing - Quo vadis Vorlesungsaufzeichnungen. DeLFI Workshops 2009: 141

Long Wang, Justus Bross, Christoph Meinel: Post Recommendation in Social Web Site. EGOV 2009: 210-221

Christian Wolter, Philip Miseldine, Christoph Meinel: Verification of Business Process Entailment Constraints Using SPIN. ESSoS 2009: 1-15

Christian Willems, Wesam Dawoud, Thomas Klingbeil, Christoph Meinel: Security in Tele-Lab - Protecting an online virtual lab for security training. ICITST 2009: 1-7

Regina N. Hebig, Christoph Meinel, Michael Menzel, Ivonne Thomas, Robert Warschofsky: A Web Service Architecture for Decentralised Identity- and Attribute-Based Access Control. ICWS 2009: 551-558

Harald Sack, Bert Baumann, Andreas Groß, Christoph Meinel: Linking Tele-TASK Video Portal to the Semantic Web. IICS 2009: 204-

Feng Cheng, Sebastian Roschke, Christoph Meinel: Implementing IDS Management on Lock-Keeper. ISPEC 2009: 360-371

Sebastian Roschke, Feng Cheng, Robert Schuppenies, Christoph Meinel: Towards Unifying Vulnerability Information for Attack Graph Construction. ISC 2009: 218-233

Raja Gumienny, Oliver Böckmann, Christian Willems, Matthias Quasthoff, Lutz Gericke, Christoph Meinel: Verteiltes Design Thinking mit teleBoard. Mensch & Computer 2009: 455-460

Sebastian Roschke, Feng Cheng, Thanh-Dien Tran, Christoph Meinel: A Theoretical Model of Lock-Keeper Data Exchange and its Practical Verification. NPC 2009: 190-196

Kia Teymourian, Olga Streibel, Adrian Paschke, Rehab Alnemr, Christoph Meinel: Towards Semantic Event-Driven Systems. NTMS 2009: 1-6

Long Wang, Christoph Meinel: X-Tracking the Changes of Web Navigation Patterns. PAKDD 2009: 772-779

Christian Wolter, Christian Weiss, Christoph Meinel: An XACML Extension for Business Process-Centric Access Control Policies. POLICY 2009: 166-169

Stephan Repp, Christoph Meinel: Automatic Extraction of Semantic Descriptions from the Lecturer's Speech. ICSC 2009: 513-520

Michael G. Noll, Ching-man Au Yeung, Nicholas Gibbins, Christoph Meinel, Nigel Shadbolt: Telling experts from spammers: expertise ranking in folksonomies. SIGIR 2009: 612-619

Andreas Groß, Bert Baumann, Justus Bross, Christoph Meinel: Distribution to multiple platforms based on one video lecture archive. SIGUCCS 2009: 79-84

Serge Linckels, Yves Kreis, Robert A. P. Reuter, Carole Dording, Claude Weber, Christoph Meinel: Teaching with information and communication technologies: preliminary results of a large scale survey. SIGUCCS 2009: 157-162

Martin Wolf, Ivonne Thomas, Michael Menzel, Christoph Meinel: A message meta model for federated authentication in service-oriented architectures. SOCA 2009: 1-8

Maxim Schnjakin, Michael Menzel, Christoph Meinel: A pattern-driven security advisor for service-oriented architectures. SWS 2009: 13-20

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

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

Ge Zhang, Feng Cheng, Christoph Meinel: SIMPA: A SIP-Based Mobile Payment Architecture. ACIS-ICIS 2008: 287-292

Justus F. M. Broß, Christoph Meinel: Can VoIP Live up to the QoS Standards of Traditional Wireline Telephony? AICT 2008: 126-132

Tobias Queck, Björn Schünemann, Ilja Radusch, Christoph Meinel: Realistic Simulation of V2X Communication Scenarios. APSCC 2008: 1623-1627

Michael Menzel, Christian Wolter, Christoph Meinel: Towards the Aggregation of Security Requirements in Cross-Organisational Service Compositions. BIS 2008: 297-308

Stephan Repp, Serge Linckels, Christoph Meinel: Automatische Erzeugung Semantischer Annotationen für Vorlesungsvideos. DeLFI 2008: 149-160

Stephan Repp, Andreas Groß, Christoph Meinel: Webbasierte Suche in Vorlesungsvideos auf Basis der Transkripte eines Spracherkenners. DeLFI 2008: 427-428

Ge Zhang, Feng Cheng, Christoph Meinel: Towards Secure Mobile Payment Based on SIP. ECBS 2008: 96-104

Dirk Cordel, Christoph Meinel, Stephan Repp, Christian Willems: Explorative Learning of Wireless Network Security with Tele-Lab IT-Security. ICHL 2008: 213-224

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

Stephan Repp, Serge Linckels, Christoph Meinel: Question Answering from Lecture Videos Based on Automatically-Generated Learning Objects. ICWL 2008: 509-520

Wei Zhou, Christoph Meinel: Enforcing Information Flow Constraints in RBAC Environments. ISECS 2008: 159-164

Stephan Repp, Christoph Meinel: Segmentation of Lecture Videos Based on Spontaneous Speech Recognition. ISM 2008: 692-697

Ivonne Thomas, Michael Menzel, Christoph Meinel: Quantified Trust Levels for Authentication. ISSE 2008: 30-38

Stephan Repp, Serge Linckels, Christoph Meinel: Question answering from lecture videos based on an automatic semantic annotation. ITiCSE 2008: 17-21

Stephan Repp, Christoph Meinel, Sevil Yakhyayeva: Motivation of the students in game development projects. ITiCSE 2008: 368

Stephan Repp, Andreas Groß, Christoph Meinel: Dynamic Browsing of Audiovisual Lecture Recordings Based on Automated Speech Recognition. Intelligent Tutoring Systems 2008: 662-664

Serge Linckels, Christoph Meinel: Applications of description logics to improve multimedia information retrieval for efficient educational tools. Multimedia Information Retrieval 2008: 321-328

Reinhard Keil, Christoph Meinel, Tom Sommerlatte, Udo Winand: Vorwort: Alltagstauglichkeit von Anwendungssystemen und Infrastrukturen. Multikonferenz Wirtschaftsinformatik 2008

Christian Wolter, Michael Menzel, Christoph Meinel: Modelling Security Goals in Business Processes. Modellierung 2008: 197-212

Michael G. Noll, Christoph Meinel: Exploring social annotations for web document classification. SAC 2008: 2315-2320

Christian Wolter, Andreas Schaad, Christoph Meinel: Task-based entailment constraints for basic workflow patterns. SACMAT 2008: 51-60

Christian Willems, Christoph Meinel: Awareness Creation mit Tele-Lab IT-Security: Praktisches Sicherheitstraining im virtuellen Labor am Beispiel Trojanischer Pferde. Sicherheit 2008: 513-532

Michael G. Noll, Christoph Meinel: Building a Scalable Collaborative Web Filter with Free and Open Source Software. SITIS 2008: 563-571

Feng Cheng, Christoph Meinel: Strong Authentication over Lock-Keeper. SOFSEM 2008: 572-584

Ivonne Thomas, Michael Menzel, Christoph Meinel: Using quantified trust levels to describe authentication requirements in federated identity management. SWS 2008: 71-80

Michael G. Noll, Christoph Meinel: The Metadata Triumvirate: Social Annotations, Anchor Texts and Search Queries. Web Intelligence 2008: 640-647

Christoph Meinel: Physikalische Trennung als Ultima Ratio im Hochsicherheitsbereich. Informatik Spektrum 30(3): 170-174 (2007)

Serge Linckels, Christoph Meinel: Semantic Interpretation of Natural Language User Input to Improve Search in Multimedia Knowledge Base (Semantische Interpretation einer Benutzer-Eingabe in natürlicher Sprache für eine verbesserte Suche in einer multimedialen Wissensdatenbank). it - Information Technology 49(1): 40- (2007)

Christoph Meinel: Vom ersten nationalen IT-Gipfel der Bundesregierung. it - Information Technology 49(5): 328-331 (2007)

Wei Zhou, Christoph Meinel: Function-Based Authorization Constraints Specification and Enforcement. IAS 2007: 119-124

Feng Cheng, Michael Menzel, Christoph Meinel: A Secure Web Services Providing Framework Based on Lock-Keeper. APNOMS 2007: 375-384

Matthias Quasthoff, Christoph Meinel: User Centricity in Healthcare Infrastructures. BIOSIG 2007: 141-152

Long Wang, Christoph Meinel: Mining the Students' Learning Interest in Browsing Web-Streaming Lectures. CIDM 2007: 194-201

Feng Cheng, Christian Wolter, Christoph Meinel: A Simple, Smart and Extensible Framework for Network Security Measurement. Inscrypt 2007: 517-531

Serge Linckels, Carole Dording, Christoph Meinel: Bessere Schulnoten mit MatES, dem e-Bibliothekardienst für den Mathematikunterricht. DeLFI 2007: 91-102

Michael G. Noll, Christoph Meinel: Authors vs. readers: a comparative study of document metadata and content in the www. ACM Symposium on Document Engineering 2007: 177-186

Naouel Karam, Serge Linckels, Christoph Meinel: Semantic Composition of Lecture Subparts for a Personalized e-Learning. ESWC 2007: 716-728

Wei Zhou, Christoph Meinel: A Policy Language for Integrating Heterogeneous Authorization Policies. GSEM 2007: 9-23

Stephan Repp, Jörg Waitelonis, Harald Sack, Christoph Meinel: Segmentation and Annotation of Audiovisual Recordings Based on Automated Speech Recognition. IDEAL 2007: 620-629

Wei Zhou, Christoph Meinel: Team and Task Based RBAC Access Control Model. LANOMS 2007: 84-94

Stephan Repp, Serge Linckels, Christoph Meinel: Towards to an automatic semantic annotation for multimedia learning objects. ACM Multimedia EMME Workshop 2007: 19-26

Stephan Repp, Ralf Ziegler, Christoph Meinel: Lernortkooperation in der IT-Ausbildung - Kompetenzentwicklung in Projekten. INFOS 2007: 135-146

Serge Linckels, Harald Sack, Christoph Meinel: Optimizing the Retrieval of Pertinent Answers for NL Questions with the E-Librarian Service. SMRR 2007

Michael G. Noll, Christoph Meinel: Web Search Personalization Via Social Bookmarking and Tagging. ISWC/ASWC 2007: 367-380

Serge Linckels, Stephan Repp, Naouel Karam, Christoph Meinel: The virtual tele-tASK professor: semantic search in recorded lectures. SIGCSE 2007: 50-54

Katrin Wolf, Serge Linckels, Christoph Meinel: Teleteaching anywhere solution kit (Tele-TASK) goes mobile. SIGUCCS 2007: 366-371

Long Wang, Christoph Meinel: Detecting the Changes ofWeb Students' Learning Interest. Web Intelligence 2007: 816-819

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

Christian Wolter, Andreas Schaad, Christoph Meinel: Deriving XACML Policies from Business Process Models. WISE Workshops 2007: 142-153

Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil (Eds.): 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. Lecture Notes in Computer Science 4362, Springer 2007, isbn 978-3-540-69506-6

Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil, Mária Bieliková (Eds.): 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, isbn 80-903298-9-6

Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen: eine Einführung, 3. Auflage. Teubner 2006, isbn 978-3-8351-0049-7, pp. 1-333

Christoph Meinel, Volker Klotz: The first 10 years of the ECCC digital library. Commun. ACM 49(1): 131-134 (2006)

Christoph Meinel, Long Wang: Building Content Clusters Based on Modelling Page Pairs. APWeb 2006: 856-861

Serge Linckels, Christoph Meinel, Thomas Engel: An e-Librarian Service that Understands Natural Language Questions from Students. CAiSE Forum 2006

Ji Hu, Dirk Cordel, Christoph Meinel: New Media for Teaching Applied Cryptography and Network Security. EC-TEL 2006: 488-493

Serge Linckels, Christoph Meinel: Resolving Ambiguities in the Semantic Interpretation of Natural Language Questions. IDEAL 2006: 612-619

Feng Cheng, Christoph Meinel: Lock-Keeper: A New Implementation of Physical Separation Technology. ISSE 2006: 275-286

Stephan Repp, Christoph Meinel: Semantic Indexing for Recorded Educational Lecture Videos. PerCom Workshops 2006: 240-245

Serge Linckels, Christoph Meinel: An e-Librarian Service that Yields Pertinent Resources from a Multimedia Knowledge Base. SIGMAP 2006: 208-215

Stephan Repp, Christoph Meinel: Segmenting of Recorded Lecture Videos - The Algorithm VoiceSeg. SIGMAP 2006: 317-322

Serge Linckels, Carole Dording, Christoph Meinel: Better results in mathematics lessons with a virtual personal teacher. SIGUCCS 2006: 201-209

Wei Zhou, Vinesh H. Raja, Christoph Meinel, Munir Ahmad: Label-Based Access Control Policy Enforcement and Management. SNPD 2006: 395-400

Feng Cheng, Christoph Meinel: Deployment of Virtual Machines in Lock-Keeper. WISA 2006: 147-159

Xinhua Zhang, Chunyan Jiang, Wanjun Huang, Christoph Meinel: A XML format secure protocol - OpenSST. AICCSA 2005: 89

Chunyan Jiang, Xinhua Zhang, Christoph Meinel: Hybrid Framework for Medical Image Segmentation. CAIP 2005: 264-271

Christoph Meinel, Volker Schillings, Mathias Kutzner: tele-TASK - Ein praktikables, Standardkomponenten-basiertes, mobil einsetzbares Teleteaching-System. DeLFI Workshops 2005: 43-48

Serge Linckels, Christoph Meinel, Thomas Engel: Teaching in the Cyber-Age: Technologies, Experiments, and Realizations. DeLFI 2005: 225-236

Monique Reichert, Serge Linckels, Christoph Meinel, Thomas Engel: Student's Perception of a Semantic Search Engine. CELDA 2005: 139-147

Serge Linckels, Christoph Meinel: A simple application of description logics for a semantic search engine. IADIS AC 2005: 306-311

Serge Linckels, Christoph Meinel: A simple solution for an intelligent librarian system. IADIS AC 2005: 495-503

Wanjun Huang, Xiaohua Fan, Christoph Meinel: A CORBA-Based Dynamic Reconfigurable Middleware. ICCNMC 2005: 1208-1217

Wei Zhou, Christoph Meinel, Vinesh H. Raja: A Framework for Supporting Distributed Access Control Policies. ISCC 2005: 442-447

Ji Hu, Dirk Cordel, Christoph Meinel: Virtual Machine Management for Tele-Lab "IT-Security" Server. ISCC 2005: 448-453

Long Wang, Christoph Meinel, Chunnian Liu: Discovering Characteristic Individual Accessing Behaviors in Web Environment. RSFDGrC (2) 2005: 466-476

Long Wang, Christoph Meinel: Recovering Individual Accessing Behaviour from Web Logs. SEKE 2005: 590-595

Chunyan Jiang, Xinhua Zhang, Christoph Meinel: Medical Image Segmentation Using a Combined Approach. VISION 2005: 84-92

Ji Hu, Christoph Meinel: Tele-Lab "IT-Security" on CD: portable, reliable and safe IT security training. Computers & Security 23(4): 282-289 (2004)

Carsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack: On relations between counting communication complexity classes. J. Comput. Syst. Sci. 69(2): 259-280 (2004)

Ji Hu, Christoph Meinel: Tele-Lab IT Security: A Means to Build Security Laboratories on the Web. AINA (2) 2004: 285-288

Mohammad GhasemZadeh, Volker Klotz, Christoph Meinel: Embedding Memoization to the Semantic Tree Search for Deciding QBFs. Australian Conference on Artificial Intelligence 2004: 681-693

Christoph Meinel, Tongbo Chen, Volker Schillings: tele-TASK - Teleteaching praxistauglich für den Universitätsalltag. EMISA 2004: 35-47

Ji Hu, Dirk Cordel, Christoph Meinel: A Virtual Laboratory for IT Security Education. EMISA 2004: 60-71

Serge Linckels, Christoph Meinel: Automatic Interpretation of Natural Language for a Multimedia E-learning Tool. ICWE 2004: 435-439

Long Wang, Christoph Meinel: Behaviour Recovery and Complicated Pattern Definition in Web Usage Mining. ICWE 2004: 531-543

Wanjun Huang, Xinhua Zhang, Uwe Roth, Christoph Meinel: Routing based workflow for construction of distributed applications. ISCC 2004: 80-85

Ji Hu, Christoph Meinel, Michael Schmitt II: Tele-lab IT security: an architecture for interactive lessons for security education. SIGCSE 2004: 412-416

Mikail Gevantmakher, Christoph Meinel: Medizinische Bildverarbeitung - eine Übersicht. Universität Trier, Mathematik/Informatik, Forschungsbericht 04-03 (2004)

Mikail Gevantmakher, Christoph Meinel: TI-jPACS - eine frei verfügbare leistungsfähige Plattform zur medizinischen Bildverarbeitung und -visualisierung. Universität Trier, Mathematik/Informatik, Forschungsbericht 04-04 (2004)

Volker Klotz, Christoph Meinel: 10 Jahre ECCC - Eine Digitale Bibliothek in weltweiter Benutzung. Universität Trier, Mathematik/Informatik, Forschungsbericht 04-05 (2004)

Christoph Meinel, Harald Sack: WWW - Kommunikation, Internetworking, Web-Technologien. Springer 2003, isbn 3-540-44276-6

Xinhua Zhang, Alexandre Dulaunoy, Christoph Meinel: Enhance Opensst Protocol's Security with Smart Card. ICWI 2003: 565-571

Ji Hu, Michael Schmitt II, Christian Willems, Christoph Meinel: A Tutoring System for IT Security. World Conference on Information Security Education 2003: 51-60

Wanjun Huang, Uwe Roth, Christoph Meinel: A Flexible Middleware Platform with Piped Workflow. OTM Workshops 2003: 950-959

Feng Cheng, Paul Ferring, Christoph Meinel, Gerhard Müllenheim, Jochen Bern: The DualGate Lock-Keeper: A Highly Efficient, Flexible and Applicable Network Security Solution. SNPD 2003: 152-159

Wei Zhou, Christoph Meinel: Implement Role-Based Access Control with Attribute Certificates. Universität Trier, Mathematik/Informatik, Forschungsbericht 03-03 (2003)

Christoph Meinel, Volker Schillings: tele-TASK - Teleteaching praxistauglich für den Universitätsalltag. Universität Trier, Mathematik/Informatik, Forschungsbericht 03-04 (2003)

Feng Cheng, Paul Ferring, Christoph Meinel: Lock-Keeper Technology - A New Network Security Solution. Universität Trier, Mathematik/Informatik, Forschungsbericht 03-05 (2003)

Michael Schmitt II, Christoph Meinel: Design and Implementation of a PHP-based Web Server for the Tele-Lab IT Security. Universität Trier, Mathematik/Informatik, Forschungsbericht 03-06 (2003)

Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen, Eine Einführung, 2. Auflage. Teubner 2002, isbn 3-519-12949-3

Uwe Roth, Ernst Georg Haffner, Christoph Meinel: The Internal Workflow of the Smart-Data-Server. ICWI 2002: 572-576

Mingchao Ma, Christoph Meinel: A Proposal for Trust Model: Independent Trust Intermediary Service (ITIS). ICWI 2002: 785-790

Lutz Vorwerk, Chunyan Jiang, Christoph Meinel: Application for Repairing and Presenting DICOM Objects. IMSA 2002: 318-323

Christoph Meinel, Harald Sack, Volker Schillings: VisBDD - A Web-based Visualization Framework for OBDD Algorithms. IWLS 2002: 385-390

Christoph Meinel, Christian Stangier: Modular Partitioning and Dynamic Conjunction Scheduling in Image Computation. IWLS 2002: 391-396

Ernst Georg Haffner, Uwe Roth, Christoph Meinel: A Hyperlink-Proposal Mechanism to Exemplify Cognitive Algorithms for Web-Applications. JCIS 2002: 517-520

Volker Schillings, Christoph Meinel: tele-TASK: teleteaching anywhere solution kit. SIGUCCS 2002: 130-133

Christoph Meinel, Harald Sack, Volker Schillings: Course management in the twinkle of an eye - LCMS: a professional course management system. SIGUCCS 2002: 281-283

Randal E. Bryant, Christoph Meinel: Ordered Binary Decision Diagrams in Electronic Design Automation. Universität Trier, Mathematik/Informatik, Forschungsbericht 02-20 (2002)

Christoph Meinel, Volker Schillings: tele-TASK - Teleteaching Anywhere Solution Kit. Universität Trier, Mathematik/Informatik, Forschungsbericht 02-21 (2002)

Christoph Meinel, Stephan Waack: The "log rank" conjecture for modular communication complexity. Computational Complexity 10(1): 70-91 (2001)

Christoph Meinel, Thorsten Theobald: Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. Formal Methods in System Design 18(3): 285-301 (2001)

Christoph Meinel, Christian Stangier: Data Structures for Boolean Functions. Computational Discrete Mathematics 2001: 61-78

Christoph Meinel, Christian Stangier: A new partitioning scheme for improvement of image computation. ASP-DAC 2001: 97-102

Christoph Meinel, Christian Stangier: Hierarchical Image Computation with Dynamic Conjunction Scheduling. ICCD 2001: 354-359

Christoph Meinel: Electronic publishing, science portals and virtual universities - the scientific community is well-established in the World Wide Web. IuK 2001

Christoph Meinel, Harald Sack, Volker Schillings: IDDS: an interactive decentralized documentation system. SIGDOC 2001: 165-171

Ernst Georg Haffner, Uwe Roth, Andreas Heuer, Thomas Engel, Christoph Meinel: Managing Distributed Personal Firewalls with Smart Data Servers. WebNet 2001: 466-471

Uwe Roth, Kais Louizi, Ernst Georg Haffner, Christoph Meinel: How Much Middle-Tier Do You Need? WebNet 2001: 1052-1056

Christoph Meinel, Harald Sack: A Heuristic for (+)-OBDD Minimization. Universität Trier, Mathematik/Informatik, Forschungsbericht 01-06 (2001)

Christoph Meinel, Harald Sack: Improving XOR-Node Placement for (+)-OBDDs. Universität Trier, Mathematik/Informatik, Forschungsbericht 01-07 (2001)

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)

Christoph Meinel, Harald Sack, Volker Schillings: IDDS: An Interactive Decentallzed Documentation System. Universität Trier, Mathematik/Informatik, Forschungsbericht 01-15 (2001)

Christoph Meinel, Christian Stangier: Modular Partitioning for Improvement of Image Computation. Universität Trier, Mathematik/Informatik, Forschungsbericht 01-16 (2001)

Christoph Meinel, Harald Sack, Volker Schillings: VisBDD - A Webbased Visualization Framework for OBDD Algorithms. Universität Trier, Mathematik/Informatik, Forschungsbericht 01-21 (2001)

Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen, Eine Einführung. Teubner 2000, isbn 3-519-02949-9

Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Linear sifting of decision diagrams and its application insynthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 19(5): 521-533 (2000)

Ernst Georg Haffner, Uwe Roth, Andreas Heuer, Thomas Engel, Christoph Meinel: What Do Hyperlink-Proposals and Request-Prediction Have in Common? ADVIS 2000: 285-293

Sergey Khludov, Lutz Vorwerk, Christoph Meinel: Internet-Orientated Medical Information System for Dicom-Data Transfer, Visualization and Revision. CBMS 2000: 293-296

Lutz Vorwerk, Christoph Meinel: A Multimedia-Editor for Making Findings in Radiology. CBMS 2000: 297-

Olivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich: Web-based frameworks to enable CAD RD (abstract). DAC 2000: 711

Christoph Meinel, Harald Sack, Arno Wagner: WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms. Experimental Algorithmics 2000: 127-138

Christoph Meinel, Christian Stangier: Algorithms and Heuristics in VLSI Design. Experimental Algorithmics 2000: 139-162

B. Lapken, Frank Losemann, Thomas Engel, Christoph Meinel: Functional Integration Test of Mass Processes with Electronic Signatures in Public Administration. ECIS 2000: 1182-1186

Ernst Georg Haffner, Andreas Heuer, Uwe Roth, Thomas Engel, Christoph Meinel: Advanced Studies on Link Proposals and Knowledge Retrieval of Hypertexts with CBR. EC-Web 2000: 369-378

Changtao Qu, Thomas Engel, Christoph Meinel: Implementation of an Enterprise-Level Groupware System Based on J2EE Platform and WebDAV Protocol. EDOC 2000: 160-169

Christoph Meinel, Christian Stangier: Speeding Up Image Computation by Using RTL Information. FMCAD 2000: 443-454

Christoph Meinel, Christian Stangier: Speeding up symbolic model checking by accelerating dynamic variable reordering. ACM Great Lakes Symposium on VLSI 2000: 39-42

Ernst Georg Haffner, Uwe Roth, Andreas Heuer, Thomas Engel, Christoph Meinel: Advanced Techniques for Analyzing Web Server Logs. International Conference on Internet Computing 2000: 71-78

Andreas Heuer, Ernst Georg Haffner, Uwe Roth, Christoph Meinel: A Hyperlink Focused Browse Assistant for the World Wide Web. International Conference on Internet Computing 2000: 79-84

Zhongdong Zhang, Uwe Roth, Thomas Engel, Christoph Meinel: Web Site Design Using a Web-Based Authoring and Publishing System. International Conference on Internet Computing 2000: 113-118

Frank Losemann, Thomas Engel, Christoph Meinel: Proprietary versus Interoperable User Certificates in E-Commerce via Internet. International Conference on Internet Computing 2000: 337-342

Bernd Dusemund, Thomas Engel, Christoph Meinel: Smart Cards - the Personal Safe in an E-Commerce World. International Conference on Internet Computing 2000: 343-346

Andreas Heuer, Frank Losemann, Christoph Meinel: Advanced Reliability for Internet Transactions by Signed Bills. International Conference on Internet Computing 2000: 347-352

Uwe Roth, Thomas Engel, Christoph Meinel: Improving the Quality of Information-Flow with the Smart Data Server. International Conference on Internet Computing 2000: 353-358

Andreas Heuer, Ernst Georg Haffner, Zhongdong Zhang, Christoph Meinel: Role-based Web Authoring and Web-Site Management for Commercial Sites. International Conference on Internet Computing 2000: 359-364

Ernst Georg Haffner, Thomas Engel, Christoph Meinel: Techniques for Securing Networks Against Criminal Attacks. International Conference on Internet Computing 2000: 365-370

Harald Sack, Elena Dubrova, Christoph Meinel: Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions. ISMVL 2000: 233-238

Ernst Georg Haffner, Uwe Roth, Thomas Engel, Christoph Meinel: Modeling of Time and Document Aging for Request Prediction - One Step Further. SAC (2) 2000: 984-990

Changtao Qu, Christoph Meinel, Thomas Engel: Implementation of a WebDAV-based Collaborative Distance Learning Environment. SIGUCCS 2000: 258-265

Lutz Vorwerk, Thomas Engel, Christoph Meinel: Proposal for a combination of compression and encryption. VCIP 2000: 694-703

Ernst Georg Haffner, Andreas Heuer, Uwe Roth, Thomas Engel, Christoph Meinel: Link Proposals with Case-Based Reasoning Techniques. WebNet 2000: 233-239

Andreas Heuer, Frank Losemann, Christoph Meinel: Signed Preservation Of Online References. WebNet 2000: 247-251

Uwe Roth, Andreas Heuer, Ernst Georg Haffner, Christoph Meinel: A Search-Engine-Topologie to Improve Document Retrieval on the Web. WebNet 2000: 470-475

Andreas Heuer, Frank Losemann, Christoph Meinel: Logging and Signing Document-Transfers on the WWW-A Trusted Third Party Gateway. WISE 2000: 146-152

Lutz Vorwerk, Sergey Khludov, Christoph Meinel: Concept for Increased Security for Internet/Intranet - Based Administration of Patient Data. WSCG 2000

Daniel Krob, Christoph Meinel, Michel Morvan: Editors foreword - Selected papers from STACS 1998. Discrete Mathematics & Theoretical Computer Science 3(3): 71-72 (1999)

Christoph Meinel, Harald Sack: Parity-OBDDs - a BDD structure for Probabilistic Verification. Electr. Notes Theor. Comput. Sci. 22: 156-170 (1999)

Christoph Meinel, Thorsten Theobald: On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. ITA 33(1): 21-32 (1999)

Christoph Meinel, Thorsten Theobald: Ordered Binary Decision Diagrams and their Significance in Computer-Aided Design of VLSI Circuits. Journal of Circuits, Systems, and Computers 9(3-4): 181-198 (1999)

Christoph Meinel, Klaus Schwettmann, Anna Slobodová: Application Driven Variable Reordering and an Example Implementation in Reachability Analysis. ASP-DAC 1999: 327-330

Sergei Hludov, Christoph Meinel, Thomas Engel: Flächen- und Volumenmessung lokaler Objekte in DICOM-Bildern und -Bildfolgen. Bildverarbeitung für die Medizin 1999: 292-296

Sergei Hludov, Christoph Meinel: LZW-JPEG Kompression radiologischer Bilder. Bildverarbeitung für die Medizin 1999: 297-301

Sergei Hludov, Christoph Meinel, Guido Noelle, Frank Warda: PACS for Teleradiology. CBMS 1999: 6-11

Sergei Hludov, Christoph Meinel: DICOM - Image Compression. CBMS 1999: 282-

Christoph Meinel, Christian Stangier: Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering. DATE 1999: 760-761

Andreas Heuer, Christoph Meinel: Database based History Browse Assistant. IMSA 1999: 78-82

Uwe Roth, Ernst Georg Haffner, Thomas Engel, Christoph Meinel: The Smart Data Server: A New Kind of Middle-Tier. IMSA 1999: 361-365

Jochen Bern, Christoph Meinel: One step further: extending electronic submission into the reviewing process. SIGDOC 1999: 65-69

Zhongdong Zhang, Ernst Georg Haffner, Andreas Heuer, Thomas Engel, Christoph Meinel: Role-based access control in online authoring and publishing systems vs. document hierarchy. SIGDOC 1999: 193-198

Sergei Hludov, Christoph Meinel: Compression of Medical Images. SIP 1999: 275-278

Andreas Heuer, Christoph Meinel: Database based Navigation Assistant. WebNet 1999: 505-510

Uwe Roth, Ernst Georg Haffner, Thomas Engel, Christoph Meinel: An Approach to Distributed Functionality - The Smart Data Server. WebNet 1999: 931-936

Ernst Georg Haffner, Andreas Heuer, Uwe Roth, Thomas Engel, Christoph Meinel: The Importance of Link-Transformation and Link-Proposals for Hyperlink-Management Systems. WebNet 1999: 1538-1539

Christoph Meinel, Sophie Tison (Eds.): STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999, Proceedings. Lecture Notes in Computer Science 1563, Springer 1999

Jochen Bern, Christoph Meinel: One Step Further: Integrating Electronic Submission and the Reviewing Process. Universität Trier, Mathematik/Informatik, Forschungsbericht 99-16 (1999)

Christoph Meinel, Harald Sack: Algorithmic Considerations for +-OBDD Reordering . Universität Trier, Mathematik/Informatik, Forschungsbericht 99-19 (1999)

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)

Christoph Meinel, Christian Stangier: Speeding Up Symbolic Model Checking by Accelerating Dynamic Variable Reordering. Universität Trier, Mathematik/Informatik, Forschungsbericht 99-28 (1999)

Christoph Meinel, Thorsten Theobald: Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications. Springer 1998, isbn 3-540-64486-5

Christoph Meinel, Thorsten Theobald: Algorithmen und Datenstrukturen im VLSI-Design: OBDD - Grundlagen und Anwendungen. Springer 1998, isbn 3-540-63869-5

Christoph Meinel, Thomas Engel: Institut für Telematik (Trier) - angewandte Forschung nach Fraunhofer Ideal. Inform., Forsch. Entwickl. 13(2): 97-101 (1998)

Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Function Decomposition and Synthesis Using Linear Sifting. ASP-DAC 1998: 81-86

Sergei Hludov, Thomas Engel, Christoph Meinel: Adaptive compression of DICOM-image data. Electronic Imaging 1998: 260-266

Jochen Bern, Christoph Meinel, Harald Sack: The STACS Electronic Submission Service. ECDL 1998: 639-640

Ernst Georg Haffner, Thomas Engel, Christoph Meinel: The flood-gate principle - a hybrid approach to a high security solution. ICISC 1998: 147-160

Andreas Heuer, K. Siemonsen, Thomas Engel, Christoph Meinel: Interface for Navigation and Database - Querying via WWW. ISI 1998: 273-282

Jochen Bern, Christoph Meinel, Harald Sack: Electronic Colloquia: Idea and Practice. SIGDOC 1998: 113-119

Anna Slobodová, Christoph Meinel: Sample Method for Minimization of OBDDs. SOFSEM 1998: 419-428

Sergei Hludov, Claus Schröter, Christoph Meinel: Adaptive compression of image data. SYBEN 1998: 520-527

Michel Morvan, Christoph Meinel, Daniel Krob (Eds.): STACS 98, 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings. Lecture Notes in Computer Science 1373, Springer 1998, isbn 3-540-64230-7

Christoph Meinel, Thorsten Theobald: Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits - a Survey. Electronic Colloquium on Computational Complexity (ECCC) 5(39) (1998)

Christoph Meinel, Thorsten Theobald: Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits. Universität Trier, Mathematik/Informatik, Forschungsbericht 98-01 (1998)

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)

Christoph Meinel, Christian Stangier: Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering. Universität Trier, Mathematik/Informatik, Forschungsbericht 98-23 (1998)

Christoph Meinel, Klaus Schwettmann, Anna Slobodová: Application Driven Variable Reordering and an Example in Reachability Analysis. Universität Trier, Mathematik/Informatik, Forschungsbericht 98-24 (1998)

Christoph Meinel, Anna Slobodová: Accelerating OBDD-Minimization by Means of Structural and Semantical Properties. Universität Trier, Mathematik/Informatik, Forschungsbericht 98-25 (1998)

Christoph Meinel, Arno Wagner: The WWW meets EDA: Usability evaluation of OBDD-heuristics via the Internet. Universität Trier, Mathematik/Informatik, Forschungsbericht 98-27 (1998)

Christoph Meinel, Harald Sack: Xor-OBDDs - a BDD Structure for Probabilistic Verification. Universität Trier, Mathematik/Informatik, Forschungsbericht 98-28 (1998)

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)

Christoph Meinel, Anna Slobodová: A Unifying Theoretical Background for Some Bdd-based Data Structures. Formal Methods in System Design 11(3): 223-237 (1997)

Christoph Meinel, Thorsten Theobald: Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. Informatik Spektrum 20(5): 268-275 (1997)

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

Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Linear Sifting of Decision Diagrams. DAC 1997: 202-207

Jochen Bern, Carsten Damm, Christoph Meinel: The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use. ECDL 1997: 405-421

Christoph Meinel, Thorsten Theobald: Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. GI Jahrestagung 1997: 307-316

Christoph Meinel, Carsten Damm, Martin Mundhenk: 33. Workshop "Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen". GI Jahrestagung 1997: 624-625

Christoph Meinel, Anna Slobodová: Speeding up Variable Reordering of OBDDs. ICCD 1997: 338-343

Christoph Meinel, Thorsten Theobald: On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. MFCS 1997: 408-417

Christoph Meinel, Anna Slobodová: A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams. STACS 1997: 213-224

Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Function Decomposition and Synthesis Using Linear Sifting. Universität Trier, Mathematik/Informatik, Forschungsbericht 97-14 (1997)

Christoph Meinel, Harald Sack: Case Study: Manipulating xor-OBDDs by Means of Signatures. Universität Trier, Mathematik/Informatik, Forschungsbericht 97-15 (1997)

Jochen Bern, Christoph Meinel: The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use. Universität Trier, Mathematik/Informatik, Forschungsbericht 97-16 (1997)

Christoph Meinel, Anna Slobodová, Peter Willems: Block-Restricted Reordering - Extended Experiments. Universität Trier, Mathematik/Informatik, Forschungsbericht 97-27 (1997)

Christoph Meinel, Christian Stangier: OBDD-based Verification of Communication Protocols - Methods for the Verification of Data Link Protocols. Universität Trier, Mathematik/Informatik, Forschungsbericht 97-28 (1997)

Jordan 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(3): 273-282 (1996)

Christoph Meinel, Stephan Waack: Lower Bounds for the Majority Communication Complexity of Various Graph Accessibility Problems. Mathematical Systems Theory 29(6): 649-659 (1996)

Jochen Bern, Christoph Meinel, Anna Slobodová: Some heuristics for generating tree-like FBDD types. IEEE Trans. on CAD of Integrated Circuits and Systems 15(1): 127-130 (1996)

Jochen Bern, Christoph Meinel, Anna Slobodová: Global rebuilding of OBDD's avoiding memory requirement maxima. IEEE Trans. on CAD of Integrated Circuits and Systems 15(1): 131-134 (1996)

Christoph Meinel, Thorsten Theobald: Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. FMCAD 1996: 404-418

Christoph Meinel, Stephan Waack: The "log Rank" Conjecture for Modular Communication Complexity. STACS 1996: 619-630

Christoph Meinel, Anna Slobodová: An Adequate Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams. Electronic Colloquium on Computational Complexity (ECCC) 3(10) (1996)

Christoph Meinel, Stephan Waack: The ``Log Rank'' Conjecture for Modular Communication Complexity. Electronic Colloquium on Computational Complexity (ECCC) 3(17) (1996)

Christoph Meinel, Anna Slobodová: An Adequate Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams. Universität Trier, Mathematik/Informatik, Forschungsbericht 96-02 (1996)

Thorsten Theobald, Christoph Meinel: State Encodings and OBDD-Sizes. Universität Trier, Mathematik/Informatik, Forschungsbericht 96-04 (1996)

Christoph Meinel, Thorsten Theobald: Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. Universität Trier, Mathematik/Informatik, Forschungsbericht 96-23 (1996)

Christoph Meinel, Anna Slobodová: Speeding up Variable Reordering of OBDDs . Universität Trier, Mathematik/Informatik, Forschungsbericht 96-40 (1996)

Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Linear Sifting of Decision Diagrams. Universität Trier, Mathematik/Informatik, Forschungsbericht 96-42 (1996)

Christoph Meinel, Stephan Waack: Separating Complexity Classes Related to Bounded Alternating \omega-Branching Programs. Mathematical Systems Theory 28(1): 21-39 (1995)

Jochen Bern, Christoph Meinel, Anna Slobodová: Global rebuilding of OBDDs Avoiding Memory Requirement Maxima. CAV 1995: 4-15

Jochen Bern, Christoph Meinel, Anna Slobodová: Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits. DAC 1995: 408-413

Christoph Meinel: Die Entwicklung der Informatik braucht Theorie und Praxis. Ein Fallbeispiel aus dem CAD-Schaltkreisentwurf. GI Jahrestagung 1995: 339-346

Christoph Meinel, Stephan Waack: Lower Bounds for the Modular Communication Complexity of Various Graph Accessibility Problems. LATIN 1995: 427-435

Christoph Meinel, Stephan Waack: Lower Bounds for the Majority Communication Complexity of Various Graph Accessibility Problems. MFCS 1995: 299-308

Christoph Meinel, Stephan Waack: Lower Bounds for the Majority Communication Complexity of Various Graph Accessibility Problems. Electronic Colloquium on Computational Complexity (ECCC) 2(34) (1995)

Jochen Bern, Christoph Meinel, Anna Slobodová: Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima. Universität Trier, Mathematik/Informatik, Forschungsbericht 95-03 (1995)

Christoph Meinel: Die Entwicklung der Informatik braucht Theorie und Praxis: Ein Fallbeispiel aus dem CAD-Schaltkreisentwurf. Universität Trier, Mathematik/Informatik, Forschungsbericht 95-21 (1995)