dblp.uni-trier.dewww.uni-trier.de

Christoph Meinel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
307EELong Wang, Justus Bross, Christoph Meinel: Post Recommendation in Social Web Site. EGOV 2009: 210-221
306EEChristian Wolter, Philip Miseldine, Christoph Meinel: Verification of Business Process Entailment Constraints Using SPIN. ESSoS 2009: 1-15
305EESebastian Roschke, Feng Cheng, Christoph Meinel: An Extensible and Virtualization-Compatible IDS Management Architecture. IAS 2009: 130-134
304EEStephan Repp, Christoph Meinel: Automatic Extraction of Semantic Descriptions from the Lecturer's Speech. ICSC 2009: 513-520
303 Harald Sack, Bert Baumann, Andreas Groß, Christoph Meinel: Linking Tele-TASK Video Portal to the Semantic Web. IICS 2009: 204-
302EESebastian Roschke, Feng Cheng, Robert Schuppenies, Christoph Meinel: Towards Unifying Vulnerability Information for Attack Graph Construction. ISC 2009: 218-233
301EEFeng Cheng, Sebastian Roschke, Christoph Meinel: Implementing IDS Management on Lock-Keeper. ISPEC 2009: 360-371
300EELong Wang, Christoph Meinel: X-Tracking the Changes of Web Navigation Patterns. PAKDD 2009: 772-779
299EEMichael G. Noll, Ching-man Au Yeung, Nicholas Gibbins, Christoph Meinel, Nigel Shadbolt: Telling experts from spammers: expertise ranking in folksonomies. SIGIR 2009: 612-619
298EESerge 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
297EEAndreas Groß, Bert Baumann, Justus Bross, Christoph Meinel: Distribution to multiple platforms based on one video lecture archive. SIGUCCS 2009: 79-84
296EEChristian 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)
2008
295EEGe Zhang, Feng Cheng, Christoph Meinel: SIMPA: A SIP-Based Mobile Payment Architecture. ACIS-ICIS 2008: 287-292
294EEMichael Menzel, Christian Wolter, Christoph Meinel: Towards the Aggregation of Security Requirements in Cross-Organisational Service Compositions. BIS 2008: 297-308
293 Stephan Repp, Serge Linckels, Christoph Meinel: Automatische Erzeugung Semantischer Annotationen für Vorlesungsvideos. DeLFI 2008: 149-160
292 Stephan Repp, Andreas Groß, Christoph Meinel: Webbasierte Suche in Vorlesungsvideos auf Basis der Transkripte eines Spracherkenners. DeLFI 2008: 427-428
291EEGe Zhang, Feng Cheng, Christoph Meinel: Towards Secure Mobile Payment Based on SIP. ECBS 2008: 96-104
290EEDirk Cordel, Christoph Meinel, Stephan Repp, Christian Willems: Explorative Learning of Wireless Network Security with Tele-Lab IT-Security. ICHL 2008: 213-224
289EEMatthias Quasthoff, Harald Sack, Christoph Meinel: Who Reads and Writes the Social Web? A Security Architecture for Web 2.0 Applications. ICIW 2008: 576-582
288EEStephan Repp, Serge Linckels, Christoph Meinel: Question Answering from Lecture Videos Based on Automatically-Generated Learning Objects. ICWL 2008: 509-520
287EEWei Zhou, Christoph Meinel: Enforcing Information Flow Constraints in RBAC Environments. ISECS 2008: 159-164
286EEStephan Repp, Christoph Meinel: Segmentation of Lecture Videos Based on Spontaneous Speech Recognition. ISM 2008: 692-697
285EEStephan Repp, Serge Linckels, Christoph Meinel: Question answering from lecture videos based on an automatic semantic annotation. ITiCSE 2008: 17-21
284EEStephan Repp, Christoph Meinel, Sevil Yakhyayeva: Motivation of the students in game development projects. ITiCSE 2008: 368
283EEStephan Repp, Andreas Groß, Christoph Meinel: Dynamic Browsing of Audiovisual Lecture Recordings Based on Automated Speech Recognition. Intelligent Tutoring Systems 2008: 662-664
282 Christian Wolter, Michael Menzel, Christoph Meinel: Modelling Security Goals in Business Processes. Modellierung 2008: 197-212
281EEReinhard Keil, Christoph Meinel, Tom Sommerlatte, Udo Winand: Vorwort: Alltagstauglichkeit von Anwendungssystemen und Infrastrukturen. Multikonferenz Wirtschaftsinformatik 2008
280EESerge Linckels, Christoph Meinel: Applications of description logics to improve multimedia information retrieval for efficient educational tools. Multimedia Information Retrieval 2008: 321-328
279EEMichael G. Noll, Christoph Meinel: Exploring social annotations for web document classification. SAC 2008: 2315-2320
278EEChristian Wolter, Andreas Schaad, Christoph Meinel: Task-based entailment constraints for basic workflow patterns. SACMAT 2008: 51-60
277EEFeng Cheng, Christoph Meinel: Strong Authentication over Lock-Keeper. SOFSEM 2008: 572-584
276EEIvonne Thomas, Michael Menzel, Christoph Meinel: Using quantified trust levels to describe authentication requirements in federated identity management. SWS 2008: 71-80
275 Christian Willems, Christoph Meinel: Awareness Creation mit Tele-Lab IT-Security: Praktisches Sicherheitstraining im virtuellen Labor am Beispiel Trojanischer Pferde. Sicherheit 2008: 513-532
274EEMichael G. Noll, Christoph Meinel: The Metadata Triumvirate: Social Annotations, Anchor Texts and Search Queries. Web Intelligence 2008: 640-647
273EEStephan Repp, Andreas Groß, Christoph Meinel: Browsing within Lecture Videos Based on the Chain Index of Speech Transcription. TLT 1(3): 145-156 (2008)
2007
272 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
271 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
270EEStephan Repp, Serge Linckels, Christoph Meinel: Towards to an automatic semantic annotation for multimedia learning objects. ACM Multimedia EMME Workshop 2007: 19-26
269EEMichael 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
268EEFeng Cheng, Michael Menzel, Christoph Meinel: A Secure Web Services Providing Framework Based on Lock-Keeper. APNOMS 2007: 375-384
267 Matthias Quasthoff, Christoph Meinel: User Centricity in Healthcare Infrastructures. BIOSIG 2007: 141-152
266EELong Wang, Christoph Meinel: Mining the Students' Learning Interest in Browsing Web-Streaming Lectures. CIDM 2007: 194-201
265 Serge Linckels, Carole Dording, Christoph Meinel: Bessere Schulnoten mit MatES, dem e-Bibliothekardienst für den Mathematikunterricht. DeLFI 2007: 91-102
264EENaouel Karam, Serge Linckels, Christoph Meinel: Semantic Composition of Lecture Subparts for a Personalized e-Learning. ESWC 2007: 716-728
263 Wei Zhou, Christoph Meinel: A Policy Language for Integrating Heterogeneous Authorization Policies. GSEM 2007: 9-23
262EEWei Zhou, Christoph Meinel: Function-Based Authorization Constraints Specification and Enforcement. IAS 2007: 119-124
261EEStephan Repp, Jörg Waitelonis, Harald Sack, Christoph Meinel: Segmentation and Annotation of Audiovisual Recordings Based on Automated Speech Recognition. IDEAL 2007: 620-629
260 Stephan Repp, Ralf Ziegler, Christoph Meinel: Lernortkooperation in der IT-Ausbildung - Kompetenzentwicklung in Projekten. INFOS 2007: 135-146
259EEMichael G. Noll, Christoph Meinel: Web Search Personalization Via Social Bookmarking and Tagging. ISWC/ASWC 2007: 367-380
258EEFeng Cheng, Christian Wolter, Christoph Meinel: A Simple, Smart and Extensible Framework for Network Security Measurement. Inscrypt 2007: 517-531
257EEWei Zhou, Christoph Meinel: Team and Task Based RBAC Access Control Model. LANOMS 2007: 84-94
256EESerge Linckels, Stephan Repp, Naouel Karam, Christoph Meinel: The virtual tele-tASK professor: semantic search in recorded lectures. SIGCSE 2007: 50-54
255EEKatrin Wolf, Serge Linckels, Christoph Meinel: Teleteaching anywhere solution kit (Tele-TASK) goes mobile. SIGUCCS 2007: 366-371
254EESerge Linckels, Harald Sack, Christoph Meinel: Optimizing the Retrieval of Pertinent Answers for NL Questions with the E-Librarian Service. SMRR 2007
253EEChristian Wolter, Andreas Schaad, Christoph Meinel: Deriving XACML Policies from Business Process Models. WISE Workshops 2007: 142-153
252EELong Wang, Christoph Meinel: Detecting the Changes ofWeb Students' Learning Interest. Web Intelligence 2007: 816-819
251EEMatthias 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
250EEChristoph Meinel: Physikalische Trennung als Ultima Ratio im Hochsicherheitsbereich. Informatik Spektrum 30(3): 170-174 (2007)
249EESerge 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)
248EEChristoph Meinel: Vom ersten nationalen IT-Gipfel der Bundesregierung. it - Information Technology 49(5): 328-331 (2007)
2006
247EEChristoph Meinel, Long Wang: Building Content Clusters Based on Modelling Page Pairs. APWeb 2006: 856-861
246EESerge Linckels, Christoph Meinel, Thomas Engel: An e-Librarian Service that Understands Natural Language Questions from Students. CAiSE Forum 2006
245EEJi Hu, Dirk Cordel, Christoph Meinel: New Media for Teaching Applied Cryptography and Network Security. EC-TEL 2006: 488-493
244EESerge Linckels, Christoph Meinel: Resolving Ambiguities in the Semantic Interpretation of Natural Language Questions. IDEAL 2006: 612-619
243EEStephan Repp, Christoph Meinel: Semantic Indexing for Recorded Educational Lecture Videos. PerCom Workshops 2006: 240-245
242 Serge Linckels, Christoph Meinel: An e-Librarian Service that Yields Pertinent Resources from a Multimedia Knowledge Base. SIGMAP 2006: 208-215
241 Stephan Repp, Christoph Meinel: Segmenting of Recorded Lecture Videos - The Algorithm VoiceSeg. SIGMAP 2006: 317-322
240EESerge Linckels, Carole Dording, Christoph Meinel: Better results in mathematics lessons with a virtual personal teacher. SIGUCCS 2006: 201-209
239EEWei Zhou, Vinesh H. Raja, Christoph Meinel, Munir Ahmad: Label-Based Access Control Policy Enforcement and Management. SNPD 2006: 395-400
238EEFeng Cheng, Christoph Meinel: Deployment of Virtual Machines in Lock-Keeper. WISA 2006: 147-159
237EEChristoph Meinel, Volker Klotz: The first 10 years of the ECCC digital library. Commun. ACM 49(1): 131-134 (2006)
2005
236EEXinhua Zhang, Chunyan Jiang, Wanjun Huang, Christoph Meinel: A XML format secure protocol - OpenSST. AICCSA 2005: 89
235EEChunyan Jiang, Xinhua Zhang, Christoph Meinel: Hybrid Framework for Medical Image Segmentation. CAIP 2005: 264-271
234 Monique Reichert, Serge Linckels, Christoph Meinel, Thomas Engel: Student's Perception of a Semantic Search Engine. CELDA 2005: 139-147
233 Serge Linckels, Christoph Meinel, Thomas Engel: Teaching in the Cyber-Age: Technologies, Experiments, and Realizations. DeLFI 2005: 225-236
232 Serge Linckels, Christoph Meinel: A simple application of description logics for a semantic search engine. IADIS AC 2005: 306-311
231 Serge Linckels, Christoph Meinel: A simple solution for an intelligent librarian system. IADIS AC 2005: 495-503
230EEWanjun Huang, Xiaohua Fan, Christoph Meinel: A CORBA-Based Dynamic Reconfigurable Middleware. ICCNMC 2005: 1208-1217
229EEWei Zhou, Christoph Meinel, Vinesh H. Raja: A Framework for Supporting Distributed Access Control Policies. ISCC 2005: 442-447
228EEJi Hu, Dirk Cordel, Christoph Meinel: Virtual Machine Management for Tele-Lab "IT-Security" Server. ISCC 2005: 448-453
227EELong Wang, Christoph Meinel, Chunnian Liu: Discovering Characteristic Individual Accessing Behaviors in Web Environment. RSFDGrC (2) 2005: 466-476
226 Long Wang, Christoph Meinel: Recovering Individual Accessing Behaviour from Web Logs. SEKE 2005: 590-595
225 Chunyan Jiang, Xinhua Zhang, Christoph Meinel: Medical Image Segmentation Using a Combined Approach. VISION 2005: 84-92
2004
224EEJi Hu, Christoph Meinel: Tele-Lab IT Security: A Means to Build Security Laboratories on the Web. AINA (2) 2004: 285-288
223EEMohammad GhasemZadeh, Volker Klotz, Christoph Meinel: Embedding Memoization to the Semantic Tree Search for Deciding QBFs. Australian Conference on Artificial Intelligence 2004: 681-693
222 Christoph Meinel, Tongbo Chen, Volker Schillings: tele-TASK - Teleteaching praxistauglich für den Universitätsalltag. EMISA 2004: 35-47
221 Ji Hu, Dirk Cordel, Christoph Meinel: A Virtual Laboratory for IT Security Education. EMISA 2004: 60-71
220EESerge Linckels, Christoph Meinel: Automatic Interpretation of Natural Language for a Multimedia E-learning Tool. ICWE 2004: 435-439
219EELong Wang, Christoph Meinel: Behaviour Recovery and Complicated Pattern Definition in Web Usage Mining. ICWE 2004: 531-543
218EEWanjun Huang, Xinhua Zhang, Uwe Roth, Christoph Meinel: Routing based workflow for construction of distributed applications. ISCC 2004: 80-85
217EEJi Hu, Christoph Meinel, Michael Schmitt II: Tele-lab IT security: an architecture for interactive lessons for security education. SIGCSE 2004: 412-416
216EEJi Hu, Christoph Meinel: Tele-Lab "IT-Security" on CD: portable, reliable and safe IT security training. Computers & Security 23(4): 282-289 (2004)
215EECarsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack: On relations between counting communication complexity classes. J. Comput. Syst. Sci. 69(2): 259-280 (2004)
214 Mikail Gevantmakher, Christoph Meinel: Medizinische Bildverarbeitung - eine Übersicht Universität Trier, Mathematik/Informatik, Forschungsbericht 04-03: (2004)
213 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)
212 Volker Klotz, Christoph Meinel: 10 Jahre ECCC - Eine Digitale Bibliothek in weltweiter Benutzung Universität Trier, Mathematik/Informatik, Forschungsbericht 04-05: (2004)
2003
211 Christoph Meinel, Harald Sack: WWW - Kommunikation, Internetworking, Web-Technologien Springer 2003
210 Xinhua Zhang, Alexandre Dulaunoy, Christoph Meinel: Enhance Opensst Protocol's Security with Smart Card. ICWI 2003: 565-571
209EEWanjun Huang, Uwe Roth, Christoph Meinel: A Flexible Middleware Platform with Piped Workflow. OTM Workshops 2003: 950-959
208 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
207 Ji Hu, Michael Schmitt II, Christian Willems, Christoph Meinel: A Tutoring System for IT Security. World Conference on Information Security Education 2003: 51-60
206 Wei Zhou, Christoph Meinel: Implement Role-Based Access Control with Attribute Certificates Universität Trier, Mathematik/Informatik, Forschungsbericht 03-03: (2003)
205 Christoph Meinel, Volker Schillings: tele-TASK - Teleteaching praxistauglich für den Universitätsalltag Universität Trier, Mathematik/Informatik, Forschungsbericht 03-04: (2003)
204 Feng Cheng, Paul Ferring, Christoph Meinel: Lock-Keeper Technology - A New Network Security Solution Universität Trier, Mathematik/Informatik, Forschungsbericht 03-05: (2003)
203 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)
2002
202 Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen, Eine Einführung, 2. Auflage Teubner 2002
201 Uwe Roth, Ernst Georg Haffner, Christoph Meinel: The Internal Workflow of the Smart-Data-Server. ICWI 2002: 572-576
200 Mingchao Ma, Christoph Meinel: A Proposal for Trust Model: Independent Trust Intermediary Service (ITIS). ICWI 2002: 785-790
199 Lutz Vorwerk, Chunyan Jiang, Christoph Meinel: Application for Repairing and Presenting DICOM Objects. IMSA 2002: 318-323
198 Christoph Meinel, Harald Sack, Volker Schillings: VisBDD - A Web-based Visualization Framework for OBDD Algorithms. IWLS 2002: 385-390
197 Christoph Meinel, Christian Stangier: Modular Partitioning and Dynamic Conjunction Scheduling in Image Computation. IWLS 2002: 391-396
196 Ernst Georg Haffner, Uwe Roth, Christoph Meinel: A Hyperlink-Proposal Mechanism to Exemplify Cognitive Algorithms for Web-Applications. JCIS 2002: 517-520
195EEVolker Schillings, Christoph Meinel: tele-TASK: teleteaching anywhere solution kit. SIGUCCS 2002: 130-133
194EEChristoph Meinel, Harald Sack, Volker Schillings: Course management in the twinkle of an eye - LCMS: a professional course management system. SIGUCCS 2002: 281-283
193 Randal E. Bryant, Christoph Meinel: Ordered Binary Decision Diagrams in Electronic Design Automation Universität Trier, Mathematik/Informatik, Forschungsbericht 02-20: (2002)
192 Christoph Meinel, Volker Schillings: tele-TASK - Teleteaching Anywhere Solution Kit Universität Trier, Mathematik/Informatik, Forschungsbericht 02-21: (2002)
2001
191EEChristoph Meinel, Christian Stangier: A new partitioning scheme for improvement of image computation. ASP-DAC 2001: 97-102
190EEChristoph Meinel, Christian Stangier: Data Structures for Boolean Functions. Computational Discrete Mathematics 2001: 61-78
189 Christoph Meinel, Christian Stangier: Hierarchical Image Computation with Dynamic Conjunction Scheduling. ICCD 2001: 354-359
188 Christoph Meinel: Electronic publishing, science portals and virtual universities - the scientific community is well-established in the World Wide Web. IuK 2001
187EEChristoph Meinel, Harald Sack, Volker Schillings: IDDS: an interactive decentralized documentation system. SIGDOC 2001: 165-171
186 Uwe Roth, Kais Louizi, Ernst Georg Haffner, Christoph Meinel: How Much Middle-Tier Do You Need? WebNet 2001: 1052-1056
185 Ernst Georg Haffner, Uwe Roth, Andreas Heuer, Thomas Engel, Christoph Meinel: Managing Distributed Personal Firewalls with Smart Data Servers. WebNet 2001: 466-471
184EEChristoph Meinel, Stephan Waack: The "log rank" conjecture for modular communication complexity. Computational Complexity 10(1): 70-91 (2001)
183 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)
182 Christoph Meinel, Harald Sack: A Heuristic for (+)-OBDD Minimization Universität Trier, Mathematik/Informatik, Forschungsbericht 01-06: (2001)
181 Christoph Meinel, Harald Sack: Improving XOR-Node Placement for (+)-OBDDs Universität Trier, Mathematik/Informatik, Forschungsbericht 01-07: (2001)
180 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)
179 Christoph Meinel, Harald Sack, Volker Schillings: IDDS: An Interactive Decentallzed Documentation System Universität Trier, Mathematik/Informatik, Forschungsbericht 01-15: (2001)
178 Christoph Meinel, Christian Stangier: Modular Partitioning for Improvement of Image Computation Universität Trier, Mathematik/Informatik, Forschungsbericht 01-16: (2001)
177 Christoph Meinel, Harald Sack, Volker Schillings: VisBDD - A Webbased Visualization Framework for OBDD Algorithms Universität Trier, Mathematik/Informatik, Forschungsbericht 01-21: (2001)
2000
176 Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen, Eine Einführung Teubner 2000
175EEChristoph Meinel, Christian Stangier: Speeding up symbolic model checking by accelerating dynamic variable reordering. ACM Great Lakes Symposium on VLSI 2000: 39-42
174EEErnst Georg Haffner, Uwe Roth, Andreas Heuer, Thomas Engel, Christoph Meinel: What Do Hyperlink-Proposals and Request-Prediction Have in Common? ADVIS 2000: 285-293
173EESergey Khludov, Lutz Vorwerk, Christoph Meinel: Internet-Orientated Medical Information System for Dicom-Data Transfer, Visualization and Revision. CBMS 2000: 293-296
172EELutz Vorwerk, Christoph Meinel: A Multimedia-Editor for Making Findings in Radiology. CBMS 2000: 297-
171EEOlivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich: Web-based frameworks to enable CAD RD (abstract). DAC 2000: 711
170EEErnst 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
169EEB. Lapken, Frank Losemann, Thomas Engel, Christoph Meinel: Functional Integration Test of Mass Processes with Electronic Signatures in Public Administration. ECIS 2000
168EEChangtao Qu, Thomas Engel, Christoph Meinel: Implementation of an Enterprise-Level Groupware System Based on J2EE Platform and WebDAV Protocol. EDOC 2000: 160-169
167EEChristoph Meinel, Harald Sack, Arno Wagner: WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms. Experimental Algorithmics 2000: 127-138
166EEChristoph Meinel, Christian Stangier: Algorithms and Heuristics in VLSI Design. Experimental Algorithmics 2000: 139-162
165EEChristoph Meinel, Christian Stangier: Speeding Up Image Computation by Using RTL Information. FMCAD 2000: 443-454
164EEHarald Sack, Elena Dubrova, Christoph Meinel: Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions. ISMVL 2000: 233-238
163 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
162 Frank Losemann, Thomas Engel, Christoph Meinel: Proprietary versus Interoperable User Certificates in E-Commerce via Internet. International Conference on Internet Computing 2000: 337-342
161 Bernd Dusemund, Thomas Engel, Christoph Meinel: Smart Cards - the Personal Safe in an E-Commerce World. International Conference on Internet Computing 2000: 343-346
160 Andreas Heuer, Frank Losemann, Christoph Meinel: Advanced Reliability for Internet Transactions by Signed Bills. International Conference on Internet Computing 2000: 347-352
159 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
158 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
157 Ernst Georg Haffner, Thomas Engel, Christoph Meinel: Techniques for Securing Networks Against Criminal Attacks. International Conference on Internet Computing 2000: 365-370
156 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
155 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
154 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
153 Changtao Qu, Christoph Meinel, Thomas Engel: Implementation of a WebDAV-based Collaborative Distance Learning Environment. SIGUCCS 2000: 258-265
152 Lutz Vorwerk, Thomas Engel, Christoph Meinel: Proposal for a combination of compression and encryption. VCIP 2000: 694-703
151 Andreas Heuer, Frank Losemann, Christoph Meinel: Logging and Signing Document-Transfers on the WWW-A Trusted Third Party Gateway. WISE 2000: 146-152
150EELutz Vorwerk, Sergey Khludov, Christoph Meinel: Concept for Increased Security for Internet/Intranet - Based Administration of Patient Data. WSCG 2000
149 Ernst Georg Haffner, Andreas Heuer, Uwe Roth, Thomas Engel, Christoph Meinel: Link Proposals with Case-Based Reasoning Techniques. WebNet 2000: 233-239
148 Andreas Heuer, Frank Losemann, Christoph Meinel: Signed Preservation Of Online References. WebNet 2000: 247-251
147 Uwe Roth, Andreas Heuer, Ernst Georg Haffner, Christoph Meinel: A Search-Engine-Topologie to Improve Document Retrieval on the Web. WebNet 2000: 470-475
146EEChristoph 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)
1999
145 Christoph Meinel, Sophie Tison: STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999, Proceedings Springer 1999
144EEChristoph Meinel, Klaus Schwettmann, Anna Slobodová: Application Driven Variable Reordering and an Example Implementation in Reachability Analysis. ASP-DAC 1999: 327-330
143 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
142 Sergei Hludov, Christoph Meinel: LZW-JPEG Kompression radiologischer Bilder. Bildverarbeitung für die Medizin 1999: 297-301
141EESergei Hludov, Christoph Meinel: DICOM - Image Compression. CBMS 1999: 282-
140EESergei Hludov, Christoph Meinel, Guido Noelle, Frank Warda: PACS for Teleradiology. CBMS 1999: 6-11
139EEChristoph Meinel, Christian Stangier: Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering. DATE 1999: 760-761
138 Uwe Roth, Ernst Georg Haffner, Thomas Engel, Christoph Meinel: The Smart Data Server: A New Kind of Middle-Tier. IMSA 1999: 361-365
137 Andreas Heuer, Christoph Meinel: Database based History Browse Assistant. IMSA 1999: 78-82
136EEZhongdong 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
135EEJochen Bern, Christoph Meinel: One step further: extending electronic submission into the reviewing process. SIGDOC 1999: 65-69
134 Sergei Hludov, Christoph Meinel: Compression of Medical Images. SIP 1999: 275-278
133 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
132 Andreas Heuer, Christoph Meinel: Database based Navigation Assistant. WebNet 1999: 505-510
131 Uwe Roth, Ernst Georg Haffner, Thomas Engel, Christoph Meinel: An Approach to Distributed Functionality - The Smart Data Server. WebNet 1999: 931-936
130 Daniel Krob, Christoph Meinel, Michel Morvan: Editors foreword - Selected papers from STACS 1998. Discrete Mathematics & Theoretical Computer Science 3(3): 71-72 (1999)
129EEChristoph Meinel, Harald Sack: Parity-OBDDs - a BDD structure for Probabilistic Verification. Electr. Notes Theor. Comput. Sci. 22: (1999)
128 Christoph Meinel, Thorsten Theobald: On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. ITA 33(1): 21-32 (1999)
127EEChristoph 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)
126 Jochen Bern, Christoph Meinel: One Step Further: Integrating Electronic Submission and the Reviewing Process Universität Trier, Mathematik/Informatik, Forschungsbericht 99-16: (1999)
125 Christoph Meinel, Harald Sack: Algorithmic Considerations for +-OBDD Reordering Universität Trier, Mathematik/Informatik, Forschungsbericht 99-19: (1999)
124 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)
123 Christoph Meinel, Christian Stangier: Speeding Up Symbolic Model Checking by Accelerating Dynamic Variable Reordering Universität Trier, Mathematik/Informatik, Forschungsbericht 99-28: (1999)
1998
122 Christoph Meinel, Thorsten Theobald: Algorithmen und Datenstrukturen im VLSI-Design: OBDD - Grundlagen und Anwendungen Springer 1998
121 Christoph Meinel, Thorsten Theobald: Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications Springer 1998
120 Michel Morvan, Christoph Meinel, Daniel Krob: STACS 98, 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings Springer 1998
119 Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Function Decomposition and Synthesis Using Linear Sifting. ASP-DAC 1998: 81-86
118EEJochen Bern, Christoph Meinel, Harald Sack: The STACS Electronic Submission Service. ECDL 1998: 639-640
117 Sergei Hludov, Thomas Engel, Christoph Meinel: Adaptive compression of DICOM-image data. Electronic Imaging 1998: 260-266
116 Ernst Georg Haffner, Thomas Engel, Christoph Meinel: The flood-gate principle - a hybrid approach to a high security solution. ICISC 1998: 147-160
115 Andreas Heuer, K. Siemonsen, Thomas Engel, Christoph Meinel: Interface for Navigation and Database - Querying via WWW. ISI 1998: 273-282
114EEJochen Bern, Christoph Meinel, Harald Sack: Electronic Colloquia: Idea and Practice. SIGDOC 1998: 113-119
113EEAnna Slobodová, Christoph Meinel: Sample Method for Minimization of OBDDs. SOFSEM 1998: 419-428
112 Sergei Hludov, Claus Schröter, Christoph Meinel: Adaptive compression of image data. SYBEN 1998: 520-527
111EEChristoph 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)
110 Christoph Meinel, Thomas Engel: Institut für Telematik (Trier) - angewandte Forschung nach Fraunhofer Ideal. Inform., Forsch. Entwickl. 13(2): 97-101 (1998)
109 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)
108 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)
107 Christoph Meinel, Christian Stangier: Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering Universität Trier, Mathematik/Informatik, Forschungsbericht 98-23: (1998)
106 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)
105 Christoph Meinel, Anna Slobodová: Accelerating OBDD-Minimization by Means of Structural and Semantical Properties Universität Trier, Mathematik/Informatik, Forschungsbericht 98-25: (1998)
104 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)
103 Christoph Meinel, Harald Sack: Xor-OBDDs - a BDD Structure for Probabilistic Verification Universität Trier, Mathematik/Informatik, Forschungsbericht 98-28: (1998)
102 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
101EEChristoph Meinel, Fabio Somenzi, Thorsten Theobald: Linear Sifting of Decision Diagrams. DAC 1997: 202-207
100EEJochen Bern, Carsten Damm, Christoph Meinel: The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use. ECDL 1997: 405-421
99 Christoph Meinel, Thorsten Theobald: Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. GI Jahrestagung 1997: 307-316
98 Christoph Meinel, Carsten Damm, Martin Mundhenk: 33. Workshop "Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen". GI Jahrestagung 1997: 624-625
97 Christoph Meinel, Anna Slobodová: Speeding up Variable Reordering of OBDDs. ICCD 1997: 338-343
96EEChristoph Meinel, Thorsten Theobald: On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. MFCS 1997: 408-417
95EEChristoph Meinel, Anna Slobodová: A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams. STACS 1997: 213-224
94 Christoph Meinel, Anna Slobodová: A Unifying Theoretical Background for Some Bdd-based Data Structures. Formal Methods in System Design 11(3): 223-237 (1997)
93EEChristoph Meinel, Thorsten Theobald: Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. Informatik Spektrum 20(5): 268-275 (1997)
92 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)
91 Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Function Decomposition and Synthesis Using Linear Sifting Universität Trier, Mathematik/Informatik, Forschungsbericht 97-14: (1997)
90 Christoph Meinel, Harald Sack: Case Study: Manipulating xor-OBDDs by Means of Signatures Universität Trier, Mathematik/Informatik, Forschungsbericht 97-15: (1997)
89 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)
88 Christoph Meinel, Anna Slobodová, Peter Willems: Block-Restricted Reordering - Extended Experiments Universität Trier, Mathematik/Informatik, Forschungsbericht 97-27: (1997)
87 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)
1996
86 Christoph Meinel, Thorsten Theobald: Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. FMCAD 1996: 404-418
85EEChristoph Meinel, Stephan Waack: The "log Rank" Conjecture for Modular Communication Complexity. STACS 1996: 619-630
84EEChristoph 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)
83EEChristoph Meinel, Stephan Waack: The ``Log Rank'' Conjecture for Modular Communication Complexity Electronic Colloquium on Computational Complexity (ECCC) 3(17): (1996)
82 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)
81EEJochen 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)
80EEJochen 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)
79 Christoph Meinel, Stephan Waack: Lower Bounds for the Majority Communication Complexity of Various Graph Accessibility Problems. Mathematical Systems Theory 29(6): 649-659 (1996)
78 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)
77 Thorsten Theobald, Christoph Meinel: State Encodings and OBDD-Sizes Universität Trier, Mathematik/Informatik, Forschungsbericht 96-04: (1996)
76 Christoph Meinel, Thorsten Theobald: Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines Universität Trier, Mathematik/Informatik, Forschungsbericht 96-23: (1996)
75 Christoph Meinel, Anna Slobodová: Speeding up Variable Reordering of OBDDs Universität Trier, Mathematik/Informatik, Forschungsbericht 96-40: (1996)
74 Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Linear Sifting of Decision Diagrams Universität Trier, Mathematik/Informatik, Forschungsbericht 96-42: (1996)
1995
73EEJochen Bern, Christoph Meinel, Anna Slobodová: Global rebuilding of OBDDs Avoiding Memory Requirement Maxima. CAV 1995: 4-15
72EEJochen Bern, Christoph Meinel, Anna Slobodová: Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits. DAC 1995: 408-413
71 Christoph Meinel: Die Entwicklung der Informatik braucht Theorie und Praxis. Ein Fallbeispiel aus dem CAD-Schaltkreisentwurf. GI Jahrestagung 1995: 339-346
70 Christoph Meinel, Stephan Waack: Lower Bounds for the Modular Communication Complexity of Various Graph Accessibility Problems. LATIN 1995: 427-435
69EEChristoph Meinel, Stephan Waack: Lower Bounds for the Majority Communication Complexity of Various Graph Accessibility Problems. MFCS 1995: 299-308
68EEChristoph Meinel, Stephan Waack: Lower Bounds for the Majority Communication Complexity of Various Graph Accessibility Problems Electronic Colloquium on Computational Complexity (ECCC) 2(34): (1995)
67 Christoph Meinel, Stephan Waack: Separating Complexity Classes Related to Bounded Alternating \omega-Branching Programs. Mathematical Systems Theory 28(1): 21-39 (1995)
66 Jochen Bern, Christoph Meinel, Anna Slobodová: Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima Universität Trier, Mathematik/Informatik, Forschungsbericht 95-03: (1995)
65 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)
1994
64 Jochen Bern, Jordan Gergov, Christoph Meinel, Anna Slobodová: Boolean Manipulation with Free BDD's. First Experimental Results. EDAC-ETC-EUROASIC 1994: 200-207
63 Jordan Gergov, Christoph Meinel: Boolean Manipulation with Free BDDs: An Application in Combinational Logic Verification. IFIP Congress (1) 1994: 309-314
62EEChristoph Meinel, Anna Slobodová: On the Complexity of Constructing Optimal Ordered Binary Decision Diagrams. MFCS 1994: 515-524
61EEChristoph Meinel, Stephan Waack: The Möbius Function, Variations Ranks, and Theta(n)-Bounds on the Modular Communication Complexity of the Undirected Graph Connectivity Problem Electronic Colloquium on Computational Complexity (ECCC) 1(22): (1994)
60 Carsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack: Separating Oblivious Linear Length MODp-Branching Program Classes. Elektronische Informationsverarbeitung und Kybernetik 30(2): 63-75 (1994)
59 Jordan Gergov, Christoph Meinel: Efficient Boolean Manipulation With OBDD's can be Extended to FBDD's. IEEE Trans. Computers 43(10): 1197-1209 (1994)
58 Jordan Gergov, Christoph Meinel: On the Complexity of Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs. Inf. Process. Lett. 50(6): 317-322 (1994)
57 Jochen Bern, Christoph Meinel, Anna Slobodová: Some Heuristics for Generating Tree-like FBDD Types Universität Trier, Mathematik/Informatik, Forschungsbericht 94-03: (1994)
56 Christoph Meinel, Stephan Waack: The Möbius Function, Variations Ranks, and Theta(n)-Bounds on the Modular Communication Complexity of the Undirected Graph Connectivity Problem Universität Trier, Mathematik/Informatik, Forschungsbericht 94-04: (1994)
55 Christoph Meinel, Anna Slobodová: On the Complexity of Constructing Optimal OBDD's Universität Trier, Mathematik/Informatik, Forschungsbericht 94-05: (1994)
54 Jochen Bern, Christoph Meinel, Anna Slobodová: Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits Universität Trier, Mathematik/Informatik, Forschungsbericht 94-16: (1994)
53 Christoph Meinel, Anna Slobodová: A Unifying Theoretical Background for Some BDD-based Data Structures Universität Trier, Mathematik/Informatik, Forschungsbericht 94-17: (1994)
1993
52EEChristoph Meinel, Stephan Waack: Separating Complexity Classes Related to Bounded Alternating omega-Branching Programs. ISAAC 1993: 379-388
51EEJordan Gergov, Christoph Meinel: Frontiers of Feasible and Probabilistic Feasible Boolean Manipulation with Branching Programs. STACS 1993: 576-585
50 Jordan Gergov, Christoph Meinel: Combinational Logic Verification with FBDDs Universität Trier, Mathematik/Informatik, Forschungsbericht 93-08: (1993)
49 Anna Slobodová, Christoph Meinel: Efficient Manipulation of FBDDs by Means of a Modified OBDD-Package Universität Trier, Mathematik/Informatik, Forschungsbericht 93-09: (1993)
48 Jordan Gergov, Christoph Meinel: Efficient Boolean Manipulation with OBDD's can be Extended to FBDD's Universität Trier, Mathematik/Informatik, Forschungsbericht 93-12: (1993)
47 Jochen Bern, Jordan Gergov, Christoph Meinel, Anna Slobodová: Boolean Manipulation with Free BDD's - First Experimental Results Universität Trier, Mathematik/Informatik, Forschungsbericht 93-20: (1993)
46 Jordan Gergov, Christoph Meinel: Mod-2-OBDD's: A Generalization of OBDD's and EXOR-Sum-of-Products Universität Trier, Mathematik/Informatik, Forschungsbericht 93-21: (1993)
1992
45 Christoph Meinel, Stephan Waack: Upper and Lower Bounds for Certain Graph Accessibility Problems on Bounded Alternating omega-Branching Programs. Complexity Theory: Current Research 1992: 273-290
44EECarsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack: Separating Counting Communication Complexity Classes. STACS 1992: 281-292
43EEJordan Gergov, Christoph Meinel: Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs. WG 1992: 310-320
42 Christoph Meinel: Branching Programs - An Efficient Data Structure for Computer-Aided Circuit Design. Bulletin of the EATCS 46: 149-170 (1992)
41 Matthias Krause, Christoph Meinel, Stephan Waack: Separating complexity classes related to certain input oblivious logarithmic space-bounded turing machines. ITA 26: 345-362 (1992)
40 Juraj Hromkovic, Matthias Krause, Christoph Meinel, Stephan Waack: Branching Programs Provide Lower Bounds on the Areas of Multilective Deterministic and Nondeterministic VLSI-Circuits Inf. Comput. 96(2): 168-178 (1992)
39 Gerhard Buntrock, Carsten Damm, Ulrich Hertrampf, Christoph Meinel: Structure and Importance of Logspace-MOD Class. Mathematical Systems Theory 25(3): 223-237 (1992)
38 Carsten Damm, Christoph Meinel: Separating Complexity Classes Related to Omega-Decision Trees. Theor. Comput. Sci. 106(2): 351-360 (1992)
37 Carsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack: Separating Counting Communication Complexity Classes Universität Trier, Mathematik/Informatik, Forschungsbericht 92-01: (1992)
36 Christoph Meinel, Stephan Waack: Upper and Lower Bounds for Certain Graph-Accessability-Problems on Bounded Alternating (omega)-Branching Programs Universität Trier, Mathematik/Informatik, Forschungsbericht 92-04: (1992)
35 Christoph Meinel: A Note on Möbius Functions and the Communication Complexity of the Graph-Accessability-Problem Universität Trier, Mathematik/Informatik, Forschungsbericht 92-05: (1992)
34 Jordan Gergov, Christoph Meinel: Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs Universität Trier, Mathematik/Informatik, Forschungsbericht 92-07: (1992)
33 Jordan Gergov, Christoph Meinel: Efficient Analysis and Manipulation of OBDDs can be Extended to Read-once-only Branching Programs Universität Trier, Mathematik/Informatik, Forschungsbericht 92-10: (1992)
1991
32EEChristoph Meinel, Stephan Waack: Upper and Lower Bounds for Certain Graph-Accessibility Problems on Bounded Alternating Omega-Branching Programs. MFCS 1991: 337-345
31EEGerhard Buntrock, Carsten Damm, Ulrich Hertrampf, Christoph Meinel: Structure and Importance of Logspace-MOD-Classes. STACS 1991: 360-371
30 Matthias Krause, Christoph Meinel, Stephan Waack: Separating the Eraser Turing Machine Classes L_e, NL_e, co-NL_e and P_e. Theor. Comput. Sci. 86(2): 267-275 (1991)
1990
29EEChristoph Meinel: Restricted Branching Programs and Their Computational Power. MFCS 1990: 61-75
28 Lothar Budach, Ernst-Günter Giessmann, Hubert Grassmann, Bernd Graw, Christoph Meinel, Burkhard Molzan, Uwe Schäfer, Steffen Zahn, Peter Zienicke: RELACS - a Recursive Layout Computing System. Elektronische Informationsverarbeitung und Kybernetik 26(5/6): 315-335 (1990)
27 Christoph Meinel, Lothar Budach, Frank Balfanz, Steffen Zahn, Peter Zienicke: Entwurfserfahrungen mit dem rekursiven Layoutentwurfssystem RELACS; I. Elektronische Informationsverarbeitung und Kybernetik 26(7): 389-414 (1990)
26 Christoph Meinel, Lothar Budach, Frank Balfanz, Steffen Zahn, Peter Zienicke: Entwurfserfahrungen mit dem rekursiven Layoutentwurfssystem RELACS; II. Elektronische Informationsverarbeitung und Kybernetik 26(8/9): 501-515 (1990)
25 Christoph Meinel: Polynomial Size Omega-Branching Programs and Their Computational Power Inf. Comput. 85(2): 163-182 (1990)
24 Christoph Meinel: Logic VS. Complexity Theoretic Properties of the Graph Accessibility Problem for Directed Graphs of Bounded Degree. Inf. Process. Lett. 34(3): 143-146 (1990)
1989
23 Christoph Meinel: Modified Branching Programs and Their Computational Power Springer 1989
22EEChristoph Meinel: Omega-Branching Programs of Bounded Width. CSL 1989: 242-253
21 Carsten Damm, Christoph Meinel: Separating Completely Complexity Classes Related to Polynomial Size Omega-Decision Trees. FCT 1989: 127-136
20 Matthias Krause, Christoph Meinel, Stephan Waack: Separating Complexity Classes Related to Restricted Logarithmic Space-Bounded Turing Machines. IFIP Congress 1989: 287-292
19EEChristoph Meinel: Switching Graphs and Their Complexity. MFCS 1989: 350-359
18 Matthias Krause, Christoph Meinel, Stephan Waack: Seperating Complexity Classes Related to Certain Input Oblivious Logarithmic Space-Bounded Turing Machines. Structure in Complexity Theory Conference 1989: 240-249
17 Lothar Budach, Ernst-Günter Giessmann, Hubert Grassmann, Bernd Graw, Christoph Meinel, Burkhard Molzan, Uwe Schäfer, Peter Zienicke: Recursive VLSI design theory and application. Bulletin of the EATCS 37: 131-150 (1989)
1988
16EEMatthias Krause, Christoph Meinel, Stephan Waack: Separating the Eraser Turing Machine Classes Le, NLe, co-NLe and Pe. MFCS 1988: 405-413
15 Christoph Meinel, Peter Zienicke: Recursive design of communication schemes for parallel computation with RELACS. Parcella 1988: 308-310
14EEChristoph Meinel: The Power of Polynomial Size Omega-Branching Programs. STACS 1988: 81-90
13 Christoph Meinel: The Power of Nondeterminism in Polynomial-Size Bounded-Width Branching Programs. Theor. Comput. Sci. 62(3): 319-325 (1988)
1987
12 Christoph Meinel: The Power of Nondeterminism in Polynominal-size Bounded-width Branching Programs. FCT 1987: 302-309
11 Lothar Budach, Ernst-Günter Giessmann, Hubert Grassmann, Bernd Graw, Christoph Meinel: RELACS - A Recursive Layout Computing System. Parallel Algorithms and Architectures 1987: 86-88
10 Christoph Meinel: The Nonuniform Complexity Classes NC, L and NL. Elektronische Informationsverarbeitung und Kybernetik 23(10/11): 545-558 (1987)
1986
9EEChristoph Meinel: p-Projection Reducibility and the Complexity Classes L(nonuniform) and NL(nonuniform). MFCS 1986: 527-535
8 Christoph Meinel: Symbolic Simulation of Synchronous Parallel Systems. Elektronische Informationsverarbeitung und Kybernetik 22(7/8): 355-370 (1986)
1985
7 Christoph Meinel: A Functional Description of Synchronous Systems. Elektronische Informationsverarbeitung und Kybernetik 21(4/5): 231-235 (1985)
1982
6 Lothar Budach, Christoph Meinel: Environments and Automata I. Elektronische Informationsverarbeitung und Kybernetik 18(1/2): 3-40 (1982)
5 Lothar Budach, Christoph Meinel: Environment and Automata II. Elektronische Informationsverarbeitung und Kybernetik 18(3): 115-139 (1982)
4 Christoph Meinel: Embedding of the Poset of Turing Degrees in the Poset [µ, <=]. Elektronische Informationsverarbeitung und Kybernetik 18(6): 339-344 (1982)
3 Christoph Meinel: The Importance of Plane Labyrinths. Elektronische Informationsverarbeitung und Kybernetik 18(7/8): 419-422 (1982)
2 Christoph Meinel: On the Structure of Endomorphism Monoids and Automorphism Groups of Group Labyrinths in the Category code. Elektronische Informationsverarbeitung und Kybernetik 18(9): 501-505 (1982)
1981
1 Christoph Meinel: About the by Codings of Environments Induced Posets [az, <=] and [Lz, <=]. FCT 1981: 445-452

