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.
5937 Publications
2007 | Conference (Editor) | LibreCat-ID: 2027
SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Diego, California, USA, June 9-11, 2007
P. B. Gibbons, C. Scheideler, eds., SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Diego, California, USA, June 9-11, 2007, ACM, 2007.
LibreCat
P. B. Gibbons, C. Scheideler, eds., SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Diego, California, USA, June 9-11, 2007, ACM, 2007.
2007 | Book Chapter | LibreCat-ID: 2028
Overlay Networks for Peer-to-Peer Networks
A. W. Richa, C. Scheideler, in: Handbook of Approximation Algorithms and Metaheuristics., 2007.
LibreCat
| DOI
A. W. Richa, C. Scheideler, in: Handbook of Approximation Algorithms and Metaheuristics., 2007.
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 | Journal Article | LibreCat-ID: 3212
Extending a Component Specification Language with Time
B. Metzler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 47--67.
LibreCat
| DOI
B. Metzler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 47--67.
2007 | Journal Article | LibreCat-ID: 3213
Modelchecking Correctness of Refactorings - Some Experiments
H..-}Christian Estler, T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 3--17.
LibreCat
| DOI
H..-}Christian Estler, T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 3--17.
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: 3221
The Challenges of Building Advanced Mechatronic Systems
W. Schäfer, H. Wehrheim, in: L. C. Briand, A. L. Wolf (Eds.), 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
W. Schäfer, H. Wehrheim, in: L. C. Briand, A. L. Wolf (Eds.), 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.
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.
2007 | Dissertation | LibreCat-ID: 2912
Tamper Resistance of AES -- Models, Attacks and Countermeasures
V. Krummel, Tamper Resistance of AES -- Models, Attacks and Countermeasures, Universität Paderborn, 2007.
LibreCat
| Download (ext.)
V. Krummel, Tamper Resistance of AES -- Models, Attacks and Countermeasures, Universität Paderborn, 2007.
2007 | Book Chapter | LibreCat-ID: 3002 | 
Analysis of Countermeasures Against Access Driven Cache Attacks on AES
J. Blömer, V. Krummel, in: Selected Areas in Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 96–109.
LibreCat
| DOI
| Download (ext.)
J. Blömer, V. Krummel, in: Selected Areas in Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 96–109.
2007 | Book Chapter | LibreCat-ID: 3019
Cryptanalysis of Unbalanced RSA with Small CRT-Exponent
A. May, in: Advances in Cryptology — CRYPTO 2002, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 242–256.
LibreCat
| DOI
A. May, in: Advances in Cryptology — CRYPTO 2002, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 242–256.
2007 | Book Chapter | LibreCat-ID: 3020
Low Secret Exponent RSA Revisited
J. Blömer, A. May, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 4–19.
LibreCat
| DOI
J. Blömer, A. May, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 4–19.
2007 | Book Chapter | LibreCat-ID: 3021
Key Revocation with Interval Cover Families
J. Blömer, A. May, in: Selected Areas in Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 325–341.
LibreCat
| DOI
J. Blömer, A. May, in: Selected Areas in Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 325–341.
2007 | Book Chapter | LibreCat-ID: 3022
Dimension Reduction Methods for Convolution Modular Lattices
A. May, J.H. Silverman, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 110–125.
LibreCat
| DOI
A. May, J.H. Silverman, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 110–125.
2007 | Book Chapter | LibreCat-ID: 3026
A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers
J. Blömer, in: Algorithms — ESA’ 98, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 151–162.
LibreCat
| DOI
J. Blömer, in: Algorithms — ESA’ 98, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 151–162.
2007 | Conference Paper | LibreCat-ID: 20949
Program evaluation using fuzzy logic with bad smells as inputs
A. Delic, Z. Avdagic, W. Schäfer, D. Boskovic, M. Meyer, 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
A. Delic, Z. Avdagic, W. Schäfer, D. Boskovic, M. Meyer, 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.