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.
9818 Publications
2009 | Journal Article | LibreCat-ID: 54932
Samarin J, Rehm M, Krueger B, Waschke J, Goppelt-Struebe M. Up-Regulation of Connective Tissue Growth Factor in Endothelial Cells by the Microtubule-Destabilizing Agent Combretastatin A-4. Molecular Cancer Research. 2009;7(2):180–188. doi:10.1158/1541-7786.mcr-08-0292
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 54944
Haerteis S, Krueger B, Korbmacher C, Rauh R. The $\delta$-Subunit of the Epithelial Sodium Channel (ENaC) Enhances Channel Activity and Alters Proteolytic ENaC Activation. Journal of Biological Chemistry. 2009;284(42):29024–29040. doi:10.1074/jbc.m109.018945
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 2503
Haake C-J, Kashiwada A, Su FE. The Shapley value of phylogenetic trees. Journal of Mathematical Biology. 2008;56(4):479-497. doi:10.1007/s00285-007-0126-2
LibreCat
| Files available
| DOI
2008 | Journal Article | LibreCat-ID: 2530
Haake C-J. Comments on: Transversality of the Shapley value. TOP. 2008;16(1):48-50. doi:10.1007/s11750-008-0047-2
LibreCat
| Files available
| DOI
2008 | Conference Paper | LibreCat-ID: 25396
Ngonga Ngomo A-C. SIGNUM: A Graph Algorithm for Terminology Extraction. In: F. Gelbukh A, ed. Computational Linguistics and Intelligent Text Processing, 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings. Vol 4919. Lecture Notes in Computer Science. Springer; 2008:85-95. doi:10.1007/978-3-540-78135-6\_8
LibreCat
| DOI
2008 | Dissertation | LibreCat-ID: 19615
Schomaker G. Distributed Resource Allocation and Management in Heterogeneous Networks. Vol 259. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2008.
LibreCat
| Files available
2008 | Conference Paper | LibreCat-ID: 19686
Briest P. Uniform Budgets and the Envy-Free Pricing Problem. In: 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 P, Krysta P, Babaioff M. On the Approximability of Combinatorial Exchange Problems. In: Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT). Cham; 2008. doi:https://doi.org/10.1007/978-3-540-79309-0_9
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 1975
Battré D, Hovestadt M, Kao O, Keller A, Voss K. Virtual Execution Environments and the Negotiation of Service Level Agreements in Grid Systems. In: 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 CC, Schindelhauer C. Energy-Efficient Distributed Target Tracking Using Wireless Relay Robots. In: 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 H. 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 G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In: Schieferdecker I, Hartman A, eds. Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:94--109. doi:10.1007/978-3-540-69100-6_7
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
Derrick J, Schellhorn G, Wehrheim H. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, eds. Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture Notes in Computer Science. ; 2008:78--95. doi:10.1007/978-3-540-68863-1_6
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification. In: Liu S, S. E. Maibaum T, Araki K, eds. Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:105--125. doi:10.1007/978-3-540-88194-0_9
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig{\"{u}}n H, eds. Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3143
Gajek S, Jager T, Manulis M, Schwenk J. A Browser-Based Kerberos Authentication Scheme. In: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings. ; 2008:115--129. doi:10.1007/978-3-540-88313-5_8
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3144
Altmann K, Jager T, Rupp A. On Black-Box Ring Extraction and Integer Factorization. In: 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:437--448. doi:10.1007/978-3-540-70583-3_36
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3145
Jager T, Schwenk J. On the Equivalence of Generic Group Models. In: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings. ; 2008:200--209. doi:10.1007/978-3-540-88733-1_14
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3146
Jager T, Jäkel H, Schwenk J. Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS. In: 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. ; 2008:127--136.
LibreCat