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.
1718 Publications
2004 | Conference Paper | LibreCat-ID: 39061
Formal Refinement and Model Checking of An Echo Cancellation Unit
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
LibreCat
| DOI
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
2004 | Conference Paper | LibreCat-ID: 39069
Past- and Future-Oriented Time-Bound Temporal Properties with OCL
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
2004 | Conference Paper | LibreCat-ID: 39352
An ASM Definition of the Dynamic OCL 2.0 Semantics
S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.
2004 | Book Review | LibreCat-ID: 18487 | 
Sundholm, Göran, “Frege, August Bebel and the Return of Alsace-Lorraine: The Dating of the Distinction between Sinn and Bedeutung”, History and Philosophy of Logic 22 (2001), 57–73
V. Peckhaus, zbMATH Open, Zbl. 1030.01021 (2004).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 1030.01021 (2004).
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).
2004 | Conference Paper | LibreCat-ID: 54143
Cell biology as a key to computer networking
F. Dressler, B. Krueger, in: German Conference on Bioinformatics 2004 (GCB 2004), Poster Session, Bielefeld, Germany, 2004.
LibreCat
F. Dressler, B. Krueger, in: German Conference on Bioinformatics 2004 (GCB 2004), Poster Session, Bielefeld, Germany, 2004.
2004 | Conference Paper | LibreCat-ID: 54940
Molecular Processes as a Basis for Autonomous Networking
B. Krueger, F. Dressler, in: International IPSI Stockholm Conference: Symposium on Challenges in the Internet and Interdisciplinary Research (IPSI 2004), Stockholm, Sweden, 2004.
LibreCat
B. Krueger, F. Dressler, in: International IPSI Stockholm Conference: Symposium on Challenges in the Internet and Interdisciplinary Research (IPSI 2004), Stockholm, Sweden, 2004.
2004 | Conference Paper | LibreCat-ID: 54949
Cell biology as a key to computer networking
F. Dressler, B. Krueger, in: German Conference on Bioinformatics 2004 (GCB 2004), Poster Session, Bielefeld, Germany, 2004.
LibreCat
F. Dressler, B. Krueger, in: German Conference on Bioinformatics 2004 (GCB 2004), Poster Session, Bielefeld, Germany, 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.