|
Article
- Two-way automata and regular languages of overlapping tiles
(with
A. Dicky),
Fundamenta Informaticae
141:311-343,
2015
(doi)
(hal)
(pdf).
- On Labeled Birooted Trees Languages: Algebras, Automata and Logic,
#ic#
243:222--248,
2015
(doi)
(hal)
(pdf).
- A syntactic congruence for languages of birooted trees
(with
A. Blumensath),
Semigroup Forum
,
2014
(doi)
(hal)
(pdf).
- Une \'etude des jeux distribu\'es
(with
J. Bernet),
Technique et Science Informatique
32:1007-1041,
2013
(doi)
(hal)
(pdf).
- Advanced synchronization of audio or symbolic musical patterns: an algebraic approach
(with
F. Berthaut and B. Martin),
International Journal of Semantic Computing
6 (4):409-427,
2012
(doi)
(hal)
(pdf).
- Vers une mod\'elisation combinatoire des structures rythmiques simples de la musique,
Revue Francophone d'Informatique Musicale (RFIM)
2,
2012 (hal)
(pdf).
Conference
- Unified Media Programming: An Algebraic Approach
(with
S. Archipoff),
in #farm#, pp 36-47, 2017
(doi)
(hal)
(pdf).
- A robust algebraic framework for high-level music programming,
in Second International Conference on Technologies for Music Notation and Representation (TENOR), 2016.
- {Pour un raffinement spatio-temporel tuil{\'e}}
(with
S. Archipoff),
in #jfla#, Saint-Malo, France, 2016 (hal)
(pdf).
- Interpolations : \'ecritures de contraintes r\'eactives pour improvisation pianistique (d\'emo)
(with
S. Archipoff
et al.
),
in #jim#, 2016 (hal)
(pdf).
- Vers une programmation re\'eactive structur\'ee
(with
S. Archipoff),
in #jim#, 2016.
- Structured Reactive Programming with Polymorphic Temporal Tiles
(with
S. Archipoff),
in #farm#, pp 29-40, 2016
(doi)
.
- Walking automata in free inverse monoids,
in #sofsem#, #lncs# 9587, pp 314--328, 2016 (hal)
(pdf).
- Flux m\'edia tuil\'es polymorphes: une s\'emantique op\'erationnelle en {Haskell}
(with
T. Bazin),
in #jfla#, 2015 (hal)
(pdf).
- Des signaux aux symphonies: pour une mod\'elisation homog\`ene des objets sonores
(with
M. Desainte-Catherine),
in #jim#, 2015 (hal)
(pdf).
- Inverse monoids of higher-dimensional strings,
in #ictac#, #lncs# 9399, 2015 (hal)
(pdf).
- Embedding finite and infinite words into overlapping tiles
(with
A. Dicky),
in #dlt#, #lncs# 8633, pp 339--347, 2014
(doi)
(hal)
(pdf).
- Algebraic tools for the overlapping tile product
(with
E. Dubourg),
in #lata#, #lncs# 8370, pp 335 -- 346, 2014
(doi)
(hal)
(pdf).
- Tiled Polymorphic Temporal Media
(with
P. Hudak),
in #farm#, pp 49-60, 2014
(doi)
(hal)
(pdf).
- Programmer avec des tuiles musicales: le {T}-calcul en {Euterpea}
(with
P. Hudak),
in #jim#, 2014 (hal)
(pdf).
- {libTuile}~: un moteur d'ex\'ecution multi-\'echelle de processus musicaux hi\'erarchis\'es
(with
F. Berthaut and M. Desainte-Catherine),
in #jim#, 2013 (hal)
(pdf).
- Multi-scale design of interactive music systems : the {libTuiles} experiment
(with
F. Berthaut and M. Desainte-Catherine),
in #smc#, 2013 (hal)
(pdf).
- The {T}-Calculus~: towards a structured programming of (musical) time and space
(with
F. Berthaut and M. De{S}ainte-Catherine and Y. Orlarey and S. Salvati),
in #farm#, pp 23-34, 2013
(doi)
(hal)
(pdf).
- On languages of one-dimensional overlapping tiles,
in #sofsem#, #lncs# 7741, pp 244-256, 2013
(doi)
(hal)
(pdf).
- Overlaping tile automata,
in 8th Int. Computer Science Symp. in Russia ({CSR}), #lncs# 7913, pp 431--443, 2013
(doi)
(hal)
(pdf).
- Algebras, automata and logic for languages of labeled birooted trees,
in #icalp#, #lncs# 7966, pp 318-329, 2013
(doi)
(hal)
(pdf).
- Mod\'elisation alg\'ebrique du diner des philosophes
(with
A. Dicky),
in Mod\'elisation des Syst\`emes R\'eactifs (MSR), in Journal Europ\'een des Syst\`emes Automatis\'es (JESA Volume 47 - no 1-2-3/2013), 2013
(doi)
(hal)
(pdf).
- Advanced synchronization of audio or symbolic musical patterns
(with
F. Berthaut and B. Martin),
in Sixth IEEE International Conference on Semantic Computing (ICSC), pp 202-209, 2012
(doi)
(hal)
(pdf).
- Quasi-recognizable vs {MSO} definable languages of one-dimensional overlapping tiles,
in #mfcs#, #lncs# 7464, pp 516-528, 2012
(doi)
(hal)
(pdf).
- A Lazy Real-Time System Architecture For Interactive Music,
in #jim#, pp 133-139, 2012 (hal)
(pdf).
Report
- On properties of causal functions over timed streams of timed values,
,
LaBRI - Universit\'e de Bordeaux,
2017.
- Spatio-temporal domains: an overview,
,
LaBRI - Universit\'e de Bordeaux,
2017
(url)
.
- Timed Denotational Semantics for Causal Functions Over Timed Streams
(with
B. Serpette),
,
LaBRI, Universit\'e de Bordeaux,
2016.
- From out-of-time design to in-time production of temporal media
(with
P. Hudak),
,
LaBRI,
Universit\'e de Bordeaux, 2015
(url)
.
- Free inverse monoids up to rewriting,
,
{LaBRI}, Universit\'e de Bordeaux,
2015
(url)
.
- Quasi-inverse monoids (and premorphisms),
,
LaBRI, Universit\'e de Bordeaux,
2012
(url)
.
|