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.
1769 Publications
2008 | Conference Paper | LibreCat-ID: 3210
@inproceedings{Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Bounded Model Checking for Partial Kripke Structures}, DOI={10.1007/978-3-540-85762-4_26}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, author={Wehrheim, Heike}, editor={S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n, H{\"{u}}sn{\"{u}}Editors}, year={2008}, pages={380--394}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3143
@inproceedings{Gajek_Jager_Manulis_Schwenk_2008, title={A Browser-Based Kerberos Authentication Scheme}, DOI={10.1007/978-3-540-88313-5_8}, booktitle={Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings}, author={Gajek, Sebastian and Jager, Tibor and Manulis, Mark and Schwenk, Jörg}, year={2008}, pages={115--129} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3144
@inproceedings{Altmann_Jager_Rupp_2008, title={On Black-Box Ring Extraction and Integer Factorization}, DOI={10.1007/978-3-540-70583-3_36}, booktitle={Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations}, author={Altmann, Kristina and Jager, Tibor and Rupp, Andy}, year={2008}, pages={437--448} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3145
@inproceedings{Jager_Schwenk_2008, title={On the Equivalence of Generic Group Models}, DOI={10.1007/978-3-540-88733-1_14}, booktitle={Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings}, author={Jager, Tibor and Schwenk, Jörg}, year={2008}, pages={200--209} }
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 1109
@inbook{Geierhos_Bsiri_2008, place={London, UK}, edition={1}, series={Tributes}, title={ProfilPro: Reconstitution automatique d’un profil professionnel à partir des documents du Web}, volume={6}, booktitle={Linguistics, Computer Science and Language Processing: Festschrift for Franz Guenthner on the Occasion of His 60th Birthday (Tributes 6)}, publisher={College Publications}, author={Geierhos, Michaela and Bsiri, Sandra}, editor={Gross , Gaston and Schulz, Klaus U.Editors}, year={2008}, pages={103–126}, collection={Tributes} }
LibreCat
2008 | Book (Editor) | LibreCat-ID: 17465
@book{Peckhaus_Bernhard_2008, place={Paderborn}, title={Methodisches Denken im Kontext. Festschrift für Christian Thiel, mit einem unveröffentlichten Brief Gottlob Freges}, publisher={mentis Verlag}, year={2008} }
LibreCat
2008 | Book | LibreCat-ID: 17566
@book{Meyer auf der Heide_2008, place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, title={The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS)}, volume={222}, publisher={Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn}, author={Meyer auf der Heide, Friedhelm}, year={2008}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 19003
@inproceedings{Degener_Gehweiler_Lammersen_2008, title={The Kinetic Facility Location Problem}, DOI={10.1007/978-3-540-69903-3_34}, booktitle={Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT)}, author={Degener, Bastian and Gehweiler, Joachim and Lammersen, Christiane}, year={2008}, pages={378–389} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 19067
@article{Seng_2008, title={„Kulturelles Erbe: Denkmalpflege, Restaurierung, Authentizität, Wiederaufbau“}, journal={ForschungsForumPaderborn }, author={Seng, Eva- Maria}, year={2008}, pages={40–46} }
LibreCat
2008 | Book Chapter | LibreCat-ID: 19068
@inbook{Seng_2008, place={Petersberg}, title={„Modern oder gothisch – gothisch und antique römische Architectur vermischt“ – die Vorschläge zu Wiederaufbau und Rekonstruktion des Speyrer Doms 1771}, booktitle={Reibungspunkte. Ordnung und Umbruch in Architektur und Kunst. Festschrift zum 65. Geburtstag von Hubertus Günther}, author={Seng, Eva- Maria}, editor={Hubach, Hanns and von Orelli-Messerli, Barbara and Tassini, TadejEditors}, year={2008}, pages={241–251 und 156} }
LibreCat
2008 | Book Chapter | LibreCat-ID: 19073
@inbook{Seng_2008, place={Tübingen}, title={„… Der Hauptzweck ist, die große Welt … allhier im kleineren beisammen zu haben“. Kunst- und Wunderkammern als Bildungseinrichtungen}, booktitle={Hallesche Beiträge zur Europäischen Aufklärung}, author={Seng, Eva- Maria}, editor={Stolzenberg, JürgenEditor}, year={2008} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 1941
@inproceedings{Clouser_Nesterenko_Scheideler_2008, series={Lecture Notes in Computer Science}, title={Tiara: A Self-stabilizing Deterministic Skip List}, volume={5340}, DOI={10.1007/978-3-540-89335-6_12}, booktitle={Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings}, publisher={Springer}, author={Clouser, Thomas and Nesterenko, Mikhail and Scheideler, Christian}, year={2008}, pages={124--140}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 1942
@inbook{Scheideler_2008, series={eXamen.press}, title={Broadcasting: Wie verbreite ich schnell Informationen?}, DOI={10.1007/978-3-540-76394-9_22}, booktitle={Taschenbuch der Algorithmen}, publisher={Springer}, author={Scheideler, Christian}, year={2008}, pages={229--236}, collection={eXamen.press} }
LibreCat
| DOI
2008 | Book | LibreCat-ID: 1945
@book{Vöcking_Alt_Dietzfelbinger_Reischuk_Scheideler_Vollmer_Wagner_2008, series={eXamen.press}, title={Taschenbuch der Algorithmen}, author={Vöcking, Berthold and Alt, Helmut and Dietzfelbinger, Martin and Reischuk, Rüdiger and Scheideler, Christian and Vollmer, Heribert and Wagner, Dorothea}, year={2008}, collection={eXamen.press} }
LibreCat
| Download (ext.)
2008 | Conference Paper | LibreCat-ID: 2355
@inproceedings{Brinkmann_Effert_2008, place={Berlin / Heidelberg}, title={Redundant Data Placement Strategies for Cluster Storage Environments}, DOI={10.1007/978-3-540-92221-6_38}, booktitle={Proc. Int. Conf. on Principles Of DIstributed Systems (OPODIS)}, publisher={Springer}, author={Brinkmann, André and Effert, Sascha}, year={2008}, pages={551–554} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 2383
@inproceedings{Lietsch_Hermann Lensing_2008, series={Lecture Notes in Computer Science (LNCS)}, title={GPU-Supported Image Compression for Remote Visualization - Realization and Benchmarking}, volume={5358}, DOI={10.1007/978-3-540-89639-5_63}, booktitle={Proc. Int. Symp. on Visual Computing (ISVC)}, publisher={Springer}, author={Lietsch, Stefan and Hermann Lensing, Paul}, year={2008}, pages={658–668}, collection={Lecture Notes in Computer Science (LNCS)} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 2386
@inproceedings{Bienkowski_Brinkmann_Korzeniowski_2008, place={Berlin / Heidelberg}, title={Degree 3 Suffices: A Large-Scale Overlay for P2P Networks}, DOI={10.1007/978-3-540-92221-6_13}, booktitle={Proc. Int. Conf. on Principles Of DIstributed Systems (OPODIS)}, publisher={Springer}, author={Bienkowski, Marcin and Brinkmann, André and Korzeniowski, Miroslaw}, year={2008}, pages={184–196} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 20367
@inproceedings{Hamann_Wörn_2008, title={Aggregating Robots Compute: An Adaptive Heuristic for the Euclidean Steiner Tree Problem}, volume={5040}, DOI={10.1007/978-3-540-69134-1_44}, booktitle={The tenth International Conference on Simulation of Adaptive Behavior (SAB’08)}, author={Hamann, Heiko and Wörn, Heinz}, year={2008}, pages={447--456} }
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 20711
@inbook{Monien_Lorenz_Warner_2008, place={Berlin, Heidelberg}, title={Der Alphabeta-Algorithmus für Spielbäume: Wie bringe ich meinen Computer zum Schachspielen?}, DOI={10.1007/978-3-540-76394-9_28}, booktitle={Taschenbuch der Algorithmen}, author={Monien, Burkhard and Lorenz, Ulf and Warner, Daniel}, year={2008} }
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 17978
@inbook{Lürwer-Brüggemeier_Ziegler_2008, place={Berlin, Heidelberg}, title={On Faster Integer Calculations Using Non-arithmetic Primitives}, DOI={10.1007/978-3-540-85194-3_11}, booktitle={Unconventional Computing}, author={Lürwer-Brüggemeier, Katharina and Ziegler, Martin}, year={2008} }
LibreCat
| DOI