| |
| 2009 | ||
|---|---|---|
| 8 | EE | Samy Abbes, Albert Benveniste: Concurrency, sigma-Algebras, and Probabilistic Fairness. FOSSACS 2009: 380-394 |
| 2008 | ||
| 7 | 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) |
| 2007 | ||
| 6 | EE | Samy Abbes: A projective formalism applied to topological and probabilistic event structures. Mathematical Structures in Computer Science 17(4): 819-837 (2007) |
| 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] [7] [8] |
| 2 | Klaus Keimel | [3] |