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.
9941 Publications
2002 | Conference Paper | LibreCat-ID: 3242
@inproceedings{Olderog_Wehrheim_2002, series={Lecture Notes in Computer Science}, title={Specification and Inheritance in {CSP-OZ}}, DOI={10.1007/978-3-540-39656-7_15}, booktitle={Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures}, author={Olderog, Ernst-Rüdiger and Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2002}, pages={361--379}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 3243
@inproceedings{Wehrheim_2002, series={{IFIP} Conference Proceedings}, title={Checking Behavioural Subtypes via Refinement}, booktitle={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}, author={Wehrheim, Heike}, editor={Jacobs, Bart and Rensink, ArendEditors}, year={2002}, pages={79--93}, collection={{IFIP} Conference Proceedings} }
LibreCat
2002 | Journal Article | LibreCat-ID: 3034
@article{Albanese_Blömer_Edmonds_Luby_Sudan_2002, title={Priority encoding transmission}, volume={42}, DOI={10.1109/18.556670}, number={6}, journal={IEEE Transactions on Information Theory}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Albanese, Andres and Blömer, Johannes and Edmonds, Jeff and Luby, Michael and Sudan, Madhu}, year={2002}, pages={1737–1744} }
LibreCat
| Files available
| DOI
2002 | Conference Paper | LibreCat-ID: 3040
@inproceedings{Albanese_Blömer_Edmonds_Luby_Sudan_2002, title={Priority encoding transmission}, DOI={10.1109/sfcs.1994.365731}, booktitle={Proceedings 35th Annual Symposium on Foundations of Computer Science}, publisher={IEEE Comput. Soc. Press}, author={Albanese, A. and Blömer, Johannes and Edmonds, J. and Luby, M. and Sudan, M.}, year={2002} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 2134
@article{Feige_Scheideler_2002, title={Improved Bounds for Acyclic Job Shop Scheduling}, DOI={10.1007/s004930200018}, number={3}, journal={Combinatorica}, author={Feige, Uriel and Scheideler, Christian}, year={2002}, pages={361--399} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 2135 | 
@inproceedings{Kolman_Scheideler_2002, title={Improved bounds for the unsplittable flow problem}, booktitle={SODA}, publisher={ACM/SIAM}, author={Kolman, Petr and Scheideler, Christian}, year={2002}, pages={184--193} }
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2136 |
@inproceedings{Brinkmann_Salzwedel_Scheideler_2002, title={Compact, adaptive placement schemes for non-uniform requirements}, booktitle={SPAA}, author={Brinkmann, André and Salzwedel, Kay and Scheideler, Christian}, year={2002}, pages={53--62} }
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2137 |
@inproceedings{Bagchi_Chaudhary_Scheideler_Kolman_2002, title={Algorithms for fault-tolerant routing in circuit switched networks}, booktitle={SPAA}, author={Bagchi, Amitabha and Chaudhary, Amitabh and Scheideler, Christian and Kolman, Petr}, year={2002}, pages={265--274} }
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2138 |
@inproceedings{Scheideler_2002, series={Lecture Notes in Computer Science}, title={Models and Techniques for Communication in Dynamic Networks}, volume={2285}, booktitle={STACS}, publisher={Springer}, author={Scheideler, Christian}, year={2002}, pages={27--49}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
2002 | Journal Article | LibreCat-ID: 18853
@article{Sohler_Czumaj_2002, title={Abstract Combinatorial Programs and Efficient Property Testers}, journal={Proceedings of the 43th Symposium on Foundations of Computer Science (FOCS)}, author={Sohler, Christian and Czumaj, Artur}, year={2002}, pages={83–92} }
LibreCat
2002 | Report | LibreCat-ID: 18961
@book{Lukovszki_Benczúr_2002, place={Paderborn}, title={A Degree O(log log n) Fault Tolerant Distributed Location Service for Geographic Ad-Hoc Routing}, author={Lukovszki, Tamás and Benczúr, A.}, year={2002} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 1921
@inproceedings{Ngo-Quynh_Karl_Wolisz_Rebensburg_2002, title={New Scheduling Algorithm for Providing Proportional Jitter in Differentiated Service Network }, booktitle={Proc. IST Mobile & Wireless Telecommunications Summit 2002.}, author={Ngo-Quynh, Thu and Karl, Holger and Wolisz, Adam and Rebensburg, Klaus}, year={2002} }
LibreCat
2002 | Dissertation | LibreCat-ID: 18169
@book{Ziegler_2002, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Zur Berechenbarkeit reeller geometrischer Probleme}, volume={115}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Ziegler, Martin}, year={2002}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2002 | Journal Article | LibreCat-ID: 18176
@article{Ziegler_2002, title={Computability on Regular Subsets of Euclidean Space}, volume={48}, DOI={10.1002/1521-3870(200210)48:1+<157::aid-malq157>3.0.co;2-4}, number={S1}, journal={Mathematical Logic Quarterly (MLQ)}, author={Ziegler, Martin}, year={2002}, pages={157–181} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 18177
@inproceedings{Ziegler_Damerow_Finschi_2002, title={Point Location Algorithms of Minimum Size}, booktitle={Proceedings of the 14th Canadian Conference on Computational Geometry (CCCG’02)}, author={Ziegler, Martin and Damerow, Valentina and Finschi, Lukas}, year={2002} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 18179
@inproceedings{Brattka_Ziegler_2002, place={Boston, MA}, title={Computability of Linear Equations}, DOI={10.1007/978-0-387-35608-2_9}, booktitle={Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science}, author={Brattka, Vasco and Ziegler, Martin}, year={2002}, pages={95–106} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 18369
@inproceedings{Mueck_Dangelmaier_Fischer_Klemisch_2002, place={Ghent, BE}, title={Bi-directional Coupling of Simulation Tools with a Walkthrough-System}, booktitle={Simulation und Visualisierung}, publisher={SCS European Publishing House}, author={Mueck, Bengt and Dangelmaier, Wilhelm and Fischer, Matthias and Klemisch, Wolfram}, year={2002}, pages={71–84} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 18566
@inproceedings{Adler_Räcke_Sivadasan_Sohler_Vöcking_2002, place={Berlin, Heidelberg}, title={Randomized Pursuit-Evasion in Graphs}, DOI={10.1007/3-540-45465-9_77}, booktitle={Proceedings of the 29th International Colloquium on Automata, Languages and Programming}, author={Adler, Micah and Räcke, Harald and Sivadasan, Naveen and Sohler, Christian and Vöcking, Berthold}, year={2002} }
LibreCat
| DOI
2002 | Conference (Editor) | LibreCat-ID: 7785
@book{Heckel_Mens_Wermelinger_2002, series={Electronic Notes in Theoretical Computer Science}, title={Proceedings of the workshop on Software Evolution through Transformations, satellite of the ICGT 2002 conference, Barcelona (Spain)}, volume={72}, number={4}, publisher={Elsevier}, year={2002}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat
2002 | Conference (Editor) | LibreCat-ID: 7786
@book{Clauss_Hanenberg_John_Mehner_Van Der Straeten_2002, series={IESE-Report}, title={Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA)}, number={053.02/E}, year={2002}, collection={IESE-Report} }
LibreCat