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.
8497 Publications
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” UML-B System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer, 2004, pp. 155–68.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp, Alexander, et al. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” Best of FDL’03, edited by Ch. Grimm, Kluwer, 2004, pp. 301–14.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, Alexander, et al. “The Echo Cancellation Unit Case Study.” UML-B System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer, 2004, pp. 227–40.
LibreCat
2004 | Conference Paper | LibreCat-ID: 33881
Tröster, Thomas, and W. Rostek. “Innovative Warmumformung.” Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz “Neuere Entwicklungen in der Blechumformung” in Fellbach, edited by Thomas Tröster and W. Rostek, no. 2004, 2004, pp. 51–66.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller, Wolfgang, et al. “Interactive Multimodal User Interfaces for Mobile Devices.” Proceedings of HICCS-37, 2004, doi:10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, Martin, et al. “The Formal Simulation Semantics of SystemVerilog.” Proceedings of FDL’04, 2004.
LibreCat
2004 | Dissertation | LibreCat-ID: 40045
Jonas-Ahrend, Gabriela. Physiklehrervorstellungen zum Experiment im Physikunterricht. Logos, 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 28778
Mahnken, Rolf. “Void Growth in Finite Deformation Elasto-Plasticity Due to Hydrostatic Stress States.” Computer Methods in Applied Mechanics and Engineering, 2004, pp. 3689–709, doi:10.1016/j.cma.2003.09.032.
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 28780
Mahnken, Rolf. “Stress Mode Dependent Weighting Functions for Simulation of Asymmetric Creep Effects.” PAMM, 2004, pp. 225–26, doi:10.1002/pamm.200410094.
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 43650
Schroeter-Wittke, Harald. “9. Sonntag Nach Trinitatis. Phil 3,7-11(12-14): Vergessen.” Zeitschrift Für Gottesdienst Und Predigt, vol. 22, no. 3, 2004, pp. 46–47.
LibreCat
2004 | Journal Article | LibreCat-ID: 43649
Schroeter-Wittke, Harald, and Inge Kirsner. “13. Sonntag Nach Trinitatis. 1. Joh 4,7-12: Die Schuld Der Liebe.” Predigtstudien II/2, 2004, pp. 143–51.
LibreCat
2004 | Conference Paper | LibreCat-ID: 44122
Meier, Torsten, et al. “Fano Resonances in Metallic Photonic Crystals.” Fano Resonances in Metallic Photonic Crystals, IFC5, Optical Society of America, 2004, doi:10.1364/IQEC.2004.IFC5.
LibreCat
| DOI
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 44123
Meier, Torsten, et al. “Onset of Dynamical Localization in a Semiconductor Superlattice.” International Quantum Electronics Conference, IMO3, 2004, doi:10.1364/IQEC.2004.IMO3.
LibreCat
| DOI
| Download (ext.)
2004 | Journal Article | LibreCat-ID: 44355
Burban, Igor, and Yu. Drozd. “Coherent Sheaves on Rational Curves with Simple Double Points and Transversal Intersections.” Duke Mathematical Journal, vol. 121, no. 2, 2004, pp. 189–229, doi:10.1215/S0012-7094-04-12121-9.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 44610
Adelmann, Ralf. “Digitale Animationen in dokumentarischen Fernsehformaten.” Analog/Digital – Opposition oder Kontinuum. Zur Theorie und Geschichte einer Unterscheidung, edited by Jens Schröter and Alexander Böhnke, Transcript, 2004, pp. 387–405.
LibreCat
2004 | Book Chapter | LibreCat-ID: 44609
Adelmann, Ralf. “Computeranimation als televisuelle Evidenzproduktion.” Evidenz … das sieht man doch!, edited by Rolf F. Nohr, Lit Verlag, 2004, pp. 43–56.
LibreCat
2004 | Book Review | LibreCat-ID: 18485 | 
Peckhaus, Volker. “Buldt, Bernd u.a. (Hgg.), Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Kompendium zum Werk, öbv & hpt: Wien 2002.” zbMATH Open, Zbl. 1028.03002, 2004.
LibreCat
| Download (ext.)
2004 | Book Review | LibreCat-ID: 18802
Peckhaus, Volker. “Seuren, P.A.M., The Logic of Thinking, Koninklijke Nederlandse Akademie van Wetenschappen: Amsterdam 2002 (Mededelingen van de Afdeling Letterkunde, Niewe Reeks, Deel 65, No. 9).” Mathematical Reviews, MR2014619 (2004h:03007), MR 2004h.03007; online: MathSciNet 2014619, 2004.
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 9249
Mildorf, Jarmila. “Narrativising the Body: Fragmentation and Unification in Jed Mercurio’s ‘Bodies.’” Interdisciplinary Perspectives on Health, Illness and Disease, edited by Peter L. Twohig and Vera Kalitzkus, Rodopi, 2004, pp. 97–112.
LibreCat
2004 | Book Chapter | LibreCat-ID: 9250
Mildorf, Jarmila. “Narratives of Domestic Violence Cases: GPs Defining Their Professional Role.” Making Sense of Health, Illness and Disease, edited by Peter L. Twohig and Vera Kalitzkus, Rodopi, 2004, pp. 173–96.
LibreCat