Samy Abbes - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2023

Convergence of Distributions on PathsSamy Abbes. fct 2023: 1-15 [doi]

2022

Introduction to Probabilistic Concurrent SystemsSamy Abbes. FUIN, 187(2-4):71-102, 2022. [doi]

2021

Deterministic Concurrent SystemsSamy Abbes. apn 2021: 423-442 [doi]

A spectral property for concurrent systems and some probabilistic applicationsSamy Abbes, Jean Mairesse, Yi-Ting Chen. DM, 344(8):112455, 2021. [doi]

2019

Markovian dynamics of concurrent systemsSamy Abbes. deds, 29(4):527-566, 2019. [doi]

2017

Toward uniform random generation in 1-safe Petri netsSamy Abbes. endm, 59:3-17, 2017. [doi]

Synchronization of Bernoulli sequences on shared lettersSamy Abbes. iandc, 255:1-26, 2017. [doi]

2015

Uniform Generation in Trace MonoidsSamy Abbes, Jean Mairesse. mfcs 2015: 63-75 [doi]

Uniform and Bernoulli measures on the boundary of trace monoidsSamy Abbes, Jean Mairesse. JCT, 135:201-236, 2015. [doi]

2014

Branching cells for asymmetric event structuresSamy Abbes. TCS, 546:32-51, 2014. [doi]

Foreword in honor of Glynn WinskelAlbert Benveniste, Claude Jard, Samy Abbes. TCS, 546:30-31, 2014. [doi]

Application of branching cells to QoS aware service orchestrationsAlbert Benveniste, Claude Jard, Samy Abbes. TCS, 546:52-62, 2014. [doi]

2009

Concurrency, sigma-Algebras, and Probabilistic FairnessSamy Abbes, Albert Benveniste. fossacs 2009: 380-394 [doi]

2008

True-concurrency probabilistic models: Markov nets and a law of large numbersSamy Abbes, Albert Benveniste. TCS, 390(2-3):129-170, 2008. [doi]

2007

A projective formalism applied to topological and probabilistic event structuresSamy Abbes. mscs, 17(4):819-837, 2007. [doi]

2006

A Cartesian closed category of event structures with quotientsSamy Abbes. dmtcs, 8(1):249-272, 2006. [doi]

Projective topology on bifinite domains and applicationsSamy Abbes, Klaus Keimel. TCS, 365(3):171-183, 2006. [doi]

True-concurrency probabilistic models: Branching cells and distributed probabilities for event structuresSamy Abbes, Albert Benveniste. iandc, 204(2):231-274, 2006. [doi]

2005

The (True) Concurrent Markov Property and Some Applications to Markov NetsSamy Abbes. apn 2005: 70-89 [doi]

Branching Cells as Local States for Event Structures and Nets: Probabilistic ApplicationsSamy Abbes, Albert Benveniste. fossacs 2005: 95-109 [doi]

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. PhD thesis, University of Rennes 1, France, 2004. [doi]

Sign in or sign up to see more results.

runs on WebDSL