Christoph Meinel Home Page Coauthor index pubzone.org

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

DBLP keys2012
390Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmad AlSa'deh, Hosnieh Rafiee, Christoph Meinel: Stopping time condition for practical IPv6 Cryptographically Generated Addresses. ICOIN 2012: 257-262
389Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHosnieh Rafiee, Ahmad AlSa'deh, Christoph Meinel: Multicore-based auto-scaling SEcure Neighbor Discovery for Windows operating systems. ICOIN 2012: 269-274
388Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias 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)
387Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJustus Bross, Keven Richly, Matthias Kohnen, Christoph Meinel: Identifying the top-dogs of the blogosphere. Social Netw. Analys. Mining 2(1): 53-67 (2012)
2011
386Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Linckels, Christoph Meinel: E-Librarian Service - User-Friendly Semantic Search in Digital Libraries. Springer 2011: I-XV, 1-212
385no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Harald Sack: Internetworking - Technische Grundlagen und Anwendungen Springer 2011
384Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWesam Dawoud, Ibrahim Takouna, Christoph Meinel: Elastic VM for Cloud Resources Provisioning Optimization. ACC (1) 2011: 431-445
383Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaojin Yang, Christoph Oehlke, Christoph Meinel: German Speech Recognition: A Solution for the Analysis and Processing of Lecture Recordings. ACIS-ICIS 2011: 201-206
382Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Roschke, Feng Cheng, Christoph Meinel: A New Alert Correlation Algorithm Based on Attack Graph. CISIS 2011: 58-67
381Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaja Gumienny, Lutz Gericke, Matthias Quasthoff, Christian Willems, Christoph Meinel: Tele-Board: Enabling efficient collaboration in digital design spaces. CSCWD 2011: 47-54
380Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Gericke, Raja Gumienny, Christoph Meinel: Analyzing distributed whiteboard interactions. CollaborateCom 2011: 27-34
379Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRehab Alnemr, Christoph Meinel: Why rating is not enough: A study on online reputation systems. CollaborateCom 2011: 415-421
378Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaja Gumienny, Lutz Gericke, Markus Dreseler, Sebastian Meyer, Christoph Meinel: User-centered development of social collaboration software. CollaborateCom 2011: 451-457
377Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIbrahim Takouna, Wesam Dawoud, Christoph Meinel: Accurate Mutlicore Processor Power Models for Power-Aware Resource Management. DASC 2011: 419-426
376Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvonne Thomas, Robert Warschofsky, Christoph Meinel: Whom to Trust? Generating WS-Security Policies Based on Assurance Information. ECOWS 2011: 65-72
375Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Cheng, Sebastian Roschke, Christoph Meinel: An Integrated Network Scanning Tool for Attack Graph Construction. GPC 2011: 138-147
374Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter LoBue, Raja Gumienny, Christoph Meinel: Simulating Additional Area on Tele-Board's Large Shared Display. HCI (22) 2011: 519-523
373Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmad AlSa'deh, Feng Cheng, Christoph Meinel: CS-CGA: Compact and more Secure CGA. ICON 2011: 299-304
372Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvonne Thomas, Christoph Meinel: An Attribute Assurance Framework to Define and Match Trust in Identity Attributes. ICWS 2011: 580-587
371Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Warschofsky, Michael Menzel, Christoph Meinel: Automated Security Service Orchestration for the Identity Management in Web Service Based Systems. ICWS 2011: 596-603
370Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRehab Alnemr, Christoph Meinel: From Reputation Models and Systems to Reputation Ontologies. IFIPTM 2011: 98-116
369Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaojin Yang, Maria Siebert, Patrick Luhne, Harald Sack, Christoph Meinel: Automatic Lecture Video Indexing Using Video OCR Technology. ISM 2011: 111-116
368Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Roschke, Feng Cheng, Christoph Meinel: BALG: Bypassing Application Layer Gateways using multi-staged encrypted shellcodes. Integrated Network Management 2011: 399-406
367Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHosnieh Rafiee, Ahmad AlSa'deh, Christoph Meinel: WinSEND: Windows SEcure Neighbor Discovery. SIN 2011: 243-246
366Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJustus F. M. Broß, Patrick Schilf, Maximilian Jenders, Christoph Meinel: Visualizing the Blogosphere with BlogConnect. SocialCom/PASSAT 2011: 651-656
365Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilipp Berger, Patrick Hennig, Justus Bross, Christoph Meinel: Mapping the Blogosphere-Towards a Universal and Scalable Blog-Crawler. SocialCom/PASSAT 2011: 672-677
364Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranka 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
363Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChing-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)
362Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChing-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)
361Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJustus 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)
2010
360Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Siebert, Franka Moritz, Christoph Meinel: Establishing an Expandable Architecture for a Tele-teaching Portal. ACIS-ICIS 2010: 323-328
359Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Siebert, Christoph Meinel: Realization of an Expandable Search Function for an E-Learning Web Portal. ACIS-ICIS 2010: 361-366
358Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranka 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
357Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Cheng, Thanh-Dien Tran, Sebastian Roschke, Christoph Meinel: A Specialized Tool for Simulating Lock-Keeper Data Transfer. AINA 2010: 182-189
356Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJustus Bross, Matthias Quasthoff, Philipp Berger, Patrick Hennig, Christoph Meinel: Mapping the Blogosphere with RSS-Feeds. AINA 2010: 453-460
355Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaxim Schnjakin, Rehab Alnemr, Christoph Meinel: Contract-based cloud architecture. CloudDB 2010: 33-40
354Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Gericke, Raja Gumienny, Christoph Meinel: Message capturing as a paradigm for asynchronous digital whiteboard interaction. CollaborateCom 2010: 1-10
353Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Roschke, Luan Ibraimi, Feng Cheng, Christoph Meinel: Secure Communication Using Identity Based Encryption. Communications and Multimedia Security 2010: 256-267
352Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Warschofsky, Michael Menzel, Christoph Meinel: Transformation and Aggregation of Web Service Security Requirements. ECOWS 2010: 43-50
351Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRehab Alnemr, Adrian Paschke, Christoph Meinel: Enabling reputation interoperability through semantic technologies. I-SEMANTICS 2010
350Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Quasthoff, Max Völkel, Christoph Meinel: Unsupervised matching of object models and ontologies using canonical vocabulary. I-SEMANTICS 2010
349Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Roschke, Feng Cheng, Christoph Meinel: Using vulnerability information and attack graphs for intrusion detection. IAS 2010: 68-73
348Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Menzel, Robert Warschofsky, Christoph Meinel: A Pattern-Driven Generation of Security Policies for Service-Oriented Architectures. ICWS 2010: 243-250
347Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvonne Thomas, Christoph Meinel: An identity provider to manage reliable digital identities for SOA and the web. IDtrust 2010: 26-36
346Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Menzel, Christoph Meinel: SecureSOA. IEEE SCC 2010: 146-153
345Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Roschke, Feng Cheng, Christoph Meinel: A Flexible and Efficient Alert Correlation Platform for Distributed IDS. NSS 2010: 24-31
344Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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
343Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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
342Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Rieck, Björn Schünemann, Ilja Radusch, Christoph Meinel: Efficient traffic simulator coupling in a distributed V2X simulation environment. SimuTools 2010: 72
341Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaxim Schnjakin, Rehab Alnemr, Christoph Meinel: A Security and High-Availability Layer for Cloud Storage. WISE Workshops 2010: 449-462
340Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJustus Bross, Patrick Schilf, Christoph Meinel: Visualizing Blog Archives to Explore Content- and Context-Related Interdependencies. Web Intelligence 2010: 647-652
339Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJustus 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
338Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRehab 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)
337no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharel Stelmes, Serge Linckels, Christoph Meinel: Digitale Videos im Unterricht - Die "YouTube-Generation" lernt Judo mit E-Videos. LOG IN 30(162): 22-28 (2010)
336no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Linckels, Carole Dording, Christoph Meinel: Besser Mathematik begreifen mit MatES - Autonomes Lernen mit Videosequenzen im Unterricht. LOG IN 30(162): 33-38 (2010)
335Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Wolter, Christoph Meinel: An approach to capture authorisation requirements in business processes. Requir. Eng. 15(4): 359-373 (2010)
2009
334Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHasso Plattner, Christoph Meinel, Ulrich Weinberg: Design Thinking: Innovation lernen - Ideenwelten öffnen. mi-Wirtschaftsbuch 2009: 1-222
333Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kylau, Ivonne Thomas, Michael Menzel, Christoph Meinel: Trust Requirements in Identity Federation Topologies. AINA 2009: 137-145
332Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNico Naumann, Björn Schünemann, Ilja Radusch, Christoph Meinel: Improving V2X simulation performance with optimistic synchronization. APSCC 2009: 52-57
331Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Menzel, Ivonne Thomas, Christoph Meinel: Security Requirements Specification in Service-Oriented Business Process Management. ARES 2009: 41-48
330Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJustus Bross, Janosch Oppermann, Christoph Meinel: Enabling Video-Blogging without Relying on External Service-Providers. CSE (4) 2009: 515-522
329Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJustus Bross, Ahmet Emre Acar, Patrick Schilf, Christoph Meinel: Spurring Design Thinking through Educational Weblogging. CSE (4) 2009: 903-908
328Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Roschke, Feng Cheng, Christoph Meinel: Intrusion Detection in the Cloud. DASC 2009: 729-734
327Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLong Wang, Justus Bross, Christoph Meinel: Post Recommendation in Social Web Site. EGOV 2009: 210-221
326Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Wolter, Philip Miseldine, Christoph Meinel: Verification of Business Process Entailment Constraints Using SPIN. ESSoS 2009: 1-15
325Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Roschke, Feng Cheng, Christoph Meinel: An Extensible and Virtualization-Compatible IDS Management Architecture. IAS 2009: 130-134
324Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Willems, Wesam Dawoud, Thomas Klingbeil, Christoph Meinel: Security in Tele-Lab - Protecting an online virtual lab for security training. ICITST 2009: 1-7
323Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Repp, Christoph Meinel: Automatic Extraction of Semantic Descriptions from the Lecturer's Speech. ICSC 2009: 513-520
322Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRegina 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
321Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvonne Thomas, Christoph Meinel: Enhancing Claim-Based Identity Management by Adding a Credibility Level to the Notion of Claims. IEEE SCC 2009: 243-250
320Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Menzel, Christoph Meinel: A Security Meta-model for Service-Oriented Architectures. IEEE SCC 2009: 251-259
319Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Quasthoff, Christoph Meinel: Design Pattern for Object Triple Mapping. IEEE SCC 2009: 443-450
318Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRehab Alnemr, Justus Bross, Christoph Meinel: Constructing a Context-Aware Service-Oriented Reputation Model Using Attention Allocation Points. IEEE SCC 2009: 451-457
317Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Sack, Bert Baumann, Andreas Groß, Christoph Meinel: Linking Tele-TASK Video Portal to the Semantic Web. IICS 2009: 204-
316Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Roschke, Feng Cheng, Robert Schuppenies, Christoph Meinel: Towards Unifying Vulnerability Information for Attack Graph Construction. ISC 2009: 218-233
315Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Cheng, Sebastian Roschke, Christoph Meinel: Implementing IDS Management on Lock-Keeper. ISPEC 2009: 360-371
314Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Cheng, Sebastian Roschke, Robert Schuppenies, Christoph Meinel: Remodeling Vulnerability Information. Inscrypt 2009: 324-336
313no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaja Gumienny, Oliver Böckmann, Christian Willems, Matthias Quasthoff, Lutz Gericke, Christoph Meinel: Verteiltes Design Thinking mit teleBoard. Mensch & Computer 2009: 455-460
312Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Roschke, Feng Cheng, Thanh-Dien Tran, Christoph Meinel: A Theoretical Model of Lock-Keeper Data Exchange and its Practical Verification. NPC 2009: 190-196
311Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKia Teymourian, Olga Streibel, Adrian Paschke, Rehab Alnemr, Christoph Meinel: Towards Semantic Event-Driven Systems. NTMS 2009: 1-6
310Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLong Wang, Christoph Meinel: X-Tracking the Changes of Web Navigation Patterns. PAKDD 2009: 772-779
309Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Wolter, Christian Weiss, Christoph Meinel: An XACML Extension for Business Process-Centric Access Control Policies. POLICY 2009: 166-169
308Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael G. Noll, Ching-man Au Yeung, Nicholas Gibbins, Christoph Meinel, Nigel Shadbolt: Telling experts from spammers: expertise ranking in folksonomies. SIGIR 2009: 612-619
307Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge 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
306Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Groß, Bert Baumann, Justus Bross, Christoph Meinel: Distribution to multiple platforms based on one video lecture archive. SIGUCCS 2009: 79-84
305Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Wolf, Ivonne Thomas, Michael Menzel, Christoph Meinel: A message meta model for federated authentication in service-oriented architectures. SOCA 2009: 1-8
304Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaxim Schnjakin, Michael Menzel, Christoph Meinel: A pattern-driven security advisor for service-oriented architectures. SWS 2009: 13-20
303Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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
302Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGe Zhang, Feng Cheng, Christoph Meinel: SIMPA: A SIP-Based Mobile Payment Architecture. ACIS-ICIS 2008: 287-292
301Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJustus F. M. Broß, Christoph Meinel: Can VoIP Live up to the QoS Standards of Traditional Wireline Telephony? AICT 2008: 126-132
300Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Queck, Björn Schünemann, Ilja Radusch, Christoph Meinel: Realistic Simulation of V2X Communication Scenarios. APSCC 2008: 1623-1627
299Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Menzel, Christian Wolter, Christoph Meinel: Towards the Aggregation of Security Requirements in Cross-Organisational Service Compositions. BIS 2008: 297-308
298Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Repp, Serge Linckels, Christoph Meinel: Automatische Erzeugung Semantischer Annotationen für Vorlesungsvideos. DeLFI 2008: 149-160
297Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Repp, Andreas Groß, Christoph Meinel: Webbasierte Suche in Vorlesungsvideos auf Basis der Transkripte eines Spracherkenners. DeLFI 2008: 427-428
296Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGe Zhang, Feng Cheng, Christoph Meinel: Towards Secure Mobile Payment Based on SIP. ECBS 2008: 96-104
295Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Cordel, Christoph Meinel, Stephan Repp, Christian Willems: Explorative Learning of Wireless Network Security with Tele-Lab IT-Security. ICHL 2008: 213-224
294Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Quasthoff, Harald Sack, Christoph Meinel: Who Reads and Writes the Social Web? A Security Architecture for Web 2.0 Applications. ICIW 2008: 576-582
293Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Repp, Serge Linckels, Christoph Meinel: Question Answering from Lecture Videos Based on Automatically-Generated Learning Objects. ICWL 2008: 509-520
292Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Zhou, Christoph Meinel: Enforcing Information Flow Constraints in RBAC Environments. ISECS 2008: 159-164
291Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Repp, Christoph Meinel: Segmentation of Lecture Videos Based on Spontaneous Speech Recognition. ISM 2008: 692-697
290Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvonne Thomas, Michael Menzel, Christoph Meinel: Quantified Trust Levels for Authentication. ISSE 2008: 30-38
289Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Repp, Serge Linckels, Christoph Meinel: Question answering from lecture videos based on an automatic semantic annotation. ITiCSE 2008: 17-21
288Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Repp, Christoph Meinel, Sevil Yakhyayeva: Motivation of the students in game development projects. ITiCSE 2008: 368
287Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Repp, Andreas Groß, Christoph Meinel: Dynamic Browsing of Audiovisual Lecture Recordings Based on Automated Speech Recognition. Intelligent Tutoring Systems 2008: 662-664
286Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Wolter, Michael Menzel, Christoph Meinel: Modelling Security Goals in Business Processes. Modellierung 2008: 197-212
285Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Keil, Christoph Meinel, Tom Sommerlatte, Udo Winand: Vorwort: Alltagstauglichkeit von Anwendungssystemen und Infrastrukturen. Multikonferenz Wirtschaftsinformatik 2008
284Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Linckels, Christoph Meinel: Applications of description logics to improve multimedia information retrieval for efficient educational tools. Multimedia Information Retrieval 2008: 321-328
283Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael G. Noll, Christoph Meinel: Exploring social annotations for web document classification. SAC 2008: 2315-2320
282Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Wolter, Andreas Schaad, Christoph Meinel: Task-based entailment constraints for basic workflow patterns. SACMAT 2008: 51-60
281Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Cheng, Christoph Meinel: Strong Authentication over Lock-Keeper. SOFSEM 2008: 572-584
280Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvonne Thomas, Michael Menzel, Christoph Meinel: Using quantified trust levels to describe authentication requirements in federated identity management. SWS 2008: 71-80
279no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Willems, Christoph Meinel: Awareness Creation mit Tele-Lab IT-Security: Praktisches Sicherheitstraining im virtuellen Labor am Beispiel Trojanischer Pferde. Sicherheit 2008: 513-532
278Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael G. Noll, Christoph Meinel: The Metadata Triumvirate: Social Annotations, Anchor Texts and Search Queries. Web Intelligence 2008: 640-647
277Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Repp, Andreas Groß, Christoph Meinel: Browsing within Lecture Videos Based on the Chain Index of Speech Transcription. TLT 1(3): 145-156 (2008)
276Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Willems, Christoph Meinel: Tele-Lab IT-Security: an Architecture for an online virtual IT Security Lab. iJOE 4(2): 31-37 (2008)
2007
275no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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
274no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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
273Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Repp, Serge Linckels, Christoph Meinel: Towards to an automatic semantic annotation for multimedia learning objects. ACM Multimedia EMME Workshop 2007: 19-26
272Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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
271Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Cheng, Michael Menzel, Christoph Meinel: A Secure Web Services Providing Framework Based on Lock-Keeper. APNOMS 2007: 375-384
270Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Quasthoff, Christoph Meinel: User Centricity in Healthcare Infrastructures. BIOSIG 2007: 141-152
269Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLong Wang, Christoph Meinel: Mining the Students' Learning Interest in Browsing Web-Streaming Lectures. CIDM 2007: 194-201
268Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Linckels, Carole Dording, Christoph Meinel: Bessere Schulnoten mit MatES, dem e-Bibliothekardienst für den Mathematikunterricht. DeLFI 2007: 91-102
267Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaouel Karam, Serge Linckels, Christoph Meinel: Semantic Composition of Lecture Subparts for a Personalized e-Learning. ESWC 2007: 716-728
266Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Zhou, Christoph Meinel: A Policy Language for Integrating Heterogeneous Authorization Policies. GSEM 2007: 9-23
265Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Zhou, Christoph Meinel: Function-Based Authorization Constraints Specification and Enforcement. IAS 2007: 119-124
264Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Repp, Jörg Waitelonis, Harald Sack, Christoph Meinel: Segmentation and Annotation of Audiovisual Recordings Based on Automated Speech Recognition. IDEAL 2007: 620-629
263Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Repp, Ralf Ziegler, Christoph Meinel: Lernortkooperation in der IT-Ausbildung - Kompetenzentwicklung in Projekten. INFOS 2007: 135-146
262Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael G. Noll, Christoph Meinel: Web Search Personalization Via Social Bookmarking and Tagging. ISWC/ASWC 2007: 367-380
261Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Cheng, Christian Wolter, Christoph Meinel: A Simple, Smart and Extensible Framework for Network Security Measurement. Inscrypt 2007: 517-531
260Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Zhou, Christoph Meinel: Team and Task Based RBAC Access Control Model. LANOMS 2007: 84-94
259Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Linckels, Stephan Repp, Naouel Karam, Christoph Meinel: The virtual tele-tASK professor: semantic search in recorded lectures. SIGCSE 2007: 50-54
258Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKatrin Wolf, Serge Linckels, Christoph Meinel: Teleteaching anywhere solution kit (Tele-TASK) goes mobile. SIGUCCS 2007: 366-371
257Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Linckels, Harald Sack, Christoph Meinel: Optimizing the Retrieval of Pertinent Answers for NL Questions with the E-Librarian Service. SMRR 2007
256Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Wolter, Andreas Schaad, Christoph Meinel: Deriving XACML Policies from Business Process Models. WISE Workshops 2007: 142-153
255Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLong Wang, Christoph Meinel: Detecting the Changes ofWeb Students' Learning Interest. Web Intelligence 2007: 816-819
254Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias 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
253Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: Physikalische Trennung als Ultima Ratio im Hochsicherheitsbereich. Informatik Spektrum 30(3): 170-174 (2007)
252Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge 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)
251Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: Vom ersten nationalen IT-Gipfel der Bundesregierung. it - Information Technology 49(5): 328-331 (2007)
2006
250no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen: eine Einführung, 3. Auflage. Teubner 2006: 1-333
249Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Long Wang: Building Content Clusters Based on Modelling Page Pairs. APWeb 2006: 856-861
248Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Linckels, Christoph Meinel, Thomas Engel: An e-Librarian Service that Understands Natural Language Questions from Students. CAiSE Forum 2006
247Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Hu, Dirk Cordel, Christoph Meinel: New Media for Teaching Applied Cryptography and Network Security. EC-TEL 2006: 488-493
246Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Linckels, Christoph Meinel: Resolving Ambiguities in the Semantic Interpretation of Natural Language Questions. IDEAL 2006: 612-619
245Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Cheng, Christoph Meinel: Lock-Keeper: A New Implementation of Physical Separation Technology. ISSE 2006: 275-286
244Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Repp, Christoph Meinel: Semantic Indexing for Recorded Educational Lecture Videos. PerCom Workshops 2006: 240-245
243no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Linckels, Christoph Meinel: An e-Librarian Service that Yields Pertinent Resources from a Multimedia Knowledge Base. SIGMAP 2006: 208-215
242no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Repp, Christoph Meinel: Segmenting of Recorded Lecture Videos - The Algorithm VoiceSeg. SIGMAP 2006: 317-322
241Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Linckels, Carole Dording, Christoph Meinel: Better results in mathematics lessons with a virtual personal teacher. SIGUCCS 2006: 201-209
240Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Zhou, Vinesh H. Raja, Christoph Meinel, Munir Ahmad: Label-Based Access Control Policy Enforcement and Management. SNPD 2006: 395-400
239Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Cheng, Christoph Meinel: Deployment of Virtual Machines in Lock-Keeper. WISA 2006: 147-159
238Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Volker Klotz: The first 10 years of the ECCC digital library. Commun. ACM 49(1): 131-134 (2006)
2005
237Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinhua Zhang, Chunyan Jiang, Wanjun Huang, Christoph Meinel: A XML format secure protocol - OpenSST. AICCSA 2005: 89
236Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChunyan Jiang, Xinhua Zhang, Christoph Meinel: Hybrid Framework for Medical Image Segmentation. CAIP 2005: 264-271
235no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMonique Reichert, Serge Linckels, Christoph Meinel, Thomas Engel: Student's Perception of a Semantic Search Engine. CELDA 2005: 139-147
234Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Linckels, Christoph Meinel, Thomas Engel: Teaching in the Cyber-Age: Technologies, Experiments, and Realizations. DeLFI 2005: 225-236
233no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Linckels, Christoph Meinel: A simple application of description logics for a semantic search engine. IADIS AC 2005: 306-311
232no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Linckels, Christoph Meinel: A simple solution for an intelligent librarian system. IADIS AC 2005: 495-503
231Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWanjun Huang, Xiaohua Fan, Christoph Meinel: A CORBA-Based Dynamic Reconfigurable Middleware. ICCNMC 2005: 1208-1217
230Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Zhou, Christoph Meinel, Vinesh H. Raja: A Framework for Supporting Distributed Access Control Policies. ISCC 2005: 442-447
229Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Hu, Dirk Cordel, Christoph Meinel: Virtual Machine Management for Tele-Lab "IT-Security" Server. ISCC 2005: 448-453
228Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLong Wang, Christoph Meinel, Chunnian Liu: Discovering Characteristic Individual Accessing Behaviors in Web Environment. RSFDGrC (2) 2005: 466-476
227no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLong Wang, Christoph Meinel: Recovering Individual Accessing Behaviour from Web Logs. SEKE 2005: 590-595
226no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChunyan Jiang, Xinhua Zhang, Christoph Meinel: Medical Image Segmentation Using a Combined Approach. VISION 2005: 84-92
2004
225Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Hu, Christoph Meinel: Tele-Lab IT Security: A Means to Build Security Laboratories on the Web. AINA (2) 2004: 285-288
224Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad GhasemZadeh, Volker Klotz, Christoph Meinel: Embedding Memoization to the Semantic Tree Search for Deciding QBFs. Australian Conference on Artificial Intelligence 2004: 681-693
223Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Tongbo Chen, Volker Schillings: tele-TASK - Teleteaching praxistauglich für den Universitätsalltag. EMISA 2004: 35-47
222Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Hu, Dirk Cordel, Christoph Meinel: A Virtual Laboratory for IT Security Education. EMISA 2004: 60-71
221Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Linckels, Christoph Meinel: Automatic Interpretation of Natural Language for a Multimedia E-learning Tool. ICWE 2004: 435-439
220Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLong Wang, Christoph Meinel: Behaviour Recovery and Complicated Pattern Definition in Web Usage Mining. ICWE 2004: 531-543
219Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWanjun Huang, Xinhua Zhang, Uwe Roth, Christoph Meinel: Routing based workflow for construction of distributed applications. ISCC 2004: 80-85
218Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Hu, Christoph Meinel, Michael Schmitt II: Tele-lab IT security: an architecture for interactive lessons for security education. SIGCSE 2004: 412-416
217Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Hu, Christoph Meinel: Tele-Lab "IT-Security" on CD: portable, reliable and safe IT security training. Computers & Security 23(4): 282-289 (2004)
216Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack: On relations between counting communication complexity classes. J. Comput. Syst. Sci. 69(2): 259-280 (2004)
215no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikail Gevantmakher, Christoph Meinel: Medizinische Bildverarbeitung - eine Übersicht Universität Trier, Mathematik/Informatik, Forschungsbericht 04-03: (2004)
214no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikail 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)
213no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Klotz, Christoph Meinel: 10 Jahre ECCC - Eine Digitale Bibliothek in weltweiter Benutzung Universität Trier, Mathematik/Informatik, Forschungsbericht 04-05: (2004)
2003
212no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Harald Sack: WWW - Kommunikation, Internetworking, Web-Technologien Springer 2003
211no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinhua Zhang, Alexandre Dulaunoy, Christoph Meinel: Enhance Opensst Protocol's Security with Smart Card. ICWI 2003: 565-571
210Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWanjun Huang, Uwe Roth, Christoph Meinel: A Flexible Middleware Platform with Piped Workflow. OTM Workshops 2003: 950-959
209no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng 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
208no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Hu, Michael Schmitt II, Christian Willems, Christoph Meinel: A Tutoring System for IT Security. World Conference on Information Security Education 2003: 51-60
207no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Zhou, Christoph Meinel: Implement Role-Based Access Control with Attribute Certificates Universität Trier, Mathematik/Informatik, Forschungsbericht 03-03: (2003)
206no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Volker Schillings: tele-TASK - Teleteaching praxistauglich für den Universitätsalltag Universität Trier, Mathematik/Informatik, Forschungsbericht 03-04: (2003)
205no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Cheng, Paul Ferring, Christoph Meinel: Lock-Keeper Technology - A New Network Security Solution Universität Trier, Mathematik/Informatik, Forschungsbericht 03-05: (2003)
204no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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
203no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen, Eine Einführung, 2. Auflage Teubner 2002
202no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Roth, Ernst Georg Haffner, Christoph Meinel: The Internal Workflow of the Smart-Data-Server. ICWI 2002: 572-576
201no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMingchao Ma, Christoph Meinel: A Proposal for Trust Model: Independent Trust Intermediary Service (ITIS). ICWI 2002: 785-790
200no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Vorwerk, Chunyan Jiang, Christoph Meinel: Application for Repairing and Presenting DICOM Objects. IMSA 2002: 318-323
199no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Harald Sack, Volker Schillings: VisBDD - A Web-based Visualization Framework for OBDD Algorithms. IWLS 2002: 385-390
198no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Christian Stangier: Modular Partitioning and Dynamic Conjunction Scheduling in Image Computation. IWLS 2002: 391-396
197no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Georg Haffner, Uwe Roth, Christoph Meinel: A Hyperlink-Proposal Mechanism to Exemplify Cognitive Algorithms for Web-Applications. JCIS 2002: 517-520
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Schillings, Christoph Meinel: tele-TASK: teleteaching anywhere solution kit. SIGUCCS 2002: 130-133
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Harald Sack, Volker Schillings: Course management in the twinkle of an eye - LCMS: a professional course management system. SIGUCCS 2002: 281-283
194no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRandal E. Bryant, Christoph Meinel: Ordered Binary Decision Diagrams in Electronic Design Automation Universität Trier, Mathematik/Informatik, Forschungsbericht 02-20: (2002)
193no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Volker Schillings: tele-TASK - Teleteaching Anywhere Solution Kit Universität Trier, Mathematik/Informatik, Forschungsbericht 02-21: (2002)
2001
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Christian Stangier: A new partitioning scheme for improvement of image computation. ASP-DAC 2001: 97-102
191Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Christian Stangier: Data Structures for Boolean Functions. Computational Discrete Mathematics 2001: 61-78
190no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Christian Stangier: Hierarchical Image Computation with Dynamic Conjunction Scheduling. ICCD 2001: 354-359
189no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: Electronic publishing, science portals and virtual universities - the scientific community is well-established in the World Wide Web. IuK 2001
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Harald Sack, Volker Schillings: IDDS: an interactive decentralized documentation system. SIGDOC 2001: 165-171
187no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Roth, Kais Louizi, Ernst Georg Haffner, Christoph Meinel: How Much Middle-Tier Do You Need? WebNet 2001: 1052-1056
186no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Georg Haffner, Uwe Roth, Andreas Heuer, Thomas Engel, Christoph Meinel: Managing Distributed Personal Firewalls with Smart Data Servers. WebNet 2001: 466-471
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Stephan Waack: The "log rank" conjecture for modular communication complexity. Computational Complexity 10(1): 70-91 (2001)
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Thorsten Theobald: Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. Formal Methods in System Design 18(3): 285-301 (2001)
183no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Harald Sack: A Heuristic for (+)-OBDD Minimization Universität Trier, Mathematik/Informatik, Forschungsbericht 01-06: (2001)
182no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Harald Sack: Improving XOR-Node Placement for (+)-OBDDs Universität Trier, Mathematik/Informatik, Forschungsbericht 01-07: (2001)
181no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
180no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Harald Sack, Volker Schillings: IDDS: An Interactive Decentallzed Documentation System Universität Trier, Mathematik/Informatik, Forschungsbericht 01-15: (2001)
179no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Christian Stangier: Modular Partitioning for Improvement of Image Computation Universität Trier, Mathematik/Informatik, Forschungsbericht 01-16: (2001)
178no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Harald Sack, Volker Schillings: VisBDD - A Webbased Visualization Framework for OBDD Algorithms Universität Trier, Mathematik/Informatik, Forschungsbericht 01-21: (2001)
2000
177no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen, Eine Einführung Teubner 2000
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Christian Stangier: Speeding up symbolic model checking by accelerating dynamic variable reordering. ACM Great Lakes Symposium on VLSI 2000: 39-42
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Georg Haffner, Uwe Roth, Andreas Heuer, Thomas Engel, Christoph Meinel: What Do Hyperlink-Proposals and Request-Prediction Have in Common? ADVIS 2000: 285-293
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergey Khludov, Lutz Vorwerk, Christoph Meinel: Internet-Orientated Medical Information System for Dicom-Data Transfer, Visualization and Revision. CBMS 2000: 293-296
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Vorwerk, Christoph Meinel: A Multimedia-Editor for Making Findings in Radiology. CBMS 2000: 297-
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich: Web-based frameworks to enable CAD RD (abstract). DAC 2000: 711
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst 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
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLB. Lapken, Frank Losemann, Thomas Engel, Christoph Meinel: Functional Integration Test of Mass Processes with Electronic Signatures in Public Administration. ECIS 2000: 1182-1186
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChangtao Qu, Thomas Engel, Christoph Meinel: Implementation of an Enterprise-Level Groupware System Based on J2EE Platform and WebDAV Protocol. EDOC 2000: 160-169
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Harald Sack, Arno Wagner: WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms. Experimental Algorithmics 2000: 127-138
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Christian Stangier: Algorithms and Heuristics in VLSI Design. Experimental Algorithmics 2000: 139-162
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Christian Stangier: Speeding Up Image Computation by Using RTL Information. FMCAD 2000: 443-454
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Sack, Elena Dubrova, Christoph Meinel: Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions. ISMVL 2000: 233-238
164no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhongdong 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
163no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Losemann, Thomas Engel, Christoph Meinel: Proprietary versus Interoperable User Certificates in E-Commerce via Internet. International Conference on Internet Computing 2000: 337-342
162no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Dusemund, Thomas Engel, Christoph Meinel: Smart Cards - the Personal Safe in an E-Commerce World. International Conference on Internet Computing 2000: 343-346
161no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Heuer, Frank Losemann, Christoph Meinel: Advanced Reliability for Internet Transactions by Signed Bills. International Conference on Internet Computing 2000: 347-352
160no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Roth, Thomas Engel, Christoph Meinel: Improving the Quality of Information-Flow with the Smart Data Server. International Conference on Internet Computing 2000: 353-358
159no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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
158no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Georg Haffner, Thomas Engel, Christoph Meinel: Techniques for Securing Networks Against Criminal Attacks. International Conference on Internet Computing 2000: 365-370
157no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst 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
156no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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
155no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst 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
154no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChangtao Qu, Christoph Meinel, Thomas Engel: Implementation of a WebDAV-based Collaborative Distance Learning Environment. SIGUCCS 2000: 258-265
153no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Vorwerk, Thomas Engel, Christoph Meinel: Proposal for a combination of compression and encryption. VCIP 2000: 694-703
152no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Heuer, Frank Losemann, Christoph Meinel: Logging and Signing Document-Transfers on the WWW-A Trusted Third Party Gateway. WISE 2000: 146-152
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Vorwerk, Sergey Khludov, Christoph Meinel: Concept for Increased Security for Internet/Intranet - Based Administration of Patient Data. WSCG 2000
150no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Georg Haffner, Andreas Heuer, Uwe Roth, Thomas Engel, Christoph Meinel: Link Proposals with Case-Based Reasoning Techniques. WebNet 2000: 233-239
149no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Heuer, Frank Losemann, Christoph Meinel: Signed Preservation Of Online References. WebNet 2000: 247-251
148no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Roth, Andreas Heuer, Ernst Georg Haffner, Christoph Meinel: A Search-Engine-Topologie to Improve Document Retrieval on the Web. WebNet 2000: 470-475
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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
146no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Sophie Tison: STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999, Proceedings Springer 1999
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Klaus Schwettmann, Anna Slobodová: Application Driven Variable Reordering and an Example Implementation in Reachability Analysis. ASP-DAC 1999: 327-330
144no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei Hludov, Christoph Meinel, Thomas Engel: Flächen- und Volumenmessung lokaler Objekte in DICOM-Bildern und -Bildfolgen. Bildverarbeitung für die Medizin 1999: 292-296
143no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei Hludov, Christoph Meinel: LZW-JPEG Kompression radiologischer Bilder. Bildverarbeitung für die Medizin 1999: 297-301
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei Hludov, Christoph Meinel: DICOM - Image Compression. CBMS 1999: 282-
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei Hludov, Christoph Meinel, Guido Noelle, Frank Warda: PACS for Teleradiology. CBMS 1999: 6-11
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Christian Stangier: Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering. DATE 1999: 760-761
139no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Roth, Ernst Georg Haffner, Thomas Engel, Christoph Meinel: The Smart Data Server: A New Kind of Middle-Tier. IMSA 1999: 361-365
138no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Heuer, Christoph Meinel: Database based History Browse Assistant. IMSA 1999: 78-82
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhongdong 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
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel: One step further: extending electronic submission into the reviewing process. SIGDOC 1999: 65-69
135no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei Hludov, Christoph Meinel: Compression of Medical Images. SIP 1999: 275-278
134no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst 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
133no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Heuer, Christoph Meinel: Database based Navigation Assistant. WebNet 1999: 505-510
132no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Roth, Ernst Georg Haffner, Thomas Engel, Christoph Meinel: An Approach to Distributed Functionality - The Smart Data Server. WebNet 1999: 931-936
131no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Krob, Christoph Meinel, Michel Morvan: Editors foreword - Selected papers from STACS 1998. Discrete Mathematics & Theoretical Computer Science 3(3): 71-72 (1999)
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Harald Sack: Parity-OBDDs - a BDD structure for Probabilistic Verification. Electr. Notes Theor. Comput. Sci. 22: 156-170 (1999)
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Thorsten Theobald: On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. ITA 33(1): 21-32 (1999)
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
127no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel: One Step Further: Integrating Electronic Submission and the Reviewing Process Universität Trier, Mathematik/Informatik, Forschungsbericht 99-16: (1999)
126no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Harald Sack: Algorithmic Considerations for +-OBDD Reordering Universität Trier, Mathematik/Informatik, Forschungsbericht 99-19: (1999)
125no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald 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)
124no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Christian Stangier: Speeding Up Symbolic Model Checking by Accelerating Dynamic Variable Reordering Universität Trier, Mathematik/Informatik, Forschungsbericht 99-28: (1999)
1998
123no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Thorsten Theobald: Algorithmen und Datenstrukturen im VLSI-Design: OBDD - Grundlagen und Anwendungen Springer 1998
122no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Thorsten Theobald: Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications Springer 1998
121no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
120no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Fabio Somenzi, Thorsten Theobald: Function Decomposition and Synthesis Using Linear Sifting. ASP-DAC 1998: 81-86
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Harald Sack: The STACS Electronic Submission Service. ECDL 1998: 639-640
118no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei Hludov, Thomas Engel, Christoph Meinel: Adaptive compression of DICOM-image data. Electronic Imaging 1998: 260-266
117no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnst Georg Haffner, Thomas Engel, Christoph Meinel: The flood-gate principle - a hybrid approach to a high security solution. ICISC 1998: 147-160
116no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Heuer, K. Siemonsen, Thomas Engel, Christoph Meinel: Interface for Navigation and Database - Querying via WWW. ISI 1998: 273-282
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Harald Sack: Electronic Colloquia: Idea and Practice. SIGDOC 1998: 113-119
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Slobodová, Christoph Meinel: Sample Method for Minimization of OBDDs. SOFSEM 1998: 419-428
113no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei Hludov, Claus Schröter, Christoph Meinel: Adaptive compression of image data. SYBEN 1998: 520-527
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
111no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Thomas Engel: Institut für Telematik (Trier) - angewandte Forschung nach Fraunhofer Ideal. Inform., Forsch. Entwickl. 13(2): 97-101 (1998)
110no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianpiero 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)
108no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Christian Stangier: Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering Universität Trier, Mathematik/Informatik, Forschungsbericht 98-23: (1998)
107no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Klaus Schwettmann, Anna Slobodová: Application Driven Variable Reordering and an Example in Reachability Analysis Universität Trier, Mathematik/Informatik, Forschungsbericht 98-24: (1998)
106no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: Accelerating OBDD-Minimization by Means of Structural and Semantical Properties Universität Trier, Mathematik/Informatik, Forschungsbericht 98-25: (1998)
105no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Arno Wagner: The WWW meets EDA: Usability evaluation of OBDD-heuristics via the Internet Universität Trier, Mathematik/Informatik, Forschungsbericht 98-27: (1998)
104no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Harald Sack: Xor-OBDDs - a BDD Structure for Probabilistic Verification Universität Trier, Mathematik/Informatik, Forschungsbericht 98-28: (1998)
103no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Fabio Somenzi, Thorsten Theobald: Linear Sifting of Decision Diagrams. DAC 1997: 202-207
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Carsten Damm, Christoph Meinel: The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use. ECDL 1997: 405-421
100no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Thorsten Theobald: Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. GI Jahrestagung 1997: 307-316
99no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Carsten Damm, Martin Mundhenk: 33. Workshop "Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen". GI Jahrestagung 1997: 624-625
98no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: Speeding up Variable Reordering of OBDDs. ICCD 1997: 338-343
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Thorsten Theobald: On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. MFCS 1997: 408-417
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams. STACS 1997: 213-224
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: A Unifying Theoretical Background for Some Bdd-based Data Structures. Formal Methods in System Design 11(3): 223-237 (1997)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Thorsten Theobald: Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. Informatik Spektrum 20(5): 268-275 (1997)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams. Theory Comput. Syst. 30(5): 495-518 (1997)
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Fabio Somenzi, Thorsten Theobald: Function Decomposition and Synthesis Using Linear Sifting Universität Trier, Mathematik/Informatik, Forschungsbericht 97-14: (1997)
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Harald Sack: Case Study: Manipulating xor-OBDDs by Means of Signatures Universität Trier, Mathematik/Informatik, Forschungsbericht 97-15: (1997)
90no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel: The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use Universität Trier, Mathematik/Informatik, Forschungsbericht 97-16: (1997)
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová, Peter Willems: Block-Restricted Reordering - Extended Experiments Universität Trier, Mathematik/Informatik, Forschungsbericht 97-27: (1997)
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Thorsten Theobald: Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. FMCAD 1996: 404-418
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Stephan Waack: The "log Rank" Conjecture for Modular Communication Complexity. STACS 1996: 619-630
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Stephan Waack: The ``Log Rank'' Conjecture for Modular Communication Complexity Electronic Colloquium on Computational Complexity (ECCC) 3(17): (1996)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordan 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)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen 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)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen 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)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Stephan Waack: Lower Bounds for the Majority Communication Complexity of Various Graph Accessibility Problems. Mathematical Systems Theory 29(6): 649-659 (1996)
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Theobald, Christoph Meinel: State Encodings and OBDD-Sizes Universität Trier, Mathematik/Informatik, Forschungsbericht 96-04: (1996)
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Thorsten Theobald: Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines Universität Trier, Mathematik/Informatik, Forschungsbericht 96-23: (1996)
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: Speeding up Variable Reordering of OBDDs Universität Trier, Mathematik/Informatik, Forschungsbericht 96-40: (1996)
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Fabio Somenzi, Thorsten Theobald: Linear Sifting of Decision Diagrams Universität Trier, Mathematik/Informatik, Forschungsbericht 96-42: (1996)
1995
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Anna Slobodová: Global rebuilding of OBDDs Avoiding Memory Requirement Maxima. CAV 1995: 4-15
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Anna Slobodová: Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits. DAC 1995: 408-413
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: Die Entwicklung der Informatik braucht Theorie und Praxis. Ein Fallbeispiel aus dem CAD-Schaltkreisentwurf. GI Jahrestagung 1995: 339-346
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Stephan Waack: Lower Bounds for the Modular Communication Complexity of Various Graph Accessibility Problems. LATIN 1995: 427-435
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Stephan Waack: Lower Bounds for the Majority Communication Complexity of Various Graph Accessibility Problems. MFCS 1995: 299-308
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Stephan Waack: Lower Bounds for the Majority Communication Complexity of Various Graph Accessibility Problems Electronic Colloquium on Computational Complexity (ECCC) 2(34): (1995)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Stephan Waack: Separating Complexity Classes Related to Bounded Alternating \omega-Branching Programs. Mathematical Systems Theory 28(1): 21-39 (1995)
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Anna Slobodová: Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima Universität Trier, Mathematik/Informatik, Forschungsbericht 95-03: (1995)
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Jordan Gergov, Christoph Meinel, Anna Slobodová: Boolean Manipulation with Free BDD's. First Experimental Results. EDAC-ETC-EUROASIC 1994: 200-207
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordan Gergov, Christoph Meinel: Boolean Manipulation with Free BDDs: An Application in Combinational Logic Verification. IFIP Congress (1) 1994: 309-314
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: On the Complexity of Constructing Optimal Ordered Binary Decision Diagrams. MFCS 1994: 515-524
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack: Separating Oblivious Linear Length MODp-Branching Program Classes. Elektronische Informationsverarbeitung und Kybernetik 30(2): 63-75 (1994)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordan Gergov, Christoph Meinel: Efficient Boolean Manipulation With OBDD's can be Extended to FBDD's. IEEE Trans. Computers 43(10): 1197-1209 (1994)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordan 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)
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Anna Slobodová: Some Heuristics for Generating Tree-like FBDD Types Universität Trier, Mathematik/Informatik, Forschungsbericht 94-03: (1994)
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: On the Complexity of Constructing Optimal OBDD's Universität Trier, Mathematik/Informatik, Forschungsbericht 94-05: (1994)
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Anna Slobodová: Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits Universität Trier, Mathematik/Informatik, Forschungsbericht 94-16: (1994)
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: A Unifying Theoretical Background for Some BDD-based Data Structures Universität Trier, Mathematik/Informatik, Forschungsbericht 94-17: (1994)
1993
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Stephan Waack: Separating Complexity Classes Related to Bounded Alternating omega-Branching Programs. ISAAC 1993: 379-388
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordan Gergov, Christoph Meinel: Frontiers of Feasible and Probabilistic Feasible Boolean Manipulation with Branching Programs. STACS 1993: 576-585
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordan Gergov, Christoph Meinel: Combinational Logic Verification with FBDDs Universität Trier, Mathematik/Informatik, Forschungsbericht 93-08: (1993)
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Slobodová, Christoph Meinel: Efficient Manipulation of FBDDs by Means of a Modified OBDD-Package Universität Trier, Mathematik/Informatik, Forschungsbericht 93-09: (1993)
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordan Gergov, Christoph Meinel: Efficient Boolean Manipulation with OBDD's can be Extended to FBDD's Universität Trier, Mathematik/Informatik, Forschungsbericht 93-12: (1993)
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen 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)
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordan 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
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack: Separating Counting Communication Complexity Classes. STACS 1992: 281-292
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordan Gergov, Christoph Meinel: Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs. WG 1992: 310-320
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: Branching Programs - An Efficient Data Structure for Computer-Aided Circuit Design. Bulletin of the EATCS 46: 149-170 (1992)
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Krause, Christoph Meinel, Stephan Waack: Separating complexity classes related to certain input oblivious logarithmic space-bounded turing machines. ITA 26: 345-362 (1992)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuraj 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)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Buntrock, Carsten Damm, Ulrich Hertrampf, Christoph Meinel: Structure and Importance of Logspace-MOD Class. Mathematical Systems Theory 25(3): 223-237 (1992)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Damm, Christoph Meinel: Separating Complexity Classes Related to Omega-Decision Trees. Theor. Comput. Sci. 106(2): 351-360 (1992)
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack: Separating Counting Communication Complexity Classes Universität Trier, Mathematik/Informatik, Forschungsbericht 92-01: (1992)
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordan Gergov, Christoph Meinel: Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs Universität Trier, Mathematik/Informatik, Forschungsbericht 92-07: (1992)
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordan 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
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: Effiziente Algorithmen - Entwurf und Analyse. Fachbuchverl. 1991: 1-353
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Stephan Waack: Upper and Lower Bounds for Certain Graph-Accessibility Problems on Bounded Alternating Omega-Branching Programs. MFCS 1991: 337-345
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Buntrock, Carsten Damm, Ulrich Hertrampf, Christoph Meinel: Structure and Importance of Logspace-MOD-Classes. STACS 1991: 360-371
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: Restricted Branching Programs and Their Computational Power. MFCS 1990: 61-75
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLothar 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)
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: Polynomial Size Omega-Branching Programs and Their Computational Power Inf. Comput. 85(2): 163-182 (1990)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: Modified Branching Programs and Their Computational Power Springer 1989
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: Omega-Branching Programs of Bounded Width. CSL 1989: 242-253
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Damm, Christoph Meinel: Separating Completely Complexity Classes Related to Polynomial Size Omega-Decision Trees. FCT 1989: 127-136
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Krause, Christoph Meinel, Stephan Waack: Separating Complexity Classes Related to Restricted Logarithmic Space-Bounded Turing Machines. IFIP Congress 1989: 287-292
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: Switching Graphs and Their Complexity. MFCS 1989: 350-359
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias 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
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLothar 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Krause, Christoph Meinel, Stephan Waack: Separating the Eraser Turing Machine Classes Le, NLe, co-NLe and Pe. MFCS 1988: 405-413
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Peter Zienicke: Recursive design of communication schemes for parallel computation with RELACS. Parcella 1988: 308-310
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: The Power of Polynomial Size Omega-Branching Programs. STACS 1988: 81-90
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: The Power of Nondeterminism in Polynomial-Size Bounded-Width Branching Programs. Theor. Comput. Sci. 62(3): 319-325 (1988)
1987
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: The Power of Nondeterminism in Polynominal-size Bounded-width Branching Programs. FCT 1987: 302-309
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLothar Budach, Ernst-Günter Giessmann, Hubert Grassmann, Bernd Graw, Christoph Meinel: RELACS - A Recursive Layout Computing System. Parallel Algorithms and Architectures 1987: 86-88
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: The Nonuniform Complexity Classes NC, L and NL. Elektronische Informationsverarbeitung und Kybernetik 23(10/11): 545-558 (1987)
1986
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: p-Projection Reducibility and the Complexity Classes L(nonuniform) and NL(nonuniform). MFCS 1986: 527-535
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: Symbolic Simulation of Synchronous Parallel Systems. Elektronische Informationsverarbeitung und Kybernetik 22(7/8): 355-370 (1986)
1985
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: A Functional Description of Synchronous Systems. Elektronische Informationsverarbeitung und Kybernetik 21(4/5): 231-235 (1985)
1982
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLothar Budach, Christoph Meinel: Environments and Automata I. Elektronische Informationsverarbeitung und Kybernetik 18(1/2): 3-40 (1982)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLothar Budach, Christoph Meinel: Environment and Automata II. Elektronische Informationsverarbeitung und Kybernetik 18(3): 115-139 (1982)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: Embedding of the Poset of Turing Degrees in the Poset [µ, <=]. Elektronische Informationsverarbeitung und Kybernetik 18(6): 339-344 (1982)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: The Importance of Plane Labyrinths. Elektronische Informationsverarbeitung und Kybernetik 18(7/8): 419-422 (1982)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel: About the by Codings of Environments Induced Posets [az, <=] and [Lz, <=]. FCT 1981: 445-452

