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 | Book Chapter | LibreCat-ID: 3016
J. Blömer and A. May, “New Partial Key Exposure Attacks on RSA,” in Advances in Cryptology - CRYPTO 2003, Berlin, Heidelberg: Springer Berlin Heidelberg, 2003, pp. 27–43.
LibreCat | DOI
 

2003 | Book Chapter | LibreCat-ID: 3018
J. Blömer and J.-P. Seifert, “Fault Based Cryptanalysis of the Advanced Encryption Standard (AES),” in Financial Cryptography, Berlin, Heidelberg: Springer Berlin Heidelberg, 2003, pp. 162–181.
LibreCat | DOI
 

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 | Conference Paper | LibreCat-ID: 2128
V. Damerow, F. Meyer auf der Heide, H. Räcke, C. Scheideler, and C. Sohler, “Smoothed Motion Complexity,” in ESA, 2003, vol. 2832, pp. 161--171.
LibreCat | DOI
 

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 | Conference Paper | LibreCat-ID: 18196
M. Ziegler, “Quasi-optimal Arithmetic for Quaternion Polynomials,” in Proc. 14th Annual International Symposium on Algorithms and Computation (ISAAC’03), 2003, pp. 705–715.
LibreCat | DOI
 

2003 | Book Chapter | LibreCat-ID: 18258
M. Ziegler, “Fast Relative Approximation of Potential Fields,” in Lecture Notes in Computer Science, vol. 2748, F. Dehne, J. Sack, M. Smid, and Algorithms and Data Structures. WADS 2003, Eds. Berlin, Heidelberg: Springer, 2003.
LibreCat | DOI
 

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
 

Filters and Search Terms

isbn%3D978-3-8440-4553-6

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed