Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5786 Publications


1999 | Book Chapter | LibreCat-ID: 16235
E. Hüllermeier, “Qualitatives Schließen und Qualitative Simulation,” in Modellierung, Simulation und Künstliche Intelligenz, H. Szczerbicka and T. Uthmann, Eds. SCS Publishing House, Erlangen, 1999, pp. 277–310.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 13607
O. Mencer and M. Platzner, “Dynamic circuit generation for Boolean satisfiability in an object-oriented design environment,” in Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32), 1999.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 13608
M. Eisenring, M. Platzner, and L. Thiele, “Communication Synthesis for Reconfigurable Embedded Systems,” in Proceedings of the 9th International Workshop on Field Programmable Logic and Applications (FPL), 1999, vol. 1673, pp. 205–214.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 3024
J. Blömer and J.-P. Seifert, “On the complexity of computing short linearly independent vectors and short bases in a lattice,” 1999, doi: 10.1145/301250.301441.
LibreCat | Files available | DOI
 

1999 | Conference Paper | LibreCat-ID: 39481
C. Geiger, G. Lehrenfeld, and W. Müller, “Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.” Magdeburg, Germany, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 39488
M. Dücker, W. Müller, and J. Rubart, “Innovative Concepts for Configurating Shared Workspaces through Visual Programming,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA , 1999, doi: 10.1109/HICSS.1999.773046.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 39487
C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling, and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii, 1999, doi: 10.1109/HICSS.1999.772621.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 39468
M. Dücker et al., “Wissenbasierte Konzepte und visuelle interaktive Systeme.” Bonn, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 39471
A. Dangberg and W. Müller, “Generation of Interactive Visual Environments for Direct Manipulation of Database Content,” 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 39474
S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, and V. Paelke, “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control,” presented at the 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA , 1999, doi: 10.1109/NAFIPS.1999.781697.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 39477
W. Müller and F. Ullmann, “Scalable System for 3D Audio Raytracing,” 1999, doi: 10.1109/MMCS.1999.778592.
LibreCat | DOI
 

1998 | Dissertation | LibreCat-ID: 19639
B. Vöcking, Static and Dynamic Data Management in Networks, vol. 46. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
LibreCat | Files available
 

1998 | Report | LibreCat-ID: 19735
O. Bonorden, I. Rieping, I. von Otte, and B. Juurlink, The Paderborn University BSP (PUB) Library - Design, Implementation and Performance. 1998.
LibreCat | Files available
 

1998 | Conference Paper | LibreCat-ID: 3255
T. Gehrke, M. Huhn, P. Niebert, A. Rensink, and H. Wehrheim, “A Process Algebra Semantics for {MSC} Including Conditions,” in Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998, 1998, pp. 185--196.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 3256
T. Gehrke, M. Huhn, A. Rensink, and H. Wehrheim, “An Algebraic Semantics for Message Sequence Chart Documents,” in Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France, 1998, pp. 3--18.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 3257
M. Huhn, P. Niebert, and H. Wehrheim, “Partial Order Reductions for Bisimulation Checking,” in Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, 1998, pp. 271--282.
LibreCat | DOI
 

1998 | Journal Article | LibreCat-ID: 3028
J. Blömer and B. Trachsler, “A lower bound for a class of graph based loss resilient codes,” Technical report/Departement of Computer Science, ETH Zürich, 1998.
LibreCat | Files available
 

1998 | Book Chapter | LibreCat-ID: 17412
M. Fischer, T. Lukovszki, and M. Ziegler, “Geometric Searching in Walkthrough Animations with Weak Spanners in Real Time,” in Algorithms — ESA’ 98, Berlin, Heidelberg, 1998.
LibreCat | Files available | DOI
 

1998 | Conference Paper | LibreCat-ID: 17863
M. Fischer, T. Lukovszki, and M. Ziegler, “A Network Based Approach for Realtime Walkthrough of Massive Models,” in Algorithm Engineering, 2nd International Workshop, {WAE ’98}, 1998, pp. 133--142.
LibreCat | Files available
 

1998 | Report | LibreCat-ID: 18145
M. Ziegler, M. Fischer, and T. Lukovszki, Multimediale Entdeckungsreisen unserer Welt mit dem Internet. 1998.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed