| |
| 2008 | ||
|---|---|---|
| 6 | EE | Samy Abbes, Albert Benveniste: True-concurrency probabilistic models: Markov nets and a law of large numbers. Theor. Comput. Sci. 390(2-3): 129-170 (2008) |
| 2006 | ||
| 5 | EE | Samy Abbes: A Cartesian closed category of event structures with quotients. Discrete Mathematics & Theoretical Computer Science 8(1): 249-272 (2006) |
| 4 | EE | Samy Abbes, Albert Benveniste: True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures. Inf. Comput. 204(2): 231-274 (2006) |
| 3 | EE | Samy Abbes, Klaus Keimel: Projective topology on bifinite domains and applications. Theor. Comput. Sci. 365(3): 171-183 (2006) |
| 2005 | ||
| 2 | EE | Samy Abbes, Albert Benveniste: Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. FoSSaCS 2005: 95-109 |
| 1 | EE | Samy Abbes: The (True) Concurrent Markov Property and Some Applications to Markov Nets. ICATPN 2005: 70-89 |
| 1 | Albert Benveniste | [2] [4] [6] |
| 2 | Klaus Keimel | [3] |