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.
1778 Publications
2004 | Book Review | LibreCat-ID: 18483 | 
Peckhaus, Volker. “Tomassi, Paul, ‘Logic after Wittgenstein’, Nordic Journal of Philosophical Logic 6 (2001), 43–70.” zbMATH Open, Zbl. 1026.03006, 2004.
LibreCat
| Download (ext.)
2003 | Book Review | LibreCat-ID: 19463
Seng, Eva- Maria. “Christof Thoenes, Opus incertum. Italienische Studien aus drei Jahrzehnten, München, Berlin 2002.” Kunstform 4, 2003, Nr. 9 und Sehepunkte 3, 2003, Nr. 9, 2003.
LibreCat
2003 | Journal Article | LibreCat-ID: 19785
Salzwedel, Kay A. “Algorithmic Approaches for Storage Networks.” Algorithms for Memory Hierarchies 2625 (2003). https://doi.org/10.1007/3-540-36574-5_12.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim, Heike. “Preserving Properties Under Change.” In 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, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 330--343. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-30101-1_16.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim, Heike. “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, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 79--93. Lecture Notes in Computer Science, 2003. https://doi.org/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.” 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, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 229--243. Lecture Notes in Computer Science, 2003. https://doi.org/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.” 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, edited by Didier Bert, Jonathan P. Bowen, Steve King, and Marina A. Wald{\’{e}}n, 127--147. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/3-540-44880-2_10.
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 3016
Blömer, Johannes, and Alexander May. “New Partial Key Exposure Attacks on RSA.” In Advances in Cryptology - CRYPTO 2003, 27–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. https://doi.org/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).” In Financial Cryptography, 162–81. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. https://doi.org/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.” In DVS-Berichte, Band 222, 222:5–10. DVS-Berichte. Düsseldorf: DVS-Verlag GmbH, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21154
Brüdgam, S., and Gerson 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“, 1–9. Paderborn, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21155
Küting, J., and Gerson Meschut. “Niet- Und Direktverschraubungstechniken Für Fahrzeug-Strukturen in Mischbauweise.” In Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“, 22–34. Paderborn, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21156
Haldenwanger, H.-G., Gerson 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“, 147–62. Paderborn, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 2128
Damerow, Valentina, Friedhelm Meyer auf der Heide, Harald Räcke, Christian Scheideler, and Christian Sohler. “Smoothed Motion Complexity.” In ESA, 2832:161--171. Lecture Notes in Computer Science. Springer, 2003. https://doi.org/10.1007/978-3-540-39658-1_17.
LibreCat
| DOI
2003 | Habilitation | LibreCat-ID: 18690
Seng, Eva- Maria. 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
Seng, Eva- Maria. 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
Seng, Eva- Maria. ““Vom Kristallpalast zum gläsernen Menschen“.” In Denkfalle Zeitgeist. Eine Ermutigung zu Maß und Mitte in 40 Essays, edited by Bernhard C. Wintzek, 325–36. Asendorf, 2003.
LibreCat
2003 | Book Review | LibreCat-ID: 19375
Seng, Eva- Maria. “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
Ziegler, Martin. “Quasi-Optimal Arithmetic for Quaternion Polynomials.” In Proc. 14th Annual International Symposium on Algorithms and Computation (ISAAC’03), 705–15. Lecture Notes in Computer Science, Vol 2906. Springer, Berlin, Heidelberg, 2003. https://doi.org/10.1007/978-3-540-24587-2_72.
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 18258
Ziegler, Martin. “Fast Relative Approximation of Potential Fields.” In Lecture Notes in Computer Science, edited by F. Dehne, JR. Sack, M. Smid, and Algorithms and Data Structures. WADS 2003, Vol. 2748. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2003. https://doi.org/10.1007/978-3-540-45078-8_13.
LibreCat
| DOI