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.
9334 Publications
2003 | Conference Paper | LibreCat-ID: 26277
M. Ziegler, “Computable Operators on Regular Sets,” in Computability and Complexity in Analysis, 2003, vol. 302–8/2003, pp. 389–406.
LibreCat
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 | Dissertation | LibreCat-ID: 2914
A. May, New RSA Vulnerabilities Using Lattice Reduction Methods. Universität Paderborn, 2003.
LibreCat
| Download (ext.)
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 | Journal Article | LibreCat-ID: 21059
O. Kläger, H. Wetter, and G. Meschut, “Multi-Material-Design (Teil 1) Thermische Beanspruchung in Lacktrocknungsprozessen,” Adhäsion, vol. 47, no. 4, pp. 30–35, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21146
H. E. Friedrich and G. Meschut, “Zukünftige Fügekonzepte für Automobilstrukturen in Mischbauweise,” presented at the 7. Dresdener Leichbausymposium „Interaktionsfeld Leichbau - Effizienzsteigerung durch dichtere Vernetzung, Dresden, 2003.
LibreCat
2003 | Journal Article | LibreCat-ID: 21148
H. E. Friedrich and G. Meschut, “Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau (Teil 1),” Stahl, vol. 4, pp. 18–21, 2003.
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: 2129 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
B. Awerbuch, A. Brinkmann, and C. Scheideler, “Anycasting in Adversarial Systems: Routing and Admission Control,” in ICALP, 2003, vol. 2719, pp. 1153--1168.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 2130 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
B. Awerbuch and C. Scheideler, “Peer-to-peer systems for prefix search,” in PODC, 2003, pp. 123--132.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 2131 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
A. Czumaj, C. Riley, and C. Scheideler, “Perfectly Balanced Allocation,” in RANDOM-APPROX, 2003, vol. 2764, pp. 240--251.
LibreCat
| Files available