David Janin - RankMe

44 papers A* 2A 1B 11C 6Misc 1Journal 8Unranked 12

Year	Rank	Type	Title / Venue / Authors
2020	C	`conf`	A Timed IO Monad. PADL David Janin
2020	—	`conf`	An Equational Modeling of Asynchronous Concurrent Programming. TFP David Janin
2019	—	`conf`	Screaming in the IO monad: a realtime audio processing and control experiment in Haskell. FARM@ICFP David Janin
2018	C	`conf`	Spatio-Temporal Domains: An Overview. ICTAC David Janin
2017	—	`conf`	Unified media programming: an algebraic approach. FARM@ICFP Simon Archipoff, David Janin
2016	—	`conf`	FARM 2016 demo summary. FARM@ICFP Michael Sperber, David Janin
2016	—	`ed.`	Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design, FARM@ICFP 2016, Nara, Japan, September 24, 2016 FARM@ICFP David Janin, Michael Sperber
2016	—	`conf`	Structured reactive programming with polymorphic temporal tiles. FARM@ICFP Simon Archipoff, David Janin
2016	B	`conf`	Walking Automata in Free Inverse Monoids. SOFSEM David Janin
2015	C	`conf`	Inverse Monoids of Higher-Dimensional Strings. ICTAC David Janin
2015	J	`jnl`	On labeled birooted tree languages: Algebras, automata and logic. Inf. Comput. David Janin
2015	—	`ed.`	Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design, FARM@ICFP 2015, Vancouver, BC, Canada, September 5, 2015 FARM@ICFP Henrik Nilsson, David Janin
2015	J	`jnl`	Two-way Automata and Regular Languages of Overlapping Tiles. Fundam. Informaticae Anne Dicky, David Janin
2014	C	`conf`	Algebraic Tools for the Overlapping Tile Product. LATA Etienne Dubourg, David Janin
2014	C	`conf`	Embedding Finite and Infinite Words into Overlapping Tiles - (Short Paper). Developments in Language Theory Anne Dicky, David Janin
2014	—	`conf`	Tiled polymorphic temporal media. FARM@ICFP Paul Hudak, David Janin
2014	B	`conf`	Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems. SOFSEM David Janin
2013	—	`conf`	Algebras, Automata and Logic for Languages of Labeled Birooted Trees. ICALP (2) David Janin
2013	B	`conf`	On Languages of One-Dimensional Overlapping Tiles. SOFSEM David Janin
2013	Misc	`conf`	Overlapping Tile Automata. CSR David Janin
2013	—	`conf`	The T-calculus: towards a structured programing of (musical) time and space. FARM@ICFP David Janin, Florent Berthaut, Myriam Desainte-Catherine, Yann Orlarey, Sylvain Salvati
2013	J	`jnl`	Une étude des jeux distribués. Tech. Sci. Informatiques Julien Bernet, David Janin
2012	—	`conf`	Advanced Synchronization of Audio or Symbolic Musical Patterns: An Algebraic Approach. ICSC Florent Berthaut, David Janin, Benjamin Martin
2012	J	`jnl`	Advanced Synchronization of Audio or Symbolic Musical Patterns: an Algebraic Approach. Int. J. Semantic Comput. Florent Berthaut, David Janin, Benjamin Martin
2012	B	`conf`	Quasi-recognizable vs MSO Definable Languages of One-Dimensional Overlapping Tiles - (Extended Abstract). MFCS David Janin
2008	B	`conf`	From Asynchronous to Synchronous Specifications for Distributed Program Synthesis. SOFSEM Julien Bernet, David Janin
2007	—	`conf`	On the (High) Undecidability of Distributed Synthesis Problems. SOFSEM (1) David Janin
2007	J	`jnl`	The monadic theory of finite representations of infinite words. Inf. Process. Lett. Anuj Dawar, David Janin
2006	B	`conf`	Automata on Directed Graphs: Edge Versus Vertex Marking. ICGT Dietmar Berwanger, David Janin
2006	C	`conf`	On Distributed Program Specification and Synthesis in Architectures with Cycles. FORTE Julien Bernet, David Janin
2005	—	`book`	A contribution to formal methods : games, logic and automata. (Contribution aux fondements des méthodes formelles : jeux, logique et automates). David Janin
2005	B	`conf`	Tree Automata and Discrete Distributed Games. FCT Julien Bernet, David Janin
2004	—	`conf`	On the Bisimulation Invariant Fragment of Monadic S1 in the Finite. FSTTCS Anuj Dawar, David Janin
2004	J	`jnl`	On the Rlationship Between Monadic and Weak Monadic Second Order Logic on Arbitrary Trees, with Applications to the mu-Calculus. Fundam. Informaticae David Janin, Giacomo Lenzi
2004	B	`conf`	Workshop on Logic, Graph Transformations, Finite and Infinite Structures. ICGT Bruno Courcelle, David Janin
2002	J	`jnl`	On the Logical Definability of Topologically Closed Recognizable Languages of Infinite Trees. Comput. Artif. Intell. David Janin, Giacomo Lenzi
2002	J	`jnl`	Permissive strategies: from parity games to safety games. RAIRO Theor. Informatics Appl. Julien Bernet, David Janin, Igor Walukiewicz
2001	A	`conf`	A Toolkit for First Order Extensions of Monadic Games. STACS David Janin, Jerzy Marcinkowski
2001	A*	`conf`	Relating Levels of the Mu-Calculus Hierarchy and Levels of the Monadic Hierarchy. LICS David Janin, Giacomo Lenzi
1999	B	`conf`	On the Structure of the Monadic Logic of the Binary Tree. MFCS David Janin, Giacomo Lenzi
1997	A*	`conf`	Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi in Arbitrary Complete Lattices. LICS David Janin
1996	B	`conf`	On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic. CONCUR David Janin, Igor Walukiewicz
1995	B	`conf`	Automata for the Modal mu-Calculus and related Results. MFCS David Janin, Igor Walukiewicz
1993	—	`conf`	Some Results About Logical Descriptions of Non-Deterministic Behaviours. FSTTCS David Janin