Coauthor Index

1Ahmet Emre Acar [329]
2Munir Ahmad [240]
3Ahmad AlSa'deh (Ahmad S. Al Sa'deh) [367] [373] [389] [390]
4Rehab Alnemr [311] [318] [338] [341] [351] [355] [370] [379]
5Frank Balfanz [26] [27]
6Bert Baumann [306] [317]
7Philipp Berger [356] [365]
8Jochen Bern [48] [55] [58] [65] [67] [73] [74] [81] [82] [90] [101] [115] [119] [127] [136] [209]
9Mária Bieliková [275]
10Oliver Böckmann [313]
11Justus Bross (Justus F. M. Broß) [301] [306] [318] [327] [329] [330] [339] [340] [356] [361] [365] [366] [387]
12Randal E. Bryant [194]
13Lothar Budach [5] [6] [11] [17] [26] [27] [28]
14Gerhard Buntrock [31] [40]
15Gianpiero Cabodi [109]
16Tongbo Chen [223]
17Feng Cheng [205] [209] [239] [245] [261] [271] [281] [296] [302] [312] [314] [315] [316] [325] [328] [345] [349] [353] [357] [368] [373] [375] [382]
18Dirk Cordel [222] [229] [247] [295]
19Olivier Coudert [172]
20Carsten Damm [21] [31] [38] [39] [40] [45] [61] [99] [101] [216]
21Wesam Dawoud [324] [377] [384]
22Carole Dording [241] [268] [307] [336]
23Markus Dreseler [378]
24Elena Dubrova [125] [165]
25Alexandre Dulaunoy [211]
26Bernd Dusemund [162]
27Thomas Engel [111] [116] [117] [118] [132] [134] [137] [139] [144] [150] [153] [154] [155] [157] [158] [160] [162] [163] [164] [169] [170] [171] [175] [186] [234] [235] [248]
28Torsten Eymann [338]
29Xiaohua Fan [231]
30Paul Ferring [205] [209]
31Jordan Gergov [34] [35] [44] [47] [48] [49] [51] [52] [59] [60] [64] [65] [83]
32Lutz Gericke [313] [354] [378] [380] [381]
33Michael Gerz (Michael Schmitt II) [204] [208] [218]
34Mikail Gevantmakher [214] [215]
35Mohammad GhasemZadeh [224]
36Nicholas Gibbins (Nick Gibbins) [308] [362] [363]
37Ernst-Günter Giessmann [11] [17] [28]
38Hubert Grassmann [11] [17] [28]
39Bernd Graw [11] [17] [28]
40Andreas Groß [277] [287] [297] [306] [317] [343]
41Raja Gumienny [313] [354] [374] [378] [380] [381]
42Ernst Georg Haffner [117] [132] [134] [137] [139] [148] [150] [155] [156] [157] [158] [159] [171] [175] [186] [187] [197] [202]
43Regina N. Hebig [322]
44Patrick Hennig [356] [365]
45Ulrich Hertrampf [31] [40]
46Andreas Heuer [116] [133] [134] [137] [138] [148] [149] [150] [152] [156] [157] [159] [161] [171] [175] [186]
47Sergei Hludov [113] [118] [135] [141] [142] [143] [144]
48Wiebe van der Hoek [274] [275]
49Juraj Hromkovic [41]
50Ji Hu [208] [217] [218] [222] [225] [229] [247]
51Wanjun Huang [210] [219] [231] [237]
52Luan Ibraimi [353]
53Giuseppe F. Italiano [274] [275]
54Thomas Janda [343]
55Maximilian Jenders [366]
56Chunyan Jiang [200] [226] [236] [237]
57Naouel Karam [259] [267]
58Reinhard Keil (Reinhard Keil-Slawik) [285]
59Sergey Khludov [151] [174]
60Thomas Klingbeil [324]
61Volker Klotz [213] [224] [238]
62Matthias Kohnen [361] [387]
63Stefan König [338]
64Matthias Krause [16] [18] [20] [30] [38] [41] [42] [45] [61] [216]
65Yves Kreis [307]
66Daniel Krob [121] [131]
67Uwe Kylau [333]
68B. Lapken [170]
69Jan van Leeuwen [274] [275]
70Serge Linckels [221] [232] [233] [234] [235] [241] [243] [246] [248] [252] [257] [258] [259] [267] [268] [273] [284] [289] [293] [298] [307] [336] [337] [386]
71Chunnian Liu [228]
72Peter LoBue [374]
73Frank Losemann [149] [152] [161] [163] [170]
74Kais Louizi [187]
75Patrick Luhne [369]
76Mingchao Ma [201]
77Igor L. Markov [172]
78Michael Menzel [271] [280] [286] [290] [299] [303] [304] [305] [320] [322] [331] [333] [344] [346] [348] [352] [371]
79Sebastian Meyer [378]
80Philip Miseldine [303] [326]
81Burkhard Molzan [17] [28]
82Franka Moritz [358] [360] [364]
83Michel Morvan [121] [131]
84Gerhard Müllenheim [209]
85Martin Mundhenk [99] [177] [203] [250]
86Nico Naumann [332]
87Guido Noelle [141]
88Michael G. Noll [262] [272] [278] [283] [308] [362] [363]
89Christoph Oehlke [383]
90Janosch Oppermann [330]
91Adrian Paschke [311] [351]
92Frantisek Plasil [274] [275]
93Hasso Plattner [334]
94Changtao Qu [154] [169]
95Matthias Quasthoff [254] [270] [294] [313] [319] [350] [356] [381] [388]
96Tobias Queck [300]
97Stefano Quer [109]
98Ilja Radusch [300] [332] [342]
99Hosnieh Rafiee [367] [389] [390]
100Vinesh H. Raja [230] [240]
101Monique Reichert [235]
102Stephan Repp [242] [244] [259] [263] [264] [273] [277] [287] [288] [289] [291] [293] [295] [297] [298] [323]
103Robert A. P. Reuter [307]
104Keven Richly [339] [387]
105David Rieck [342]
106Sebastian Roschke [312] [314] [315] [316] [325] [328] [345] [349] [353] [357] [368] [375] [382]
107Uwe Roth [132] [134] [139] [148] [150] [155] [156] [157] [160] [164] [171] [175] [186] [187] [197] [202] [210] [219]
108Harald Sack [91] [103] [104] [109] [115] [119] [125] [126] [130] [165] [168] [178] [180] [181] [182] [183] [188] [195] [199] [212] [254] [257] [264] [274] [275] [294] [317] [369] [385]
109Andreas Schaad [256] [282] [303]
110Uwe Schäfer [17] [28]
111Patrick Schilf [329] [339] [340] [361] [366]
112Volker Schillings [178] [180] [188] [193] [195] [196] [199] [206] [223]
113Maxim Schnjakin [304] [341] [355]
114Claus Schröter [113]
115Björn Schünemann [300] [332] [342]
116Robert Schuppenies [314] [316]
117Klaus Schwettmann [107] [145]
118Ellen Sentovich (Ellen M. Sentovich) [172]
119Nigel Shadbolt (Nigel R. Shadbolt) [308] [362] [363]
120Maria Siebert [359] [360] [364] [369]
121K. Siemonsen [116]
122Anna Slobodová [48] [50] [54] [55] [56] [58] [63] [65] [67] [73] [74] [76] [79] [81] [82] [85] [89] [93] [95] [96] [98] [106] [107] [109] [114] [145]
123Fabio Somenzi [75] [92] [102] [120] [147]
124Tom Sommerlatte [285]
125Christian Stangier [88] [103] [108] [109] [124] [140] [166] [167] [176] [179] [190] [191] [192] [198]
126Charel Stelmes [337]
127Olga Streibel [311]
128Ibrahim Takouna [377] [384]
129Kia Teymourian [311]
130Thorsten Theobald [75] [77] [78] [87] [92] [94] [97] [100] [102] [110] [112] [120] [122] [123] [128] [129] [147] [184]
131Ivonne Thomas [280] [290] [305] [321] [322] [331] [333] [344] [347] [372] [376]
132Sophie Tison [146]
133Thanh-Dien Tran [312] [357]
134Sebastian Voigt [343]
135Max Völkel [350]
136Lutz Vorwerk [151] [153] [173] [174] [200]
137Stephan Waack [16] [18] [20] [30] [32] [37] [38] [41] [42] [45] [46] [53] [57] [61] [62] [68] [69] [70] [71] [80] [84] [86] [185] [216]
138Arno Wagner [103] [105] [168] [181]
139Jörg Waitelonis [264]
140Long Wang [220] [227] [228] [249] [255] [269] [310] [327]
141Frank Warda [141]
142Robert Warschofsky [322] [344] [348] [352] [371] [376]
143Claude Weber [307]
144Ulrich Weinberg [334]
145Christian Weiss [309]
146Christian Willems [208] [276] [279] [295] [313] [324] [344] [381]
147Peter Willems [89]
148Udo Winand [285]
149Katrin Wolf [258]
150Martin Wolf [305]
151Christian Wolter [256] [261] [282] [286] [299] [303] [309] [326] [335]
152Sevil Yakhyayeva [288]
153Haojin Yang [369] [383]
154Ching-man Au Yeung [308] [362] [363]
155Steffen Zahn [26] [27] [28]
156Ge Zhang [296] [302]
157Xinhua Zhang [211] [219] [226] [236] [237]
158Zhongdong Zhang [137] [159] [164]
159Wei Zhou [207] [230] [240] [260] [265] [266] [292]
160Ralf Ziegler [263]
161Peter Zienicke [15] [17] [26] [27] [28]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page