2009 | ||
---|---|---|
322 | Uwe Kylau, Ivonne Thomas, Michael Menzel, Christoph Meinel: Trust Requirements in Identity Federation Topologies. AINA 2009: 137-145 | |
321 | Michael Menzel, Ivonne Thomas, Christoph Meinel: Security Requirements Specification in Service-Oriented Business Process Management. ARES 2009: 41-48 | |
320 | Justus Bross, Janosch Oppermann, Christoph Meinel: Enabling Video-Blogging without Relying on External Service-Providers. CSE (4) 2009: 515-522 | |
319 | Justus Bross, Ahmet Emre Acar, Patrick Schilf, Christoph Meinel: Spurring Design Thinking through Educational Weblogging. CSE (4) 2009: 903-908 | |
318 | Long Wang, Justus Bross, Christoph Meinel: Post Recommendation in Social Web Site. EGOV 2009: 210-221 | |
317 | Christian Wolter, Philip Miseldine, Christoph Meinel: Verification of Business Process Entailment Constraints Using SPIN. ESSoS 2009: 1-15 | |
316 | Sebastian Roschke, Feng Cheng, Christoph Meinel: An Extensible and Virtualization-Compatible IDS Management Architecture. IAS 2009: 130-134 | |
315 | Stephan Repp, Christoph Meinel: Automatic Extraction of Semantic Descriptions from the Lecturer's Speech. ICSC 2009: 513-520 | |
314 | Regina N. Hebig, Christoph Meinel, Michael Menzel, Ivonne Thomas, Robert Warschofsky: A Web Service Architecture for Decentralised Identity- and Attribute-Based Access Control. ICWS 2009: 551-558 | |
313 | Ivonne Thomas, Christoph Meinel: Enhancing Claim-Based Identity Management by Adding a Credibility Level to the Notion of Claims. IEEE SCC 2009: 243-250 | |
312 | Michael Menzel, Christoph Meinel: A Security Meta-model for Service-Oriented Architectures. IEEE SCC 2009: 251-259 | |
311 | Matthias Quasthoff, Christoph Meinel: Design Pattern for Object Triple Mapping. IEEE SCC 2009: 443-450 | |
310 | Rehab Alnemr, Justus Bross, Christoph Meinel: Constructing a Context-Aware Service-Oriented Reputation Model Using Attention Allocation Points. IEEE SCC 2009: 451-457 | |
309 | Harald Sack, Bert Baumann, Andreas Groß, Christoph Meinel: Linking Tele-TASK Video Portal to the Semantic Web. IICS 2009: 204- | |
308 | Sebastian Roschke, Feng Cheng, Robert Schuppenies, Christoph Meinel: Towards Unifying Vulnerability Information for Attack Graph Construction. ISC 2009: 218-233 | |
307 | Feng Cheng, Sebastian Roschke, Christoph Meinel: Implementing IDS Management on Lock-Keeper. ISPEC 2009: 360-371 | |
306 | Raja Gumienny, Oliver Böckmann, Christian Willems, Matthias Quasthoff, Lutz Gericke, Christoph Meinel: Verteiltes Design Thinking mit teleBoard. Mensch & Computer 2009: 455-460 | |
305 | Kia Teymourian, Olga Streibel, Adrian Paschke, Rehab Alnemr, Christoph Meinel: Towards Semantic Event-Driven Systems. NTMS 2009: 1-6 | |
304 | Long Wang, Christoph Meinel: X-Tracking the Changes of Web Navigation Patterns. PAKDD 2009: 772-779 | |
303 | Christian Wolter, Christian Weiss, Christoph Meinel: An XACML Extension for Business Process-Centric Access Control Policies. POLICY 2009: 166-169 | |
302 | Michael G. Noll, Ching-man Au Yeung, Nicholas Gibbins, Christoph Meinel, Nigel Shadbolt: Telling experts from spammers: expertise ranking in folksonomies. SIGIR 2009: 612-619 | |
301 | Serge Linckels, Yves Kreis, Robert A. P. Reuter, Carole Dording, Claude Weber, Christoph Meinel: Teaching with information and communication technologies: preliminary results of a large scale survey. SIGUCCS 2009: 157-162 | |
300 | Andreas Groß, Bert Baumann, Justus Bross, Christoph Meinel: Distribution to multiple platforms based on one video lecture archive. SIGUCCS 2009: 79-84 | |
299 | Maxim Schnjakin, Michael Menzel, Christoph Meinel: A pattern-driven security advisor for service-oriented architectures. SWS 2009: 13-20 | |
298 | Christian Wolter, Michael Menzel, Andreas Schaad, Philip Miseldine, Christoph Meinel: Model-driven business process security requirement specification. Journal of Systems Architecture - Embedded Systems Design 55(4): 211-223 (2009) | |
2008 | ||
297 | Ge Zhang, Feng Cheng, Christoph Meinel: SIMPA: A SIP-Based Mobile Payment Architecture. ACIS-ICIS 2008: 287-292 | |
296 | Justus F. M. Broß, Christoph Meinel: Can VoIP Live up to the QoS Standards of Traditional Wireline Telephony? AICT 2008: 126-132 | |
295 | Tobias Queck, Björn Schünemann, Ilja Radusch, Christoph Meinel: Realistic Simulation of V2X Communication Scenarios. APSCC 2008: 1623-1627 | |
294 | Michael Menzel, Christian Wolter, Christoph Meinel: Towards the Aggregation of Security Requirements in Cross-Organisational Service Compositions. BIS 2008: 297-308 | |
293 | Stephan Repp, Serge Linckels, Christoph Meinel: Automatische Erzeugung Semantischer Annotationen für Vorlesungsvideos. DeLFI 2008: 149-160 | |
292 | Stephan Repp, Andreas Groß, Christoph Meinel: Webbasierte Suche in Vorlesungsvideos auf Basis der Transkripte eines Spracherkenners. DeLFI 2008: 427-428 | |
291 | Ge Zhang, Feng Cheng, Christoph Meinel: Towards Secure Mobile Payment Based on SIP. ECBS 2008: 96-104 | |
290 | Dirk Cordel, Christoph Meinel, Stephan Repp, Christian Willems: Explorative Learning of Wireless Network Security with Tele-Lab IT-Security. ICHL 2008: 213-224 | |
289 | Matthias Quasthoff, Harald Sack, Christoph Meinel: Who Reads and Writes the Social Web? A Security Architecture for Web 2.0 Applications. ICIW 2008: 576-582 | |
288 | Stephan Repp, Serge Linckels, Christoph Meinel: Question Answering from Lecture Videos Based on Automatically-Generated Learning Objects. ICWL 2008: 509-520 | |
287 | Wei Zhou, Christoph Meinel: Enforcing Information Flow Constraints in RBAC Environments. ISECS 2008: 159-164 | |
286 | Stephan Repp, Christoph Meinel: Segmentation of Lecture Videos Based on Spontaneous Speech Recognition. ISM 2008: 692-697 | |
285 | Stephan Repp, Serge Linckels, Christoph Meinel: Question answering from lecture videos based on an automatic semantic annotation. ITiCSE 2008: 17-21 | |
284 | Stephan Repp, Christoph Meinel, Sevil Yakhyayeva: Motivation of the students in game development projects. ITiCSE 2008: 368 | |
283 | Stephan Repp, Andreas Groß, Christoph Meinel: Dynamic Browsing of Audiovisual Lecture Recordings Based on Automated Speech Recognition. Intelligent Tutoring Systems 2008: 662-664 | |
282 | Christian Wolter, Michael Menzel, Christoph Meinel: Modelling Security Goals in Business Processes. Modellierung 2008: 197-212 | |
281 | Reinhard Keil, Christoph Meinel, Tom Sommerlatte, Udo Winand: Vorwort: Alltagstauglichkeit von Anwendungssystemen und Infrastrukturen. Multikonferenz Wirtschaftsinformatik 2008 | |
280 | Serge Linckels, Christoph Meinel: Applications of description logics to improve multimedia information retrieval for efficient educational tools. Multimedia Information Retrieval 2008: 321-328 | |
279 | Michael G. Noll, Christoph Meinel: Exploring social annotations for web document classification. SAC 2008: 2315-2320 | |
278 | Christian Wolter, Andreas Schaad, Christoph Meinel: Task-based entailment constraints for basic workflow patterns. SACMAT 2008: 51-60 | |
277 | Feng Cheng, Christoph Meinel: Strong Authentication over Lock-Keeper. SOFSEM 2008: 572-584 | |
276 | Ivonne Thomas, Michael Menzel, Christoph Meinel: Using quantified trust levels to describe authentication requirements in federated identity management. SWS 2008: 71-80 | |
275 | Christian Willems, Christoph Meinel: Awareness Creation mit Tele-Lab IT-Security: Praktisches Sicherheitstraining im virtuellen Labor am Beispiel Trojanischer Pferde. Sicherheit 2008: 513-532 | |
274 | Michael G. Noll, Christoph Meinel: The Metadata Triumvirate: Social Annotations, Anchor Texts and Search Queries. Web Intelligence 2008: 640-647 | |
273 | Stephan Repp, Andreas Groß, Christoph Meinel: Browsing within Lecture Videos Based on the Chain Index of Speech Transcription. TLT 1(3): 145-156 (2008) | |
2007 | ||
272 | Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil, Mária Bieliková: SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings Volume II Institute of Computer Science AS CR, Prague 2007 | |
271 | Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil: SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings Springer 2007 | |
270 | Stephan Repp, Serge Linckels, Christoph Meinel: Towards to an automatic semantic annotation for multimedia learning objects. ACM Multimedia EMME Workshop 2007: 19-26 | |
269 | Michael G. Noll, Christoph Meinel: Authors vs. readers: a comparative study of document metadata and content in the www. ACM Symposium on Document Engineering 2007: 177-186 | |
268 | Feng Cheng, Michael Menzel, Christoph Meinel: A Secure Web Services Providing Framework Based on Lock-Keeper. APNOMS 2007: 375-384 | |
267 | Matthias Quasthoff, Christoph Meinel: User Centricity in Healthcare Infrastructures. BIOSIG 2007: 141-152 | |
266 | Long Wang, Christoph Meinel: Mining the Students' Learning Interest in Browsing Web-Streaming Lectures. CIDM 2007: 194-201 | |
265 | Serge Linckels, Carole Dording, Christoph Meinel: Bessere Schulnoten mit MatES, dem e-Bibliothekardienst für den Mathematikunterricht. DeLFI 2007: 91-102 | |
264 | Naouel Karam, Serge Linckels, Christoph Meinel: Semantic Composition of Lecture Subparts for a Personalized e-Learning. ESWC 2007: 716-728 | |
263 | Wei Zhou, Christoph Meinel: A Policy Language for Integrating Heterogeneous Authorization Policies. GSEM 2007: 9-23 | |
262 | Wei Zhou, Christoph Meinel: Function-Based Authorization Constraints Specification and Enforcement. IAS 2007: 119-124 | |
261 | Stephan Repp, Jörg Waitelonis, Harald Sack, Christoph Meinel: Segmentation and Annotation of Audiovisual Recordings Based on Automated Speech Recognition. IDEAL 2007: 620-629 | |
260 | Stephan Repp, Ralf Ziegler, Christoph Meinel: Lernortkooperation in der IT-Ausbildung - Kompetenzentwicklung in Projekten. INFOS 2007: 135-146 | |
259 | Michael G. Noll, Christoph Meinel: Web Search Personalization Via Social Bookmarking and Tagging. ISWC/ASWC 2007: 367-380 | |
258 | Feng Cheng, Christian Wolter, Christoph Meinel: A Simple, Smart and Extensible Framework for Network Security Measurement. Inscrypt 2007: 517-531 | |
257 | Wei Zhou, Christoph Meinel: Team and Task Based RBAC Access Control Model. LANOMS 2007: 84-94 | |
256 | Serge Linckels, Stephan Repp, Naouel Karam, Christoph Meinel: The virtual tele-tASK professor: semantic search in recorded lectures. SIGCSE 2007: 50-54 | |
255 | Katrin Wolf, Serge Linckels, Christoph Meinel: Teleteaching anywhere solution kit (Tele-TASK) goes mobile. SIGUCCS 2007: 366-371 | |
254 | Serge Linckels, Harald Sack, Christoph Meinel: Optimizing the Retrieval of Pertinent Answers for NL Questions with the E-Librarian Service. SMRR 2007 | |
253 | Christian Wolter, Andreas Schaad, Christoph Meinel: Deriving XACML Policies from Business Process Models. WISE Workshops 2007: 142-153 | |
252 | Long Wang, Christoph Meinel: Detecting the Changes ofWeb Students' Learning Interest. Web Intelligence 2007: 816-819 | |
251 | Matthias Quasthoff, Harald Sack, Christoph Meinel: Why HTTPS Is Not Enough - A Signature-Based Architecture for Trusted Content on the Social Web. Web Intelligence 2007: 820-824 | |
250 | Christoph Meinel: Physikalische Trennung als Ultima Ratio im Hochsicherheitsbereich. Informatik Spektrum 30(3): 170-174 (2007) | |
249 | Serge Linckels, Christoph Meinel: Semantic Interpretation of Natural Language User Input to Improve Search in Multimedia Knowledge Base (Semantische Interpretation einer Benutzer-Eingabe in natürlicher Sprache für eine verbesserte Suche in einer multimedialen Wissensdatenbank). it - Information Technology 49(1): 40- (2007) | |
248 | Christoph Meinel: Vom ersten nationalen IT-Gipfel der Bundesregierung. it - Information Technology 49(5): 328-331 (2007) | |
2006 | ||
247 | Christoph Meinel, Long Wang: Building Content Clusters Based on Modelling Page Pairs. APWeb 2006: 856-861 | |
246 | Serge Linckels, Christoph Meinel, Thomas Engel: An e-Librarian Service that Understands Natural Language Questions from Students. CAiSE Forum 2006 | |
245 | Ji Hu, Dirk Cordel, Christoph Meinel: New Media for Teaching Applied Cryptography and Network Security. EC-TEL 2006: 488-493 | |
244 | Serge Linckels, Christoph Meinel: Resolving Ambiguities in the Semantic Interpretation of Natural Language Questions. IDEAL 2006: 612-619 | |
243 | Stephan Repp, Christoph Meinel: Semantic Indexing for Recorded Educational Lecture Videos. PerCom Workshops 2006: 240-245 | |
242 | Serge Linckels, Christoph Meinel: An e-Librarian Service that Yields Pertinent Resources from a Multimedia Knowledge Base. SIGMAP 2006: 208-215 | |
241 | Stephan Repp, Christoph Meinel: Segmenting of Recorded Lecture Videos - The Algorithm VoiceSeg. SIGMAP 2006: 317-322 | |
240 | Serge Linckels, Carole Dording, Christoph Meinel: Better results in mathematics lessons with a virtual personal teacher. SIGUCCS 2006: 201-209 | |
239 | Wei Zhou, Vinesh H. Raja, Christoph Meinel, Munir Ahmad: Label-Based Access Control Policy Enforcement and Management. SNPD 2006: 395-400 | |
238 | Feng Cheng, Christoph Meinel: Deployment of Virtual Machines in Lock-Keeper. WISA 2006: 147-159 | |
237 | Christoph Meinel, Volker Klotz: The first 10 years of the ECCC digital library. Commun. ACM 49(1): 131-134 (2006) | |
2005 | ||
236 | Xinhua Zhang, Chunyan Jiang, Wanjun Huang, Christoph Meinel: A XML format secure protocol - OpenSST. AICCSA 2005: 89 | |
235 | Chunyan Jiang, Xinhua Zhang, Christoph Meinel: Hybrid Framework for Medical Image Segmentation. CAIP 2005: 264-271 | |
234 | Monique Reichert, Serge Linckels, Christoph Meinel, Thomas Engel: Student's Perception of a Semantic Search Engine. CELDA 2005: 139-147 | |
233 | Serge Linckels, Christoph Meinel, Thomas Engel: Teaching in the Cyber-Age: Technologies, Experiments, and Realizations. DeLFI 2005: 225-236 | |
232 | Serge Linckels, Christoph Meinel: A simple application of description logics for a semantic search engine. IADIS AC 2005: 306-311 | |
231 | Serge Linckels, Christoph Meinel: A simple solution for an intelligent librarian system. IADIS AC 2005: 495-503 | |
230 | Wanjun Huang, Xiaohua Fan, Christoph Meinel: A CORBA-Based Dynamic Reconfigurable Middleware. ICCNMC 2005: 1208-1217 | |
229 | Wei Zhou, Christoph Meinel, Vinesh H. Raja: A Framework for Supporting Distributed Access Control Policies. ISCC 2005: 442-447 | |
228 | Ji Hu, Dirk Cordel, Christoph Meinel: Virtual Machine Management for Tele-Lab "IT-Security" Server. ISCC 2005: 448-453 | |
227 | Long Wang, Christoph Meinel, Chunnian Liu: Discovering Characteristic Individual Accessing Behaviors in Web Environment. RSFDGrC (2) 2005: 466-476 | |
226 | Long Wang, Christoph Meinel: Recovering Individual Accessing Behaviour from Web Logs. SEKE 2005: 590-595 | |
225 | Chunyan Jiang, Xinhua Zhang, Christoph Meinel: Medical Image Segmentation Using a Combined Approach. VISION 2005: 84-92 | |
2004 | ||
224 | Ji Hu, Christoph Meinel: Tele-Lab IT Security: A Means to Build Security Laboratories on the Web. AINA (2) 2004: 285-288 | |
223 | Mohammad GhasemZadeh, Volker Klotz, Christoph Meinel: Embedding Memoization to the Semantic Tree Search for Deciding QBFs. Australian Conference on Artificial Intelligence 2004: 681-693 | |
222 | Christoph Meinel, Tongbo Chen, Volker Schillings: tele-TASK - Teleteaching praxistauglich für den Universitätsalltag. EMISA 2004: 35-47 | |
221 | Ji Hu, Dirk Cordel, Christoph Meinel: A Virtual Laboratory for IT Security Education. EMISA 2004: 60-71 | |
220 | Serge Linckels, Christoph Meinel: Automatic Interpretation of Natural Language for a Multimedia E-learning Tool. ICWE 2004: 435-439 | |
219 | Long Wang, Christoph Meinel: Behaviour Recovery and Complicated Pattern Definition in Web Usage Mining. ICWE 2004: 531-543 | |
218 | Wanjun Huang, Xinhua Zhang, Uwe Roth, Christoph Meinel: Routing based workflow for construction of distributed applications. ISCC 2004: 80-85 | |
217 | Ji Hu, Christoph Meinel, Michael Schmitt II: Tele-lab IT security: an architecture for interactive lessons for security education. SIGCSE 2004: 412-416 | |
216 | Ji Hu, Christoph Meinel: Tele-Lab "IT-Security" on CD: portable, reliable and safe IT security training. Computers & Security 23(4): 282-289 (2004) | |
215 | Carsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack: On relations between counting communication complexity classes. J. Comput. Syst. Sci. 69(2): 259-280 (2004) | |
214 | Mikail Gevantmakher, Christoph Meinel: Medizinische Bildverarbeitung - eine Übersicht Universität Trier, Mathematik/Informatik, Forschungsbericht 04-03: (2004) | |
213 | Mikail Gevantmakher, Christoph Meinel: TI-jPACS - eine frei verfügbare leistungsfähige Plattform zur medizinischen Bildverarbeitung und -visualisierung Universität Trier, Mathematik/Informatik, Forschungsbericht 04-04: (2004) | |
212 | Volker Klotz, Christoph Meinel: 10 Jahre ECCC - Eine Digitale Bibliothek in weltweiter Benutzung Universität Trier, Mathematik/Informatik, Forschungsbericht 04-05: (2004) | |
2003 | ||
211 | Christoph Meinel, Harald Sack: WWW - Kommunikation, Internetworking, Web-Technologien Springer 2003 | |
210 | Xinhua Zhang, Alexandre Dulaunoy, Christoph Meinel: Enhance Opensst Protocol's Security with Smart Card. ICWI 2003: 565-571 | |
209 | Wanjun Huang, Uwe Roth, Christoph Meinel: A Flexible Middleware Platform with Piped Workflow. OTM Workshops 2003: 950-959 | |
208 | Feng Cheng, Paul Ferring, Christoph Meinel, Gerhard Müllenheim, Jochen Bern: The DualGate Lock-Keeper: A Highly Efficient, Flexible and Applicable Network Security Solution. SNPD 2003: 152-159 | |
207 | Ji Hu, Michael Schmitt II, Christian Willems, Christoph Meinel: A Tutoring System for IT Security. World Conference on Information Security Education 2003: 51-60 | |
206 | Wei Zhou, Christoph Meinel: Implement Role-Based Access Control with Attribute Certificates Universität Trier, Mathematik/Informatik, Forschungsbericht 03-03: (2003) | |
205 | Christoph Meinel, Volker Schillings: tele-TASK - Teleteaching praxistauglich für den Universitätsalltag Universität Trier, Mathematik/Informatik, Forschungsbericht 03-04: (2003) | |
204 | Feng Cheng, Paul Ferring, Christoph Meinel: Lock-Keeper Technology - A New Network Security Solution Universität Trier, Mathematik/Informatik, Forschungsbericht 03-05: (2003) | |
203 | Michael Schmitt II, Christoph Meinel: Design and Implementation of a PHP-based Web Server for the Tele-Lab IT Security Universität Trier, Mathematik/Informatik, Forschungsbericht 03-06: (2003) | |
2002 | ||
202 | Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen, Eine Einführung, 2. Auflage Teubner 2002 | |
201 | Uwe Roth, Ernst Georg Haffner, Christoph Meinel: The Internal Workflow of the Smart-Data-Server. ICWI 2002: 572-576 | |
200 | Mingchao Ma, Christoph Meinel: A Proposal for Trust Model: Independent Trust Intermediary Service (ITIS). ICWI 2002: 785-790 | |
199 | Lutz Vorwerk, Chunyan Jiang, Christoph Meinel: Application for Repairing and Presenting DICOM Objects. IMSA 2002: 318-323 | |
198 | Christoph Meinel, Harald Sack, Volker Schillings: VisBDD - A Web-based Visualization Framework for OBDD Algorithms. IWLS 2002: 385-390 | |
197 | Christoph Meinel, Christian Stangier: Modular Partitioning and Dynamic Conjunction Scheduling in Image Computation. IWLS 2002: 391-396 | |
196 | Ernst Georg Haffner, Uwe Roth, Christoph Meinel: A Hyperlink-Proposal Mechanism to Exemplify Cognitive Algorithms for Web-Applications. JCIS 2002: 517-520 | |
195 | Volker Schillings, Christoph Meinel: tele-TASK: teleteaching anywhere solution kit. SIGUCCS 2002: 130-133 | |
194 | Christoph Meinel, Harald Sack, Volker Schillings: Course management in the twinkle of an eye - LCMS: a professional course management system. SIGUCCS 2002: 281-283 | |
193 | Randal E. Bryant, Christoph Meinel: Ordered Binary Decision Diagrams in Electronic Design Automation Universität Trier, Mathematik/Informatik, Forschungsbericht 02-20: (2002) | |
192 | Christoph Meinel, Volker Schillings: tele-TASK - Teleteaching Anywhere Solution Kit Universität Trier, Mathematik/Informatik, Forschungsbericht 02-21: (2002) | |
2001 | ||
191 | Christoph Meinel, Christian Stangier: A new partitioning scheme for improvement of image computation. ASP-DAC 2001: 97-102 | |
190 | Christoph Meinel, Christian Stangier: Data Structures for Boolean Functions. Computational Discrete Mathematics 2001: 61-78 | |
189 | Christoph Meinel, Christian Stangier: Hierarchical Image Computation with Dynamic Conjunction Scheduling. ICCD 2001: 354-359 | |
188 | Christoph Meinel: Electronic publishing, science portals and virtual universities - the scientific community is well-established in the World Wide Web. IuK 2001 | |
187 | Christoph Meinel, Harald Sack, Volker Schillings: IDDS: an interactive decentralized documentation system. SIGDOC 2001: 165-171 | |
186 | Uwe Roth, Kais Louizi, Ernst Georg Haffner, Christoph Meinel: How Much Middle-Tier Do You Need? WebNet 2001: 1052-1056 | |
185 | Ernst Georg Haffner, Uwe Roth, Andreas Heuer, Thomas Engel, Christoph Meinel: Managing Distributed Personal Firewalls with Smart Data Servers. WebNet 2001: 466-471 | |
184 | Christoph Meinel, Stephan Waack: The "log rank" conjecture for modular communication complexity. Computational Complexity 10(1): 70-91 (2001) | |
183 | Christoph Meinel, Thorsten Theobald: Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. Formal Methods in System Design 18(3): 285-301 (2001) | |
182 | Christoph Meinel, Harald Sack: A Heuristic for (+)-OBDD Minimization Universität Trier, Mathematik/Informatik, Forschungsbericht 01-06: (2001) | |
181 | Christoph Meinel, Harald Sack: Improving XOR-Node Placement for (+)-OBDDs Universität Trier, Mathematik/Informatik, Forschungsbericht 01-07: (2001) | |
180 | Christoph Meinel, Harald Sack, Arno Wagner: WWW.BDD-PORTAL.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms Universität Trier, Mathematik/Informatik, Forschungsbericht 01-09: (2001) | |
179 | Christoph Meinel, Harald Sack, Volker Schillings: IDDS: An Interactive Decentallzed Documentation System Universität Trier, Mathematik/Informatik, Forschungsbericht 01-15: (2001) | |
178 | Christoph Meinel, Christian Stangier: Modular Partitioning for Improvement of Image Computation Universität Trier, Mathematik/Informatik, Forschungsbericht 01-16: (2001) | |
177 | Christoph Meinel, Harald Sack, Volker Schillings: VisBDD - A Webbased Visualization Framework for OBDD Algorithms Universität Trier, Mathematik/Informatik, Forschungsbericht 01-21: (2001) | |
2000 | ||
176 | Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen, Eine Einführung Teubner 2000 | |
175 | Christoph Meinel, Christian Stangier: Speeding up symbolic model checking by accelerating dynamic variable reordering. ACM Great Lakes Symposium on VLSI 2000: 39-42 | |
174 | Ernst Georg Haffner, Uwe Roth, Andreas Heuer, Thomas Engel, Christoph Meinel: What Do Hyperlink-Proposals and Request-Prediction Have in Common? ADVIS 2000: 285-293 | |
173 | Sergey Khludov, Lutz Vorwerk, Christoph Meinel: Internet-Orientated Medical Information System for Dicom-Data Transfer, Visualization and Revision. CBMS 2000: 293-296 | |
172 | Lutz Vorwerk, Christoph Meinel: A Multimedia-Editor for Making Findings in Radiology. CBMS 2000: 297- | |
171 | Olivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich: Web-based frameworks to enable CAD RD (abstract). DAC 2000: 711 | |
170 | Ernst Georg Haffner, Andreas Heuer, Uwe Roth, Thomas Engel, Christoph Meinel: Advanced Studies on Link Proposals and Knowledge Retrieval of Hypertexts with CBR. EC-Web 2000: 369-378 | |
169 |