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.
9311 Publications
2003 | Dissertation | LibreCat-ID: 30430
Antrieb mit doppeltgespeistem Linearmotor für ein spurgeführtes Bahnfahrzeug
M. Henke, Antrieb mit doppeltgespeistem Linearmotor für ein spurgeführtes Bahnfahrzeug, 2003.
LibreCat
| Download (ext.)
M. Henke, Antrieb mit doppeltgespeistem Linearmotor für ein spurgeführtes Bahnfahrzeug, 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 | Book Chapter | LibreCat-ID: 35033
Einleitung
R. Dürr, G. Engel, J. Süßmann, in: R. Dürr, G. Engel, J. Süßmann (Eds.), Eigene und fremde Frühe Neuzeiten. Genese und Geltung eines Epochenbegriffs, R. Oldenbourg, München, 2003, pp. 1–21.
LibreCat
| Download (ext.)
R. Dürr, G. Engel, J. Süßmann, in: R. Dürr, G. Engel, J. Süßmann (Eds.), Eigene und fremde Frühe Neuzeiten. Genese und Geltung eines Epochenbegriffs, R. Oldenbourg, München, 2003, pp. 1–21.
2003 | Conference (Editor) | LibreCat-ID: 34785
Eigene und fremde Frühe Neuzeiten. Genese und Geltung eines Epochenbegriffs
R. Dürr, G. Engel, J. Süßmann, eds., Eigene und fremde Frühe Neuzeiten. Genese und Geltung eines Epochenbegriffs, R. Oldenbourg, München, 2003.
LibreCat
| Download (ext.)
R. Dürr, G. Engel, J. Süßmann, eds., Eigene und fremde Frühe Neuzeiten. Genese und Geltung eines Epochenbegriffs, R. Oldenbourg, München, 2003.
2003 | Book Review | LibreCat-ID: 31440
Hansjürgen Koschwitz: Wider das "Journal- und Tageblattsverzeddeln". Goethes Pressesicht und Pressenutzung, Münster 2002 (Kommunikationsgeschichte 10)
S. Elit, JbIG 35, H. 1 (Jahrbuch für brandenburgische Landesgeschichte) (2003) 214f.
LibreCat
S. Elit, JbIG 35, H. 1 (Jahrbuch für brandenburgische Landesgeschichte) (2003) 214f.
2003 | Journal Article | LibreCat-ID: 6078 | 
Perceptual latency priming by masked and unmasked stimuli: Evidence for an attentional interpretation.
I. Scharlau, O. Neumann, Psychological Research 67 (2003) 184–196.
LibreCat
| Download (ext.)
I. Scharlau, O. Neumann, Psychological Research 67 (2003) 184–196.
2003 | Journal Article | LibreCat-ID: 6086 |
Temporal parameters and time course of perceptual latency priming.
I. Scharlau, O. Neumann, Acta Psychologica 113 (2003) 185–203.
LibreCat
| Download (ext.)
I. Scharlau, O. Neumann, Acta Psychologica 113 (2003) 185–203.
2003 | Journal Article | LibreCat-ID: 37248
Artificial Life und neuere Robotik
J. Weber, FIFF-Kommunikation – Bioinformatik 1/2003 (2003) 41–45.
LibreCat
J. Weber, FIFF-Kommunikation – Bioinformatik 1/2003 (2003) 41–45.
2003 | Journal Article | LibreCat-ID: 37254
Embodied Agents of Life- and Cyberscience: Turbulente Körper und soziale Maschinen
J. Weber, TU Aktuell. Universitätszeitschrift der TU Braunschweig, Nr. 1/2003 (2003) 7.
LibreCat
J. Weber, TU Aktuell. Universitätszeitschrift der TU Braunschweig, Nr. 1/2003 (2003) 7.
2003 | Conference Paper | LibreCat-ID: 39357
An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation
T. Kostienko, W. Müller, A. Pawlak, T. Schattkowsky, in: Proceedings of CE 2003, Madeira, Portugal, 2003.
LibreCat
T. Kostienko, W. Müller, A. Pawlak, T. Schattkowsky, in: Proceedings of CE 2003, Madeira, Portugal, 2003.
2003 | Conference Paper | LibreCat-ID: 39355
Peer-to-Peer for Virtual Home Environments
C. Loeser, W. Müller, F. Berger, H.-J. Eikerling, in: Proceedings of HICCS-36, Hawaii, USA, 2003.
LibreCat
C. Loeser, W. Müller, F. Berger, H.-J. Eikerling, in: Proceedings of HICCS-36, Hawaii, USA, 2003.
2003 | Conference Paper | LibreCat-ID: 39354
Tool Integration and Management in Heterogeneous Computer Networks
H.-J. Eikerling, W. Müller, T. Schattkowski, J. Wegner, in: Proceedings of DATE’03, Munich, Germany, 2003.
LibreCat
H.-J. Eikerling, W. Müller, T. Schattkowski, J. Wegner, in: Proceedings of DATE’03, Munich, Germany, 2003.
2003 | Conference Paper | LibreCat-ID: 39365
Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks
R. Schäfer, W. Müller, in: Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing, Acapulco, Mexico, 2003.
LibreCat
R. Schäfer, W. Müller, in: Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing, Acapulco, Mexico, 2003.
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: 39366
Distributed Engineering Environment for the Design of Electronic Systems
T. Schattkowsky, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 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: 39367
SmartCard for Secure Collaborative Engineering
J. Wang, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.
LibreCat
J. Wang, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.
2003 | Conference Paper | LibreCat-ID: 39360
Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten
A. Krupp, W. Müller, (2003).
LibreCat
A. Krupp, W. Müller, (2003).
2003 | Conference Paper | LibreCat-ID: 39368
Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 2003.
LibreCat
A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 2003.