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.
6982 Publications
2009 | Book (Editor) | LibreCat-ID: 40119
Ecker, Wolfgang, et al., editors. Hardware-Dependent Software. Springer Netherlands, 2009, doi:10.1007/978-1-4020-9436-1.
LibreCat
| DOI
2009 | Book Review | LibreCat-ID: 18848
Peckhaus, Volker. “Blanchette, Patricia A., ‘Frege on Consistency and Conceptual Analysis’, Philosophia Mathematica (3) 15 (2007), 321–346.” Mathematical Reviews, MR2361784 (2009b:03003) , MR2361784 (2009b:03003), 2009.
LibreCat
| Download (ext.)
2009 | Journal Article | LibreCat-ID: 54932
Samarin, Jana, et al. “Up-Regulation of Connective Tissue Growth Factor in Endothelial Cells by the Microtubule-Destabilizing Agent Combretastatin A-4.” Molecular Cancer Research, vol. 7, no. 2, American Association for Cancer Research (AACR), 2009, pp. 180–188, doi:10.1158/1541-7786.mcr-08-0292.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 25396
Ngonga Ngomo, Axel-Cyrille. “SIGNUM: A Graph Algorithm for Terminology Extraction.” Computational Linguistics and Intelligent Text Processing, 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings, edited by Alexander F. Gelbukh, vol. 4919, Springer, 2008, pp. 85–95, doi:10.1007/978-3-540-78135-6\_8.
LibreCat
| DOI
2008 | Dissertation | LibreCat-ID: 19615
Schomaker, Gunnar. Distributed Resource Allocation and Management in Heterogeneous Networks. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
| Files available
2008 | Conference Paper | LibreCat-ID: 19686
Briest, Patrick. “Uniform Budgets and the Envy-Free Pricing Problem.” Proceedings of the 35th InternationalColloquium on Automata, Languages and Programming (ICALP), 2008, doi:10.1007/978-3-540-70575-8_66.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19687
Briest, Patrick, et al. “On the Approximability of Combinatorial Exchange Problems.” Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT), 2008, doi:https://doi.org/10.1007/978-3-540-79309-0_9.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 1975
Battré, Dominic, et al. “Virtual Execution Environments and the Negotiation of Service Level Agreements in Grid Systems.” Proc. Int. DMTF Academic Alliance Workshop on Systems and Virtualization Management: Standards and New Technologies, 2008, doi:10.1007/978-3-540-88708-9_1.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19832
Ooi, Chia Ching, and Christian Schindelhauer. “Energy-Efficient Distributed Target Tracking Using Wireless Relay Robots.” ARS’08: Proc. of the 9th International Symposium on Distributed Autonomous Robotic Systems (DARS 2008), 2008, doi:10.1007/978-3-642-00644-9_4.
LibreCat
| DOI
2008 | Dissertation | LibreCat-ID: 20262
Hamann, Heiko. Space-Time Continuous Models of Swarm Robotic Systems. 2008, doi:10.1007/978-3-642-13377-0.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3207
Engels, Gregor, et al. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.” Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:10.1007/978-3-540-69100-6_7.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.” Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank S. de Boer, 2008, pp. 78--95, doi:10.1007/978-3-540-68863-1_6.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
Metzler, Björn, et al. “Decomposition for Compositional Verification.” Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu et al., 2008, pp. 105--125, doi:10.1007/978-3-540-88194-0_9.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald et al., 2008, pp. 380--394, doi:10.1007/978-3-540-85762-4_26.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3143
Gajek, Sebastian, et al. “A Browser-Based Kerberos Authentication Scheme.” Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, 2008, pp. 115--129, doi:10.1007/978-3-540-88313-5_8.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3144
Altmann, Kristina, et al. “On Black-Box Ring Extraction and Integer Factorization.” 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, 2008, pp. 437--448, doi:10.1007/978-3-540-70583-3_36.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3145
Jager, Tibor, and Jörg Schwenk. “On the Equivalence of Generic Group Models.” Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, 2008, pp. 200--209, doi:10.1007/978-3-540-88733-1_14.
LibreCat
| DOI
2008 | Working Paper | LibreCat-ID: 2737 | 
Gries, Thomas, and Margarete Redlin. International Integration and Regional Development in China . Vol. 2008.66, WIDER Research Papers, United Nations University (UNU), 2008.
LibreCat
| Download (ext.)
2008 | Book (Editor) | LibreCat-ID: 17465
Peckhaus, Volker, and Peter Bernhard, editors. Methodisches Denken im Kontext. Festschrift für Christian Thiel, mit einem unveröffentlichten Brief Gottlob Freges. mentis Verlag, 2008.
LibreCat
2008 | Book | LibreCat-ID: 17566
Meyer auf der Heide, Friedhelm. The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS). Vol. 222, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2008.
LibreCat