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.
7904 Publications
2003 | Conference Paper | LibreCat-ID: 3238
H. Wehrheim, “Inheritance of Temporal Logic Properties,” in 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. 79--93.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
H. Rasch and H. Wehrheim, “Checking Consistency in {UML} Diagramms: Classes and State Machines,” in 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
2003 | Conference Paper | LibreCat-ID: 3240
J. Derrick and H. Wehrheim, “Using Coupled Simulations in Non-atomic Refinement,” in {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003, pp. 127--147.
LibreCat
| DOI
2003 | Book | LibreCat-ID: 3379
T. Gries, A. Jungmittag, and P. J. J. Welfens, Neue Wachstums- und Innovationspolitik in Europa. Heidelberg: Physica-Verlag, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21058
H. E. Friedrich and G. Meschut, “Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau,” in DVS-Berichte, Band 222, Düsseldorf, 2003, vol. 222, pp. 5–10.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21154
S. Brüdgam and G. Meschut, “Mechanisches Fügen und Kleben – Schlüsseltechnologien für die Mischbauweise,” in Tagungsband zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen und Kleben“, Paderborn, 2003, pp. 1–9.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21155
J. Küting and G. Meschut, “Niet- und Direktverschraubungstechniken für Fahrzeug-strukturen in Mischbauweise,” in Tagungsband zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen und Kleben“, Paderborn, 2003, pp. 22–34.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21156
H.-G. Haldenwanger, G. Meschut, H. Wetter, and O. Kläger, “Simulation thermisch beanspruchter Strukturklebungen unter dem Einfluss unterschiedlicher Alpha-Werte in Mischverbindungen,” in Tagungsband zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen und Kleben“, Paderborn, 2003, pp. 147–162.
LibreCat
2003 | Habilitation | LibreCat-ID: 18690
E.-M. Seng, Stadt und Planung. Neue Ansätze im Städtebau des 16. und 17. Jahrhunderts. Halle 1999 (425 S. Text): masch., 2003.
LibreCat
2003 | Book | LibreCat-ID: 18694
E.-M. Seng, Stadt – Idee und Planung. Neue Ansätze im Städtebau des 16. und 17. Jahrhunderts. Berlin, München: Deutscher Kunstverlag, 2003.
LibreCat
2003 | Book Chapter | LibreCat-ID: 19144
E.-M. Seng, ““Vom Kristallpalast zum gläsernen Menschen“,” in Denkfalle Zeitgeist. Eine Ermutigung zu Maß und Mitte in 40 Essays, B. C. Wintzek, Ed. Asendorf, 2003, pp. 325–336.
LibreCat
2003 | Book Review | LibreCat-ID: 19375
E.-M. Seng, “Andrea Langer, Die Gnadenkirche „Zum Kreuz Christi“ in Hirschberg. Zum protestantischen Kirchenbau Schlesiens im 18. Jahrhundert, Stuttgart 2003,” Zeitschrift für Kirchengeschichte. 2003.
LibreCat
2003 | Dissertation | LibreCat-ID: 18573
C. Sohler, Property Testing and Geometry, vol. 119. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 7914
R. Heckel and M. Lohmann, “Model-Based Development of Web Applications Using Graphical Reaction Rules,” in Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland), 2003, vol. 2621, pp. 170–183.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 8241
S. Krauter, “An Integrated Solar Home System – History,” in Proceedings of the 3rd World Conference of Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Osaka (Japan), 12.–16. Mai 2003, Band 2, S. 2094–2097, 2003.
LibreCat