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.
11145 Publications
2008 | Journal Article | LibreCat-ID: 59695
Room temperature electrical spin injection in remanence
S. Hövel, N.C. Gerhardt, M.R. Hofmann, F.-Y. Lo, A. Ludwig, D. Reuter, A.D. Wieck, E. Schuster, H. Wende, W. Keune, O. Petracic, K. Westerholt, Applied Physics Letters 93 (2008).
LibreCat
| DOI
S. Hövel, N.C. Gerhardt, M.R. Hofmann, F.-Y. Lo, A. Ludwig, D. Reuter, A.D. Wieck, E. Schuster, H. Wende, W. Keune, O. Petracic, K. Westerholt, Applied Physics Letters 93 (2008).
2008 | Journal Article | LibreCat-ID: 59694
Room temperature electrical spin injection in remanence
S. Hövel, N.C. Gerhardt, M.R. Hofmann, F.-Y. Lo, A. Ludwig, D. Reuter, A.D. Wieck, E. Schuster, H. Wende, W. Keune, O. Petracic, K. Westerholt, Applied Physics Letters 93 (2008).
LibreCat
| DOI
S. Hövel, N.C. Gerhardt, M.R. Hofmann, F.-Y. Lo, A. Ludwig, D. Reuter, A.D. Wieck, E. Schuster, H. Wende, W. Keune, O. Petracic, K. Westerholt, Applied Physics Letters 93 (2008).
2008 | Book | LibreCat-ID: 57627
Disziplinieren und entspannen. Körper in der Schule – eine diskursanalytische Ethnographie.
A. Langer, Disziplinieren Und Entspannen. Körper in Der Schule – Eine Diskursanalytische Ethnographie. , transcript, Bielefeld, 2008.
LibreCat
| Download (ext.)
A. Langer, Disziplinieren Und Entspannen. Körper in Der Schule – Eine Diskursanalytische Ethnographie. , transcript, Bielefeld, 2008.
2008 | Conference Paper | LibreCat-ID: 61020
Anisotropic diffusion by Quadratic Regularization
M. Hund, B. Mertsching, in: A. Ranchordas, H. Araújo, INSTICC - Institute for Systems and Technologies of Information, Control and Communication (Eds.), VISAPP 2008: Proceedings of the Third International Conference on Computer Vision Theory and Applications, 2008.
LibreCat
M. Hund, B. Mertsching, in: A. Ranchordas, H. Araújo, INSTICC - Institute for Systems and Technologies of Information, Control and Communication (Eds.), VISAPP 2008: Proceedings of the Third International Conference on Computer Vision Theory and Applications, 2008.
2008 | Journal Article | LibreCat-ID: 18564 | 
Screening in two dimensions: GW calculations for surfaces and thin films using the repeated-slab approach
C. Freysoldt, P. Eggert, P. Rinke, A. Schindlmayr, M. Scheffler, Physical Review B 77 (2008).
LibreCat
| Files available
| DOI
| WoS
| arXiv
C. Freysoldt, P. Eggert, P. Rinke, A. Schindlmayr, M. Scheffler, Physical Review B 77 (2008).
2008 | Book | LibreCat-ID: 17566
The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS)"
F. Meyer auf der Heide, The European Integrated Project “Dynamically Evolving, Large Scale Information Systems (DELIS),” Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, Paderborn, 2008.
LibreCat
F. Meyer auf der Heide, The European Integrated Project “Dynamically Evolving, Large Scale Information Systems (DELIS),” Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, Paderborn, 2008.
2007 | Conference Paper | LibreCat-ID: 25395
Involving the User in Semantic Search
A.-C. Ngonga Ngomo, F. Schumacher, in: M. J. Smith, G. Salvendy (Eds.), Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design, Symposium on Human Interface 2007, Held as Part of {HCI} International 2007, Beijing, China, July 22-27, 2007, Proceedings Part {I}, Springer, 2007, pp. 507–516.
LibreCat
| DOI
A.-C. Ngonga Ngomo, F. Schumacher, in: M. J. Smith, G. Salvendy (Eds.), Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design, Symposium on Human Interface 2007, Held as Part of {HCI} International 2007, Beijing, China, July 22-27, 2007, Proceedings Part {I}, Springer, 2007, pp. 507–516.
2007 | Book | LibreCat-ID: 25570
Vorausschau und Technologieplanung. 3. Symposium für Vorausschau und Technologieplanung
J. Gausemeier, Vorausschau und Technologieplanung. 3. Symposium für Vorausschau und Technologieplanung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2007.
LibreCat
J. Gausemeier, Vorausschau und Technologieplanung. 3. Symposium für Vorausschau und Technologieplanung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2007.
2007 | Conference Paper | LibreCat-ID: 19809
Minimal Energy Path Planning for Wireless Robots
C.C. Ooi, C. Schindelhauer, in: ROBOCOMM’07: Proc. of the 1st International Conference on Robot Communication and Coordination, 2007, pp. 309–321.
LibreCat
| DOI
C.C. Ooi, C. Schindelhauer, in: ROBOCOMM’07: Proc. of the 1st International Conference on Robot Communication and Coordination, 2007, pp. 309–321.
2007 | Conference Paper | LibreCat-ID: 2023 |
A denial-of-service resistant DHT
B. Awerbuch, C. Scheideler, in: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007, ACM, 2007, pp. 370--371.
LibreCat
| Files available
| DOI
B. Awerbuch, C. Scheideler, in: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007, ACM, 2007, pp. 370--371.
2007 | Conference Paper | LibreCat-ID: 2024
A Denial-of-Service Resistant DHT
B. Awerbuch, C. Scheideler, in: Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings, Springer, 2007, pp. 33--47.
LibreCat
| DOI
B. Awerbuch, C. Scheideler, in: Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings, Springer, 2007, pp. 33--47.
2007 | Conference (Editor) | LibreCat-ID: 2025
Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings
J. Aspnes, C. Scheideler, A. Arora, S. Madden, eds., Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings, 2007.
LibreCat
| DOI
J. Aspnes, C. Scheideler, A. Arora, S. Madden, eds., Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings, 2007.
2007 | Book Review | LibreCat-ID: 28782
Review of “studio d A1” and “Lagune 1” from a pronunciation perspective
M. Müller, Electronic Journal of Foreign Language Teaching 4 (2007) 267–273.
LibreCat
M. Müller, Electronic Journal of Foreign Language Teaching 4 (2007) 267–273.
2007 | Conference Paper | LibreCat-ID: 24276
The k-Resource Problem on Uniform and on Uniformly Decomposable Metric Spaces
M. Bienkowski, J. Kutyłowski, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2007.
LibreCat
| DOI
M. Bienkowski, J. Kutyłowski, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2007.
2007 | Book | LibreCat-ID: 24366
Peer-to-Peer-Netzwerke
P. Mahlmann, C. Schindelhauer, Peer-to-Peer-Netzwerke, Springer, Berlin, 2007.
LibreCat
| DOI
P. Mahlmann, C. Schindelhauer, Peer-to-Peer-Netzwerke, Springer, Berlin, 2007.
2007 | Journal Article | LibreCat-ID: 3211
On using data abstractions for model checking refinements
J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
LibreCat
| DOI
J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
2007 | Conference Paper | LibreCat-ID: 3214
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\"{u}}rr, M. Nagl, A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.
LibreCat
| DOI
G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\"{u}}rr, M. Nagl, A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.
2007 | Conference Paper | LibreCat-ID: 3215
Analysis of {UML} Activities Using Dynamic Meta Modeling
G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
LibreCat
| DOI
G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
2007 | Conference Paper | LibreCat-ID: 3216
Refactoring Object-Oriented Specifications with Data and Processes
T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.
2007 | Conference Paper | LibreCat-ID: 3222
Proving Linearizability Via Non-atomic Refinement
J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.