Publications of Christian Sommer

  1. Approximate Shortest Path and Distance Queries in Networks
    Christian Sommer
    PhD thesis at the University of Tokyo, 2010
  2. On Shortest Disjoint Paths in Planar Graphs
    Yusuke Kobayashi and Christian Sommer
    ISAAC 2009 - 20th International Symposium on Algorithms and Computation (pp. 293-302)
  3. Specifying and Checking Refinement Relationships in VDM++
    Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, and Shinichi Honiden
    SEFM 2009 - Seventh IEEE International Conference on Software Engineering and Formal Methods
  4. Distance Oracles for Sparse Graphs
    Christian Sommer, Elad Verbin, and Wei Yu
    FOCS 2009 - 50th Annual IEEE Symposium on Foundations of Computer Science (pp. 703-712)
  5. Compact Routing in Power-Law Graphs
    Wei Chen, Christian Sommer, Shang-Hua Teng, and Yajun Wang
    DISC 2009 - 23rd International Symposium on Distributed Computing (pp. 379-391)
  6. Balancing Graph Voronoi Diagrams
    Shinichi Honiden, Michael E. Houle, and Christian Sommer
    ISVD 2009 - Sixth annual International Symposium on Voronoi Diagrams in science and engineering (pp. 183-191)
  7. Approximate Shortest Path Queries in Graphs Using Voronoi Duals
    Shinichi Honiden, Michael E. Houle, Christian Sommer, and Martin Wolff
    ISVD 2009 - Sixth annual International Symposium on Voronoi Diagrams in science and engineering (pp. 53-62)
  8. Distributed Arrays: A P2P Data Structure for Efficient Logical Arrays
    Daisuke Fukuchi, Christian Sommer, Yuichi Sei, and Shinichi Honiden
    INFOCOM 2009 - 28th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies (pp. 1458-1466)
  9. A note on coloring sparse random graphs
    Christian Sommer
    Discrete Mathematics (Elsevier), Volume 50, Issue 10 (pp. 3381-3384), 2009
  10. On agent-friendly aggregation in networks
    Christian Sommer and Shinichi Honiden
    ATSN 2008 - Second International Workshop on Agent Technology for Sensor Networks
  11. On Agent-Based Aggregation Schemes in Networks with Malicious Nodes
    Christian Sommer and Shinichi Honiden
    ATSN 2007 - First International Workshop on Agent Technology for Sensor Networks
  12. Outsourcing and Offshoring: The Consultancies' Estimates
    Christian Sommer and Georg Troxler
    SEAFOOD 2007 - First International Conference on Software Engineering Approaches for Offshore and Outsourced Development (pp. 109-113)
  13. Model Checking Networked Programs in the Presence of Transmission Failures
    Cyrille Artho, Christian Sommer, and Shinichi Honiden
    TASE 2007 - First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (pp. 219-228)
  14. Adaptive Geographically Bound Mobile Agents
    Kenji Tei, Christian Sommer, Yoshiaki Fukazawa, Shinichi Honiden, and Pierre-Loïc Garoche
    MSN 2006 - Second International Conference on Mobile Ad-hoc and Sensor Networks (pp. 353-364)
  15. Robust Combiners for Cryptographic Protocols
    Christian Sommer
    Master's thesis, ETH Zurich, 2006