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.

5792 Publications


2006 | Dissertation | LibreCat-ID: 2404
Plessl C. Hardware Virtualization on a Coarse-Grained Reconfigurable Processor. Aachen, Germany: Shaker Verlag; 2006. doi:10.2370/9783832255619
LibreCat | DOI
 

2006 | Journal Article | LibreCat-ID: 2405
Groppe S, Böttcher S, Birkenheuer G, Höing A. Reformulating XPath queries and XSLT queries on XSLT views. Data & Knowledge Engineering. 2006;57(1):64-110. doi:10.1016/j.datak.2005.04.002
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 24277
Kutyłowski J, Zagórski F. Reliable Broadcasting Without Collision Detection. In: SOFSEM 2006: Theory and Practice of Computer Science. ; 2006. doi:10.1007/11611257_37
LibreCat | DOI
 

2006 | Journal Article | LibreCat-ID: 3223
Brückner I, Metzler B, Wehrheim H. Optimizing Slicing of Formal Specifications by Deductive Verification. Nord J Comput. 2006;(1-2):22--45.
LibreCat
 

2006 | Conference Paper | LibreCat-ID: 3224
Derrick J, Wehrheim H. Model Transformations Incorporating Multiple Views. In: Johnson M, Vene V, eds. Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings. Lecture Notes in Computer Science. ; 2006:111--126. doi:10.1007/11784180_11
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 3225
Wehrheim H. Incremental Slicing. In: Liu Z, He J, eds. Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings. Lecture Notes in Computer Science. ; 2006:514--528. doi:10.1007/11901433_28
LibreCat | DOI
 

2006 | Conference (Editor) | LibreCat-ID: 3226
Gorrieri R, Wehrheim H, 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. doi:10.1007/11768869
LibreCat | DOI
 

2006 | Journal Article | LibreCat-ID: 3003
Blömer J. Randomness and Secrecy - A Brief Introduction. Journal of Universal Computer Science (JUCS). 2006;(6):654--671. doi:10.3217/jucs-012-06-0654
LibreCat | DOI
 

2006 | Book Chapter | LibreCat-ID: 3004
Blömer J, Krummel V. Fault Based Collision Attacks on AES. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2006:106-120. doi:10.1007/11889700_11
LibreCat | DOI
 

2006 | Book Chapter | LibreCat-ID: 3005
Blömer J, Otto M. Wagner’s Attack on a Secure CRT-RSA Algorithm Reconsidered. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2006:13-23. doi:10.1007/11889700_2
LibreCat | DOI
 

2006 | Book Chapter | LibreCat-ID: 3007
Blömer J, Otto M, Seifert J-P. Sign Change Fault Attacks on Elliptic Curve Cryptosystems. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2006:36-52. doi:10.1007/11889700_4
LibreCat | Files available | DOI
 

2006 | Conference Paper | LibreCat-ID: 26988
Brinkmann A, Effert S, Heidebuer M, Vodisek M. Influence of adaptive data layouts on performance in dynamically changing storage environments. In: 14th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP’06). ; 2006. doi:10.1109/pdp.2006.44
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 20950
Meyer M. Pattern-based Reengineering of Software Systems. In: Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), Benevento, Italy. IEEE Computer Society; 2006:305-306.
LibreCat
 

2006 | Conference Paper | LibreCat-ID: 20951
Giese H, Meyer M, Wagner R. A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink. In: Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany. Vol tr-ri-06-275. Technical Report. University of Paderborn; 2006:56-60.
LibreCat
 

2006 | Conference Paper | LibreCat-ID: 20952
Tichy M, Meyer M, Giese H. On Semantic Issues in Story Diagrams. In: Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany. Vol tr-ri-06-275. Technical Report. University of Paderborn; 2006:10-14.
LibreCat
 

2006 | Bachelorsthesis | LibreCat-ID: 20967
Holtmann J. Entwicklung von Geschäftsprozessmustern Zur Qualitätssicherung. University of Paderborn; 2006.
LibreCat
 

2006 | Journal Article | LibreCat-ID: 2110
Ateniese G, Riley C, Scheideler C. Survivable Monitoring in Dynamic Networks. IEEE Trans Mob Comput. 2006;(9):1242--1254. doi:10.1109/TMC.2006.138
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 2111 | OA
Kothapalli K, Scheideler C, Onus M, Schindelhauer C. Distributed coloring in O/spl tilde/(/spl radic/(log n)) bit rounds. In: IPDPS. ; 2006.
LibreCat | Files available
 

2006 | Conference Paper | LibreCat-ID: 2112 | OA
Awerbuch B, Scheideler C. Robust Random Number Generation for Peer-to-Peer Systems. In: OPODIS. Lecture Notes in Computer Science. ; 2006:275--289.
LibreCat | Files available
 

2006 | Conference Paper | LibreCat-ID: 2113 | OA
Awerbuch B, Scheideler C. Towards a scalable and robust DHT. In: SPAA. ; 2006:318--327.
LibreCat | Files available
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed