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.
4672 Publications
2004 | Book Chapter | LibreCat-ID: 33829
@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Best of FDL’03}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Grimm, Ch.}, year={2004}, pages={301–314} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={The Echo Cancellation Unit Case Study}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Mermet, J.}, year={2004}, pages={227–240} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
@inproceedings{Müller_Schäfer_Bleul_2004, place={Waikoloa, HI, USA}, title={Interactive Multimodal User Interfaces for Mobile Devices}, DOI={10.1109/HICSS.2004.1265674}, booktitle={Proceedings of HICCS-37}, author={Müller, Wolfgang and Schäfer, Robbie and Bleul, Steffen}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
@inproceedings{Zambaldi_Ecker_Kruse_Müller_2004, place={Lille, France}, title={The Formal Simulation Semantics of SystemVerilog}, booktitle={Proceedings of FDL’04}, author={Zambaldi, Martin and Ecker, Wolfgang and Kruse, Thilo and Müller, Wolfgang}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={10.1109/DATE.2004.1269214}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39071
@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Fukuoka, Japan }, title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks}, DOI={10.1109/AINA.2004.1283977}, booktitle={Proceedings of AINA2004}, publisher={IEEE}, author={Schattkowsky, Tim and Loeser, Chris and Müller, Wolfgang}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past- and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={10.1109/SEFM.2004.1347516}, booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 17296
@inproceedings{Rohlfing_Fritsch_Wrede_2004, title={Learning to Manipulate Objects: A Quantitative Evaluation of Motionese}, booktitle={Third International Conference on Development and Learning (ICDL 2004)}, author={Rohlfing, Katharina and Fritsch, Jannik and Wrede, Britta}, year={2004}, pages={27} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 42042
@inbook{Huber_Volk_Vollmer_Schmidt_Oppermann_2004, place={Berlin}, series={Advances in Polymer Science}, title={Conformation and Phase Diagrams of Flexible Polyelectrolytes}, volume={166}, DOI={10.1007/b11348}, booktitle={Polyelectrolytes with Defined Molecular Architecture II}, publisher={Springer}, author={Huber, Klaus and Volk, N. and Vollmer, D. and Schmidt, Manfred and Oppermann, W.}, editor={Schmidt, Manfred}, year={2004}, pages={29–65}, collection={Advances in Polymer Science} }
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 43649
@article{Schroeter-Wittke_Kirsner_2004, title={13. Sonntag nach Trinitatis. 1. Joh 4,7-12: Die Schuld der Liebe}, journal={Predigtstudien II/2}, author={Schroeter-Wittke, Harald and Kirsner, Inge}, year={2004}, pages={143–151} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 44122
@inproceedings{Meier_Giessen_Linden_Christ_Kuhl_Nau_Thomas_Koch_2004, title={Fano resonances in metallic photonic crystals}, DOI={10.1364/IQEC.2004.IFC5}, number={IFC5}, booktitle={Fano resonances in metallic photonic crystals}, publisher={Optical Society of America}, author={Meier, Torsten and Giessen, H. and Linden, S. and Christ, A. and Kuhl, J. and Nau, D. and Thomas, P. and Koch, S.W.}, year={2004} }
LibreCat
| DOI
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 44123
@inproceedings{Meier_Koch_Ciulin_Carter_Sherwin_Koch_Zide_Driscoll_Gossard_2004, title={Onset of Dynamical Localization in a Semiconductor Superlattice}, DOI={10.1364/IQEC.2004.IMO3}, number={IMO3}, booktitle={International Quantum Electronics Conference}, author={Meier, Torsten and Koch, M. and Ciulin, V. and Carter, S.G. and Sherwin, M.S. and Koch, S.W. and Zide, J. and Driscoll, D. and Gossard, A.C.}, year={2004} }
LibreCat
| DOI
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 44610
@inbook{Adelmann_2004, place={Bielefeld}, title={Digitale Animationen in dokumentarischen Fernsehformaten}, booktitle={Analog/Digital – Opposition oder Kontinuum. Zur Theorie und Geschichte einer Unterscheidung}, publisher={Transcript}, author={Adelmann, Ralf}, editor={Schröter, Jens and Böhnke, Alexander}, year={2004}, pages={387–405} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 44609
@inbook{Adelmann_2004, place={Münster}, title={Computeranimation als televisuelle Evidenzproduktion}, booktitle={Evidenz … das sieht man doch!}, publisher={Lit Verlag}, author={Adelmann, Ralf}, editor={Nohr, Rolf F.}, year={2004}, pages={43–56} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 49075
@inbook{Schulze_2004, place={Düsseldorf}, title={Ohne Titel (2004)}, booktitle={Akademie Rundgang 2004}, author={Schulze, Max}, editor={Grigoteit, Ariane and Hütte, Friedhelm and Deutsche Bank Kunst}, year={2004} }
LibreCat
2004 | Book Review | LibreCat-ID: 18485 | 
@article{Peckhaus_2004, title={Buldt, Bernd u.a. (Hgg.), Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Kompendium zum Werk, öbv & hpt: Wien 2002}, journal={zbMATH Open, Zbl. 1028.03002}, author={Peckhaus, Volker}, year={2004} }
LibreCat
| Download (ext.)
2003 | Journal Article | LibreCat-ID: 19726
@article{Bonorden_Juurlink_von Otte_Rieping_2003, title={The Paderborn University BSP (PUB) library}, DOI={10.1016/s0167-8191(02)00218-1}, journal={Parallel Computing}, author={Bonorden, Olaf and Juurlink, Bernhardus and von Otte, Ingo and Rieping, Ingo}, year={2003}, pages={187–207} }
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 | 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: 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