@inproceedings{2022,
  author       = {{Awerbuch, Baruch and Scheideler, Christian}},
  booktitle    = {{6th International workshop on Peer-To-Peer Systems, IPTPS 2007, Bellevue, WA, USA, February 26-27, 2007}},
  title        = {{{Towards Scalable and Robust Overlay Networks}}},
  year         = {{2007}},
}

@inproceedings{2023,
  author       = {{Awerbuch, Baruch and Scheideler, Christian}},
  booktitle    = {{Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007}},
  isbn         = {{978-1-59593-616-5}},
  pages        = {{370----371}},
  publisher    = {{ACM}},
  title        = {{{A denial-of-service resistant DHT}}},
  doi          = {{10.1145/1281100.1281178}},
  year         = {{2007}},
}

@inproceedings{2024,
  author       = {{Awerbuch, Baruch and Scheideler, Christian}},
  booktitle    = {{Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings}},
  isbn         = {{978-3-540-75141-0}},
  pages        = {{33----47}},
  publisher    = {{Springer}},
  title        = {{{A Denial-of-Service Resistant DHT}}},
  doi          = {{10.1007/978-3-540-75142-7_6}},
  volume       = {{4731}},
  year         = {{2007}},
}

@proceedings{2025,
  editor       = {{Aspnes, James and Scheideler, Christian and Arora, Anish and Madden, Samuel}},
  isbn         = {{978-3-540-73089-7}},
  title        = {{{Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings}}},
  doi          = {{10.1007/978-3-540-73090-3}},
  volume       = {{4549}},
  year         = {{2007}},
}

@proceedings{2027,
  editor       = {{B. Gibbons, Phillip and Scheideler, Christian}},
  isbn         = {{978-1-59593-667-7}},
  publisher    = {{ACM}},
  title        = {{{SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Diego, California, USA, June 9-11, 2007}}},
  year         = {{2007}},
}

@inbook{2028,
  author       = {{W. Richa, Andrea and Scheideler, Christian}},
  booktitle    = {{Handbook of Approximation Algorithms and Metaheuristics.}},
  isbn         = {{978-1-58488-550-4}},
  title        = {{{Overlay Networks for Peer-to-Peer Networks}}},
  doi          = {{10.1201/9781420010749.ch72}},
  year         = {{2007}},
}

@inproceedings{24276,
  abstract     = {{We define a natural generalization of the prominent k-server problem, the k-resource problem. It occurs in metric spaces with some demands and resources given at its points. The demands may vary with time, but the total demand may never exceed k. The goal of an online algorithm is to satisfy demands by moving resources, while minimizing the cost for transporting resources. We give an asymptotically optimal O(log(min {n,k}))-competitive randomized algorithm and an O(min {k,n})-competitive deterministic one for the k-resource problem on uniform metric spaces consisting of n points. This extends known results for paging to the more general setting of k-resource.
Basing on the results for uniform metric spaces, we develop a randomized algorithm solving the k-resource and the k-server problem on metric spaces which can be decomposed into components far away from each other. The algorithm achieves a competitive ratio of O(log(min {n,k})), provided that it has some extra resources more than the optimal algorithm.
}},
  author       = {{Bienkowski, Marcin and Kutyłowski, Jarosław}},
  booktitle    = {{Lecture Notes in Computer Science}},
  issn         = {{0302-9743}},
  title        = {{{The k-Resource Problem on Uniform and on Uniformly Decomposable Metric Spaces}}},
  doi          = {{10.1007/978-3-540-73951-7_30}},
  year         = {{2007}},
}

@book{24366,
  abstract     = {{Dieses Buch beschäftigt sich mit Algorithmen und Methoden der Peer-to-Peer-Netzwerke und gibt einen Einblick in die aktuelle Forschung.

Ursprünglich waren Peer-to-Peer-Netzwerke nur für File-Sharing konzipiert. Mittlerweile hat sich Peer-to-Peer zum Paradigma für Rechnernetzwerke entwickelt. Ziel dieses Buches ist es, dem Leser ein grundlegendes Verständnis der Techniken hinter den aktuellen Peer-to-Peer-Netzwerken aufzuzeigen und im nächsten Schritt Algorithmen vorzustellen, die vielleicht erst in einigen Jahren umgesetzt werden.

Das Buch richtet sich in erster Linie an Informatiker (Studenten ab dem 5. Semester). Aber auch interessierte Nichtinformatiker können von diesem Buch profitieren, wobei grundlegende Kenntnisse aus den Bereichen der Mathematik und Informatik vorausgesetzt werden. Die Ziele, Kernaussagen und Ergebnisse sollten jedoch auch ohne akademischen Hintergrund klar werden.}},
  author       = {{Mahlmann, Peter and Schindelhauer, Christian}},
  isbn         = {{9783540339915}},
  publisher    = {{Springer}},
  title        = {{{Peer-to-Peer-Netzwerke}}},
  doi          = {{10.1007/978-3-540-33992-2}},
  year         = {{2007}},
}

