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.
9773 Publications
2008 | Journal Article | LibreCat-ID: 2530
@article{Haake_2008, title={Comments on: Transversality of the Shapley value}, volume={16}, DOI={10.1007/s11750-008-0047-2}, number={1}, journal={TOP}, publisher={Springer Nature}, author={Haake, Claus-Jochen}, year={2008}, pages={48–50} }
LibreCat
| Files available
| DOI
2008 | Conference Paper | LibreCat-ID: 25396
@inproceedings{Ngonga Ngomo_2008, series={Lecture Notes in Computer Science}, title={SIGNUM: A Graph Algorithm for Terminology Extraction}, volume={4919}, DOI={10.1007/978-3-540-78135-6\_8}, booktitle={Computational Linguistics and Intelligent Text Processing, 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings}, publisher={Springer}, author={Ngonga Ngomo, Axel-Cyrille}, editor={F. Gelbukh, Alexander}, year={2008}, pages={85–95}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2008 | Dissertation | LibreCat-ID: 19615
@book{Schomaker_2008, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Distributed Resource Allocation and Management in Heterogeneous Networks}, volume={259}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Schomaker, Gunnar}, year={2008}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2008 | Conference Paper | LibreCat-ID: 19686
@inproceedings{Briest_2008, title={Uniform Budgets and the Envy-Free Pricing Problem}, DOI={10.1007/978-3-540-70575-8_66}, booktitle={Proceedings of the 35th InternationalColloquium on Automata, Languages and Programming (ICALP)}, author={Briest, Patrick}, year={2008} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19687
@inproceedings{Briest_Krysta_Babaioff_2008, place={Cham}, title={On the Approximability of Combinatorial Exchange Problems}, DOI={https://doi.org/10.1007/978-3-540-79309-0_9}, booktitle={Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT)}, author={Briest, Patrick and Krysta, Piotr and Babaioff, Moshe}, year={2008} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 1975
@inproceedings{Battré_Hovestadt_Kao_Keller_Voss_2008, title={Virtual Execution Environments and the Negotiation of Service Level Agreements in Grid Systems}, DOI={10.1007/978-3-540-88708-9_1}, booktitle={Proc. Int. DMTF Academic Alliance Workshop on Systems and Virtualization Management: Standards and New Technologies}, author={Battré, Dominic and Hovestadt, Matthias and Kao, Odej and Keller, Axel and Voss, Kerstin}, year={2008} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19832
@inproceedings{Ooi_Schindelhauer_2008, title={Energy-Efficient Distributed Target Tracking Using Wireless Relay Robots}, DOI={10.1007/978-3-642-00644-9_4}, booktitle={ARS’08: Proc. of the 9th International Symposium on Distributed Autonomous Robotic Systems (DARS 2008)}, author={Ooi, Chia Ching and Schindelhauer, Christian}, year={2008} }
LibreCat
| DOI
2008 | Dissertation | LibreCat-ID: 20262
@book{Hamann_2008, title={Space-Time Continuous Models of Swarm Robotic Systems}, DOI={10.1007/978-3-642-13377-0}, author={Hamann, Heiko}, year={2008} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3207
@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}, DOI={10.1007/978-3-540-69100-6_7}, booktitle={Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors}, year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
@inproceedings{Derrick_Schellhorn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack}, DOI={10.1007/978-3-540-68863-1_6}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Barthe, Gilles and S. de Boer, FrankEditors}, year={2008}, pages={78--95}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
@inproceedings{Metzler_Wehrheim_Wonisch_2008, series={Lecture Notes in Computer Science}, title={Decomposition for Compositional Verification}, DOI={10.1007/978-3-540-88194-0_9}, booktitle={Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}, author={Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel}, editor={Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors}, year={2008}, pages={105--125}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
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 | Conference Paper | LibreCat-ID: 3146
@inproceedings{Jager_Jäkel_Schwenk_2008, title={Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS}, booktitle={Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss.}, author={Jager, Tibor and Jäkel, Heiko and Schwenk, Jörg}, year={2008}, pages={127--136} }
LibreCat
2008 | Working Paper | LibreCat-ID: 2737 | 
@book{Gries_Redlin_2008, series={Research paper / UNU-WIDER }, title={International integration and regional development in China }, volume={2008.66}, publisher={WIDER Research Papers, United Nations University (UNU)}, author={Gries, Thomas and Redlin, Margarete}, year={2008}, collection={Research paper / UNU-WIDER } }
LibreCat
| Download (ext.)
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 | Conference Paper | LibreCat-ID: 20966
@inproceedings{Tichy_Henkler_Holtmann_Oberthür_2008, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems}, volume={236}, booktitle={Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany}, publisher={Heinz Nixdorf Institut}, author={Tichy, Matthias and Henkler, Stefan and Holtmann, Jörg and Oberthür, Simon}, year={2008}, pages={27–38}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat