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.
9290 Publications
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 | Journal Article | LibreCat-ID: 27761
Buyken, A., Toeller, M., Heitkamp, G., Irsigler, K., Holler, C., Santeusanio, F., Stehle, P., Fuller, J. H., & Group, the E. I. C. S. (2002). Carbohydrate sources and glycaemic control in Type 1 diabetes mellitus. Diabetic Medicine, 351–359. https://doi.org/10.1046/j.1464-5491.2000.00283.x
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 | Book Chapter | LibreCat-ID: 17851
Mindt, I. (2002). Functions of intonation in sentences and texts. In P. Peters, P. Collins, & A. Smith (Eds.), New Frontiers of Corpus Research. Papers from the Twenty First International Conference on English Language Research on Computerized Corpora (pp. 283–293). Amsterdam: Rodopi.
LibreCat
2002 | Book Chapter | LibreCat-ID: 17910
Mindt, I., & Krug, M. (2002). Emerging English Modals: A Corpus-Based Study of Grammaticalization. In Journal of English Linguistics, Volume 30, Number 3 (Vol. Number 3, pp. 290–294). Mouton de Gruyter, 2000.
LibreCat
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 | 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 | Dissertation | LibreCat-ID: 18169
Ziegler, M. (2002). Zur Berechenbarkeit reeller geometrischer Probleme (Vol. 115). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2002 | Journal Article | LibreCat-ID: 18176
Ziegler, M. (2002). Computability on Regular Subsets of Euclidean Space. Mathematical Logic Quarterly (MLQ), 48(S1), 157–181. https://doi.org/10.1002/1521-3870(200210)48:1+<157::aid-malq157>3.0.co;2-4
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 18177
Ziegler, M., Damerow, V., & Finschi, L. (2002). Point Location Algorithms of Minimum Size. In Proceedings of the 14th Canadian Conference on Computational Geometry (CCCG’02).
LibreCat
2002 | Conference Paper | LibreCat-ID: 18179
Brattka, V., & Ziegler, M. (2002). Computability of Linear Equations. In Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science (pp. 95–106). Boston, MA. https://doi.org/10.1007/978-0-387-35608-2_9
LibreCat
| DOI