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
P. Briest and P. Krysta, “Buying Cheap is Expensive: Hardness of Non-Parametric Multi-Product Pricing,” in Proceedings of the 18th ACM-SIAM Symposium on Discrete Algorithms (SODA), 2007.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 19725
O. Bonorden, “Load Balancing in the Bulk-Synchronous-Parallel Setting using Process Migrations,” in 2007 IEEE International Parallel and Distributed Processing Symposium, 2007.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 19809
C. C. Ooi and C. Schindelhauer, “Minimal Energy Path Planning for Wireless Robots,” in ROBOCOMM’07: Proc. of the 1st International Conference on Robot Communication and Coordination, 2007, pp. 309–321.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 19853
G. Schomaker, “DHHT-RAID: A Distributed Heterogeneous Scalable Architecture for Dynamic Storage Environments,” in Advanced Information Networking and Applications (AINA-07), 2007, vol. 21, pp. 331–339.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 2017
A. Bagchi, A. Chaudhary, C. Scheideler, and P. Kolman, “Algorithms for Fault-Tolerant Routing in Circuit-Switched Networks,” SIAM J. Discrete Math., no. 1, pp. 141--157, 2007.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 2020
M. Onus, A. W. Richa, and C. Scheideler, “Linearization: Locally Self-Stabilizing Sorting in Graphs,” in Proceedings of the Nine Workshop on Algorithm Engineering and Experiments, ALENEX 2007, New Orleans, Louisiana, USA, January 6, 2007, 2007.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 2022 | OA
B. Awerbuch and C. Scheideler, “Towards Scalable and Robust Overlay Networks,” in 6th International workshop on Peer-To-Peer Systems, IPTPS 2007, Bellevue, WA, USA, February 26-27, 2007, 2007.
LibreCat | Files available
 

2007 | Conference Paper | LibreCat-ID: 2023 | OA
B. Awerbuch and C. Scheideler, “A denial-of-service resistant DHT,” in Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007, 2007, pp. 370--371.
LibreCat | Files available | DOI
 

2007 | Conference Paper | LibreCat-ID: 2024
B. Awerbuch and C. Scheideler, “A Denial-of-Service Resistant DHT,” in Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings, 2007, vol. 4731, pp. 33--47.
LibreCat | DOI
 

2007 | Conference (Editor) | LibreCat-ID: 2025
J. Aspnes, C. Scheideler, A. Arora, and S. Madden, Eds., Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings, vol. 4549. 2007.
LibreCat | DOI
 

2007 | Conference (Editor) | LibreCat-ID: 2027
P. B. Gibbons and C. Scheideler, Eds., SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Diego, California, USA, June 9-11, 2007. ACM, 2007.
LibreCat
 

2007 | Book Chapter | LibreCat-ID: 2028
A. W. Richa and C. Scheideler, “Overlay Networks for Peer-to-Peer Networks,” in Handbook of Approximation Algorithms and Metaheuristics., 2007.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 24276
M. Bienkowski and J. Kutyłowski, “The k-Resource Problem on Uniform and on Uniformly Decomposable Metric Spaces,” 2007, doi: 10.1007/978-3-540-73951-7_30.
LibreCat | DOI
 

2007 | Book | LibreCat-ID: 24366
P. Mahlmann and C. Schindelhauer, Peer-to-Peer-Netzwerke. Berlin: Springer, 2007.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 3211
J. Derrick and H. Wehrheim, “On using data abstractions for model checking refinements,” Acta Inf., no. 1, pp. 41--71, 2007.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 3212
B. Metzler and H. Wehrheim, “Extending a Component Specification Language with Time,” Electr. Notes Theor. Comput. Sci., no. 2, pp. 47--67, 2007.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 3213
H. .-}Christian Estler, T. Ruhroth, and H. Wehrheim, “Modelchecking Correctness of Refactorings - Some Experiments,” Electr. Notes Theor. Comput. Sci., pp. 3--17, 2007.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3214
G. Engels, B. Güldali, C. Soltenborn, and H. Wehrheim, “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts,” in Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3215
G. Engels, C. Soltenborn, and H. Wehrheim, “Analysis of {UML} Activities Using Dynamic Meta Modeling,” in Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3216
T. Ruhroth and H. Wehrheim, “Refactoring Object-Oriented Specifications with Data and Processes,” in Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed