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
@inbook{Hüllermeier_1999, title={Qualitatives Schließen und Qualitative Simulation}, booktitle={Modellierung, Simulation und Künstliche Intelligenz}, publisher={SCS Publishing House, Erlangen}, author={Hüllermeier, Eyke}, editor={Szczerbicka, H. and Uthmann, T.Editors}, year={1999}, pages={277–310} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 13607
@inproceedings{Mencer_Platzner_1999, title={Dynamic circuit generation for Boolean satisfiability in an object-oriented design environment}, DOI={10.1109/hicss.1999.772883}, booktitle={Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32)}, publisher={IEEE CS Press}, author={Mencer, Oskar and Platzner, Marco}, year={1999} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 13608
@inproceedings{Eisenring_Platzner_Thiele_1999, series={LCS}, title={Communication Synthesis for Reconfigurable Embedded Systems}, volume={1673}, DOI={10.1007/978-3-540-48302-1_21}, booktitle={Proceedings of the 9th International Workshop on Field Programmable Logic and Applications (FPL)}, publisher={Springer}, author={Eisenring, Michael and Platzner, Marco and Thiele, Lothar}, year={1999}, pages={205–214}, collection={LCS} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3024
@inproceedings{Blömer_Seifert_1999, title={On the complexity of computing short linearly independent vectors and short bases in a lattice}, DOI={10.1145/301250.301441}, booktitle={Proceedings of the thirty-first annual ACM symposium on Theory of computing - STOC ’99}, publisher={ACM Press}, author={Blömer, Johannes and Seifert, Jean-Pierre}, year={1999} }
LibreCat
| Files available
| DOI
1999 | Conference Paper | LibreCat-ID: 39481
@article{Geiger_Lehrenfeld_Müller_1999, place={Magdeburg, Germany}, series={Simulation und Visualisierung}, title={Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999}, collection={Simulation und Visualisierung} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 39488
@inproceedings{Dücker_Müller_Rubart_1999, place={Maui, HI, USA }, title={Innovative Concepts for Configurating Shared Workspaces through Visual Programming}, DOI={10.1109/HICSS.1999.773046}, booktitle={ Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences}, author={Dücker, M. and Müller, Wolfgang and Rubart, Jessica}, year={1999} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
@inproceedings{Geiger_Lehrenfeld_Müller_1999, place={Maui, Hawaii}, title={Visual Specification, Modeling, and Illustrations of Complex Systems}, DOI={10.1109/HICSS.1999.772621}, booktitle={Proceedings of HICSS-32}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39468
@article{Dücker_Flake_Geiger_Müller_Paelke_Reimann_Rosenbach_Zimmermann_Zelder_1999, place={Bonn}, series={Intelligente Virtuelle Umgebungen}, title={Wissenbasierte Konzepte und visuelle interaktive Systeme}, author={Dücker, M. and Flake, Stephan and Geiger, C. and Müller, Wolfgang and Paelke, Volker and Reimann, C. and Rosenbach, W. and Zimmermann, D. and Zelder, S.}, year={1999}, collection={Intelligente Virtuelle Umgebungen} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 39471
@inproceedings{Dangberg_Müller_1999, place={Tokyo, Japan}, title={Generation of Interactive Visual Environments for Direct Manipulation of Database Content}, booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Dangberg, Andreas and Müller, Wolfgang}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 39474
@inproceedings{Flake_Geiger_Lehrenfeld_Müller_Paelke_1999, place={New York, NY, USA }, title={Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control}, DOI={10.1109/NAFIPS.1999.781697}, booktitle={Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society}, publisher={IEEE}, author={Flake, Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke, Volker}, year={1999} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39477
@inproceedings{Müller_Ullmann_1999, place={Florence, Italy}, title={Scalable System for 3D Audio Raytracing}, DOI={10.1109/MMCS.1999.778592}, booktitle={ Proceedings IEEE International Conference on Multimedia Computing and Systems}, author={Müller, Wolfgang and Ullmann, F.}, year={1999} }
LibreCat
| DOI
1998 | Dissertation | LibreCat-ID: 19639
@book{Vöcking_1998, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Static and Dynamic Data Management in Networks}, volume={46}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Vöcking, Berthold}, year={1998}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
1998 | Report | LibreCat-ID: 19735
@book{Bonorden_Rieping_von Otte_Juurlink_1998, title={The Paderborn University BSP (PUB) Library - Design, Implementation and Performance}, author={Bonorden, Olaf and Rieping, Ingo and von Otte, Ingo and Juurlink, Bernhardus}, year={1998} }
LibreCat
| Files available
1998 | Conference Paper | LibreCat-ID: 3255
@inproceedings{Gehrke_Huhn_Niebert_Rensink_Wehrheim_1998, title={A Process Algebra Semantics for {MSC} Including Conditions}, booktitle={Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998}, author={Gehrke, Thomas and Huhn, Michaela and Niebert, Peter and Rensink, Arend and Wehrheim, Heike}, editor={K{\"{o}}nig, Hartmut and Langend{\"{o}}rfer, PeterEditors}, year={1998}, pages={185--196} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 3256
@inproceedings{Gehrke_Huhn_Rensink_Wehrheim_1998, series={{IFIP} Conference Proceedings}, title={An Algebraic Semantics for Message Sequence Chart Documents}, booktitle={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}, author={Gehrke, Thomas and Huhn, Michaela and Rensink, Arend and Wehrheim, Heike}, editor={Budkowski, Stanislaw and R. Cavalli, Ana and Najm, ElieEditors}, year={1998}, pages={3--18}, collection={{IFIP} Conference Proceedings} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 3257
@inproceedings{Huhn_Niebert_Wehrheim_1998, series={Lecture Notes in Computer Science}, title={Partial Order Reductions for Bisimulation Checking}, DOI={10.1007/978-3-540-49382-2_26}, booktitle={Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings}, author={Huhn, Michaela and Niebert, Peter and Wehrheim, Heike}, editor={Arvind, Vikraman and Ramanujam, RamaswamyEditors}, year={1998}, pages={271--282}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 3028
@article{Blömer_Trachsler_1998, title={A lower bound for a class of graph based loss resilient codes}, journal={Technical report/Departement of Computer Science, ETH Zürich}, author={Blömer, Johannes and Trachsler, Beat}, year={1998} }
LibreCat
| Files available
1998 | Book Chapter | LibreCat-ID: 17412
@inbook{Fischer_Lukovszki_Ziegler_1998, place={Berlin, Heidelberg}, title={Geometric Searching in Walkthrough Animations with Weak Spanners in Real Time}, DOI={10.1007/3-540-68530-8_14}, booktitle={Algorithms — ESA’ 98}, author={Fischer, Matthias and Lukovszki, Tamás and Ziegler, Martin}, year={1998} }
LibreCat
| Files available
| DOI
1998 | Conference Paper | LibreCat-ID: 17863
@inproceedings{Fischer_Lukovszki_Ziegler_1998, place={Saarbrücken}, title={A Network Based Approach for Realtime Walkthrough of Massive Models}, booktitle={Algorithm Engineering, 2nd International Workshop, {WAE ’98}}, publisher={Max-Planck-Institut für Informatik}, author={Fischer, Matthias and Lukovszki, Tamas and Ziegler, Martin }, year={1998}, pages={133--142} }
LibreCat
| Files available
1998 | Report | LibreCat-ID: 18145
@book{Ziegler_Fischer_Lukovszki_1998, title={Multimediale Entdeckungsreisen unserer Welt mit dem Internet}, author={Ziegler, Martin and Fischer, Matthias and Lukovszki, Tamás}, year={1998} }
LibreCat