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.
7263 Publications
2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim, Heike. “Preserving Properties Under Change.” Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S. de Boer et al., 2003, pp. 330--343, doi:10.1007/978-3-540-30101-1_16.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 79--93, doi:10.1007/978-3-540-39958-2_6.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 229--243, doi:10.1007/978-3-540-39958-2_16.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3240
Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” {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, edited by Didier Bert et al., 2003, pp. 127--147, doi:10.1007/3-540-44880-2_10.
LibreCat
| DOI
2003 | Book | LibreCat-ID: 3379
Gries, Thomas, et al. Neue Wachstums- Und Innovationspolitik in Europa. Physica-Verlag, 2003.
LibreCat
2003 | Book Chapter | LibreCat-ID: 3016
Blömer, Johannes, and Alexander May. “New Partial Key Exposure Attacks on RSA.” Advances in Cryptology - CRYPTO 2003, Springer Berlin Heidelberg, 2003, pp. 27–43, doi:10.1007/978-3-540-45146-4_2.
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 3018
Blömer, Johannes, and Jean-Pierre Seifert. “Fault Based Cryptanalysis of the Advanced Encryption Standard (AES).” Financial Cryptography, Springer Berlin Heidelberg, 2003, pp. 162–81, doi:10.1007/978-3-540-45126-6_12.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 21058
Friedrich, H. E., and Gerson Meschut. “Autovision – Zukünftige Werkstoffe Und Fügekonzepte Im Automobilbau.” DVS-Berichte, Band 222, vol. 222, DVS-Verlag GmbH, 2003, pp. 5–10.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21154
Brüdgam, S., and Gerson Meschut. “Mechanisches Fügen Und Kleben – Schlüsseltechnologien Für Die Mischbauweise.” Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“, 2003, pp. 1–9.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21155
Küting, J., and Gerson Meschut. “Niet- Und Direktverschraubungstechniken Für Fahrzeug-Strukturen in Mischbauweise.” Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“, 2003, pp. 22–34.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21156
Haldenwanger, H. G., et al. “Simulation Thermisch Beanspruchter Strukturklebungen Unter Dem Einfluss Unterschiedlicher Alpha-Werte in Mischverbindungen.” Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“, 2003, pp. 147–62.
LibreCat
2003 | Conference Paper | LibreCat-ID: 2128
Damerow, Valentina, et al. “Smoothed Motion Complexity.” ESA, vol. 2832, Springer, 2003, pp. 161--171, doi:10.1007/978-3-540-39658-1_17.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 18196
Ziegler, Martin. “Quasi-Optimal Arithmetic for Quaternion Polynomials.” Proc. 14th Annual International Symposium on Algorithms and Computation (ISAAC’03), 2003, pp. 705–15, doi:10.1007/978-3-540-24587-2_72.
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 18258
Ziegler, Martin. “Fast Relative Approximation of Potential Fields.” Lecture Notes in Computer Science, edited by F. Dehne et al., vol. 2748, Springer, 2003, doi:10.1007/978-3-540-45078-8_13.
LibreCat
| DOI
2003 | Dissertation | LibreCat-ID: 18573
Sohler, Christian. Property Testing and Geometry. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 8941
Szwedowicz, J., et al. “On Forced Vibration of Shrouded Turbine Blades.” ASME Turbo Expo 2003, Collocated with the 2003 International Joint Power Generation Conference, no. GT2003-38808, 2003, doi:doi:10.1115/GT2003-38808.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 7914
Heckel, Reiko, and Marc Lohmann. “Model-Based Development of Web Applications Using Graphical Reaction Rules.” Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland), vol. 2621, Springer, 2003, pp. 170–83, doi:http://dx.doi.org/10.1007/3-540-36578-8.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 8241
Krauter, Stefan. “An Integrated Solar Home System – History.” 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
2003 | Conference Paper | LibreCat-ID: 8242
Krauter, Stefan, and F. Ochs. “The Integrated Solar Home System: The Solution for Cost-Effective Rural Electrification.” Proceedings of the 3rd World Conference of Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Osaka (Japan), 12.–16. Mai 2003, Band 3, S. 2333–2336, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 8243
Krauter, Stefan, and T. Depping. “Monitoring of Remote PV-Systems via Satellite.” Proceedings of the 3rd World Conference of Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Osaka (Japan), 12.–16. Mai 2003, Band 3, S. 2202–2205., 2003.
LibreCat