| |
| 2008 | ||
|---|---|---|
| 5 | EE | Marcel Kyas, Cristian Prisacariu, Gerardo Schneider: Run-Time Monitoring of Electronic Contracts. ATVA 2008: 397-407 |
| 2007 | ||
| 4 | EE | Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider: Model Checking Contracts - A Case Study. ATVA 2007: 82-97 |
| 3 | EE | Cristian Prisacariu, Gerardo Schneider: A Formal Language for Electronic Contracts. FMOODS 2007: 174-189 |
| 2 | EE | Gabriel Ciobanu, Cristian Prisacariu: Coordination by Timers for Channel-Based Anonymous Communications. Electr. Notes Theor. Comput. Sci. 175(2): 3-17 (2007) |
| 2006 | ||
| 1 | EE | Gabriel Ciobanu, Cristian Prisacariu: Timers for Distributed Systems. Electr. Notes Theor. Comput. Sci. 164(3): 81-99 (2006) |
| 1 | Gabriel Ciobanu | [1] [2] |
| 2 | Marcel Kyas | [5] |
| 3 | Gordon J. Pace | [4] |
| 4 | Gerardo Schneider | [3] [4] [5] |