We stand with Ukraine

We stand with Ukraine

Samy Abbes

Orcid: 0000-0003-3382-3647

According to our database¹, Samy Abbes authored at least 23 papers between 2004 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

on orcid.org

On csauthors.net:

Bibliography

2023

Convergence of Distributions on Paths.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory - 24th International Symposium, 2023

2022

Introduction to Probabilistic Concurrent Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2022

2021

A spectral property for concurrent systems and some probabilistic applications.

[BibT_eX]

[DOI]

,

,

Discret. Math., 2021

Deterministic Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2019

Markovian dynamics of concurrent systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2019

2017

Synchronization of Bernoulli sequences on shared letters.

[BibT_eX]

[DOI]

Inf. Comput., 2017

Toward uniform random generation in 1-safe Petri nets.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2017

2015

Uniform and Bernoulli measures on the boundary of trace monoids.

[BibT_eX]

[DOI]

,

J. Comb. Theory A, 2015

A cut-invariant law of large numbers for random heaps.

[BibT_eX]

[DOI]

CoRR, 2015

Uniform Generation in Trace Monoids.

[BibT_eX]

[DOI]

,

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

2014

Application of branching cells to QoS aware service orchestrations.

[BibT_eX]

[DOI]

Albert Benveniste

,

,

Theor. Comput. Sci., 2014

Foreword in honor of Glynn Winskel.

[BibT_eX]

[DOI]

Albert Benveniste

,

,

Theor. Comput. Sci., 2014

Branching cells for asymmetric event structures.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

2013

Markov two-components processes

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2013

2009

Concurrency, sigma-Algebras, and Probabilistic Fairness.

[BibT_eX]

[DOI]

,

Albert Benveniste

Proceedings of the Foundations of Software Science and Computational Structures, 2009

2008

True-concurrency probabilistic models: Markov nets and a law of large numbers.

[BibT_eX]

[DOI]

,

Albert Benveniste

Theor. Comput. Sci., 2008

2007

A projective formalism applied to topological and probabilistic event structures.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2007

2006

Projective topology on bifinite domains and applications.

[BibT_eX]

[DOI]

,

Theor. Comput. Sci., 2006

True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures.

[BibT_eX]

[DOI]

,

Albert Benveniste

Inf. Comput., 2006

A Cartesian closed category of event structures with quotients.

[BibT_eX]

[DOI]

Discret. Math. Theor. Comput. Sci., 2006

2005

Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications.

[BibT_eX]

[DOI]

,

Albert Benveniste

Proceedings of the Foundations of Software Science and Computational Structures, 2005

The (True) Concurrent Markov Property and Some Applications to Markov Nets.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

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).

[BibT_eX]

[DOI]

PhD thesis, 2004

Loading...