Search - Archive ouverte HAL Access content directly

Filter your results

57 Results
Structure: Internal structure identifier : 410271
Image document

A logical approach to grammar description

Lionel Clément , Jérôme Kirman , Sylvain Salvati
Journal 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
Image document

Inverse monoids of higher-dimensional strings

David Janin
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), 2015, Cali, Colombia
Conference papers hal-01165724v2
Image document

Loader and Urzyczyn Are Logically Related

Sylvain Salvati , Giulio Manzonetto , Mai Gehrke , Henk Barendregt
ICALP, 2012, Warwick, France. pp.364-376
Conference papers hal-00959623v1
Image document

Two-way automata and regular languages of overlapping tiles

Anne Dicky , David Janin
Fundamenta Informaticae, 2015, 142, pp.1-33. ⟨10.3233/FI-2015-1280⟩
Journal articles hal-00717572v3
Image document

OSSIA: Towards a unified interface for scoring time and interaction

Jean-Michaël Celerier , Pascal Baltazar , Clément Bossut , Nicolas Vuaille , Jean-Michel Couturier et al.
TENOR 2015 - First International Conference on Technologies for Music Notation and Representation, May 2015, Paris, France
Conference papers hal-01245957v1
Image document

Foundations for Reliable and Flexible Interactive Multimedia Scores

Jaime Arias , Myriam Desainte-Catherine , Carlos Olarte , Camilo Rueda
Fifth 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
Image document

MIX is a 2-MCFL and the word problem in $\mathbb{Z}^2$ is solved by a third-order collapsible pushdown automaton

Sylvain Salvati
Journal of Computer and System Sciences, 2015, 81 (7), pp.1252 - 1277
Journal articles inria-00564552v1
Image document

An Efficient Implementation of Tiled Polymorphic Temporal Media

Simon Archipoff
ICFP FARM, ACM SIGPAN, Sep 2015, Vancouver, Canada. ⟨10.1145/2808083.2808089⟩
Conference papers hal-01214101v1
Image document

A syntactic congruence for languages of birooted trees

Achim Blumensath , David Janin
Semigroup Forum, 2014, 91 (3), pp.675-698. ⟨10.1007/s00233-014-9677-x⟩
Journal articles hal-00947972v1
Image document

Using Models to Model-check Recursive Schemes

Sylvain Salvati , Igor Walukiewicz
Logical Methods in Computer Science, 2015, Selected Papers of the Conference "Typed Lambda Calculi and Applications [TLCA] 2013, ⟨10.2168/LMCS-???⟩
Journal articles hal-01251224v1
Image document

Vers une programmation réactive structurée

Simon Archipoff , David Janin
Journées d’Informatique Musicale (JIM), Mar 2016, Albi, France
Conference papers hal-01326557v1
Image document

Embedding finite and infinite words into overlapping tiles

Anne Dicky , David Janin
Developments in Language Theory (DLT), Aug 2014, Ekaterinburg, Russia. pp.339-347, ⟨10.1007/978-3-319-09698-8_30⟩
Conference papers hal-00910002v2
Image document

The IO and OI hierarchies revisited

Gregory M. Kobele , Sylvain Salvati
Information and Computation, 2015, 243, pp.205-221. ⟨10.1016/j.ic.2014.12.015⟩
Journal articles hal-01251097v1
Image document

Le séquenceur interactif multimédia i-score

Jaime Arias , Jean-Michaël Celerier
Journées Développement Logiciel de l’Enseignement Supérieur et de la Recherche, Jun 2015, Bordeaux, France. , 2015
Poster communications hal-01245350v1
Image document

Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems

David Janin
40th 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
Image document

A symbolic model for timed concurrent constraint programming

Jaime Arias , Michell Guzmán , Carlos Olarte
Ninth 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
Image document

Programmer avec des tuiles musicales: le T-calcul en Euterpea

Paul Hudak , David Janin
Actes des Journées d'informatique Musicale (JIM), 2014, Saint-Denis, France. pp.1-10
Conference papers hal-00978355v1
Image document

A model for divergence insensitive properties of lambdaY-terms

Sylvain Salvati , Igor Walukiewicz
2015
Preprints, Working Papers, ... hal-01169352v1
Image document

Authoring and automatic verification of interactive multimedia scores

Jaime Arias , Jean-Michaël Celerier , Myriam Desainte-Catherine
Journal of New Music Research, 2016, pp.1 - 19. ⟨10.1080/09298215.2016.1248444⟩
Journal articles hal-01399925v1
Image document

A model for behavioural properties of higher-order programs

Sylvain Salvati , Igor Walukiewicz
24th EACSL Annual Conference on Computer Science Logic, CSL 2015, Sep 2015, Berlin, Germany. ⟨10.4230/LIPIcs.CSL.2015.229⟩
Conference papers hal-01145494v1
Image document

Tiled Polymorphic Temporal Media

Paul Hudak , David Janin
2nd 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
Image document

Walking automata in free inverse monoids

David Janin
42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2016, Harrachov, Czech Republic
Conference papers hal-00738793v4
Image document

Des signaux aux symphonies : pour une modélisation homogène des objets sonores

David Janin , Myriam Desainte-Catherine
Journées d'Informatique Musicale (JIM 2015), May 2015, Montréal, Canada
Conference papers hal-01183097v1

Generating Orchestral Sequences with Timbral Descriptors

Aurélien Antoine , Eduardo Miranda , Jean-Michaël Celerier , Myriam Desainte-Catherine
Proceedings of Timbre 2018 : Timbre Is A Many Splendored Thing, 2018, Montréal, Canada
Conference papers hal-02491166v1
Image document

Interpolations : écriture de contraintes réactives pour improvisations pianistiques (démo)

Simon Archipoff , Jaime Arias , Edwin Buger , David Janin
Journées d'Informatique Musicale (JIM), Mar 2016, Albi, France
Conference papers hal-01326559v1
Image document

Rethinking the audio workstation: tree-based sequencing with i-score and the LibAudioStream

Jean-Michaël Celerier , Myriam Desainte-Catherine , Jean-Michel Couturier
Sound and Music Computing Conference, Aug 2016, Hamburg, Germany
Conference papers hal-01360797v1
Image document

The Failure of the Strong Pumping Lemma for Multiple Context-Free Languages

Makoto Kanazawa , Gregory M. Kobele , Jens Michaelis , Sylvain Salvati , Ryo Yoshinaka et al.
Theory of Computing Systems, 2014, 55 (1), pp.250-278. ⟨10.1007/s00224-014-9534-z⟩
Journal articles hal-01251232v1
Image document

Pour un raffinement spatio-temporel tuilé

Simon Archipoff , David Janin
JFLA 2016 : Vingt-septièmes Journées Francophones des Langages Applicatifs , Jan 2016, Saint-Malo, France
Conference papers hal-01247424v1
Image document

Free inverse monoids up to rewriting

David Janin
[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015
Reports hal-01182934v1
Image document

On labeled birooted tree languages: algebras, automata and logic

David Janin
Information and Computation, 2015, 243, pp.222 - 248. ⟨10.1016/j.ic.2014.12.016⟩
Journal articles hal-00982538v1