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.
9829 Publications
2004 | Book Review | LibreCat-ID: 18485 | 
Peckhaus, V. (2004). Buldt, Bernd u.a. (Hgg.), Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Kompendium zum Werk, öbv & hpt: Wien 2002. In zbMATH Open, Zbl. 1028.03002.
LibreCat
| Download (ext.)
2004 | Book Review | LibreCat-ID: 18501 |
Peckhaus, V. (2004). Penco, Carlo, “Frege: TwoTheses, Two Senses”, History and Philosophy of Logic 24 (2003), 87–109. In zbMATH Open, Zbl. 1047.03006.
LibreCat
| Download (ext.)
2003 | Book Review | LibreCat-ID: 19463
Seng, E.-M. (2003). Christof Thoenes, Opus incertum. Italienische Studien aus drei Jahrzehnten, München, Berlin 2002. Kunstform 4, 2003, Nr. 9 und Sehepunkte 3, 2003, Nr. 9.
LibreCat
2003 | Journal Article | LibreCat-ID: 19726
Bonorden, O., Juurlink, B., von Otte, I., & Rieping, I. (2003). The Paderborn University BSP (PUB) library. Parallel Computing, 187–207. https://doi.org/10.1016/s0167-8191(02)00218-1
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 19785
Salzwedel, K. A. (2003). Algorithmic Approaches for Storage Networks. Algorithms for Memory Hierarchies, 2625. https://doi.org/10.1007/3-540-36574-5_12
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 19790
Scheideler, C., Salzwedel, K., Meyer auf der Heide, F., Brinkmann, A., Vodisek, M., & Rückert, U. (2003). Storage Management as Means to cope with Exponential Information Growth. In Proceedings of SSGRR 2003.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 19806
Rührup, S., Schindelhauer, C., Volbert, K., & Grünewald, M. (2003). Performance of distributed algorithms for topology control in wireless networks. Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS). https://doi.org/10.1109/ipdps.2003.1213107
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 19833
Volbert, K., Grünewald, M., Schindelhauer, C., & Rückert, U. (2003). Directed power-variable infrared communication for the mini robot Khepera. In Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment (pp. 113–122).
LibreCat
2003 | Conference Paper | LibreCat-ID: 19925
Büker, P. (2003). “Irgendwie anders?!” Ein Kinderbuchprojekt zur Förderung der Selbst- und Fremdwahrnehmung. Arbeitsgruppe im Rahmen des 3. Paderborner Grundschultages mit dem Thema: Interkulturell lernen-erziehen-bilden. Universität Paderborn.
LibreCat
2003 | Journal Article | LibreCat-ID: 2420
Plessl, C., & Platzner, M. (2003). Instance-Specific Accelerators for Minimum Covering. Journal of Supercomputing, 26(2), 109–129. https://doi.org/10.1023/a:1024443416592
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 2422
Enzler, R., Plessl, C., & Platzner, M. (2003). Co-simulation of a Hybrid Multi-Context Architecture. In Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA) (pp. 174–180). CSREA Press.
LibreCat
2003 | Book | LibreCat-ID: 24607
Gausemeier, J., Lückel, J., & Wallaschek, J. (2003). 1. Paderborner Workshop Intelligente mechatronische Systeme (Vol. 122). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2003 | Journal Article | LibreCat-ID: 26159
Artelt, C., Schmid, H.-J., & Peukert, W. (2003). On the relevance of accounting for the evolution of the fractal dimension in aerosol process simulations. Journal of Aerosol Science, 34(5), 511–534. https://doi.org/10.1016/s0021-8502(03)00005-3
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim, H. (2003). Preserving Properties Under Change. In F. S. de Boer, M. M. Bonsangue, S. Graf, & W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures (pp. 330--343). https://doi.org/10.1007/978-3-540-30101-1_16
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim, H. (2003). Inheritance of Temporal Logic Properties. In E. Najm, U. Nestmann, & P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings (pp. 79--93). https://doi.org/10.1007/978-3-540-39958-2_6
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
Rasch, H., & Wehrheim, H. (2003). Checking Consistency in {UML} Diagramms: Classes and State Machines. In E. Najm, U. Nestmann, & P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings (pp. 229--243). https://doi.org/10.1007/978-3-540-39958-2_16
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3240
Derrick, J., & Wehrheim, H. (2003). Using Coupled Simulations in Non-atomic Refinement. In D. Bert, J. P. Bowen, S. King, & M. A. Wald{\’{e}}n (Eds.), {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 (pp. 127--147). https://doi.org/10.1007/3-540-44880-2_10
LibreCat
| DOI
2003 | Book | LibreCat-ID: 3379
Gries, T., Jungmittag, A., & Welfens, P. J. J. (2003). Neue Wachstums- und Innovationspolitik in Europa. Heidelberg: Physica-Verlag.
LibreCat
2003 | Book Chapter | LibreCat-ID: 3016
Blömer, J., & May, A. (2003). New Partial Key Exposure Attacks on RSA. In Advances in Cryptology - CRYPTO 2003 (pp. 27–43). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-45146-4_2
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 3018
Blömer, J., & Seifert, J.-P. (2003). Fault Based Cryptanalysis of the Advanced Encryption Standard (AES). In Financial Cryptography (pp. 162–181). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-45126-6_12
LibreCat
| DOI