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.
9908 Publications
2003 | Conference Paper | LibreCat-ID: 30431
Topologies for Low-voltage Regulator Modules
H. Wetzel, N. Fröhleke, H. Grotstollen, in: ISICT 2003, 5th International Symposium on Instrumentation and Control Technology, Beijing, China, 2003.
LibreCat
H. Wetzel, N. Fröhleke, H. Grotstollen, in: ISICT 2003, 5th International Symposium on Instrumentation and Control Technology, Beijing, China, 2003.
2003 | Conference Paper | LibreCat-ID: 30424
Das Linearantriebssystem der NBP-Versuchsanlage
B. Schulz, B. Yang, A. Pottharst, H. Grotstollen, in: ISCoM 2003, International Scientific Colloquium on Mechatronics, Novocherkassk, 2003.
LibreCat
B. Schulz, B. Yang, A. Pottharst, H. Grotstollen, in: ISCoM 2003, International Scientific Colloquium on Mechatronics, Novocherkassk, 2003.
2003 | Dissertation | LibreCat-ID: 30428
Automatisierte Reglerinbetriebnahme für elektrische Antriebe mit schwingungsfähiger Mechanik
F. Schütte, Automatisierte Reglerinbetriebnahme für elektrische Antriebe mit schwingungsfähiger Mechanik, 2003.
LibreCat
| Download (ext.)
F. Schütte, Automatisierte Reglerinbetriebnahme für elektrische Antriebe mit schwingungsfähiger Mechanik, 2003.
2003 | Dissertation | LibreCat-ID: 30429
Dreiphasiger, netzfreundlicher Dreipunkt-Gleichrichter zur Speisung von Gleichspannungszwischenkreisen
P. Ide, Dreiphasiger, netzfreundlicher Dreipunkt-Gleichrichter zur Speisung von Gleichspannungszwischenkreisen, 2003.
LibreCat
| Download (ext.)
P. Ide, Dreiphasiger, netzfreundlicher Dreipunkt-Gleichrichter zur Speisung von Gleichspannungszwischenkreisen, 2003.
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 | Conference Paper | LibreCat-ID: 13002
A Hybrid Coding Strategy for Optimized Test Data Compression
A. Wuertenberger, C. S. Tautermann, S. Hellebrand, in: IEEE International Test Conference (ITC’03), IEEE, Charlotte, NC, USA, 2003, pp. 451–459.
LibreCat
| DOI
A. Wuertenberger, C. S. Tautermann, S. Hellebrand, in: IEEE International Test Conference (ITC’03), IEEE, Charlotte, NC, USA, 2003, pp. 451–459.
2003 | Conference Paper | LibreCat-ID: 32870
Discrete-Event Converter Control
J. Böcker, in: EPE 2003, Graz, 2003.
LibreCat
| Files available
J. Böcker, in: EPE 2003, Graz, 2003.
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.
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.