Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David Janin
@inproceedings{DBLP:conf/padl/Janin20,
author = {David Janin},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {A Timed {IO} Monad},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {131--147},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_9},
doi = {10.1007/978-3-030-39197-3\_9},
timestamp = {Tue, 21 Jan 2020 16:23:04 +0100},
biburl = {https://dblp.org/rec/conf/padl/Janin20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Janin20,
author = {David Janin},
editor = {Aleksander Byrski and
John Hughes},
title = {An Equational Modeling of Asynchronous Concurrent Programming},
booktitle = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12222},
pages = {180--203},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57761-2\_9},
doi = {10.1007/978-3-030-57761-2\_9},
timestamp = {Wed, 02 Mar 2022 21:39:36 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Janin20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Janin19,
author = {David Janin},
editor = {Donya Quick and
Daniel Winograd{-}Cort},
title = {Screaming in the {IO} monad: a realtime audio processing and control
experiment in Haskell},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} International Workshop on Functional
Art, Music, Modeling, and Design, FARM@ICFP 2019, Berlin, Germany,
August 18-23, 2019},
pages = {71--82},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3331543.3342585},
doi = {10.1145/3331543.3342585},
timestamp = {Mon, 23 Aug 2021 15:15:07 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Janin19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Janin18,
author = {David Janin},
editor = {Bernd Fischer and
Tarmo Uustalu},
title = {Spatio-Temporal Domains: An Overview},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2018 - 15th International
Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11187},
pages = {231--251},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02508-3\_13},
doi = {10.1007/978-3-030-02508-3\_13},
timestamp = {Mon, 16 Sep 2019 15:27:43 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Janin18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ArchipoffJ17,
author = {Simon Archipoff and
David Janin},
editor = {Michael Sperber and
Jean Bresson},
title = {Unified media programming: an algebraic approach},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on Functional
Art, Music, Modeling, and Design, FARM@ICFP 2018, Oxford, UK, September
9, 2017},
pages = {36--47},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3122938.3122943},
doi = {10.1145/3122938.3122943},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ArchipoffJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ArchipoffJ16,
author = {Simon Archipoff and
David Janin},
editor = {David Janin and
Michael Sperber},
title = {Structured reactive programming with polymorphic temporal tiles},
booktitle = {Proceedings of the 4th International Workshop on Functional Art, Music,
Modelling, and Design, FARM@ICFP 2016, Nara, Japan, September 24,
2016},
pages = {29--40},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2975980.2975984},
doi = {10.1145/2975980.2975984},
timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
biburl = {https://dblp.org/rec/conf/icfp/ArchipoffJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SperberJ16,
author = {Michael Sperber and
David Janin},
editor = {David Janin and
Michael Sperber},
title = {{FARM} 2016 demo summary},
booktitle = {Proceedings of the 4th International Workshop on Functional Art, Music,
Modelling, and Design, FARM@ICFP 2016, Nara, Japan, September 24,
2016},
pages = {60},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2975980.2975988},
doi = {10.1145/2975980.2975988},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/SperberJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Janin16,
author = {David Janin},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Walking Automata in Free Inverse Monoids},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {314--328},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_26},
doi = {10.1007/978-3-662-49192-8\_26},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Janin16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2016farm,
editor = {David Janin and
Michael Sperber},
title = {Proceedings of the 4th International Workshop on Functional Art, Music,
Modelling, and Design, FARM@ICFP 2016, Nara, Japan, September 24,
2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2975980},
doi = {10.1145/2975980},
isbn = {978-1-4503-4432-6},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2016farm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DickyJ15,
author = {Anne Dicky and
David Janin},
title = {Two-way Automata and Regular Languages of Overlapping Tiles},
journal = {Fundam. Informaticae},
volume = {141},
number = {4},
pages = {311--343},
year = {2015},
url = {https://doi.org/10.3233/FI-2015-1278},
doi = {10.3233/FI-2015-1278},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DickyJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Janin15,
author = {David Janin},
title = {On labeled birooted tree languages: Algebras, automata and logic},
journal = {Inf. Comput.},
volume = {243},
pages = {222--248},
year = {2015},
url = {https://doi.org/10.1016/j.ic.2014.12.016},
doi = {10.1016/J.IC.2014.12.016},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Janin15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Janin15,
author = {David Janin},
editor = {Martin Leucker and
Camilo Rueda and
Frank D. Valencia},
title = {Inverse Monoids of Higher-Dimensional Strings},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9399},
pages = {126--143},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25150-9\_9},
doi = {10.1007/978-3-319-25150-9\_9},
timestamp = {Sat, 19 Oct 2019 20:17:56 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Janin15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2015farm,
editor = {Henrik Nilsson and
David Janin},
title = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on Functional
Art, Music, Modelling and Design, FARM@ICFP 2015, Vancouver, BC, Canada,
September 5, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2808083},
doi = {10.1145/2808083},
isbn = {978-1-4503-3806-6},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2015farm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/DickyJ14,
author = {Anne Dicky and
David Janin},
editor = {Arseny M. Shur and
Mikhail V. Volkov},
title = {Embedding Finite and Infinite Words into Overlapping Tiles - (Short
Paper)},
booktitle = {Developments in Language Theory - 18th International Conference, {DLT}
2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8633},
pages = {339--347},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09698-8\_30},
doi = {10.1007/978-3-319-09698-8\_30},
timestamp = {Thu, 09 Nov 2023 20:20:35 +0100},
biburl = {https://dblp.org/rec/conf/dlt/DickyJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HudakJ14,
author = {Paul Hudak and
David Janin},
editor = {Alex McLean and
Michael Sperber and
Henrik Nilsson},
title = {Tiled polymorphic temporal media},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} international workshop on Functional
art, music, modeling {\&} design, FARM@ICFP 2014, Gothenburg,
Sweden, September 1-3, 2014},
pages = {49--60},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633638.2633649},
doi = {10.1145/2633638.2633649},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/HudakJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/DubourgJ14,
author = {Etienne Dubourg and
David Janin},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Jos{\'{e}} Luis Sierra{-}Rodr{\'{\i}}guez and
Bianca Truthe},
title = {Algebraic Tools for the Overlapping Tile Product},
booktitle = {Language and Automata Theory and Applications - 8th International
Conference, {LATA} 2014, Madrid, Spain, March 10-14, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8370},
pages = {335--346},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04921-2\_27},
doi = {10.1007/978-3-319-04921-2\_27},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/DubourgJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Janin14,
author = {David Janin},
editor = {Viliam Geffert and
Bart Preneel and
Branislav Rovan and
Julius Stuller and
A Min Tjoa},
title = {Towards a Higher-Dimensional String Theory for the Modeling of Computerized
Systems},
booktitle = {{SOFSEM} 2014: Theory and Practice of Computer Science - 40th International
Conference on Current Trends in Theory and Practice of Computer Science,
Nov{\'{y}} Smokovec, Slovakia, January 26-29, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8327},
pages = {7--20},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04298-5\_2},
doi = {10.1007/978-3-319-04298-5\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Janin14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/BernetJ13,
author = {Julien Bernet and
David Janin},
title = {Une {\'{e}}tude des jeux distribu{\'{e}}s},
journal = {Tech. Sci. Informatiques},
volume = {32},
number = {9-10},
pages = {1007--1041},
year = {2013},
url = {https://doi.org/10.3166/tsi.32.1007-1041},
doi = {10.3166/TSI.32.1007-1041},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/BernetJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Janin13,
author = {David Janin},
editor = {Andrei A. Bulatov and
Arseny M. Shur},
title = {Overlapping Tile Automata},
booktitle = {Computer Science - Theory and Applications - 8th International Computer
Science Symposium in Russia, {CSR} 2013, Ekaterinburg, Russia, June
25-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7913},
pages = {431--443},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38536-0\_37},
doi = {10.1007/978-3-642-38536-0\_37},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/csr/Janin13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Janin13,
author = {David Janin},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
title = {Algebras, Automata and Logic for Languages of Labeled Birooted Trees},
booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
{ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7966},
pages = {312--323},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39212-2\_29},
doi = {10.1007/978-3-642-39212-2\_29},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Janin13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/JaninBDOS13,
author = {David Janin and
Florent Berthaut and
Myriam Desainte{-}Catherine and
Yann Orlarey and
Sylvain Salvati},
editor = {Paul Hudak and
Conal Elliott},
title = {The T-calculus: towards a structured programing of (musical) time
and space},
booktitle = {Proceedings of the first {ACM} {SIGPLAN} workshop on Functional art,
music, modeling {\&} design, FARM@ICFP 2013, Boston, MA, USA,
September 25-27, 2013},
pages = {23--34},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505341.2505347},
doi = {10.1145/2505341.2505347},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/JaninBDOS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Janin13,
author = {David Janin},
editor = {Peter van Emde Boas and
Frans C. A. Groen and
Giuseppe F. Italiano and
Jerzy R. Nawrocki and
Harald Sack},
title = {On Languages of One-Dimensional Overlapping Tiles},
booktitle = {{SOFSEM} 2013: Theory and Practice of Computer Science, 39th International
Conference on Current Trends in Theory and Practice of Computer Science,
{\v{S}}pindler{\r{u}}v Ml{\'{y}}n, Czech Republic, January 26-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7741},
pages = {244--256},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35843-2\_22},
doi = {10.1007/978-3-642-35843-2\_22},
timestamp = {Mon, 28 Aug 2023 21:17:48 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Janin13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsc/BerthautJM12,
author = {Florent Berthaut and
David Janin and
Benjamin Martin},
title = {Advanced Synchronization of Audio or Symbolic Musical Patterns: an
Algebraic Approach},
journal = {Int. J. Semantic Comput.},
volume = {6},
number = {4},
pages = {409--428},
year = {2012},
url = {https://doi.org/10.1142/S1793351X12400132},
doi = {10.1142/S1793351X12400132},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijsc/BerthautJM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Janin12,
author = {David Janin},
editor = {Branislav Rovan and
Vladimiro Sassone and
Peter Widmayer},
title = {Quasi-recognizable vs {MSO} Definable Languages of One-Dimensional
Overlapping Tiles - (Extended Abstract)},
booktitle = {Mathematical Foundations of Computer Science 2012 - 37th International
Symposium, {MFCS} 2012, Bratislava, Slovakia, August 27-31, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7464},
pages = {516--528},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32589-2\_46},
doi = {10.1007/978-3-642-32589-2\_46},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Janin12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semco/BerthautJM12,
author = {Florent Berthaut and
David Janin and
Benjamin Martin},
title = {Advanced Synchronization of Audio or Symbolic Musical Patterns: An
Algebraic Approach},
booktitle = {Sixth {IEEE} International Conference on Semantic Computing, {ICSC}
2012, Palermo, Italy, September 19-21, 2012},
pages = {302--309},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSC.2012.11},
doi = {10.1109/ICSC.2012.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semco/BerthautJM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BernetJ08,
author = {Julien Bernet and
David Janin},
editor = {Viliam Geffert and
Juhani Karhum{\"{a}}ki and
Alberto Bertoni and
Bart Preneel and
Pavol N{\'{a}}vrat and
M{\'{a}}ria Bielikov{\'{a}}},
title = {From Asynchronous to Synchronous Specifications for Distributed Program
Synthesis},
booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
Smokovec, Slovakia, January 19-25, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4910},
pages = {162--173},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77566-9\_14},
doi = {10.1007/978-3-540-77566-9\_14},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BernetJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DawarJ07,
author = {Anuj Dawar and
David Janin},
title = {The monadic theory of finite representations of infinite words},
journal = {Inf. Process. Lett.},
volume = {103},
number = {3},
pages = {94--101},
year = {2007},
url = {https://doi.org/10.1016/j.ipl.2007.02.014},
doi = {10.1016/J.IPL.2007.02.014},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/DawarJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Janin07,
author = {David Janin},
editor = {Jan van Leeuwen and
Giuseppe F. Italiano and
Wiebe van der Hoek and
Christoph Meinel and
Harald Sack and
Frantisek Pl{\'{a}}sil},
title = {On the (High) Undecidability of Distributed Synthesis Problems},
booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference
on Current Trends in Theory and Practice of Computer Science, Harrachov,
Czech Republic, January 20-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4362},
pages = {320--329},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69507-3\_26},
doi = {10.1007/978-3-540-69507-3\_26},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Janin07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BernetJ06,
author = {Julien Bernet and
David Janin},
editor = {Elie Najm and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
V{\'{e}}ronique Donzeau{-}Gouge},
title = {On Distributed Program Specification and Synthesis in Architectures
with Cycles},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France,
September 26-29, 2006},
series = {Lecture Notes in Computer Science},
volume = {4229},
pages = {175--190},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11888116\_14},
doi = {10.1007/11888116\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/BernetJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BerwangerJ06,
author = {Dietmar Berwanger and
David Janin},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {Automata on Directed Graphs: Edge Versus Vertex Marking},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {46--60},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_5},
doi = {10.1007/11841883\_5},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/BerwangerJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Janin05,
author = {David Janin},
title = {A contribution to formal methods : games, logic and automata. (Contribution
aux fondements des m{\'{e}}thodes formelles : jeux, logique et
automates)},
year = {2005},
url = {https://tel.archives-ouvertes.fr/tel-00659990},
timestamp = {Thu, 28 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Janin05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BernetJ05,
author = {Julien Bernet and
David Janin},
editor = {Maciej Liskiewicz and
R{\"{u}}diger Reischuk},
title = {Tree Automata and Discrete Distributed Games},
booktitle = {Fundamentals of Computation Theory, 15th International Symposium,
{FCT} 2005, L{\"{u}}beck, Germany, August 17-20, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3623},
pages = {540--551},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11537311\_47},
doi = {10.1007/11537311\_47},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/BernetJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JaninL04,
author = {David Janin and
Giacomo Lenzi},
title = {On the Rlationship Between Monadic and Weak Monadic Second Order Logic
on Arbitrary Trees, with Applications to the mu-Calculus},
journal = {Fundam. Informaticae},
volume = {61},
number = {3-4},
pages = {247--265},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi61-3-4-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JaninL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DawarJ04,
author = {Anuj Dawar and
David Janin},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {On the Bisimulation Invariant Fragment of Monadic {S1} in the Finite},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {224--236},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_19},
doi = {10.1007/978-3-540-30538-5\_19},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DawarJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/CourcelleJ04,
author = {Bruno Courcelle and
David Janin},
editor = {Hartmut Ehrig and
Gregor Engels and
Francesco Parisi{-}Presicce and
Grzegorz Rozenberg},
title = {Workshop on Logic, Graph Transformations, Finite and Infinite Structures},
booktitle = {Graph Transformations, Second International Conference, {ICGT} 2004,
Rome, Italy, September 28 - October 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3256},
pages = {448--450},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30203-2\_36},
doi = {10.1007/978-3-540-30203-2\_36},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/CourcelleJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/JaninL02,
author = {David Janin and
Giacomo Lenzi},
title = {On the Logical Definability of Topologically Closed Recognizable Languages
of Infinite Trees},
journal = {Comput. Artif. Intell.},
volume = {21},
number = {3},
pages = {185--203},
year = {2002},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/495},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/JaninL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BernetJW02,
author = {Julien Bernet and
David Janin and
Igor Walukiewicz},
title = {Permissive strategies: from parity games to safety games},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {36},
number = {3},
pages = {261--275},
year = {2002},
url = {https://doi.org/10.1051/ita:2002013},
doi = {10.1051/ITA:2002013},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/BernetJW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JaninL01,
author = {David Janin and
Giacomo Lenzi},
title = {Relating Levels of the Mu-Calculus Hierarchy and Levels of the Monadic
Hierarchy},
booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
Massachusetts, USA, June 16-19, 2001, Proceedings},
pages = {347--356},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/LICS.2001.932510},
doi = {10.1109/LICS.2001.932510},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JaninL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/JaninM01,
author = {David Janin and
Jerzy Marcinkowski},
editor = {Afonso Ferreira and
Horst Reichel},
title = {A Toolkit for First Order Extensions of Monadic Games},
booktitle = {{STACS} 2001, 18th Annual Symposium on Theoretical Aspects of Computer
Science, Dresden, Germany, February 15-17, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2010},
pages = {353--364},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44693-1\_31},
doi = {10.1007/3-540-44693-1\_31},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/JaninM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/JaninL99,
author = {David Janin and
Giacomo Lenzi},
editor = {Miroslaw Kutylowski and
Leszek Pacholski and
Tomasz Wierzbicki},
title = {On the Structure of the Monadic Logic of the Binary Tree},
booktitle = {Mathematical Foundations of Computer Science 1999, 24th International
Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1672},
pages = {310--320},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48340-3\_28},
doi = {10.1007/3-540-48340-3\_28},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/JaninL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Janin97,
author = {David Janin},
title = {Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi in
Arbitrary Complete Lattices},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {172--182},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614945},
doi = {10.1109/LICS.1997.614945},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Janin97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JaninW96,
author = {David Janin and
Igor Walukiewicz},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {On the Expressive Completeness of the Propositional mu-Calculus with
Respect to Monadic Second Order Logic},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {263--277},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_60},
doi = {10.1007/3-540-61604-7\_60},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/JaninW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/JaninW95,
author = {David Janin and
Igor Walukiewicz},
editor = {Jir{\'{\i}} Wiedermann and
Petr H{\'{a}}jek},
title = {Automata for the Modal mu-Calculus and related Results},
booktitle = {Mathematical Foundations of Computer Science 1995, 20th International
Symposium, MFCS'95, Prague, Czech Republic, August 28 - September
1, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {969},
pages = {552--562},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60246-1\_160},
doi = {10.1007/3-540-60246-1\_160},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/JaninW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Janin93,
author = {David Janin},
editor = {R. K. Shyamasundar},
title = {Some Results About Logical Descriptions of Non-Deterministic Behaviours},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
13th Conference, Bombay, India, December 15-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {761},
pages = {338--347},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57529-4\_67},
doi = {10.1007/3-540-57529-4\_67},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Janin93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
