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.
9332 Publications
2003 | Conference Paper | LibreCat-ID: 2418
@inproceedings{Plessl_Platzner_2003, title={TKDM – A Reconfigurable Co-processor in a PC’s Memory Slot}, DOI={10.1109/FPT.2003.1275755}, booktitle={Proc. Int. Conf. on Field Programmable Technology (ICFPT)}, publisher={IEEE Computer Society}, author={Plessl, Christian and Platzner, Marco}, year={2003}, pages={252–259} }
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 2419
@article{Plessl_Enzler_Walder_Beutel_Platzner_Thiele_Tröster_2003, title={The Case for Reconfigurable Hardware in Wearable Computing}, volume={7}, DOI={10.1007/s00779-003-0243-x}, number={5}, journal={Personal and Ubiquitous Computing}, publisher={Springer}, author={Plessl, Christian and Enzler, Rolf and Walder, Herbert and Beutel, Jan and Platzner, Marco and Thiele, Lothar and Tröster, Gerhard}, year={2003}, pages={299–308} }
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 2420
@article{Plessl_Platzner_2003, title={Instance-Specific Accelerators for Minimum Covering}, volume={26}, DOI={10.1023/a:1024443416592}, number={2}, journal={Journal of Supercomputing}, publisher={Kluwer Academic Publishers}, author={Plessl, Christian and Platzner, Marco}, year={2003}, pages={109–129} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 2421
@inproceedings{Enzler_Plessl_Platzner_2003, series={Lecture Notes in Computer Science (LNCS)}, title={Virtualizing Hardware with Multi-Context Reconfigurable Arrays}, volume={2778}, DOI={10.1007/b12007}, booktitle={Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)}, publisher={Springer}, author={Enzler, Rolf and Plessl, Christian and Platzner, Marco}, year={2003}, pages={151–160}, collection={Lecture Notes in Computer Science (LNCS)} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 2422
@inproceedings{Enzler_Plessl_Platzner_2003, title={Co-simulation of a Hybrid Multi-Context Architecture}, booktitle={Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)}, publisher={CSREA Press}, author={Enzler, Rolf and Plessl, Christian and Platzner, Marco}, year={2003}, pages={174–180} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 24273
@inproceedings{Terbahl_Krokowski_2003, place={Bad Schussenried, Germany}, title={Verteiltes Rendern durch dynamische Bildaufteilung}, booktitle={Proceedings of 5. GI-Informatiktage 2003}, author={Terbahl, Martina and Krokowski, Jens}, year={2003} }
LibreCat
2003 | Book | LibreCat-ID: 24607
@book{Gausemeier_Lückel_Wallaschek_2003, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={1. Paderborner Workshop Intelligente mechatronische Systeme}, volume={122}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Gausemeier, Jürgen and Lückel, Joachim and Wallaschek, Jörg}, year={2003}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 26263
@inproceedings{Ziegler_2003, title={Stability versus Speed in a Computable Algebraic Model}, booktitle={Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA}, author={Ziegler, Martin}, year={2003}, pages={47–64} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 26277
@inproceedings{Ziegler_2003, series={Informatik Berichte}, title={Computable Operators on Regular Sets}, volume={302–8/2003}, booktitle={Computability and Complexity in Analysis}, author={Ziegler, Martin}, year={2003}, pages={389–406}, collection={Informatik Berichte} }
LibreCat
2003 | Journal Article | LibreCat-ID: 3236
@article{Wehrheim_2003, title={Behavioral Subtyping Relations for Active Objects}, DOI={10.1023/A:1024764232069}, number={2}, journal={Formal Methods in System Design}, author={Wehrheim, Heike}, year={2003}, pages={143--170} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Preserving Properties Under Change}, DOI={10.1007/978-3-540-30101-1_16}, booktitle={Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures}, author={Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2003}, pages={330--343}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Inheritance of Temporal Logic Properties}, DOI={10.1007/978-3-540-39958-2_6}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={79--93}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
@inproceedings{Rasch_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Checking Consistency in {UML} Diagramms: Classes and State Machines}, DOI={10.1007/978-3-540-39958-2_16}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={229--243}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3240
@inproceedings{Derrick_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Using Coupled Simulations in Non-atomic Refinement}, DOI={10.1007/3-540-44880-2_10}, booktitle={{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Bert, Didier and P. Bowen, Jonathan and King, Steve and A. Wald{\’{e}}n, MarinaEditors}, year={2003}, pages={127--147}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2003 | Dissertation | LibreCat-ID: 2914
@book{May_2003, title={New RSA Vulnerabilities Using Lattice Reduction Methods}, publisher={Universität Paderborn}, author={May, Alexander}, year={2003} }
LibreCat
| Download (ext.)
2003 | Book Chapter | LibreCat-ID: 3016
@inbook{Blömer_May_2003, place={Berlin, Heidelberg}, title={New Partial Key Exposure Attacks on RSA}, DOI={10.1007/978-3-540-45146-4_2}, booktitle={Advances in Cryptology - CRYPTO 2003}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and May, Alexander}, year={2003}, pages={27–43} }
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 3018
@inbook{Blömer_Seifert_2003, place={Berlin, Heidelberg}, title={Fault Based Cryptanalysis of the Advanced Encryption Standard (AES)}, DOI={10.1007/978-3-540-45126-6_12}, booktitle={Financial Cryptography}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and Seifert, Jean-Pierre}, year={2003}, pages={162–181} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 21058
@inproceedings{Friedrich_Meschut_2003, place={Düsseldorf}, series={DVS-Berichte}, title={Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau}, volume={222}, booktitle={DVS-Berichte, Band 222}, publisher={DVS-Verlag GmbH}, author={Friedrich, H. E. and Meschut, Gerson}, year={2003}, pages={5–10}, collection={DVS-Berichte} }
LibreCat
2003 | Journal Article | LibreCat-ID: 21059
@article{Kläger_Wetter_Meschut_2003, title={Multi-Material-Design (Teil 1) Thermische Beanspruchung in Lacktrocknungsprozessen}, volume={47}, number={4}, journal={Adhäsion}, author={Kläger, O. and Wetter, H. and Meschut, Gerson}, year={2003}, pages={30–35} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 21146
@inproceedings{Friedrich_Meschut_2003, place={Dresden}, title={Zukünftige Fügekonzepte für Automobilstrukturen in Mischbauweise}, author={Friedrich, H. E. and Meschut, Gerson}, year={2003} }
LibreCat