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.
9939 Publications
2003 | Conference Paper | LibreCat-ID: 30427
Pottharst, A., and H. Grotstollen. “Radio Based Control of a Linear Motor for the NBP Railway System.” ISICT 2003, 5th International Symposium on Instrumentation and Control Technology, Beijing, China, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 30431
Wetzel, H., et al. “Topologies for Low-Voltage Regulator Modules.” ISICT 2003, 5th International Symposium on Instrumentation and Control Technology, Beijing, China, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 30424
Schulz, B., et al. “Das Linearantriebssystem Der NBP-Versuchsanlage.” ISCoM 2003, International Scientific Colloquium on Mechatronics, Novocherkassk, 2003.
LibreCat
2003 | Dissertation | LibreCat-ID: 30428
Schütte, F. Automatisierte Reglerinbetriebnahme für elektrische Antriebe mit schwingungsfähiger Mechanik. 2003.
LibreCat
| Download (ext.)
2003 | Dissertation | LibreCat-ID: 30429
Ide, P. Dreiphasiger, netzfreundlicher Dreipunkt-Gleichrichter zur Speisung von Gleichspannungszwischenkreisen. 2003.
LibreCat
| Download (ext.)
2003 | Dissertation | LibreCat-ID: 30430
Henke, M. Antrieb mit doppeltgespeistem Linearmotor für ein spurgeführtes Bahnfahrzeug. 2003.
LibreCat
| Download (ext.)
2003 | Book Chapter | LibreCat-ID: 34446
Müller, Wolfgang, et al. “An ASM Based SystemC Simulation Semantics.” SystemC - Methodologies and Applications, edited by Wolfgang Müller et al., Kluwer, 2003, pp. 97–126, doi:10.1007/0-306-48735-7_4.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal State-Oriented OCL Constraints.” Journal on Software and System Modeling (SoSyM), vol. 2, no. 3, Springer-Verlag, 2003, pp. 164–86, doi:10.1007/s10270-003-0026-x.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 13002
Wuertenberger, Armin, et al. “A Hybrid Coding Strategy for Optimized Test Data Compression.” IEEE International Test Conference (ITC’03), IEEE, 2003, pp. 451–59, doi:10.1109/test.2003.1270870.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 32870
Böcker, Joachim. “Discrete-Event Converter Control.” EPE 2003, Graz, 2003.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 39357
Kostienko, Tomasz, et al. “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.” Proceedings of CE 2003, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39355
Loeser, Chris, et al. “Peer-to-Peer for Virtual Home Environments.” Proceedings of HICCS-36, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39354
Eikerling, Heinz-Josef, et al. “Tool Integration and Management in Heterogeneous Computer Networks.” Proceedings of DATE’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39365
Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal Interaction in Intelligent Frameworks.” Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” Proceedings of SERP’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39366
Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” Proceedings of CCE’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” Proceedings of SEKE 2003, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.” Proceedings of CCE’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
Krupp, Alexander, and Wolfgang Müller. Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten. 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” Proceedings of FDL’03, 2003.
LibreCat