Coauthor Index

1Munir Ahmad [239]
2Frank Balfanz [26] [27]
3Bert Baumann [297] [303]
4Jochen Bern [47] [54] [57] [64] [66] [72] [73] [80] [81] [89] [100] [114] [118] [126] [135] [208]
5Mária Bieliková [272]
6Justus Bross [297] [307]
7Randal E. Bryant [193]
8Lothar Budach [5] [6] [11] [17] [26] [27] [28]
9Gerhard Buntrock [31] [39]
10Gianpiero Cabodi [108]
11Tongbo Chen [222]
12Feng Cheng [305]
13Feng Cheng [204] [208] [238] [258] [268] [277] [291] [295] [301] [302]
14Dirk Cordel [221] [228] [245] [290]
15Olivier Coudert [171]
16Carsten Damm [21] [31] [37] [38] [39] [44] [60] [98] [100] [215]
17Carole Dording [240] [265] [298]
18Elena Dubrova [124] [164]
19Alexandre Dulaunoy [210]
20Bernd Dusemund [161]
21Thomas Engel [110] [115] [116] [117] [131] [133] [136] [138] [143] [149] [152] [153] [154] [156] [157] [159] [161] [162] [163] [168] [169] [170] [174] [185] [233] [234] [246]
22Xiaohua Fan [230]
23Paul Ferring [204] [208]
24Jordan Gergov [33] [34] [43] [46] [47] [48] [50] [51] [58] [59] [63] [64] [82]
25Michael Gerz (Michael Schmitt II) [203] [207] [217]
26Mikail Gevantmakher [213] [214]
27Mohammad GhasemZadeh [223]
28Nicholas Gibbins [299]
29Ernst-Günter Giessmann [11] [17] [28]
30Hubert Grassmann [11] [17] [28]
31Bernd Graw [11] [17] [28]
32Andreas Groß [273] [283] [292] [297] [303]
33Ernst Georg Haffner [116] [131] [133] [136] [138] [147] [149] [154] [155] [156] [157] [158] [170] [174] [185] [186] [196] [201]
34Ulrich Hertrampf [31] [39]
35Andreas Heuer [115] [132] [133] [136] [137] [147] [148] [149] [151] [155] [156] [158] [160] [170] [174] [185]
36Sergei Hludov [112] [117] [134] [140] [141] [142] [143]
37Wiebe van der Hoek [271] [272]
38Juraj Hromkovic [40]
39Ji Hu [207] [216] [217] [221] [224] [228] [245]
40Wanjun Huang [209] [218] [230] [236]
41Giuseppe F. Italiano [271] [272]
42Chunyan Jiang [199] [225] [235] [236]
43Naouel Karam [256] [264]
44Reinhard Keil-Slawik (Reinhard Keil) [281]
45Sergey Khludov [150] [173]
46Volker Klotz [212] [223] [237]
47Matthias Krause [16] [18] [20] [30] [37] [40] [41] [44] [60] [215]
48Yves Kreis [298]
49Daniel Krob [120] [130]
50B. Lapken [169]
51Jan van Leeuwen [271] [272]
52Serge Linckels [220] [231] [232] [233] [234] [240] [242] [244] [246] [249] [254] [255] [256] [264] [265] [270] [280] [285] [288] [293] [298]
53Chunnian Liu [227]
54Frank Losemann [148] [151] [160] [162] [169]
55Kais Louizi [186]
56Mingchao Ma [200]
57Igor L. Markov [171]
58Michael Menzel [268] [276] [282] [294] [296]
59Philip Miseldine [296] [306]
60Burkhard Molzan [17] [28]
61Michel Morvan [120] [130]
62Gerhard Müllenheim [208]
63Martin Mundhenk [98] [176] [202]
64Guido Noelle [140]
65Michael G. Noll [259] [269] [274] [279] [299]
66Frantisek Plasil [271] [272]
67Changtao Qu [153] [168]
68Matthias Quasthoff [251] [267] [289]
69Stefano Quer [108]
70Vinesh H. Raja [229] [239]
71Monique Reichert [234]
72Stephan Repp [241] [243] [256] [260] [261] [270] [273] [283] [284] [285] [286] [288] [290] [292] [293] [304]
73Robert A. P. Reuter [298]
74Sebastian Roschke [301] [302] [305]
75Uwe Roth [131] [133] [138] [147] [149] [154] [155] [156] [159] [163] [170] [174] [185] [186] [196] [201] [209] [218]
76Harald Sack [90] [102] [103] [108] [114] [118] [124] [125] [129] [164] [167] [177] [179] [180] [181] [182] [187] [194] [198] [211] [251] [254] [261] [271] [272] [289] [303]
77Andreas Schaad [253] [278] [296]
78Uwe Schäfer [17] [28]
79Volker Schillings [177] [179] [187] [192] [194] [195] [198] [205] [222]
80Claus Schröter [112]
81Robert Schuppenies [302]
82Klaus Schwettmann [106] [144]
83Ellen Sentovich (Ellen M. Sentovich) [171]
84Nigel Shadbolt (Nigel R. Shadbolt) [299]
85K. Siemonsen [115]
86Anna Slobodová [47] [49] [53] [54] [55] [57] [62] [64] [66] [72] [73] [75] [78] [80] [81] [84] [88] [92] [94] [95] [97] [105] [106] [108] [113] [144]
87Fabio Somenzi [74] [91] [101] [119] [146]
88Tom Sommerlatte [281]
89Christian Stangier [87] [102] [107] [108] [123] [139] [165] [166] [175] [178] [189] [190] [191] [197]
90Thorsten Theobald [74] [76] [77] [86] [91] [93] [96] [99] [101] [109] [111] [119] [121] [122] [127] [128] [146] [183]
91Ivonne Thomas [276]
92Sophie Tison [145]
93Lutz Vorwerk [150] [152] [172] [173] [199]
94Stephan Waack [16] [18] [20] [30] [32] [36] [37] [40] [41] [44] [45] [52] [56] [60] [61] [67] [68] [69] [70] [79] [83] [85] [184] [215]
95Arno Wagner [102] [104] [167] [180]
96Jörg Waitelonis [261]
97Long Wang [219] [226] [227] [247] [252] [266] [300] [307]
98Frank Warda [140]
99Claude Weber [298]
100Christian Willems [207] [275] [290]
101Peter Willems [88]
102Udo Winand [281]
103Katrin Wolf [255]
104Christian Wolter [253] [258] [278] [282] [294] [296] [306]
105Sevil Yakhyayeva [284]
106Ching-man Au Yeung [299]
107Steffen Zahn [26] [27] [28]
108Ge Zhang [291] [295]
109Xinhua Zhang [210] [218] [225] [235] [236]
110Zhongdong Zhang [136] [158] [163]
111Wei Zhou [206] [229] [239] [257] [262] [263] [287]
112Ralf Ziegler [260]
113Peter Zienicke [15] [17] [26] [27] [28]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)