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.

5786 Publications


2007 | Conference Paper | LibreCat-ID: 3221
W. Schäfer and H. 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}, 2007, pp. 72--84.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3222
J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Linearizability Via Non-atomic Refinement,” in Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
LibreCat | DOI
 

2007 | Dissertation | LibreCat-ID: 2912
V. Krummel, Tamper Resistance of AES -- Models, Attacks and Countermeasures. Universität Paderborn, 2007.
LibreCat | Download (ext.)
 

2007 | Book Chapter | LibreCat-ID: 3002 | OA
J. Blömer and V. Krummel, “Analysis of Countermeasures Against Access Driven Cache Attacks on AES,” in Selected Areas in Cryptography, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 96–109.
LibreCat | DOI | Download (ext.)
 

2007 | Book Chapter | LibreCat-ID: 3019
A. May, “Cryptanalysis of Unbalanced RSA with Small CRT-Exponent,” in Advances in Cryptology — CRYPTO 2002, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 242–256.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3020
J. Blömer and A. May, “Low Secret Exponent RSA Revisited,” in Lecture Notes in Computer Science, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 4–19.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3021
J. Blömer and A. May, “Key Revocation with Interval Cover Families,” in Selected Areas in Cryptography, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 325–341.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3022
A. May and J. H. Silverman, “Dimension Reduction Methods for Convolution Modular Lattices,” in Lecture Notes in Computer Science, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 110–125.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3026
J. Blömer, “A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers,” in Algorithms — ESA’ 98, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 151–162.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 20949
A. Delic, Z. Avdagic, W. Schäfer, D. Boskovic, and M. Meyer, “Program evaluation using fuzzy logic with bad smells as inputs,” 2007.
LibreCat
 

2007 | Journal Article | LibreCat-ID: 17567
S. Leonardi, P. Mahlmann, F. Meyer auf der Heide, P. G. Spirakis, and G. Weikum, “Guarding our digital society’s well-being,” e-Strategies, www.britishpublishers.com, vol. 3-10–2007, 2007.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 18928
M. Dynia, J. Łopuszański, and C. Schindelhauer, “Why Robots Need Maps,” in Proc. of the 14th Colloquium on Structural Information and Communication Complexity (SIROCCO), 2007, pp. 37-- 46.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 18929
M. Dynia, M. Korzeniowski, and J. 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), 2007, vol. 4362, pp. 260--271.
LibreCat | DOI
 

2007 | Dissertation | LibreCat-ID: 18931
J. Kutylowski, Using Mobile Relays for Ensuring Connectivity in Sparse Networks. Universität Paderborn, 2007.
LibreCat | Files available
 

2007 | Preprint | LibreCat-ID: 18933
J. Kutylowski, “Competitive Maintenance of Minimum Spanning Trees under Stochastic Adversaries.” 2007.
LibreCat | Files available
 

2007 | Report | LibreCat-ID: 2394
J. Beutel, C. Plessl, and M. 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
M. Dorigo, H. Hamann, M. Szymanski, H. Wörn, and Y. Shi, “Orientation in a Trail Network by Exploiting its Geometry for Swarm Robotics,” in IEEE Swarm Intelligence Symposium, Honolulu, USA, April 1-5, 2007, pp. 310--315.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 20431
H. Hamann, H. Wörn, E. Sahin, W. Spears, and W. Winfield, “An analytical and spatial model of foraging in a swarm of robots,” in Swarm Robotics - Second SAB 2006 International Workshop, 2007, vol. 4433, pp. 43--55.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 20432
H. Hamann and H. 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), 2007, pp. 23--31.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 20433
H. Hamann, H. Wörn, M. Nagy, and N. Nagy, “Embodied Computation,” Parallel Processing Letters, vol. 17, no. 3, pp. 287--298, 2007.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed