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.
5950 Publications
2006 | Conference Paper | LibreCat-ID: 24277
Reliable Broadcasting Without Collision Detection
J. Kutyłowski, F. Zagórski, in: SOFSEM 2006: Theory and Practice of Computer Science, Berlin, Heidelberg, 2006.
LibreCat
| DOI
J. Kutyłowski, F. Zagórski, in: SOFSEM 2006: Theory and Practice of Computer Science, Berlin, Heidelberg, 2006.
2006 | Journal Article | LibreCat-ID: 3223
Optimizing Slicing of Formal Specifications by Deductive Verification
I. Brückner, B. Metzler, H. Wehrheim, Nord. J. Comput. (2006) 22--45.
LibreCat
I. Brückner, B. Metzler, H. Wehrheim, Nord. J. Comput. (2006) 22--45.
2006 | Conference Paper | LibreCat-ID: 3224
Model Transformations Incorporating Multiple Views
J. Derrick, H. Wehrheim, in: M. Johnson, V. Vene (Eds.), Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, 2006, pp. 111--126.
LibreCat
| DOI
J. Derrick, H. Wehrheim, in: M. Johnson, V. Vene (Eds.), Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, 2006, pp. 111--126.
2006 | Conference Paper | LibreCat-ID: 3225
Incremental Slicing
H. Wehrheim, in: Z. Liu, J. He (Eds.), Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings, 2006, pp. 514--528.
LibreCat
| DOI
H. Wehrheim, in: Z. Liu, J. He (Eds.), Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings, 2006, pp. 514--528.
2006 | Conference (Editor) | LibreCat-ID: 3226
Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings
R. Gorrieri, H. Wehrheim, eds., Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings, 2006.
LibreCat
| DOI
R. Gorrieri, H. Wehrheim, eds., Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings, 2006.
2006 | Journal Article | LibreCat-ID: 3003
Randomness and Secrecy - A Brief Introduction
J. Blömer, Journal of Universal Computer Science (J.UCS) (2006) 654--671.
LibreCat
| DOI
J. Blömer, Journal of Universal Computer Science (J.UCS) (2006) 654--671.
2006 | Book Chapter | LibreCat-ID: 3004
Fault Based Collision Attacks on AES
J. Blömer, V. Krummel, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2006, pp. 106–120.
LibreCat
| DOI
J. Blömer, V. Krummel, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2006, pp. 106–120.
2006 | Book Chapter | LibreCat-ID: 3005
Wagner’s Attack on a Secure CRT-RSA Algorithm Reconsidered
J. Blömer, M. Otto, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2006, pp. 13–23.
LibreCat
| DOI
J. Blömer, M. Otto, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2006, pp. 13–23.
2006 | Book Chapter | LibreCat-ID: 3007
Sign Change Fault Attacks on Elliptic Curve Cryptosystems
J. Blömer, M. Otto, J.-P. Seifert, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2006, pp. 36–52.
LibreCat
| Files available
| DOI
J. Blömer, M. Otto, J.-P. Seifert, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2006, pp. 36–52.
2006 | Conference Paper | LibreCat-ID: 26988
Influence of adaptive data layouts on performance in dynamically changing storage environments
A. Brinkmann, S. Effert, M. Heidebuer, M. Vodisek, in: 14th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP’06), 2006.
LibreCat
| DOI
A. Brinkmann, S. Effert, M. Heidebuer, M. Vodisek, in: 14th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP’06), 2006.
2006 | Conference Paper | LibreCat-ID: 20950
Pattern-based Reengineering of Software Systems
M. Meyer, in: Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), Benevento, Italy, IEEE Computer Society, 2006, pp. 305–306.
LibreCat
M. Meyer, in: Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), Benevento, Italy, IEEE Computer Society, 2006, pp. 305–306.
2006 | Conference Paper | LibreCat-ID: 20951
A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink
H. Giese, M. Meyer, R. Wagner, in: Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, University of Paderborn, 2006, pp. 56–60.
LibreCat
H. Giese, M. Meyer, R. Wagner, in: Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, University of Paderborn, 2006, pp. 56–60.
2006 | Conference Paper | LibreCat-ID: 20952
On Semantic Issues in Story Diagrams
M. Tichy, M. Meyer, H. Giese, in: Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, University of Paderborn, 2006, pp. 10–14.
LibreCat
M. Tichy, M. Meyer, H. Giese, in: Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, University of Paderborn, 2006, pp. 10–14.
2006 | Bachelorsthesis | LibreCat-ID: 20967
Entwicklung von Geschäftsprozessmustern zur Qualitätssicherung
J. Holtmann, Entwicklung von Geschäftsprozessmustern Zur Qualitätssicherung, University of Paderborn, 2006.
LibreCat
J. Holtmann, Entwicklung von Geschäftsprozessmustern Zur Qualitätssicherung, University of Paderborn, 2006.
2006 | Journal Article | LibreCat-ID: 2110
Survivable Monitoring in Dynamic Networks
G. Ateniese, C. Riley, C. Scheideler, IEEE Trans. Mob. Comput. (2006) 1242--1254.
LibreCat
| DOI
G. Ateniese, C. Riley, C. Scheideler, IEEE Trans. Mob. Comput. (2006) 1242--1254.
2006 | Conference Paper | LibreCat-ID: 2111 | 
Distributed coloring in O/spl tilde/(/spl radic/(log n)) bit rounds
K. Kothapalli, C. Scheideler, M. Onus, C. Schindelhauer, in: IPDPS, 2006.
LibreCat
| Files available
K. Kothapalli, C. Scheideler, M. Onus, C. Schindelhauer, in: IPDPS, 2006.
2006 | Conference Paper | LibreCat-ID: 2112 |
Robust Random Number Generation for Peer-to-Peer Systems
B. Awerbuch, C. Scheideler, in: OPODIS, 2006, pp. 275--289.
LibreCat
| Files available
B. Awerbuch, C. Scheideler, in: OPODIS, 2006, pp. 275--289.
2006 | Conference Paper | LibreCat-ID: 2113 |
Towards a scalable and robust DHT
B. Awerbuch, C. Scheideler, in: SPAA, 2006, pp. 318--327.
LibreCat
| Files available
B. Awerbuch, C. Scheideler, in: SPAA, 2006, pp. 318--327.
2006 | Conference (Editor) | LibreCat-ID: 17417
Self-Coordinating Systems: The Next Challenge in Research on Distributed Systems
F.-J. Rammig, W. Dangelmaier, H. Karl, B. Mertsching, F. Meyer auf der Heide, A. Trächtler, eds., Self-Coordinating Systems: The Next Challenge in Research on Distributed Systems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2006.
LibreCat
F.-J. Rammig, W. Dangelmaier, H. Karl, B. Mertsching, F. Meyer auf der Heide, A. Trächtler, eds., Self-Coordinating Systems: The Next Challenge in Research on Distributed Systems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2006.
2006 | Book | LibreCat-ID: 17475
New trends in parallel and distributed computing
B. Monien, F. Meyer auf der Heide, New Trends in Parallel and Distributed Computing, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2006.
LibreCat
B. Monien, F. Meyer auf der Heide, New Trends in Parallel and Distributed Computing, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2006.