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
Hüllermeier, Eyke. “Qualitatives Schließen Und Qualitative Simulation.” Modellierung, Simulation Und Künstliche Intelligenz, edited by H. Szczerbicka and T. Uthmann, SCS Publishing House, Erlangen, 1999, pp. 277–310.
LibreCat
1999 | Conference Paper | LibreCat-ID: 13607
Mencer, Oskar, and Marco Platzner. “Dynamic Circuit Generation for Boolean Satisfiability in an Object-Oriented Design Environment.” Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32), IEEE CS Press, 1999, doi:10.1109/hicss.1999.772883.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 13608
Eisenring, Michael, et al. “Communication Synthesis for Reconfigurable Embedded Systems.” Proceedings of the 9th International Workshop on Field Programmable Logic and Applications (FPL), vol. 1673, Springer, 1999, pp. 205–14, doi:10.1007/978-3-540-48302-1_21.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3024
Blömer, Johannes, and Jean-Pierre Seifert. “On the Complexity of Computing Short Linearly Independent Vectors and Short Bases in a Lattice.” Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing - STOC ’99, ACM Press, 1999, doi:10.1145/301250.301441.
LibreCat
| Files available
| DOI
1999 | Conference Paper | LibreCat-ID: 39481
Geiger, Christian, et al. Virtuelles Prototyping Einer Robotersteuerung Durch Interaktive 3D-Simulation. 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39488
Dücker, M., et al. “Innovative Concepts for Configurating Shared Workspaces through Visual Programming.” Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, 1999, doi:10.1109/HICSS.1999.773046.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations of Complex Systems.” Proceedings of HICSS-32, 1999, doi:10.1109/HICSS.1999.772621.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39468
Dücker, M., et al. Wissenbasierte Konzepte Und Visuelle Interaktive Systeme. 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39471
Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Environments for Direct Manipulation of Database Content.” Proceedings of the IEEE Symposium on Visual Languages, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39474
Flake, Stephan, et al. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control.” Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society, IEEE, 1999, doi:10.1109/NAFIPS.1999.781697.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39477
Müller, Wolfgang, and F. Ullmann. “Scalable System for 3D Audio Raytracing.” Proceedings IEEE International Conference on Multimedia Computing and Systems, 1999, doi:10.1109/MMCS.1999.778592.
LibreCat
| DOI
1998 | Dissertation | LibreCat-ID: 19639
Vöcking, Berthold. Static and Dynamic Data Management in Networks. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
LibreCat
| Files available
1998 | Report | LibreCat-ID: 19735
Bonorden, Olaf, et al. The Paderborn University BSP (PUB) Library - Design, Implementation and Performance. 1998.
LibreCat
| Files available
1998 | Conference Paper | LibreCat-ID: 3255
Gehrke, Thomas, et al. “A Process Algebra Semantics for {MSC} Including Conditions.” Formale Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, edited by Hartmut K{\"{o}}nig and Peter Langend{\"{o}}rfer, 1998, pp. 185--196.
LibreCat
1998 | Conference Paper | LibreCat-ID: 3256
Gehrke, Thomas, et al. “An Algebraic Semantics for Message Sequence Chart Documents.” 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, edited by Stanislaw Budkowski et al., 1998, pp. 3--18.
LibreCat
1998 | Conference Paper | LibreCat-ID: 3257
Huhn, Michaela, et al. “Partial Order Reductions for Bisimulation Checking.” Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, edited by Vikraman Arvind and Ramaswamy Ramanujam, 1998, pp. 271--282, doi:10.1007/978-3-540-49382-2_26.
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 3028
Blömer, Johannes, and Beat 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
Fischer, Matthias, et al. “Geometric Searching in Walkthrough Animations with Weak Spanners in Real Time.” Algorithms — ESA’ 98, 1998, doi:10.1007/3-540-68530-8_14.
LibreCat
| Files available
| DOI
1998 | Conference Paper | LibreCat-ID: 17863
Fischer, Matthias, et al. “A Network Based Approach for Realtime Walkthrough of Massive Models.” Algorithm Engineering, 2nd International Workshop, {WAE ’98}, Max-Planck-Institut für Informatik, 1998, pp. 133--142.
LibreCat
| Files available
1998 | Report | LibreCat-ID: 18145
Ziegler, Martin, et al. Multimediale Entdeckungsreisen Unserer Welt Mit Dem Internet. 1998.
LibreCat