ADVANCED SYNCHRONIZATION OF AUDIO OR SYMBOLIC MUSICAL PATTERNS: AN ALGEBRAIC APPROACH, International Journal of Semantic Computing, vol.06, issue.04, pp.409-427, 2012. ,
DOI : 10.1142/S1793351X12400132
URL : https://hal.archives-ouvertes.fr/hal-00698963
A Model Theoretic Oriented Approach to Partial Algebras, 1986. ,
Graph structure and monadic second-order logic, a language theoretic approach, volume 138 of Encyclopedia of mathematics and its applications, 2012. ,
The recognizability of sets of graphs is a robust property, Theoretical Computer Science, vol.342, issue.2-3, pp.173-228, 2005. ,
DOI : 10.1016/j.tcs.2005.03.018
URL : https://hal.archives-ouvertes.fr/hal-00096607
Reversible, irreversible and optimal lambda-machines. Theoretical Comp, Science, vol.227, issue.12, pp.79-97, 1999. ,
Mod??lisation alg??brique du d??ner des philosophes, Modélisation des Systèmes Réactifs (MSR), in Journal Européen des Systèmes Automatisés (JESA, 2013. ,
DOI : 10.3166/jesa.47.29-46
Quasi-recognizable vs MSO Definable Languages of One-Dimensional Overlapping Tiles, Mathematical Found. of Comp. Science (MFCS), pp.516-528, 2012. ,
DOI : 10.1007/978-3-642-32589-2_46
URL : https://hal.archives-ouvertes.fr/hal-00671917
Vers une modélisation combinatoire des structures rythmiques simples de la musique, Revue Francophone d'Informatique Musicale (RFIM), 2012. ,
Algebras, Automata and Logic for Languages of Labeled Birooted Trees, In Int. Col. on Aut., Lang. and Programming LNCS, vol.7966, pp.318-329, 2013. ,
DOI : 10.1007/978-3-642-39212-2_29
URL : https://hal.archives-ouvertes.fr/hal-00784898
On Languages of One-Dimensional Overlapping Tiles, Int. Conf. on Current Thrends in Theo. and Prac. of Comp. Science (SOFSEM), pp.244-256, 2013. ,
DOI : 10.1007/978-3-642-35843-2_22
URL : https://hal.archives-ouvertes.fr/hal-00659202
Overlaping tile automata, 8th International Computer Science Symposium in Russia (CSR), pp.431-443, 2013. ,
Walking Automata in Free Inverse Monoids, 2013. ,
DOI : 10.1007/978-3-662-49192-8_26
URL : https://hal.archives-ouvertes.fr/hal-00738793
Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems, LNCS, vol.8327, pp.7-20, 2014. ,
DOI : 10.1007/978-3-319-04298-5_2
URL : https://hal.archives-ouvertes.fr/hal-00879463
Multi-scale design of interactive music systems : the libTuiles experiment, 10th Conference on Sound and Music Computing (SMC), 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00813313
On the connection of partially ordered sets with some pseudo-Boolean algebras, Indagationes Mathematicae (Proceedings), vol.69, pp.317-329, 1966. ,
DOI : 10.1016/S1385-7258(66)50036-1
The Local Structure of Tilings and Their Integer Group of Coinvariants, Communications in Mathematical Physics, vol.187, issue.1, pp.115-157, 1997. ,
DOI : 10.1007/s002200050131
Tiling Semigroups, Journal of Algebra, vol.224, issue.1, pp.140-150, 2000. ,
DOI : 10.1006/jabr.1999.8120
URL : http://doi.org/10.1006/jabr.1999.8120
Congruences and isotone maps on partially ordered sets, Mathematica Pannonica, vol.16, issue.1, pp.39-55, 2005. ,
Inverse Semigroups : The theory of partial symmetries, World Scientific, 1998. ,
DOI : 10.1142/3645
McAlister Semigroups, Journal of Algebra, vol.202, issue.1, pp.276-294, 1998. ,
DOI : 10.1006/jabr.1997.7301
URL : http://doi.org/10.1006/jabr.1997.7301
Languages and inverse semigroups, In Int. Col. on Aut., Lang. and Programming LNCS, vol.172, pp.337-346, 1984. ,
DOI : 10.1007/3-540-13345-3_30
Inverse semigroups which are separated over a subsemigroup, Transactions of the American Mathematical Society, vol.182, pp.85-117, 1973. ,
DOI : 10.1090/S0002-9947-1973-0327952-0
Algebraic tools for the concatenation product, Theoretical Computer Science, vol.292, issue.1, pp.317-342, 2003. ,
DOI : 10.1016/S0304-3975(01)00230-4
URL : https://hal.archives-ouvertes.fr/hal-00112635
The Monadic Theory of Order, The Annals of Mathematics, vol.102, issue.3, pp.379-419, 1975. ,
DOI : 10.2307/1971037
On free inverse monoid languages, RAIRO - Theoretical Informatics and Applications, vol.30, issue.4, pp.349-378, 1996. ,
DOI : 10.1051/ita/1996300403491
Presentations of inverse monoids, Journal of Pure and Applied Algebra, vol.63, issue.1, pp.81-112, 1990. ,
DOI : 10.1016/0022-4049(90)90057-O
Chap. 7. Languages, automata, and logic, Handbook of Formal Languages, pp.389-455, 1997. ,
URL : https://hal.archives-ouvertes.fr/hal-01117513
Ehrenfeucht games, the composition method, and the monadic theory of ordinal words, Structures in Logic and Computer Science, pp.118-143, 1997. ,
DOI : 10.1007/3-540-63246-8_8