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.
5787 Publications
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: 3221
Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced Mechatronic Systems.” In International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}, edited by Lionel C. Briand and Alexander L. Wolf, 72--84, 2007. https://doi.org/10.1109/FOSE.2007.28.
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 | Dissertation | LibreCat-ID: 2912
Krummel, Volker. Tamper Resistance of AES -- Models, Attacks and Countermeasures. Universität Paderborn, 2007.
LibreCat
| Download (ext.)
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 | Conference Paper | LibreCat-ID: 20949
Delic, A., Z. Avdagic, Wilhelm Schäfer, Dusanka Boskovic, and Matthias Meyer. “Program Evaluation Using Fuzzy Logic with Bad Smells as Inputs.” In Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina. Faculty of Electrical Engineering, University of Sarajevo, 2007.
LibreCat
2007 | Journal Article | LibreCat-ID: 17567
Leonardi, Stefano, Peter Mahlmann, Friedhelm Meyer auf der Heide, Paul G. Spirakis, and Gerhard Weikum. “Guarding Our Digital Society’s Well-Being.” E-Strategies, Www.Britishpublishers.Com 3-10–2007 (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
2007 | Conference Paper | LibreCat-ID: 18929
Dynia, Miroslaw, Miroslaw Korzeniowski, and Jarosław Kutyłowski. “Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs.” In Proc. of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM’07), 4362:260--271, 2007. https://doi.org/10.1007/978-3-540-69507-3_21.
LibreCat
| DOI
2007 | Dissertation | LibreCat-ID: 18931
Kutylowski, Jaroslaw. Using Mobile Relays for Ensuring Connectivity in Sparse Networks. Universität Paderborn, 2007.
LibreCat
| Files available
2007 | Preprint | LibreCat-ID: 18933
Kutylowski, Jaroslaw. “Competitive Maintenance of Minimum Spanning Trees under Stochastic Adversaries,” 2007.
LibreCat
| Files available
2007 | Report | LibreCat-ID: 2394
Beutel, Jan, Christian Plessl, and Matthias Woehrle. Increasing the Reliability of Wireless Sensor Networks with a Unit Testing Framework. Computer Engineering and Networks Laboratory, ETH Zurich, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 20374
Dorigo, Marco, Heiko Hamann, Marc Szymanski, Heinz Wörn, and Yuhui Shi. “Orientation in a Trail Network by Exploiting Its Geometry for Swarm Robotics.” In IEEE Swarm Intelligence Symposium, Honolulu, USA, April 1-5, 310--315. IEEE Press, 2007. https://doi.org/10.1109/SIS.2007.367953.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 20431
Hamann, Heiko, Heinz Wörn, Erol Sahin, Winfield Spears, and Winfield Winfield. “An Analytical and Spatial Model of Foraging in a Swarm of Robots.” In Swarm Robotics - Second SAB 2006 International Workshop, 4433:43--55, 2007. https://doi.org/10.1007/978-3-540-71541-2_4.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 20432
Hamann, Heiko, and Heinz Wörn. “A Space- and Time-Continuous Model of Self-Organizing Robot Swarms for Design Support.” In First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 23--31, 2007. https://doi.org/10.1109/saso.2007.3.
LibreCat
| DOI