Nombre de documents

31

CV de Samy Abbes


Article dans une revue11 documents

  • Samy Abbes. A Cut-Invariant Law of Large Numbers for Random Heaps. Journal of Theoretical Probability, Springer, 2016, pp.29. <10.1007/s10959-016-0692-6>. <hal-01328460>
  • Samy Abbes, Jean Mairesse. Uniform and Bernoulli measures on the boundary of trace monoids. Journal of Combinatorial Theory, Series A, Elsevier, 2015, 135, pp.201-236. <10.1016/j.jcta.2015.05.003>. <hal-01158021>
  • Samy Abbes. Branching cells for asymmetric event structures. Journal of Theoretical Computer Science (TCS), Elsevier, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, pp.32-51. <10.1016/j.tcs.2014.02.044>. <hal-00762598>
  • Albert Benveniste, Claude Jard, Samy Abbes. Application of branching cells to QoS aware service orchestrations. Theoretical Computer Science, Elsevier, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, <10.1016/j.tcs.2014.02.049>. <hal-01158211v2>
  • Samy Abbes. Markov two-components processes. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2013, 9 (2), pp.9 (2:14). <10.2168/LMCS-9(2:14)2013>. <hal-00878108>
  • Samy Abbes. On Countable Completions of Quotient Ordered Semigroups. Semigroup Forum, Springer Verlag, 2008, 77 (3), pp.482-499. <10.1007/s00233-008-9111-3>. <hal-00349207>
  • Samy Abbes, Albert Benveniste. Probabilistic true-concurrency models: Markov nets and a Law of large numbers. Theoretical Computer Science, Elsevier, 2008, 390, pp.129-170. <10.1016/j.tcs.2007.09.018>. <hal-00349209>
  • Samy Abbes. A projective formalism applied to topoligical and probabilistic event structures. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2007, 17 (4), pp.819-837. <10.1017/S096012950700607X>. <hal-00350199>
  • Samy Abbes. A Cartesian closed category of event structures with quotients. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2006, 8, pp.249--272. <hal-00961117>
  • Samy Abbes, Albert Benveniste. Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures. Information and Computation, Elsevier, 2006, 204 (2), pp.231-274. <hal-00350226>
  • Samy Abbes, Klaus Keimel. Projective topology on bifinite domains and applications. Theoretical Computer Science, Elsevier, 2006, 365 (3), pp.171-183. <10.1016/j.tcs.2006.07.047>. <hal-00350211>

Pré-publication, Document de travail8 documents

  • Samy Abbes, Sébastien Gouëzel, Vincent Jugé, Jean Mairesse. Uniform measures on braid monoids and dual braid monoids. 32 pages with 6 tables and 8 figures. 2016. <hal-01344669>
  • Samy Abbes. Toward Uniform Random Generation in 1-safe Petri Nets. 2016. <hal-01292954>
  • Samy Abbes. Synchronization of Bernoulli sequences on shared letters. 2015. <hal-01398295>
  • Samy Abbes. A local transform for trace monoids. 10 pages. 2014. <hal-00925900v2>
  • Samy Abbes. A method for designing asynchronous probabilistic processes. 25 pages. 2013. <hal-00878114v2>
  • Samy Abbes. Markov concurrent processes. 2010. <hal-00493927>
  • Samy Abbes. Ordre préfixe et temps d'arrêt. 2009. <hal-00355969v2>
  • Samy Abbes. A truly concurrent synchronization product of Markov chains. 2005. <halshs-00007647>

Communication dans un congrès6 documents

  • Samy Abbes, Jean Mairesse. Uniform Generation in Trace Monoids. Mathematical Foundations of Computer Science 2015, Aug 2015, Milan, Italy. Springer, 9234, pp.63-75, 2015, Lecture Notes in Computer Science. <10.1007/978-3-662-48057-1_5>. <hal-01328454>
  • Samy Abbes, Albert Benveniste. Concurrency, sigma-algebras and probabilistic fairness. Luca de Alfaro. FOSSACS 2009, Mar 2009, York, United Kingdom. Springer-Verlag, 5504, pp.380-394, 2009, LNCS. <hal-00267518v4>
  • Samy Abbes. Asynchronous sources of information. 2nd IEEE International Conference on Information & Communication Technologies: from Theory to Applications, 2006, Damas, Syria. <hal-00355971>
  • Samy Abbes. The (true) concurrent Markov property and some applications to Markov nets. G. Ciardo, P. Darondeau. International Conference on Theory and Applications of Petri Nets, 2005, Miami, United States. Springer, 3536, pp.70-89, 2005, Lecture Notes in Computer Science. <hal-00350506>
  • Samy Abbes, Albert Benveniste. Branching cells as local states for event structures and nets: probabilistic applications. V. Sassone. Foundations of Software Science and Computation Structures, Apr 2005, Edinburgh, United Kingdom. Springer, 3441, pp.95-109, 2005, Lecture Notes in Computer Science. <hal-00350930>
  • Samy Abbes, Albert Benveniste, Stefan Haar. A Petri net model for distributed estimation. Sixteenth International Symposium on Mathematical Theory of Networks and Systems, 2004, Louvain, Belgium. pp.ISBN 90-5682-517-8, 2004. <hal-00350939>

Rapport5 documents

  • Samy Abbes. Distributed Markov Processes. 2011. <hal-00631501>
  • Samy Abbes, Albert Benveniste. Concurrency, sigma-algebras, and probabilistic fairness. [Research Report] RR-6724, INRIA. 2008, pp.24. <inria-00338784>
  • Samy Abbes, Albert Benveniste. Truly Concurrent Synchronization of Markov Chains. [Research Report] PI 1866, 2007, pp.20. <inria-00175408>
  • Samy Abbes, Albert Benveniste. True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers. [Research Report] PI 1753, 2005, pp.59. <inria-00000465>
  • Samy Abbes, Albert Benveniste. Branching cells as local states for event structures and nets: probabilistic applications. [Research Report] RR-5347, INRIA. 2004, pp.24. <inria-00070655>

Thèse1 document

  • Samy Abbes. Probabilistic model for distributed and concurrent systems. Limit theorems and application to statistical parametric estimation. Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2004. English. <tel-00007150v2>