| |
| * | 2009 | |
|---|---|---|
| 4 | EE | Fabian Kuhn, Thomas Locher, Rotem Oshman: Gradient clock synchronization in dynamic networks. SPAA 2009: 270-279 |
| 3 | EE | Rotem Oshman: An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking. VMCAI 2009: 275-289 |
| 2 | EE | Fabian Kuhn, Rotem Oshman: Gradient Clock Synchronization using Reference Broadcasts CoRR abs/0905.3454: (2009) |
| 2007 | ||
| 1 | EE | Rotem Oshman, Orna Grumberg: A New Approach to Bounded Model Checking for Branching Time Logics. ATVA 2007: 410-424 |
| 1 | Orna Grumberg | [1] |
| 2 | Fabian Kuhn | [2] [4] |
| 3 | Thomas Locher | [4] |