| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1999 | |
|---|---|---|
| 4 |      | Jean-Pierre Hubaux, Constant Gbaguidi, Shawn Koppenhoefer, Jean-Yves Le Boudec: The Impact of the Internet on Telecommunication Architectures. Computer Networks 31(3): 257-273 (1999) |
| 1998 | ||
| 3 |  | Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, Jean-Pierre Hubaux: Testing Temporal Logic Properties in Distributed Systems. IWTCS 1998: 247-258 |
| 1996 | ||
| 2 | | Shawn Koppenhoefer, Jean-Dominique Decotignie: Formal verification for distributed real-time control: periodic Producer/Consumer. ICECCS 1996: 230-238 |
| 1 | | Ming Li III, Shawn Koppenhoefer: Real-Time Communication in a Simplified Timed Token Protocol. Multimedia Technology and Applications 1996: 420-433 |
| 1 | Jean-Yves Le Boudec | [4] |
| 2 | Jean-Dominique Decotignie | [2] |
| 3 | Falk Dietrich | [3] |
| 4 | Constant Gbaguidi | [4] |
| 5 | Jean-Pierre Hubaux | [3] [4] |
| 6 | Ming Li III | [1] |
| 7 | Xavier Logean | [3] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page