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.
10095 Publications
2002 | Journal Article | LibreCat-ID: 3241
Wehrheim, H. (2002). Relating State-based and Behaviour-oriented Subtyping. Nord. J. Comput., (4), 405--435.
LibreCat
2002 | Conference Paper | LibreCat-ID: 3242
Olderog, E.-R., & Wehrheim, H. (2002). Specification and Inheritance in {CSP-OZ}. In F. S. de Boer, M. M. Bonsangue, S. Graf, & W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (pp. 361--379). https://doi.org/10.1007/978-3-540-39656-7_15
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 3243
Wehrheim, H. (2002). Checking Behavioural Subtypes via Refinement. In B. Jacobs & A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands (pp. 79--93).
LibreCat
2002 | Journal Article | LibreCat-ID: 28788
Mahnken, R. (2002). Anisotropic creep modeling based on elastic projection operators. PAMM, Article 183. https://doi.org/10.1002/1617-7061(200203)1:1<183::aid-pamm183>3.0.co;2-7
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 3034
Albanese, A., Blömer, J., Edmonds, J., Luby, M., & Sudan, M. (2002). Priority encoding transmission. IEEE Transactions on Information Theory, 42(6), 1737–1744. https://doi.org/10.1109/18.556670
LibreCat
| Files available
| DOI
2002 | Conference Paper | LibreCat-ID: 3040
Albanese, A., Blömer, J., Edmonds, J., Luby, M., & Sudan, M. (2002). Priority encoding transmission. In Proceedings 35th Annual Symposium on Foundations of Computer Science. IEEE Comput. Soc. Press. https://doi.org/10.1109/sfcs.1994.365731
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 21053
Jüttner, S., & Meschut, G. (2002). Material-Specific Joining Techniques for Magnesium Body Structures (pp. 1–10). Presented at the 10th Magnesium Automotive and End User Seminar, Aalen.
LibreCat
2002 | Journal Article | LibreCat-ID: 2134
Feige, U., & Scheideler, C. (2002). Improved Bounds for Acyclic Job Shop Scheduling. Combinatorica, (3), 361--399. https://doi.org/10.1007/s004930200018
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 2135 | 
Kolman, P., & Scheideler, C. (2002). Improved bounds for the unsplittable flow problem. In SODA (pp. 184--193). ACM/SIAM.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2136 |
Brinkmann, A., Salzwedel, K., & Scheideler, C. (2002). Compact, adaptive placement schemes for non-uniform requirements. In SPAA (pp. 53--62).
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2137 |
Bagchi, A., Chaudhary, A., Scheideler, C., & Kolman, P. (2002). Algorithms for fault-tolerant routing in circuit switched networks. In SPAA (pp. 265--274).
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2138 |
Scheideler, C. (2002). Models and Techniques for Communication in Dynamic Networks. In STACS (Vol. 2285, pp. 27--49). Springer.
LibreCat
| Files available
2002 | Journal Article | LibreCat-ID: 18853
Sohler, C., & Czumaj, A. (2002). Abstract Combinatorial Programs and Efficient Property Testers. Proceedings of the 43th Symposium on Foundations of Computer Science (FOCS), 83–92.
LibreCat
2002 | Report | LibreCat-ID: 18961
Lukovszki, T., & Benczúr, A. (2002). A Degree O(log log n) Fault Tolerant Distributed Location Service for Geographic Ad-Hoc Routing. Paderborn.
LibreCat
2002 | Book | LibreCat-ID: 19106
Eke, N. O. (2002). Thomas Valentin: Tod eines Mannequins [und andere Fernsehspiele]. Fernsehspiele II (Edition) (Vol. 10). Oldenburg: Igel.
LibreCat
2002 | Book | LibreCat-ID: 19109
Eke, N. O. (2002). Thomas Valentin: Anna und Totò [und andere Fernsehspiele]. Fernsehspiele I (Edition) (Vol. 9). Oldenburg: Igel.
LibreCat
2002 | Conference Paper | LibreCat-ID: 1921
Ngo-Quynh, T., Karl, H., Wolisz, A., & Rebensburg, K. (2002). New Scheduling Algorithm for Providing Proportional Jitter in Differentiated Service Network . In Proc. IST Mobile & Wireless Telecommunications Summit 2002.
LibreCat
2002 | Book Chapter | LibreCat-ID: 19353
Eke, N. O. (2002). „Kein neues Theater mit alten Stücken“. Entgrenzung der Dramaturgien in der DDR-Dramatik seit den 70er Jahren (Müller, Braun, Brasch, Trolle). In H.-C. Stillmark & C. Lehker (Eds.), Rückblicke auf die Literatur der DDR (Vol. 52, pp. 307–346).
LibreCat
| Download (ext.)
2002 | Journal Article | LibreCat-ID: 19358
Eke, N. O. (2002). „Wir spielen um‘s Höchste.“ Christian Dietrich Grabbe als Stratege des Literaturmarkts und eine Ausstellung zu seinem 200. Geburtstag in der Lippischen Landesbibliothek Detmold. Zeitschrift für deutsche Philologie, 121(H. 4), 607–613.
LibreCat
2002 | Book Chapter | LibreCat-ID: 19361
Eke, N. O. (2002). Der Erzähler als Bildermacher, oder: „Spätestens seit ‚Jugend einer Studienrätin’ habe ich meine Arbeit für das Fernsehen als meine Hauptarbeit angesehen.“ Thomas Valentins Fernsehspiele. In N. O. Eke (Ed.), Thomas Valentin: Tod eines Mannequins. Fernsehspiele II (Vol. 10, pp. 461–495). Oldenburg: Igel.
LibreCat