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.
5786 Publications
2007 | Conference Paper | LibreCat-ID: 19689
@inproceedings{Briest_Krysta_2007, title={Buying Cheap is Expensive: Hardness of Non-Parametric Multi-Product Pricing}, booktitle={Proceedings of the 18th ACM-SIAM Symposium on Discrete Algorithms (SODA)}, author={Briest, Patrick and Krysta, Piotr}, year={2007} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 19725
@inproceedings{Bonorden_2007, title={Load Balancing in the Bulk-Synchronous-Parallel Setting using Process Migrations}, DOI={10.1109/ipdps.2007.370330}, booktitle={2007 IEEE International Parallel and Distributed Processing Symposium}, author={Bonorden, Olaf}, year={2007} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 19809
@inproceedings{Ooi_Schindelhauer_2007, title={Minimal Energy Path Planning for Wireless Robots}, DOI={10.1007/s11036-008-0150-5}, booktitle={ROBOCOMM’07: Proc. of the 1st International Conference on Robot Communication and Coordination}, author={Ooi, Chia Ching and Schindelhauer, Christian}, year={2007}, pages={309–321} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 19853
@inproceedings{Schomaker_2007, title={DHHT-RAID: A Distributed Heterogeneous Scalable Architecture for Dynamic Storage Environments}, volume={21}, DOI={10.1109/aina.2007.59}, booktitle={Advanced Information Networking and Applications (AINA-07)}, author={Schomaker, Gunnar}, year={2007}, pages={331–339} }
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 2017
@article{Bagchi_Chaudhary_Scheideler_Kolman_2007, title={Algorithms for Fault-Tolerant Routing in Circuit-Switched Networks}, DOI={10.1137/S0895480102419743}, number={1}, journal={SIAM J. Discrete Math.}, author={Bagchi, Amitabha and Chaudhary, Amitabh and Scheideler, Christian and Kolman, Petr}, year={2007}, pages={141--157} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2020
@inproceedings{Onus_W. Richa_Scheideler_2007, title={Linearization: Locally Self-Stabilizing Sorting in Graphs}, DOI={10.1137/1.9781611972870.10}, booktitle={Proceedings of the Nine Workshop on Algorithm Engineering and Experiments, ALENEX 2007, New Orleans, Louisiana, USA, January 6, 2007}, author={Onus, Melih and W. Richa, Andrea and Scheideler, Christian}, year={2007} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2022 | 
@inproceedings{Awerbuch_Scheideler_2007, title={Towards Scalable and Robust Overlay Networks}, booktitle={6th International workshop on Peer-To-Peer Systems, IPTPS 2007, Bellevue, WA, USA, February 26-27, 2007}, author={Awerbuch, Baruch and Scheideler, Christian}, year={2007} }
LibreCat
| Files available
2007 | Conference Paper | LibreCat-ID: 2023 |
@inproceedings{Awerbuch_Scheideler_2007, title={A denial-of-service resistant DHT}, DOI={10.1145/1281100.1281178}, booktitle={Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007}, publisher={ACM}, author={Awerbuch, Baruch and Scheideler, Christian}, year={2007}, pages={370--371} }
LibreCat
| Files available
| DOI
2007 | Conference Paper | LibreCat-ID: 2024
@inproceedings{Awerbuch_Scheideler_2007, series={Lecture Notes in Computer Science}, title={A Denial-of-Service Resistant DHT}, volume={4731}, DOI={10.1007/978-3-540-75142-7_6}, booktitle={Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings}, publisher={Springer}, author={Awerbuch, Baruch and Scheideler, Christian}, year={2007}, pages={33--47}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2007 | Conference (Editor) | LibreCat-ID: 2025
@book{Aspnes_Scheideler_Arora_Madden_2007, series={Lecture Notes in Computer Science}, title={Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings}, volume={4549}, DOI={10.1007/978-3-540-73090-3}, year={2007}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2007 | Conference (Editor) | LibreCat-ID: 2027
@book{B. Gibbons_Scheideler_2007, title={SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Diego, California, USA, June 9-11, 2007}, publisher={ACM}, year={2007} }
LibreCat
2007 | Book Chapter | LibreCat-ID: 2028
@inbook{W. Richa_Scheideler_2007, title={Overlay Networks for Peer-to-Peer Networks}, DOI={10.1201/9781420010749.ch72}, booktitle={Handbook of Approximation Algorithms and Metaheuristics.}, author={W. Richa, Andrea and Scheideler, Christian}, year={2007} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 24276
@inproceedings{Bienkowski_Kutyłowski_2007, place={Berlin, Heidelberg}, title={The k-Resource Problem on Uniform and on Uniformly Decomposable Metric Spaces}, DOI={10.1007/978-3-540-73951-7_30}, booktitle={Lecture Notes in Computer Science}, author={Bienkowski, Marcin and Kutyłowski, Jarosław}, year={2007} }
LibreCat
| DOI
2007 | Book | LibreCat-ID: 24366
@book{Mahlmann_Schindelhauer_2007, place={Berlin}, title={Peer-to-Peer-Netzwerke}, DOI={10.1007/978-3-540-33992-2}, publisher={Springer}, author={Mahlmann, Peter and Schindelhauer, Christian}, year={2007} }
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3211
@article{Derrick_Wehrheim_2007, title={On using data abstractions for model checking refinements}, DOI={10.1007/s00236-007-0042-3}, number={1}, journal={Acta Inf.}, author={Derrick, John and Wehrheim, Heike}, year={2007}, pages={41--71} }
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3212
@article{Metzler_Wehrheim_2007, title={Extending a Component Specification Language with Time}, DOI={10.1016/j.entcs.2006.02.031}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Metzler, Björn and Wehrheim, Heike}, year={2007}, pages={47--67} }
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3213
@article{Estler_Ruhroth_Wehrheim_2007, title={Modelchecking Correctness of Refactorings - Some Experiments}, DOI={10.1016/j.entcs.2006.08.041}, journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and Ruhroth, Thomas and Wehrheim, Heike}, year={2007}, pages={3--17} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3214
@inproceedings{Engels_Güldali_Soltenborn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Assuring Consistency of Business Process Models and Web Services Using Visual Contracts}, DOI={10.1007/978-3-540-89020-1_2}, booktitle={Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers}, author={Engels, Gregor and Güldali, Baris and Soltenborn, Christian and Wehrheim, Heike}, editor={Sch{\"{u}}rr, Andy and Nagl, Manfred and Z{\"{u}}ndorf, AlbertEditors}, year={2007}, pages={17--31}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3215
@inproceedings{Engels_Soltenborn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Analysis of {UML} Activities Using Dynamic Meta Modeling}, DOI={10.1007/978-3-540-72952-5_5}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}, author={Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike}, editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={76--90}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3216
@inproceedings{Ruhroth_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Refactoring Object-Oriented Specifications with Data and Processes}, DOI={10.1007/978-3-540-72952-5_15}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}, author={Ruhroth, Thomas and Wehrheim, Heike}, editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={236--251}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI