Samy Abbes

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 10

Top Venues

CoRR

Theor. Comput. Sci.

Discret. Event Dyn. Syst.

Petri Nets

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Samy Abbes
Convergence of Distributions on Paths. FCT (2023)
Samy Abbes
Introduction to Probabilistic Concurrent Systems. Fundam. Informaticae 187 (2-4) (2022)
Samy Abbes
Deterministic Concurrent Systems. Petri Nets (2021)
Samy Abbes
Introduction to probabilistic concurrent systems. CoRR (2021)
Samy Abbes, Jean Mairesse, Yi-Ting Chen
A spectral property for concurrent systems and some probabilistic applications. Discret. Math. 344 (8) (2021)
Samy Abbes
Deterministic concurrent systems. CoRR (2020)
Samy Abbes
Markovian dynamics of concurrent systems. Discret. Event Dyn. Syst. 29 (4) (2019)
Samy Abbes
Toward uniform random generation in 1-safe Petri nets. Electron. Notes Discret. Math. 59 (2017)
Samy Abbes
Synchronization of Bernoulli sequences on shared letters. Inf. Comput. 255 (2017)
Samy Abbes
Toward uniform random generation in 1-safe Petri nets. CoRR (2017)
Samy Abbes
Synchronization of Bernoulli sequences on shared letters. CoRR (2015)
Samy Abbes, Jean Mairesse
Uniform Generation in Trace Monoids. MFCS (1) (2015)
Samy Abbes, Jean Mairesse
Uniform and Bernoulli measures on the boundary of trace monoids. J. Comb. Theory, Ser. A 135 (2015)
Samy Abbes
A cut-invariant law of large numbers for random heaps. CoRR (2015)
Samy Abbes, Jean Mairesse
Uniform generation in trace monoids. CoRR (2015)
Albert Benveniste, Claude Jard, Samy Abbes
Application of branching cells to QoS aware service orchestrations. Theor. Comput. Sci. 546 (2014)
Albert Benveniste, Claude Jard, Samy Abbes
Foreword in honor of Glynn Winskel. Theor. Comput. Sci. 546 (2014)
Samy Abbes
Branching cells for asymmetric event structures. Theor. Comput. Sci. 546 (2014)
Samy Abbes
Markov two-components processes Log. Methods Comput. Sci. 9 (2) (2013)
Samy Abbes, Albert Benveniste
Concurrency, sigma-Algebras, and Probabilistic Fairness. FoSSaCS (2009)
Samy Abbes, Albert Benveniste
True-concurrency probabilistic models: Markov nets and a law of large numbers. Theor. Comput. Sci. 390 (2-3) (2008)
Samy Abbes
A projective formalism applied to topological and probabilistic event structures. Math. Struct. Comput. Sci. 17 (4) (2007)
Samy Abbes
A Cartesian closed category of event structures with quotients. Discret. Math. Theor. Comput. Sci. 8 (1) (2006)
Samy Abbes, Klaus Keimel
Projective topology on bifinite domains and applications. Theor. Comput. Sci. 365 (3) (2006)
Samy Abbes, Albert Benveniste
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures. Inf. Comput. 204 (2) (2006)
Samy Abbes, Albert Benveniste
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. FoSSaCS (2005)
Samy Abbes
The (True) Concurrent Markov Property and Some Applications to Markov Nets. ICATPN (2005)

Samy Abbes.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Samy Abbes