 | 2011 |
|---|
| 14 |       | Fabian Kuhn,
Rotem Oshman:
The Complexity of Data Aggregation in Directed Networks.
DISC 2011: 416-431 |
| 13 | | Fabian Kuhn,
Rotem Oshman,
Yoram Moses:
Coordinated consensus in dynamic networks.
PODC 2011: 1-10 |
| 12 | | Thomas Moscibroda,
Rotem Oshman:
Resilience of mutual exclusion algorithms to transient memory faults.
PODC 2011: 69-78 |
| 11 | | Fabian Kuhn,
Rotem Oshman:
Dynamic networks: models and algorithms.
SIGACT News 42(1): 82-96 (2011) |
| 10 | | Fabian Kuhn,
Thomas Locher,
Rotem Oshman:
Gradient Clock Synchronization in Dynamic Networks.
Theory Comput. Syst. 49(4): 781-816 (2011) |
| 2010 |
|---|
| 9 | | Fabian Kuhn,
Nancy A. Lynch,
Calvin C. Newport,
Rotem Oshman,
Andréa W. Richa:
Broadcasting in unreliable radio networks.
PODC 2010: 336-345 |
| 8 | | Fabian Kuhn,
Christoph Lenzen,
Thomas Locher,
Rotem Oshman:
Optimal gradient clock synchronization in dynamic networks.
PODC 2010: 430-439 |
| 7 | | Fabian Kuhn,
Nancy A. Lynch,
Rotem Oshman:
Distributed computation in dynamic networks.
STOC 2010: 513-522 |
| 6 | | Fabian Kuhn,
Christoph Lenzen,
Thomas Locher,
Rotem Oshman:
Optimal Gradient Clock Synchronization in Dynamic Networks
CoRR abs/1005.2894: (2010) |
| 2009 |
|---|
| 5 | | Fabian Kuhn,
Rotem Oshman:
Gradient Clock Synchronization Using Reference Broadcasts.
OPODIS 2009: 204-218 |
| 4 | | Fabian Kuhn,
Thomas Locher,
Rotem Oshman:
Gradient clock synchronization in dynamic networks.
SPAA 2009: 270-279 |
| 3 | | Rotem Oshman:
An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking.
VMCAI 2009: 275-289 |
| 2 | | Fabian Kuhn,
Rotem Oshman:
Gradient Clock Synchronization using Reference Broadcasts
CoRR abs/0905.3454: (2009) |
| 2007 |
|---|
| 1 | | Rotem Oshman,
Orna Grumberg:
A New Approach to Bounded Model Checking for Branching Time Logics.
ATVA 2007: 410-424 |
Data released under the ODC-BY 1.0 license — See also our legal information page