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.
9835 Publications
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 | LibreCat-ID: 3379
Gries, Thomas, Andre Jungmittag, and Paul J.J. Welfens. Neue Wachstums- Und Innovationspolitik in Europa. Heidelberg: Physica-Verlag, 2003.
LibreCat
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 | Journal Article | LibreCat-ID: 21059
Kläger, O., H. Wetter, and Gerson Meschut. “Multi-Material-Design (Teil 1) Thermische Beanspruchung in Lacktrocknungsprozessen.” Adhäsion 47, no. 4 (2003): 30–35.
LibreCat
2003 | Journal Article | LibreCat-ID: 21148
Friedrich, H. E., and Gerson Meschut. “Autovision – Zukünftige Werkstoffe Und Fügekonzepte Im Automobilbau (Teil 1).” Stahl 4 (2003): 18–21.
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 | Book Chapter | LibreCat-ID: 17849
Mindt, Ilka. “Is I Think a Discourse Marker.” In Anglistentag 2002 Bayreuth. Proceedings of the Conference of the German Association of University Teachers of English, Volume XXIV, edited by Ewald Mengel, Hans-Jörg Schmid, and Michael Steppat, 473–83. Trier: Wissenschaftler Verlag, 2003.
LibreCat
2003 | Journal Article | LibreCat-ID: 17850
Mindt, Ilka. “Tagungsbericht über das Internationale Kolloquium Korpuslinguistik Deutsch: synchron – diachron – kontrastiv (klde 2003).” Zeitschrift für Deutsche Philologie 122 Heft 3 (2003): 435–39.
LibreCat
2003 | Book Chapter | LibreCat-ID: 17909
Mindt, Ilka, and Joybrato Mukherjee. “Form and Function of Parasyntactic Presentation Structures. A Corpus-Based Study of Talk Units in Spoken English.” In ICAME Journal, 27, Computers in English Linguistics, 65–71. Amsterdam: Rodopi, 2001, 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 | Conference Paper | LibreCat-ID: 18791
Magen, Avner, Funda Ergun, Christian Sohler, Ronitt Rubinfeld, Artur Czumaj, Ilan Newman, and Lance Fortnow. “Sublinear Approximation of Euclidean Minimum Spanning Tree.” In Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003), 813–822, 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