Filter your results
- 50
- 6
- 1
- 37
- 11
- 3
- 2
- 1
- 1
- 1
- 1
- 57
- 15
- 1
- 1
- 2
- 3
- 14
- 26
- 10
- 1
- 1
- 45
- 12
- 57
- 57
- 57
- 6
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 21
- 14
- 13
- 10
- 7
- 5
- 5
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A logical approach to grammar descriptionJournal of Language Modelling, 2015, Special issue on High-level methodologies for grammar engineering, 3 (1), pp. 87-143 ⟨10.15398/jlm.v3i1.94⟩
Journal articles
hal-01251222v1
|
||
|
Inverse monoids of higher-dimensional strings12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), 2015, Cali, Colombia
Conference papers
hal-01165724v2
|
||
|
Loader and Urzyczyn Are Logically RelatedICALP, 2012, Warwick, France. pp.364-376
Conference papers
hal-00959623v1
|
||
|
Two-way automata and regular languages of overlapping tilesFundamenta Informaticae, 2015, 142, pp.1-33. ⟨10.3233/FI-2015-1280⟩
Journal articles
hal-00717572v3
|
||
|
OSSIA: Towards a unified interface for scoring time and interactionTENOR 2015 - First International Conference on Technologies for Music Notation and Representation, May 2015, Paris, France
Conference papers
hal-01245957v1
|
||
|
Foundations for Reliable and Flexible Interactive Multimedia ScoresFifth Biennial International Conference on Mathematics and Computation in Music, Jun 2015, London, United Kingdom. pp.29-41, ⟨10.1007/978-3-319-20603-5_3⟩
Conference papers
hal-01129394v1
|
||
|
MIX is a 2-MCFL and the word problem in $\mathbb{Z}^2$ is solved by a third-order collapsible pushdown automatonJournal of Computer and System Sciences, 2015, 81 (7), pp.1252 - 1277
Journal articles
inria-00564552v1
|
||
|
An Efficient Implementation of Tiled Polymorphic Temporal MediaICFP FARM, ACM SIGPAN, Sep 2015, Vancouver, Canada. ⟨10.1145/2808083.2808089⟩
Conference papers
hal-01214101v1
|
||
|
A syntactic congruence for languages of birooted treesSemigroup Forum, 2014, 91 (3), pp.675-698. ⟨10.1007/s00233-014-9677-x⟩
Journal articles
hal-00947972v1
|
||
|
Using Models to Model-check Recursive SchemesLogical Methods in Computer Science, 2015, Selected Papers of the Conference "Typed Lambda Calculi and Applications [TLCA] 2013, ⟨10.2168/LMCS-???⟩
Journal articles
hal-01251224v1
|
||
|
Vers une programmation réactive structuréeJournées d’Informatique Musicale (JIM), Mar 2016, Albi, France
Conference papers
hal-01326557v1
|
||
|
Embedding finite and infinite words into overlapping tilesDevelopments in Language Theory (DLT), Aug 2014, Ekaterinburg, Russia. pp.339-347, ⟨10.1007/978-3-319-09698-8_30⟩
Conference papers
hal-00910002v2
|
||
|
The IO and OI hierarchies revisitedInformation and Computation, 2015, 243, pp.205-221. ⟨10.1016/j.ic.2014.12.015⟩
Journal articles
hal-01251097v1
|
||
|
Le séquenceur interactif multimédia i-scoreJournées Développement Logiciel de l’Enseignement Supérieur et de la Recherche, Jun 2015, Bordeaux, France. , 2015
Poster communications
hal-01245350v1
|
||
|
Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems40th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2014, High Tatras, Slovakia. pp.7-20, ⟨10.1007/978-3-319-04298-5_2⟩
Conference papers
hal-00879463v1
|
||
|
A symbolic model for timed concurrent constraint programmingNinth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2014), Sep 2014, Brasilia, Brazil. pp.161-177, ⟨10.1016/j.entcs.2015.04.010⟩
Conference papers
hal-01257078v2
|
||
|
Programmer avec des tuiles musicales: le T-calcul en EuterpeaActes des Journées d'informatique Musicale (JIM), 2014, Saint-Denis, France. pp.1-10
Conference papers
hal-00978355v1
|
||
|
A model for divergence insensitive properties of lambdaY-terms2015
Preprints, Working Papers, ...
hal-01169352v1
|
||
|
Authoring and automatic verification of interactive multimedia scoresJournal of New Music Research, 2016, pp.1 - 19. ⟨10.1080/09298215.2016.1248444⟩
Journal articles
hal-01399925v1
|
||
|
A model for behavioural properties of higher-order programs24th EACSL Annual Conference on Computer Science Logic, CSL 2015, Sep 2015, Berlin, Germany. ⟨10.4230/LIPIcs.CSL.2015.229⟩
Conference papers
hal-01145494v1
|
||
|
Tiled Polymorphic Temporal Media2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design (FARM), Sep 2014, Gothenburg, Sweden. pp.49-60, ⟨10.1145/2633638.2633649⟩
Conference papers
hal-00955113v1
|
||
|
Walking automata in free inverse monoids42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2016, Harrachov, Czech Republic
Conference papers
hal-00738793v4
|
||
|
Des signaux aux symphonies : pour une modélisation homogène des objets sonoresJournées d'Informatique Musicale (JIM 2015), May 2015, Montréal, Canada
Conference papers
hal-01183097v1
|
||
Generating Orchestral Sequences with Timbral DescriptorsProceedings of Timbre 2018 : Timbre Is A Many Splendored Thing, 2018, Montréal, Canada
Conference papers
hal-02491166v1
|
|||
|
Interpolations : écriture de contraintes réactives pour improvisations pianistiques (démo)Journées d'Informatique Musicale (JIM), Mar 2016, Albi, France
Conference papers
hal-01326559v1
|
||
|
Rethinking the audio workstation: tree-based sequencing with i-score and the LibAudioStreamSound and Music Computing Conference, Aug 2016, Hamburg, Germany
Conference papers
hal-01360797v1
|
||
|
The Failure of the Strong Pumping Lemma for Multiple Context-Free LanguagesTheory of Computing Systems, 2014, 55 (1), pp.250-278. ⟨10.1007/s00224-014-9534-z⟩
Journal articles
hal-01251232v1
|
||
|
Pour un raffinement spatio-temporel tuiléJFLA 2016 : Vingt-septièmes Journées Francophones des Langages Applicatifs , Jan 2016, Saint-Malo, France
Conference papers
hal-01247424v1
|
||
|
Free inverse monoids up to rewriting[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015
Reports
hal-01182934v1
|
||
|
On labeled birooted tree languages: algebras, automata and logicInformation and Computation, 2015, 243, pp.222 - 248. ⟨10.1016/j.ic.2014.12.016⟩
Journal articles
hal-00982538v1
|
- 1
- 2