Publications of Christian Sommer
- Approximate Shortest Path and Distance Queries in Networks
Christian Sommer
PhD thesis at the University of Tokyo, 2010
- On Shortest Disjoint Paths in Planar Graphs
Yusuke Kobayashi and Christian Sommer
ISAAC 2009 - 20th International Symposium on Algorithms and Computation (pp. 293-302)
- 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
- 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)
- 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)
- 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)
- 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)
- 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)
- A note on coloring sparse random graphs
Christian Sommer
Discrete Mathematics (Elsevier), Volume 50, Issue 10 (pp. 3381-3384), 2009
- On agent-friendly aggregation in networks
Christian Sommer and Shinichi Honiden
ATSN 2008 - Second International Workshop on Agent Technology for Sensor Networks
- 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
- 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)
- 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)
- 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)
- Robust Combiners for Cryptographic Protocols
Christian Sommer
Master's thesis, ETH Zurich, 2006