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 | 
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
V. Peckhaus, zbMATH Open, Zbl. 1030.03002 (2004).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 1030.03002 (2004).
2003 | Conference Paper | LibreCat-ID: 2421
Virtualizing Hardware with Multi-Context Reconfigurable Arrays
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), Springer, 2003, pp. 151–160.
LibreCat
| DOI
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), Springer, 2003, pp. 151–160.
2003 | Conference Paper | LibreCat-ID: 3239
Checking Consistency in {UML} Diagramms: Classes and State Machines
H. Rasch, H. Wehrheim, 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, 2003, pp. 229--243.
LibreCat
| DOI
H. Rasch, H. Wehrheim, 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, 2003, pp. 229--243.
2003 | Book Chapter | LibreCat-ID: 27927
Bildung für Lebensführung – eine neue Aufgabe für die Schule?!
K. Schlegel-Matthies, in: B. Methfessel, K. Schlegel-Matthies (Eds.), Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts, Baltmannsweiler , 2003, pp. 71–83.
LibreCat
K. Schlegel-Matthies, in: B. Methfessel, K. Schlegel-Matthies (Eds.), Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts, Baltmannsweiler , 2003, pp. 71–83.
2003 | Conference Paper | LibreCat-ID: 18947
A Petri Net Model for the Network Layer of a Mobile Ad Hoc Network Architecture
C. Rust, F. Stappert, T. Lukovszki, in: 7th World Multiconference on Systemics, Cybernetics and Informatics, 2003.
LibreCat
C. Rust, F. Stappert, T. Lukovszki, in: 7th World Multiconference on Systemics, Cybernetics and Informatics, 2003.
2003 | Book Chapter | LibreCat-ID: 18258
Fast Relative Approximation of Potential Fields
M. Ziegler, in: F. Dehne, J. Sack, M. Smid, Algorithms and Data Structures. WADS 2003 (Eds.), Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, 2003.
LibreCat
| DOI
M. Ziegler, in: F. Dehne, J. Sack, M. Smid, Algorithms and Data Structures. WADS 2003 (Eds.), Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, 2003.
2003 | Conference Paper | LibreCat-ID: 18372
Komponenten zur aktiven Unterstützung der Analyse von Materialflusssimulationen in virtuellen Umgebungen
W. Dangelmaier, W. Franke, B. Mueck, M. Fischer, in: 2. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 2003, pp. 141–151.
LibreCat
| Files available
W. Dangelmaier, W. Franke, B. Mueck, M. Fischer, in: 2. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 2003, pp. 141–151.
2003 | Conference Paper | LibreCat-ID: 18374
Planung von komplexen Fertigungssystemen durch Einsatz einer VR/AR-unterstützten Simulation
M. Fischer, M. Grafe, C. Matysczok, M. Schoo, B. Mueck, in: 2. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003, pp. 153–166.
LibreCat
| Files available
M. Fischer, M. Grafe, C. Matysczok, M. Schoo, B. Mueck, in: 2. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003, pp. 153–166.
2003 | Conference Paper | LibreCat-ID: 21781
A Framework for Video-based and Hardware-Accelerated Remote 3D-Visualization
F. Goetz, G. Domik, in: M. Chover, H. Hagen, D. Tost (Eds.), Eurographics 2003 - Short Presentations, Eurographics Association, 2003.
LibreCat
| DOI
F. Goetz, G. Domik, in: M. Chover, H. Hagen, D. Tost (Eds.), Eurographics 2003 - Short Presentations, Eurographics Association, 2003.
2003 | Conference Paper | LibreCat-ID: 8382
Towards Explicit Behavioral Consistency Concepts in the UML
J. Küster, J. Stehr, in: Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA), 2003.
LibreCat
J. Küster, J. Stehr, in: Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA), 2003.
2003 | Journal Article | LibreCat-ID: 4288 |
Self-induced transparency in InGaAs quantum-dot waveguides
S. Schneider, P. Borri, W. Langbein, U. Woggon, J. Förstner, A. Knorr, R.L. Sellin, D. Ouyang, D. Bimberg, Applied Physics Letters 83 (2003) 3668–3670.
LibreCat
| Files available
| DOI
S. Schneider, P. Borri, W. Langbein, U. Woggon, J. Förstner, A. Knorr, R.L. Sellin, D. Ouyang, D. Bimberg, Applied Physics Letters 83 (2003) 3668–3670.
2003 | Book | LibreCat-ID: 5629
Online Marktforschung im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten
G. Schryen, J. Herstell, M. Schoenen, Online Marktforschung Im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten, Deutscher Universitäts-Verlag, Wiesbaden, 2003.
LibreCat
G. Schryen, J. Herstell, M. Schoenen, Online Marktforschung Im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten, Deutscher Universitäts-Verlag, Wiesbaden, 2003.
2003 | Conference Paper | LibreCat-ID: 15165
3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken
B. Schwerdtfeger, F. Goetz, G. Domik, in: 2003.
LibreCat
B. Schwerdtfeger, F. Goetz, G. Domik, in: 2003.
2003 | Book Chapter | LibreCat-ID: 34446
An ASM Based SystemC Simulation Semantics
W. Müller, J. Ruf, W. Rosenstiel, in: W. Müller, J. Ruf, W. Rosenstiel (Eds.), SystemC - Methodologies and Applications, Kluwer, Dordrecht, 2003, pp. 97–126.
LibreCat
| DOI
W. Müller, J. Ruf, W. Rosenstiel, in: W. Müller, J. Ruf, W. Rosenstiel (Eds.), SystemC - Methodologies and Applications, Kluwer, Dordrecht, 2003, pp. 97–126.
2003 | Journal Article | LibreCat-ID: 34565
Formal Semantics of Static and Temporal State-Oriented OCL Constraints
S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.
LibreCat
| DOI
S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.
2003 | Journal Article | LibreCat-ID: 27928
Lernen mit allen Sinnen – Lernen an vielen Orten. Tradition und Möglichkeiten des Lernens an verschiedenen Lernorten
R. Bigga, Haushalt & Bildung 80 (2003) 45–52.
LibreCat
R. Bigga, Haushalt & Bildung 80 (2003) 45–52.
2003 | Book Chapter | LibreCat-ID: 27929
Vorsorgendes Haushalten: Computergestützte Bewertung von Lebensmittelverarbeitung und Lebensmittelqualität
R. Bigga, P.S. Schack, in: R. Oberliesen, G. Reuel (Eds.), Schule zwischen materieller und virtueller Lernkultur, Baltmannsweiler, 2003, pp. 91–109.
LibreCat
R. Bigga, P.S. Schack, in: R. Oberliesen, G. Reuel (Eds.), Schule zwischen materieller und virtueller Lernkultur, Baltmannsweiler, 2003, pp. 91–109.
2003 | Conference Paper | LibreCat-ID: 39364
Expressing Property Specification Patterns with OCL
S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.
LibreCat
S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.
2003 | Conference Paper | LibreCat-ID: 39363
Semantics of State-Oriented Expressions in the Object Constraint Language
S. Flake, W. Müller, in: Proceedings of SEKE 2003, San Francisco, 2003.
LibreCat
S. Flake, W. Müller, in: Proceedings of SEKE 2003, San Francisco, 2003.
2003 | Conference Paper | LibreCat-ID: 39369
Formal Semantics of OCL Messages
S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003, San Francisco, USA, 2003.
LibreCat
S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003, San Francisco, USA, 2003.