Recherche - Archive ouverte HAL

	Pour les 36 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page : Page précédente 1 2 Page suivante	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Branching cells for asymmetric event structures Samy Abbes Theoretical Computer Science, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, pp.32-51. ⟨10.1016/j.tcs.2014.02.044⟩ Article dans une revue hal-00762598v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Ordre préfixe et temps d'arrêt Samy Abbes 2009 Pré-publication, Document de travail hal-00355969v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Probabilistic model for distributed and concurrent systems. Limit theorems and application to statistical parametric estimation Samy Abbes Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2004. English. ⟨NNT : ⟩ Thèse tel-00007150v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A projective formalism applied to topoligical and probabilistic event structures Samy Abbes Mathematical Structures in Computer Science, 2007, 17 (4), pp.819-837. ⟨10.1017/S096012950700607X⟩ Article dans une revue hal-00350199v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Asynchronous sources of information Samy Abbes 2nd IEEE International Conference on Information & Communication Technologies: from Theory to Applications, 2006, Damas, Syria Communication dans un congrès hal-00355971v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Concurrency, sigma-algebras, and probabilistic fairness Samy Abbes , Albert Benveniste [Research Report] RR-6724, INRIA. 2008, pp.24 Rapport inria-00338784v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Truly Concurrent Synchronization of Markov Chains Samy Abbes , Albert Benveniste [Research Report] PI 1866, 2007, pp.20 Rapport inria-00175408v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Uniform measures on braid monoids and dual braid monoids Samy Abbes , Sébastien Gouëzel , Vincent Jugé , Jean Mairesse Journal of Algebra, 2017, 473 (1), pp.627-666. ⟨10.1016/j.jalgebra.2016.11.015⟩ Article dans une revue hal-01344669v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A method for designing asynchronous probabilistic processes Samy Abbes 2013 Pré-publication, Document de travail hal-00878114v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		The (true) concurrent Markov property and some applications to Markov nets Samy Abbes International Conference on Theory and Applications of Petri Nets, 2005, Miami, United States. pp.70-89 Communication dans un congrès hal-00350506v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Markov concurrent processes Samy Abbes 2010 Pré-publication, Document de travail hal-00493927v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Application of branching cells to QoS aware service orchestrations Albert Benveniste , Claude Jard , Samy Abbes Theoretical Computer Science, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, ⟨10.1016/j.tcs.2014.02.049⟩ Article dans une revue hal-01158211v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Markov two-components processes Samy Abbes Logical Methods in Computer Science, 2013, 9 (2), pp.9 (2:14). ⟨10.2168/LMCS-9(2:14)2013⟩ Article dans une revue hal-00878108v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Petri net model for distributed estimation Samy Abbes , Albert Benveniste , Stefan Haar Sixteenth International Symposium on Mathematical Theory of Networks and Systems, 2004, Louvain, Belgium. pp.ISBN 90-5682-517-8 Communication dans un congrès hal-00350939v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A truly concurrent synchronization product of Markov chains Samy Abbes 2005 Pré-publication, Document de travail halshs-00007647v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Uniform generation of infinite concurrent runs: the case of trace monoids Samy Abbes , Vincent Jugé Pure mathematics and applications , 2022, 30 (1), pp.1-7. ⟨10.2478/puma-2022-0002⟩ Article dans une revue hal-01737076v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On Countable Completions of Quotient Ordered Semigroups Samy Abbes Semigroup Forum, 2008, 77 (3), pp.482-499. ⟨10.1007/s00233-008-9111-3⟩ Article dans une revue hal-00349207v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Cartesian closed category of event structures with quotients Samy Abbes Discrete Mathematics and Theoretical Computer Science, 2006, Vol. 8, pp.249--272. ⟨10.46298/dmtcs.374⟩ Article dans une revue hal-00961117v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers Samy Abbes , Albert Benveniste [Research Report] PI 1753, 2005, pp.59 Rapport inria-00000465v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Uniform Generation in Trace Monoids Samy Abbes , Jean Mairesse Mathematical Foundations of Computer Science 2015, Aug 2015, Milan, Italy. pp.63-75, ⟨10.1007/978-3-662-48057-1_5⟩ Communication dans un congrès hal-01328454v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Cut-Invariant Law of Large Numbers for Random Heaps Samy Abbes Journal of Theoretical Probability, 2016, pp.29. ⟨10.1007/s10959-016-0692-6⟩ Article dans une revue hal-01328460v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Probabilistic true-concurrency models: Markov nets and a Law of large numbers Samy Abbes , Albert Benveniste Theoretical Computer Science, 2008, 390, pp.129-170. ⟨10.1016/j.tcs.2007.09.018⟩ Article dans une revue hal-00349209v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Branching cells as local states for event structures and nets: probabilistic applications Samy Abbes , Albert Benveniste [Research Report] RR-5347, INRIA. 2004, pp.24 Rapport inria-00070655v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Concurrency, sigma-algebras and probabilistic fairness Samy Abbes , Albert Benveniste FOSSACS 2009, Mar 2009, York, United Kingdom. pp.380-394 Communication dans un congrès hal-00267518v4	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A local transform for trace monoids Samy Abbes 2014 Pré-publication, Document de travail hal-00925900v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Distributed Markov Processes Samy Abbes 2011 Rapport hal-00631501v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Deterministic Concurrent Systems Samy Abbes Application and Theory of Petri Nets and Concurrency. Petri Nets 2021, pp.423-442, 2021, ⟨10.1007/978-3-030-76983-3_21⟩ Chapitre d'ouvrage hal-03267060v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Synchronization of Bernoulli sequences on shared letters Samy Abbes Information and Computation, 2017, ⟨10.1016/j.ic.2017.04.002⟩ Article dans une revue hal-01398295v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Asymptotic combinatorics of Artin–Tits monoids and of some other monoids Samy Abbes , Sébastien Gouëzel , Vincent Jugé , Jean Mairesse Journal of Algebra, 2019, 525, pp.497-561. ⟨10.1016/j.jalgebra.2019.01.019⟩ Article dans une revue hal-02092649v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Projective topology on bifinite domains and applications Samy Abbes , Klaus Keimel Theoretical Computer Science, 2006, 365 (3), pp.171-183. ⟨10.1016/j.tcs.2006.07.047⟩ Article dans une revue hal-00350211v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More