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.
4744 Publications
2004 | Book Chapter | LibreCat-ID: 33829
Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.
LibreCat
A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.
2004 | Book Chapter | LibreCat-ID: 33832
The Echo Cancellation Unit Case Study
A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.
LibreCat
A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.
2004 | Book (Editor) | LibreCat-ID: 37709
Inszenierungen in Schrift und Bild.
C. Öhlschläger, G. Neumann, eds., Inszenierungen in Schrift und Bild. , Aisthesis Verlag, Bielefeld, 2004.
LibreCat
| Files available
C. Öhlschläger, G. Neumann, eds., Inszenierungen in Schrift und Bild. , Aisthesis Verlag, Bielefeld, 2004.
2004 | Conference Paper | LibreCat-ID: 39053
Interactive Multimodal User Interfaces for Mobile Devices
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
LibreCat
| DOI
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
2004 | Conference Paper | LibreCat-ID: 39055
The Formal Simulation Semantics of SystemVerilog
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
LibreCat
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
2004 | Book Chapter | LibreCat-ID: 41753
Luise Adolpha Le Beau (1850-1927): Die Symphonische Dichtung „Hohen-Baden“
A. Tumat, in: R. Nägele, M. Rebmann (Eds.), Klangwelten: Lebenswelten – Komponistinnen in Südwestdeutschland, Württembergische Landesbibliothek, Stuttgart, 2004, pp. 124–149.
LibreCat
A. Tumat, in: R. Nägele, M. Rebmann (Eds.), Klangwelten: Lebenswelten – Komponistinnen in Südwestdeutschland, Württembergische Landesbibliothek, Stuttgart, 2004, pp. 124–149.
2004 | Book Chapter | LibreCat-ID: 39850
Ätztechnik
U. Hilleringmann, in: Silizium-Halbleitertechnologie, Vieweg+Teubner Verlag, Wiesbaden, 2004, pp. 65–90.
LibreCat
| DOI
U. Hilleringmann, in: Silizium-Halbleitertechnologie, Vieweg+Teubner Verlag, Wiesbaden, 2004, pp. 65–90.
2004 | Book Review | LibreCat-ID: 43653
Gerd Nuschmann / Manfred L. Pirner: Werbung, Religion, Bildung. Kulturhermeneutische, theologische, medienpädagogische und religionspädagogische Perspektiven (Beiträge zur Medienpädagogik 8), Frankfurt/M. 2003
H. Schroeter-Wittke, Zeitschrift Für Pädagogik Und Theologie 56 (2004) 387–388.
LibreCat
H. Schroeter-Wittke, Zeitschrift Für Pädagogik Und Theologie 56 (2004) 387–388.
2004 | Journal Article | LibreCat-ID: 43649
13. Sonntag nach Trinitatis. 1. Joh 4,7-12: Die Schuld der Liebe
H. Schroeter-Wittke, I. Kirsner, Predigtstudien II/2 (2004) 143–151.
LibreCat
H. Schroeter-Wittke, I. Kirsner, Predigtstudien II/2 (2004) 143–151.
2004 | Conference Paper | LibreCat-ID: 44122
Fano resonances in metallic photonic crystals
T. Meier, H. Giessen, S. Linden, A. Christ, J. Kuhl, D. Nau, P. Thomas, S.W. Koch, in: Fano Resonances in Metallic Photonic Crystals, Optical Society of America, 2004.
LibreCat
| DOI
| Download (ext.)
T. Meier, H. Giessen, S. Linden, A. Christ, J. Kuhl, D. Nau, P. Thomas, S.W. Koch, in: Fano Resonances in Metallic Photonic Crystals, Optical Society of America, 2004.
2004 | Conference Paper | LibreCat-ID: 44123
Onset of Dynamical Localization in a Semiconductor Superlattice
T. Meier, M. Koch, V. Ciulin, S.G. Carter, M.S. Sherwin, S.W. Koch, J. Zide, D. Driscoll, A.C. Gossard, in: International Quantum Electronics Conference, 2004.
LibreCat
| DOI
| Download (ext.)
T. Meier, M. Koch, V. Ciulin, S.G. Carter, M.S. Sherwin, S.W. Koch, J. Zide, D. Driscoll, A.C. Gossard, in: International Quantum Electronics Conference, 2004.
2004 | Book Chapter | LibreCat-ID: 44610
Digitale Animationen in dokumentarischen Fernsehformaten
R. Adelmann, in: J. Schröter, A. Böhnke (Eds.), Analog/Digital – Opposition oder Kontinuum. Zur Theorie und Geschichte einer Unterscheidung, Transcript, Bielefeld, 2004, pp. 387–405.
LibreCat
R. Adelmann, in: J. Schröter, A. Böhnke (Eds.), Analog/Digital – Opposition oder Kontinuum. Zur Theorie und Geschichte einer Unterscheidung, Transcript, Bielefeld, 2004, pp. 387–405.
2004 | Book Chapter | LibreCat-ID: 44609
Computeranimation als televisuelle Evidenzproduktion
R. Adelmann, in: R.F. Nohr (Ed.), Evidenz … das sieht man doch!, Lit Verlag, Münster, 2004, pp. 43–56.
LibreCat
R. Adelmann, in: R.F. Nohr (Ed.), Evidenz … das sieht man doch!, Lit Verlag, Münster, 2004, pp. 43–56.
2004 | Book Review | LibreCat-ID: 18485 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Buldt, Bernd u.a. (Hgg.), Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Kompendium zum Werk, öbv & hpt: Wien 2002
V. Peckhaus, zbMATH Open, Zbl. 1028.03002 (2004).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 1028.03002 (2004).
2003 | Journal Article | LibreCat-ID: 19726
The Paderborn University BSP (PUB) library
O. Bonorden, B. Juurlink, I. von Otte, I. Rieping, Parallel Computing (2003) 187–207.
LibreCat
| DOI
O. Bonorden, B. Juurlink, I. von Otte, I. Rieping, Parallel Computing (2003) 187–207.
2003 | Conference Paper | LibreCat-ID: 2422
Co-simulation of a Hybrid Multi-Context Architecture
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2003, pp. 174–180.
LibreCat
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2003, pp. 174–180.
2003 | Book | LibreCat-ID: 24607
1. Paderborner Workshop Intelligente mechatronische Systeme
J. Gausemeier, J. Lückel, J. Wallaschek, 1. Paderborner Workshop Intelligente mechatronische Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
J. Gausemeier, J. Lückel, J. Wallaschek, 1. Paderborner Workshop Intelligente mechatronische Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Conference Paper | LibreCat-ID: 21058
Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau
H.E. Friedrich, G. Meschut, in: DVS-Berichte, Band 222, DVS-Verlag GmbH, Düsseldorf, 2003, pp. 5–10.
LibreCat
H.E. Friedrich, G. Meschut, in: DVS-Berichte, Band 222, DVS-Verlag GmbH, Düsseldorf, 2003, pp. 5–10.
2003 | Journal Article | LibreCat-ID: 21059
Multi-Material-Design (Teil 1) Thermische Beanspruchung in Lacktrocknungsprozessen
O. Kläger, H. Wetter, G. Meschut, Adhäsion 47 (2003) 30–35.
LibreCat
O. Kläger, H. Wetter, G. Meschut, Adhäsion 47 (2003) 30–35.
2003 | Journal Article | LibreCat-ID: 21148
Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau (Teil 1)
H.E. Friedrich, G. Meschut, Stahl 4 (2003) 18–21.
LibreCat
H.E. Friedrich, G. Meschut, Stahl 4 (2003) 18–21.