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.
9840 Publications
2007 | Book Review | LibreCat-ID: 28782
Müller, Mareike. “Review of ‘Studio d A1’ and ‘Lagune 1’ from a Pronunciation Perspective.” Electronic Journal of Foreign Language Teaching, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 24276
Bienkowski, Marcin, and Jarosław Kutyłowski. “The K-Resource Problem on Uniform and on Uniformly Decomposable Metric Spaces.” In Lecture Notes in Computer Science. Berlin, Heidelberg, 2007. https://doi.org/10.1007/978-3-540-73951-7_30.
LibreCat
| DOI
2007 | Book | LibreCat-ID: 24366
Mahlmann, Peter, and Christian Schindelhauer. Peer-to-Peer-Netzwerke. Berlin: Springer, 2007. https://doi.org/10.1007/978-3-540-33992-2.
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3211
Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.” Acta Inf., no. 1 (2007): 41--71. https://doi.org/10.1007/s00236-007-0042-3.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3214
Engels, Gregor, Baris Güldali, Christian Soltenborn, and Heike Wehrheim. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.” In Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited by Andy Sch{\"{u}}rr, Manfred Nagl, and Albert Z{\"{u}}ndorf, 17--31. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-89020-1_2.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3215
Engels, Gregor, Christian Soltenborn, and Heike Wehrheim. “Analysis of {UML} Activities Using Dynamic Meta Modeling.” In Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 76--90. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_5.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3216
Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications with Data and Processes.” In Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 236--251. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_15.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3222
Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Proving Linearizability Via Non-Atomic Refinement.” In Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, edited by Jim Davies and Jeremy Gibbons, 195--214. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-73210-5_11.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3293
Gries, Thomas. “Global Shift – The European Union, the United States, and the Emergence of China.” In 50 Years of EU Economic Dynamics, edited by Richard Tilly, Paul J.J. Welfens, and Michael Heise, 25–45. Springer, 2007.
LibreCat
2007 | Book Chapter | LibreCat-ID: 3002 | 
Blömer, Johannes, and Volker Krummel. “Analysis of Countermeasures Against Access Driven Cache Attacks on AES.” In Selected Areas in Cryptography, 96–109. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. https://doi.org/10.1007/978-3-540-77360-3_7.
LibreCat
| DOI
| Download (ext.)
2007 | Book Chapter | LibreCat-ID: 3019
May, Alexander. “Cryptanalysis of Unbalanced RSA with Small CRT-Exponent.” In Advances in Cryptology — CRYPTO 2002, 242–56. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. https://doi.org/10.1007/3-540-45708-9_16.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3020
Blömer, Johannes, and Alexander May. “Low Secret Exponent RSA Revisited.” In Lecture Notes in Computer Science, 4–19. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. https://doi.org/10.1007/3-540-44670-2_2.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3021
Blömer, Johannes, and Alexander May. “Key Revocation with Interval Cover Families.” In Selected Areas in Cryptography, 325–41. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. https://doi.org/10.1007/3-540-45537-x_26.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3022
May, Alexander, and Joseph H. Silverman. “Dimension Reduction Methods for Convolution Modular Lattices.” In Lecture Notes in Computer Science, 110–25. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. https://doi.org/10.1007/3-540-44670-2_10.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3026
Blömer, Johannes. “A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers.” In Algorithms — ESA’ 98, 151–62. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. https://doi.org/10.1007/3-540-68530-8_13.
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 27138
Libuda, Lars, Ute Alexy, Wolfgang Sichert-Hellert, Peter Stehle, Nadina Karaolis-Danckert, Anette Buyken, and Mathilde Kersting. “Pattern of Beverage Consumption and Long-Term Association with Body-Weight Status in German Adolescents – Results from the DONALD Study.” British Journal of Nutrition, 2007, 1370–79. https://doi.org/10.1017/s0007114507862362.
LibreCat
| DOI
2007 | Book | LibreCat-ID: 1106 |
Geierhos, Michaela. Grammatik der Menschenbezeichner in biographischen Kontexten. 1st ed. Vol. 2. Arbeiten zur Informations- und Sprachverarbeitung. München: Ludwig-Maximilians-Universität, 2007.
LibreCat
| Download (ext.)
2007 | Conference Paper | LibreCat-ID: 1107
Bsiri, Sandra, and Michaela Geierhos. “Informationsextraktion aus Stellenanzeigen im Internet.” In LWA 2007: Lernen - Wissen - Adaption, Halle, September 2007, Workshop Proceedings, edited by Alexander Hinneburg, 229–36. Halle-Wittenberg, Germany: Martin-Luther-University, 2007.
LibreCat
2007 | Book Chapter | LibreCat-ID: 17846
Mindt, Ilka. “The Valency of Experiential and Evaluative Adjectives.” In Valency. Theoretical, Descriptive and Cognitive Issues, edited by Thomas Herbst and Katrin Götz-Votteler, 101–15. Berlin: Mouton de Gruyter, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 18928
Dynia, Miroslaw, Jakub Łopuszański, and Christian Schindelhauer. “Why Robots Need Maps.” In Proc. of the 14th Colloquium on Structural Information and Communication Complexity (SIROCCO), 37-- 46, 2007. https://doi.org/10.1007/978-3-540-72951-8_5.
LibreCat
| DOI