David Janin
57
Documents
Présentation
Modélisation algébrique uniforme de flux de données spatio-temporelles (musique, son, dessin, animation, contrôle, etc...) pour application, notamment, à la programmation de systèmes multimodaux.
*Uniform algebraic modeling of heterogeneous spacetimed data flow (audio, music, drawing, animation, control, etc...) and application to multimodal system programming.*
Publications
- 6
- 5
- 4
- 3
- 2
- 2
- 2
- 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
- 3
- 1
- 1
- 2
- 7
- 8
- 6
- 8
- 7
- 1
- 2
- 2
- 2
- 1
- 3
- 1
- 1
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 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
- 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
|
Two-way automata and regular languages of overlapping tilesFundamenta Informaticae, 2015, 142, pp.1-33. ⟨10.3233/FI-2015-1280⟩
Article dans une revue
hal-00717572v3
|
|
On labeled birooted tree languages: algebras, automata and logicInformation and Computation, 2015, 243, pp.222 - 248. ⟨10.1016/j.ic.2014.12.016⟩
Article dans une revue
hal-00982538v1
|
|
A syntactic congruence for languages of birooted treesSemigroup Forum, 2014, 91 (3), pp.675-698. ⟨10.1007/s00233-014-9677-x⟩
Article dans une revue
hal-00947972v1
|
|
Une étude des jeux distribuésRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, 32 (9-10), pp.1007-1041
Article dans une revue
hal-00658601v2
|
|
Vers une modélisation combinatoire des structures rythmiques simples de la musiqueRevue Francophone d'Informatique et Musique, 2012, 2, http://revues.mshparisnord.org/rfim/index.php?id=222
Article dans une revue
hal-00608295v3
|
|
Advanced Synchronization of Audio or Symbolic Musical Patterns: An Algebraic ApproachInternational Journal of Semantic Computing, 2012, 6 (4), pp.409-427. ⟨10.1142/S1793351X12400132⟩
Article dans une revue
hal-00794196v1
|
|
The monadic theory of finite representations of infinite wordsInformation Processing Letters, 2007, 103, pp.94-101
Article dans une revue
hal-00306381v1
|
|
On the relationship between monadic and weak monadic second order logic on arbitrary trees, with applications to the mu-calculusFundamenta Informaticae, 2004, 61 (3-4), pp.247--265
Article dans une revue
hal-00659987v1
|
|
On the logical definability of topologically closed recognizable languages of infinite treesComputing and Informatics, 2002, 21, pp.185--203
Article dans une revue
hal-00659986v1
|
|
Permissive strategies : from parity games to safety gamesRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2002, 36, pp.251--275
Article dans une revue
hal-00306411v1
|
|
Permissive strategies: from parity games to safety gamesRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2002, 36, pp.261-275
Article dans une revue
hal-00659985v1
|
|
Des promesses, des actions, par flots, en OCamlJFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
Communication dans un congrès
hal-02389651v1
|
|
An equational modeling of asynchronous concurrent programming21st International Symposium on Trends in Functional Programming, Aleksander Byrski and John Hugues, Feb 2020, Krakow, Poland
Communication dans un congrès
hal-02865894v1
|
|
A Timed IO monadPractical Aspects of Declarative Languages (PADL), Jan 2020, New Orleans, United States. ⟨10.1007/978-3-030-39197-3_9⟩
Communication dans un congrès
hal-02389321v1
|
|
Screaming in the IO Monad A Realtime Audio Processing and Control Experiment in Haskell7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design (FARM), Aug 2019, Berlin, Germany. ⟨10.1145/3331543.3342585⟩
Communication dans un congrès
hal-02368138v1
|
|
Causalité dans les calculs d'événementsJFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs , Jan 2017, Gourette, France
Communication dans un congrès
hal-01403369v1
|
|
Unified Media Programming: An Algebraic Approach5th ACM SIGPLAN International Work- shop on Functional Art, Music, Modeling and Design (FARM), Sep 2017, Oxford, United Kingdom. ⟨10.1145/3122938.3122943⟩
Communication dans un congrès
hal-01571133v2
|
|
A robust algebraic framework for high-level music writing and programmingTechnologies for Music Notation and Representation (TENOR), May 2016, Cambridge, United Kingdom
Communication dans un congrès
hal-01246584v2
|
|
Interpolations : écriture de contraintes réactives pour improvisations pianistiques (démo)Journées d'Informatique Musicale (JIM), Mar 2016, Albi, France
Communication dans un congrès
hal-01326559v1
|
|
Walking automata in free inverse monoids42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2016, Harrachov, Czech Republic
Communication dans un congrès
hal-00738793v4
|
|
Pour un raffinement spatio-temporel tuiléJFLA 2016 : Vingt-septièmes Journées Francophones des Langages Applicatifs , Jan 2016, Saint-Malo, France
Communication dans un congrès
hal-01247424v1
|
|
Structured reactive programming with polymorphic temporal tilesACM International Workshop on Functional Art, Music, Modelling, and Design (FARM), 2016, Nara, Japan. ⟨10.1145/2975980.2975984⟩
Communication dans un congrès
hal-01350525v1
|
|
Vers une programmation réactive structuréeJournées d’Informatique Musicale (JIM), Mar 2016, Albi, France
Communication dans un congrès
hal-01326557v1
|
|
Des signaux aux symphonies : pour une modélisation homogène des objets sonoresJournées d'Informatique Musicale (JIM 2015), May 2015, Montréal, Canada
Communication dans un congrès
hal-01183097v1
|
|
Inverse monoids of higher-dimensional strings12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), 2015, Cali, Colombia
Communication dans un congrès
hal-01165724v2
|
|
Flux média tuilés polymorphes: une sémantique opérationnelle en HaskellJournées Francophones des Langages Applicatifs (JFLA), Jan 2015, Val d'Ajol, France
Communication dans un congrès
hal-01091736v1
|
|
Flux média tuilés polymorphes: une sémantique opérationnelle en HaskellVingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Communication dans un congrès
hal-01099131v1
|
|
Algebraic tools for the overlapping tile product8th International Conference on Language and Automata Theory and Applications (LATA), Mar 2014, Madrid, Spain. pp.335-346
Communication dans un congrès
hal-00879465v1
|
|
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⟩
Communication dans un congrès
hal-00955113v1
|
|
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⟩
Communication dans un congrès
hal-00879463v1
|
|
Programmer avec des tuiles musicales: le T-calcul en EuterpeaActes des Journées d'informatique Musicale (JIM), 2014, Saint-Denis, France. pp.1-10
Communication dans un congrès
hal-00978355v1
|
|
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⟩
Communication dans un congrès
hal-00910002v2
|
|
The T-Calculus : towards a structured programing of (musical) time and spaceFARM 2013, 2013, Boston, United States. pp.23-34, ⟨10.1145/2505341.2505347⟩
Communication dans un congrès
hal-00789189v3
|
|
Modélisation algébrique du dîner des philosophesModélisation des systèmes réactifs, 2013, France. pp.29--43, ⟨10.3166/JESA.47⟩
Communication dans un congrès
hal-00856678v1
|
|
Overlapping tile automataThe 8th International Computer Science Symposium in Russia (CSR), Jun 2013, Ekaterinburg, Russia. pp.431--443, ⟨10.1007/978-3-642-38536-0_37⟩
Communication dans un congrès
hal-00766261v2
|
|
On languages of one-dimensional overlapping tilesSOFSEM, Jan 2013, Špindlerův Mlýn, Czech Republic. pp.244-256, ⟨10.1007/978-3-642-35843-2_22⟩
Communication dans un congrès
hal-00659202v4
|
|
Multi-scale design of interactive music systems : the libTuiles experimentSMC 2013, 2013, Stockholm, Sweden. pp.123-129
Communication dans un congrès
hal-00813313v1
|
|
Algebras, automata and logic for languages of labeled birooted treesICALP, 2013, Riga, Latvia. pp.318-329, ⟨10.1007/978-3-642-39212-2_29⟩
Communication dans un congrès
hal-00784898v2
|
|
libTuile : un moteur d'exécution multi-échelle de processus musicaux hiérarchisésJournées d'Informatique Musicale, May 2013, Saint-Denis, France. pp.45-50
Communication dans un congrès
hal-00790792v1
|
|
A Lazy Real-Time System Architecture For Interactive MusicJIM 2012, May 2012, Mons, Belgium. pp.133-139
Communication dans un congrès
hal-00676202v2
|
|
A LAZY REAL-TIME SYSTEM ARCHITECTURE FOR INTERACTIVE MUSICJournées d'Informatique Musicale, 2012, Mons, France
Communication dans un congrès
hal-03041785v1
|
|
Quasi-recognizable vs MSO definable languages of one-dimensional overlapping tilesMFCS, Aug 2012, Bratislava, Slovakia. pp.516-528, ⟨10.1007/978-3-642-32589-2_46⟩
Communication dans un congrès
hal-00671917v3
|
|
Advanced Synchronization of Audio or Symbolic Musical Patterns: An Algebraic ApproachICSC, Sep 2012, Palermo, Italy. pp.202-209, ⟨10.1109/ICSC.2012.11⟩
Communication dans un congrès
hal-00698963v2
|
|
From asynchronous to synchronous specification for distributed program synthesisSOFSEM, Jan 2008, Slovakia. pp.161-173
Communication dans un congrès
hal-00339740v1
|
|
On the (high) undecidability of distributed synthesis problemsSOFSEM, Jan 2007, Czech Republic. pp.320--329
Communication dans un congrès
hal-00306387v1
|
|
Automata on Directed Graphs : Edge versus Vertex MarkingICGT, Sep 2006, Brazil. pp.46--60
Communication dans un congrès
hal-00306378v1
|
|
On Distributed Program Specification and Synthesis in Architecture with CyclesInternationnal Conference on Formal Methods for Networked and Distributed Systems (FORTE), Sep 2006, France. pp.175-190
Communication dans un congrès
hal-00306412v1
|
|
Tree automata and discrete distributed gamesFundamentals of Computation Theory (FCT), Aug 2005, Hungary. pp.540--551
Communication dans un congrès
hal-00306410v1
|
|
Relating levels of the mu-calculus hierarchy and levels of the monadic hierachyLICS, 2001, Boston, United States. pp.347--356
Communication dans un congrès
hal-00659988v1
|
|
On the structure of the monadic logic of the binary treeMFCS, 1999, Szklarska Poreba, Poland. pp.310-320
Communication dans un congrès
hal-00676277v1
|
|
Spatio-temporal domains: an overview2018
Pré-publication, Document de travail
hal-01634897v2
|
Timed Denotational Semantics for Causal Functions over Timed Streams[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016
Rapport
hal-01402209v1
|
|
|
Free inverse monoids up to rewriting[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015
Rapport
hal-01182934v1
|
|
From out-of-time design to in-time production of temporal media[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015
Rapport
hal-01182995v1
|
|
On quasi-inverse monoids (and premorphisms)2012
Rapport
hal-00673123v3
|
|
A contribution to formal methods : games, logic and automataComputer Science [cs]. Université Sciences et Technologies - Bordeaux I, 2005
HDR
tel-00659990v2
|