@article{3211,
  author       = {{Derrick, John and Wehrheim, Heike}},
  journal      = {{Acta Inf.}},
  number       = {{1}},
  pages        = {{41----71}},
  title        = {{{On using data abstractions for model checking refinements}}},
  doi          = {{10.1007/s00236-007-0042-3}},
  year         = {{2007}},
}

@article{3212,
  author       = {{Metzler, Björn and Wehrheim, Heike}},
  journal      = {{Electr. Notes Theor. Comput. Sci.}},
  number       = {{2}},
  pages        = {{47----67}},
  title        = {{{Extending a Component Specification Language with Time}}},
  doi          = {{10.1016/j.entcs.2006.02.031}},
  year         = {{2007}},
}

@article{3213,
  author       = {{Estler, H.{-}Christian and Ruhroth, Thomas and Wehrheim, Heike}},
  journal      = {{Electr. Notes Theor. Comput. Sci.}},
  pages        = {{3----17}},
  title        = {{{Modelchecking Correctness of Refactorings - Some Experiments}}},
  doi          = {{10.1016/j.entcs.2006.08.041}},
  year         = {{2007}},
}

@inproceedings{3214,
  author       = {{Engels, Gregor and Güldali, Baris and Soltenborn, Christian and Wehrheim, Heike}},
  booktitle    = {{Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers}},
  editor       = {{Sch{\"{u}}rr, Andy and Nagl, Manfred and Z{\"{u}}ndorf, Albert}},
  pages        = {{17----31}},
  title        = {{{Assuring Consistency of Business Process Models and Web Services Using Visual Contracts}}},
  doi          = {{10.1007/978-3-540-89020-1_2}},
  year         = {{2007}},
}

@inproceedings{3215,
  author       = {{Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike}},
  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}},
  editor       = {{M. Bonsangue, Marcello and Broch Johnsen, Einar}},
  pages        = {{76----90}},
  title        = {{{Analysis of {UML} Activities Using Dynamic Meta Modeling}}},
  doi          = {{10.1007/978-3-540-72952-5_5}},
  year         = {{2007}},
}

@inproceedings{3216,
  author       = {{Ruhroth, Thomas and Wehrheim, Heike}},
  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}},
  editor       = {{M. Bonsangue, Marcello and Broch Johnsen, Einar}},
  pages        = {{236----251}},
  title        = {{{Refactoring Object-Oriented Specifications with Data and Processes}}},
  doi          = {{10.1007/978-3-540-72952-5_15}},
  year         = {{2007}},
}

@inproceedings{3221,
  author       = {{Schäfer, Wilhelm and Wehrheim, Heike}},
  booktitle    = {{International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}}},
  editor       = {{C. Briand, Lionel and L. Wolf, Alexander}},
  pages        = {{72----84}},
  title        = {{{The Challenges of Building Advanced Mechatronic Systems}}},
  doi          = {{10.1109/FOSE.2007.28}},
  year         = {{2007}},
}

@inproceedings{3222,
  author       = {{Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}},
  booktitle    = {{Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings}},
  editor       = {{Davies, Jim and Gibbons, Jeremy}},
  pages        = {{195----214}},
  title        = {{{Proving Linearizability Via Non-atomic Refinement}}},
  doi          = {{10.1007/978-3-540-73210-5_11}},
  year         = {{2007}},
}

@phdthesis{2912,
  author       = {{Krummel, Volker}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Tamper Resistance of AES -- Models, Attacks and Countermeasures}}},
  year         = {{2007}},
}

@inbook{3002,
  author       = {{Blömer, Johannes and Krummel, Volker}},
  booktitle    = {{Selected Areas in Cryptography}},
  isbn         = {{9783540773597}},
  pages        = {{96--109}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Analysis of Countermeasures Against Access Driven Cache Attacks on AES}}},
  doi          = {{10.1007/978-3-540-77360-3_7}},
  year         = {{2007}},
}

@inbook{3019,
  author       = {{May, Alexander}},
  booktitle    = {{Advances in Cryptology — CRYPTO 2002}},
  isbn         = {{9783540440505}},
  issn         = {{0302-9743}},
  pages        = {{242--256}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Cryptanalysis of Unbalanced RSA with Small CRT-Exponent}}},
  doi          = {{10.1007/3-540-45708-9_16}},
  year         = {{2007}},
}

@inbook{3020,
  author       = {{Blömer, Johannes and May, Alexander}},
  booktitle    = {{Lecture Notes in Computer Science}},
  isbn         = {{9783540424888}},
  issn         = {{0302-9743}},
  pages        = {{4--19}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Low Secret Exponent RSA Revisited}}},
  doi          = {{10.1007/3-540-44670-2_2}},
  year         = {{2007}},
}