Samy Abbes

30 papers B 4Journal 23Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Ergodic properties of concurrent systems.
CoRR
Samy Abbes, Vincent Jugé
2025 J jnl
Ergodic properties of concurrent systems.
Discret. Event Dyn. Syst.
Samy Abbes, Vincent Jugé
2023 B conf
Convergence of Distributions on Paths.
FCT
Samy Abbes
2022 J jnl
Introduction to Probabilistic Concurrent Systems.
Fundam. Informaticae
Samy Abbes
2021 J jnl
A spectral property for concurrent systems and some probabilistic applications.
Discret. Math.
Samy Abbes, Jean Mairesse, Yi-Ting Chen
2021 B conf
Deterministic Concurrent Systems.
Petri Nets
Samy Abbes
2021 J jnl
Introduction to probabilistic concurrent systems.
CoRR
Samy Abbes
2020 J jnl
Deterministic concurrent systems.
CoRR
Samy Abbes
2019 J jnl
Markovian dynamics of concurrent systems.
Discret. Event Dyn. Syst.
Samy Abbes
2017 J jnl
Synchronization of Bernoulli sequences on shared letters.
Inf. Comput.
Samy Abbes
2017 J jnl
Toward uniform random generation in 1-safe Petri nets.
CoRR
Samy Abbes
2017 J jnl
Toward uniform random generation in 1-safe Petri nets.
Electron. Notes Discret. Math.
Samy Abbes
2015 J jnl
A cut-invariant law of large numbers for random heaps.
CoRR
Samy Abbes
2015 J jnl
Synchronization of Bernoulli sequences on shared letters.
CoRR
Samy Abbes
2015 — conf
Uniform Generation in Trace Monoids.
MFCS (1)
Samy Abbes, Jean Mairesse
2015 J jnl
Uniform and Bernoulli measures on the boundary of trace monoids.
J. Comb. Theory A
Samy Abbes, Jean Mairesse
2015 J jnl
Uniform generation in trace monoids.
CoRR
Samy Abbes, Jean Mairesse
2014 J jnl
Application of branching cells to QoS aware service orchestrations.
Theor. Comput. Sci.
Albert Benveniste, Claude Jard, Samy Abbes
2014 J jnl
Branching cells for asymmetric event structures.
Theor. Comput. Sci.
Samy Abbes
2014 J jnl
Foreword in honor of Glynn Winskel.
Theor. Comput. Sci.
Albert Benveniste, Claude Jard, Samy Abbes
2013 J jnl
Markov two-components processes
Log. Methods Comput. Sci.
Samy Abbes
2009 B conf
Concurrency, sigma-Algebras, and Probabilistic Fairness.
FoSSaCS
Samy Abbes, Albert Benveniste
2008 J jnl
True-concurrency probabilistic models: Markov nets and a law of large numbers.
Theor. Comput. Sci.
Samy Abbes, Albert Benveniste
2007 J jnl
A projective formalism applied to topological and probabilistic event structures.
Math. Struct. Comput. Sci.
Samy Abbes
2006 J jnl
A Cartesian closed category of event structures with quotients.
Discret. Math. Theor. Comput. Sci.
Samy Abbes
2006 J jnl
Projective topology on bifinite domains and applications.
Theor. Comput. Sci.
Samy Abbes, Klaus Keimel
2006 J jnl
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures.
Inf. Comput.
Samy Abbes, Albert Benveniste
2005 B conf
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications.
FoSSaCS
Samy Abbes, Albert Benveniste
2005 — conf
The (True) Concurrent Markov Property and Some Applications to Markov Nets.
ICATPN
Samy Abbes
2004 — —
Probabilistic model for distributed and concurrent systems. Limit theorems and application to statistical parametric estimation. (Modèle probabiliste de systèmes distribués et concurrents. Théorèmes limite et application à l'estimation statistique de paramètres).
Samy Abbes