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.
1691 Publications
2004 | Book Review | LibreCat-ID: 18489 | 
@article{Peckhaus_2004, title={Klement, Kevin C., “Russell’s Paradox in Appendix B of the Principles of Mathematics: Was Frege’s Response Adequate?”, History and Philosophy of Logic 22 (2001), 13-28}, journal={zbMATH Open, Zbl. 1030.03002}, author={Peckhaus, Volker}, year={2004} }
LibreCat
| Download (ext.)
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: 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 | Book Chapter | LibreCat-ID: 27927
@inbook{Schlegel-Matthies_2003, title={Bildung für Lebensführung – eine neue Aufgabe für die Schule?!}, booktitle={Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts}, publisher={Baltmannsweiler }, author={Schlegel-Matthies, Kirsten}, editor={Methfessel, Barbara and Schlegel-Matthies, Kirsten}, year={2003}, pages={71–83} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 18947
@inproceedings{Rust_Stappert_Lukovszki_2003, title={A Petri Net Model for the Network Layer of a Mobile Ad Hoc Network Architecture}, booktitle={7th World Multiconference on Systemics, Cybernetics and Informatics}, author={Rust, Carsten and Stappert, Friedhelm and Lukovszki, Tamás}, year={2003} }
LibreCat
2003 | Book Chapter | LibreCat-ID: 18258
@inbook{Ziegler_2003, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Fast Relative Approximation of Potential Fields}, volume={2748}, DOI={10.1007/978-3-540-45078-8_13}, booktitle={Lecture Notes in Computer Science}, publisher={Springer}, author={Ziegler, Martin}, editor={Dehne, F. and Sack, JR. and Smid, M. and Algorithms and Data Structures. WADS 2003Editors}, year={2003}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 18372
@inproceedings{Dangelmaier_ Franke_Mueck_Fischer_2003, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Komponenten zur aktiven Unterstützung der Analyse von Materialflusssimulationen in virtuellen Umgebungen}, volume={123}, booktitle={2. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}, author={Dangelmaier, Wilhelm and Franke, Werner and Mueck, Bengt and Fischer, Matthias}, year={2003}, pages={141–151}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 18374
@inproceedings{Fischer_Grafe_Matysczok_Schoo_Mueck_2003, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Planung von komplexen Fertigungssystemen durch Einsatz einer VR/AR-unterstützten Simulation}, volume={123}, booktitle={2. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Fischer, Matthias and Grafe, Michael and Matysczok, Carsten and Schoo, Michael and Mueck, Bengt}, year={2003}, pages={153–166}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 21781
@inproceedings{Goetz_Domik_2003, title={A Framework for Video-based and Hardware-Accelerated Remote 3D-Visualization}, DOI={10.2312/egs.20031071}, booktitle={Eurographics 2003 - Short Presentations}, publisher={Eurographics Association}, author={Goetz, Frank and Domik, Gitta}, editor={Chover, M. and Hagen, H. and Tost, D.Editors}, year={2003} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 8382
@inproceedings{Küster_Stehr_2003, title={Towards Explicit Behavioral Consistency Concepts in the UML}, booktitle={Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA)}, author={Küster, Jochen and Stehr, Jan}, year={2003} }
LibreCat
2003 | Journal Article | LibreCat-ID: 4288 |
@article{Schneider_Borri_Langbein_Woggon_Förstner_Knorr_Sellin_Ouyang_Bimberg_2003, title={Self-induced transparency in InGaAs quantum-dot waveguides}, volume={83}, DOI={10.1063/1.1624492}, number={18}, journal={Applied Physics Letters}, publisher={AIP Publishing}, author={Schneider, S. and Borri, P. and Langbein, W. and Woggon, U. and Förstner, Jens and Knorr, A. and Sellin, R. L. and Ouyang, D. and Bimberg, D.}, year={2003}, pages={3668–3670} }
LibreCat
| Files available
| DOI
2003 | Book | LibreCat-ID: 5629
@book{Schryen_Herstell_Schoenen_2003, place={Wiesbaden}, title={Online Marktforschung im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten}, publisher={Deutscher Universitäts-Verlag}, author={Schryen, Guido and Herstell, Jan and Schoenen, Markus}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 15165
@inproceedings{Schwerdtfeger_Goetz_Domik_2003, title={3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken}, author={Schwerdtfeger, Bj{\ and Goetz, F and Domik, Gitta}, year={2003} }
LibreCat
2003 | Book Chapter | LibreCat-ID: 34446
@inbook{Müller_Ruf_Rosenstiel_2003, place={Dordrecht}, title={An ASM Based SystemC Simulation Semantics}, DOI={10.1007/0-306-48735-7_4}, booktitle={SystemC - Methodologies and Applications}, publisher={Kluwer}, author={Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}, editor={Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}, year={2003}, pages={97–126} }
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
@article{Flake_Müller_2003, title={Formal Semantics of Static and Temporal State-Oriented OCL Constraints}, volume={2}, DOI={10.1007/s10270-003-0026-x}, number={3}, journal={Journal on Software and System Modeling (SoSyM)}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, year={2003}, pages={164–186} }
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 27928
@article{Bigga_2003, title={Lernen mit allen Sinnen – Lernen an vielen Orten. Tradition und Möglichkeiten des Lernens an verschiedenen Lernorten}, volume={80}, number={2}, journal={Haushalt & Bildung}, author={Bigga, Regine}, year={2003}, pages={45–52} }
LibreCat
2003 | Book Chapter | LibreCat-ID: 27929
@inbook{Bigga_Schack_2003, title={Vorsorgendes Haushalten: Computergestützte Bewertung von Lebensmittelverarbeitung und Lebensmittelqualität}, booktitle={Schule zwischen materieller und virtueller Lernkultur}, publisher={Baltmannsweiler}, author={Bigga, Regine and Schack, Pirjo Susanne}, editor={Oberliesen, Rolf and Reuel, Günther}, year={2003}, pages={91–109} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
@inproceedings{Flake_Müller_2003, place={Las Vegas, NV}, title={Expressing Property Specification Patterns with OCL}, booktitle={Proceedings of SERP’03}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
@inproceedings{Flake_Müller_2003, place={San Francisco}, title={Semantics of State-Oriented Expressions in the Object Constraint Language}, booktitle={Proceedings of SEKE 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
@inproceedings{Flake_Müller_2003, place={San Francisco, USA}, title={Formal Semantics of OCL Messages}, booktitle={Proceedings of the Workshop OCL 2.0 at UML 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
LibreCat