BibTeX records: Jan Janousek

download as .bib file

@inproceedings{DBLP:conf/sofsem/JanousekP24,
  author       = {Jan Janousek and
                  Step{\'{a}}n Plach{\'{y}}},
  editor       = {Henning Fernau and
                  Serge Gaspers and
                  Ralf Klasing},
  title        = {Shortest Characteristic Factors of a Deterministic Finite Automaton
                  and Computing Its Positive Position Run by Pattern Set Matching},
  booktitle    = {{SOFSEM} 2024: Theory and Practice of Computer Science - 49th International
                  Conference on Current Trends in Theory and Practice of Computer Science,
                  {SOFSEM} 2024, Cochem, Germany, February 19-23, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14519},
  pages        = {326--339},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-52113-3\_23},
  doi          = {10.1007/978-3-031-52113-3\_23},
  timestamp    = {Thu, 29 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/JanousekP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/SestakovaGJ23,
  author       = {Eliska Sest{\'{a}}kov{\'{a}} and
                  Ondrej Guth and
                  Jan Janousek},
  title        = {Inexact tree pattern matching with 1-degree edit distance using finite
                  automata},
  journal      = {Discret. Appl. Math.},
  volume       = {330},
  pages        = {78--97},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.dam.2023.01.003},
  doi          = {10.1016/J.DAM.2023.01.003},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/SestakovaGJ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BlazejJP23,
  author       = {V{\'{a}}clav Blazej and
                  Jan Janousek and
                  Step{\'{a}}n Plach{\'{y}}},
  editor       = {Benedek Nagy},
  title        = {On the Smallest Synchronizing Terms of Finite Tree Automata},
  booktitle    = {Implementation and Application of Automata - 27th International Conference,
                  {CIAA} 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14151},
  pages        = {79--90},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40247-0\_5},
  doi          = {10.1007/978-3-031-40247-0\_5},
  timestamp    = {Thu, 31 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/BlazejJP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/SestakovaGJ21,
  author       = {Eliska Sest{\'{a}}kov{\'{a}} and
                  Ondrej Guth and
                  Jan Janousek},
  editor       = {Jan Holub and
                  Jan Zd{\'{a}}rek},
  title        = {Automata Approach to Inexact Tree Pattern Matching Using 1-degree
                  Edit Distance},
  booktitle    = {Prague Stringology Conference 2021, Prague, Czech Republic, August
                  30-31, 2021},
  pages        = {1--15},
  publisher    = {Czech Technical University in Prague, Faculty of Information Technology,
                  Department of Theoretical Computer Science},
  year         = {2021},
  url          = {http://www.stringology.org/event/2021/p01.html},
  timestamp    = {Wed, 31 Jan 2024 17:00:02 +0100},
  biburl       = {https://dblp.org/rec/conf/stringology/SestakovaGJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TravnicekJMC20,
  author       = {Jan Tr{\'{a}}vn{\'{\i}}cek and
                  Jan Janousek and
                  Borivoj Melichar and
                  Loek Cleophas},
  title        = {On modification of Boyer-Moore-horspool's algorithm for tree pattern
                  matching in linearised trees},
  journal      = {Theor. Comput. Sci.},
  volume       = {830-831},
  pages        = {60--90},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2020.04.027},
  doi          = {10.1016/J.TCS.2020.04.027},
  timestamp    = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/TravnicekJMC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/PlachyJ20,
  author       = {Step{\'{a}}n Plach{\'{y}} and
                  Jan Janousek},
  editor       = {Alexander Chatzigeorgiou and
                  Riccardo Dondi and
                  Herodotos Herodotou and
                  Christos A. Kapoutsis and
                  Yannis Manolopoulos and
                  George A. Papadopoulos and
                  Florian Sikora},
  title        = {On Synchronizing Tree Automata and Their Work-Optimal Parallel Run,
                  Usable for Parallel Tree Pattern Matching},
  booktitle    = {{SOFSEM} 2020: Theory and Practice of Computer Science - 46th International
                  Conference on Current Trends in Theory and Practice of Informatics,
                  {SOFSEM} 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12011},
  pages        = {576--586},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-38919-2\_47},
  doi          = {10.1007/978-3-030-38919-2\_47},
  timestamp    = {Tue, 21 Jan 2020 16:23:03 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/PlachyJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/PeckaTJ20,
  author       = {Tom{\'{a}}s Pecka and
                  Jan Tr{\'{a}}vn{\'{\i}}cek and
                  Jan Janousek},
  editor       = {Jan Holub and
                  Jan Zd{\'{a}}rek},
  title        = {Conversion of Finite Tree Automata to Regular Tree Expressions By
                  State Elimination},
  booktitle    = {Prague Stringology Conference 2020, Prague, Czech Republic, August
                  31 - September 2, 2020},
  pages        = {11--22},
  publisher    = {Czech Technical University in Prague, Faculty of Information Technology,
                  Department of Theoretical Computer Science},
  year         = {2020},
  url          = {http://www.stringology.org/event/2020/p02.html},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stringology/PeckaTJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/TravnicekOPJ20,
  author       = {Jan Tr{\'{a}}vn{\'{\i}}cek and
                  Robin Oburka and
                  Tom{\'{a}}s Pecka and
                  Jan Janousek},
  editor       = {Jan Holub and
                  Jan Zd{\'{a}}rek},
  title        = {Forward Linearised Tree Pattern Matching Using Tree Pattern Border
                  Array},
  booktitle    = {Prague Stringology Conference 2020, Prague, Czech Republic, August
                  31 - September 2, 2020},
  pages        = {61--73},
  publisher    = {Czech Technical University in Prague, Faculty of Information Technology,
                  Department of Theoretical Computer Science},
  year         = {2020},
  url          = {http://www.stringology.org/event/2020/p06.html},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stringology/TravnicekOPJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/KromerJP19,
  author       = {Pavel Kr{\"{o}}mer and
                  Jan Janousek and
                  Jan Platos},
  title        = {Random Key Self-Organizing Migrating Algorithm for Permutation Problems},
  booktitle    = {{IEEE} Congress on Evolutionary Computation, {CEC} 2019, Wellington,
                  New Zealand, June 10-13, 2019},
  pages        = {2878--2885},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/CEC.2019.8790322},
  doi          = {10.1109/CEC.2019.8790322},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/cec/KromerJP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/GajdosBJK19,
  author       = {Petr Gajdos and
                  Marek Beh{\'{a}}lek and
                  Jan Janousek and
                  Pavel Kr{\"{o}}mer},
  title        = {{QDSOMA:} Towards the Utilization of Quantum Computing within {SOMA}},
  booktitle    = {{IEEE} Congress on Evolutionary Computation, {CEC} 2019, Wellington,
                  New Zealand, June 10-13, 2019},
  pages        = {2900--2907},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/CEC.2019.8789885},
  doi          = {10.1109/CEC.2019.8789885},
  timestamp    = {Tue, 13 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cec/GajdosBJK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slate/2019,
  editor       = {Ricardo Rodrigues and
                  Jan Janousek and
                  Lu{\'{\i}}s Ferreira and
                  Lu{\'{\i}}sa Coheur and
                  Fernando Batista and
                  Hugo Gon{\c{c}}alo Oliveira},
  title        = {8th Symposium on Languages, Applications and Technologies, {SLATE}
                  2019, June 27-28, 2019, Coimbra, Portugal},
  series       = {OASIcs},
  volume       = {74},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-114-6},
  isbn         = {978-3-95977-114-6},
  timestamp    = {Tue, 30 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slate/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/SestakovaJ18,
  author       = {Eliska Sest{\'{a}}kov{\'{a}} and
                  Jan Janousek},
  title        = {Automata Approach to {XML} Data Indexing},
  journal      = {Inf.},
  volume       = {9},
  number       = {1},
  pages        = {12},
  year         = {2018},
  url          = {https://doi.org/10.3390/info9010012},
  doi          = {10.3390/INFO9010012},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/information/SestakovaJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slate/PeckaTPJ18,
  author       = {Tom{\'{a}}s Pecka and
                  Jan Tr{\'{a}}vn{\'{\i}}cek and
                  Radom{\'{\i}}r Pol{\'{a}}ch and
                  Jan Janousek},
  editor       = {Pedro Rangel Henriques and
                  Jos{\'{e}} Paulo Leal and
                  Ant{\'{o}}nio Menezes Leit{\~{a}}o and
                  Xavier G{\'{o}}mez Guinovart},
  title        = {Construction of a Pushdown Automaton Accepting a Postfix Notation
                  of a Tree Language Given by a Regular Tree Expression},
  booktitle    = {7th Symposium on Languages, Applications and Technologies, {SLATE}
                  2018, June 21-22, 2018, Guimaraes, Portugal},
  series       = {OASIcs},
  volume       = {62},
  pages        = {6:1--6:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/OASIcs.SLATE.2018.6},
  doi          = {10.4230/OASICS.SLATE.2018.6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slate/PeckaTPJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/SestakovaMJ18,
  author       = {Eliska Sest{\'{a}}kov{\'{a}} and
                  Borivoj Melichar and
                  Jan Janousek},
  editor       = {Jan Holub and
                  Jan Zd{\'{a}}rek},
  title        = {Constrained Approximate Subtree Matching by Finite Automata},
  booktitle    = {Prague Stringology Conference 2018, Prague, Czech Republic, August
                  27-28, 2018},
  pages        = {79--90},
  publisher    = {Czech Technical University in Prague, Faculty of Information Technology,
                  Department of Theoretical Computer Science},
  year         = {2018},
  url          = {http://www.stringology.org/event/2018/p08.html},
  timestamp    = {Wed, 10 Feb 2021 08:42:26 +0100},
  biburl       = {https://dblp.org/rec/conf/stringology/SestakovaMJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slate/SestakovaJ17,
  author       = {Eliska Sest{\'{a}}kov{\'{a}} and
                  Jan Janousek},
  editor       = {Ricardo Queir{\'{o}}s and
                  M{\'{a}}rio Pinto and
                  Alberto Sim{\~{o}}es and
                  Jos{\'{e}} Paulo Leal and
                  Maria Jo{\~{a}}o Varanda Pereira},
  title        = {Indexing {XML} Documents Using Tree Paths Automaton},
  booktitle    = {6th Symposium on Languages, Applications and Technologies, {SLATE}
                  2017, June 26-27, 2017, Vila do Conde, Portugal},
  series       = {OASIcs},
  volume       = {56},
  pages        = {10:1--10:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.SLATE.2017.10},
  doi          = {10.4230/OASICS.SLATE.2017.10},
  timestamp    = {Wed, 24 Aug 2022 11:27:10 +0200},
  biburl       = {https://dblp.org/rec/conf/slate/SestakovaJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/PolachTJM16,
  author       = {Radom{\'{\i}}r Pol{\'{a}}ch and
                  Jan Tr{\'{a}}vn{\'{\i}}cek and
                  Jan Janousek and
                  Borivoj Melichar},
  title        = {Efficient determinization of visibly and height-deterministic pushdown
                  automata},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {46},
  pages        = {91--105},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.cl.2016.07.005},
  doi          = {10.1016/J.CL.2016.07.005},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/PolachTJM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/swevo/JanousekGDR16,
  author       = {Jan Janousek and
                  Petr Gajdos and
                  Pavel Dohn{\'{a}}lek and
                  Michal Radeck{\'{y}}},
  title        = {Towards power plant output modelling and optimization using parallel
                  Regression Random Forest},
  journal      = {Swarm Evol. Comput.},
  volume       = {26},
  pages        = {50--55},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.swevo.2015.07.004},
  doi          = {10.1016/J.SWEVO.2015.07.004},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/swevo/JanousekGDR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aciids/JanousekGDR16,
  author       = {Jan Janousek and
                  Petr Gajdos and
                  Pavel Dohn{\'{a}}lek and
                  Michal Radeck{\'{y}}},
  editor       = {Ngoc Thanh Nguyen and
                  Bogdan Trawinski and
                  Hamido Fujita and
                  Tzung{-}Pei Hong},
  title        = {Fast Human Activity Recognition Based on a Massively Parallel Implementation
                  of Random Forest},
  booktitle    = {Intelligent Information and Database Systems - 8th Asian Conference,
                  {ACIIDS} 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part
                  {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9622},
  pages        = {169--178},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49390-8\_16},
  doi          = {10.1007/978-3-662-49390-8\_16},
  timestamp    = {Thu, 16 Mar 2023 20:00:29 +0100},
  biburl       = {https://dblp.org/rec/conf/aciids/JanousekGDR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lata/2016,
  editor       = {Adrian{-}Horia Dediu and
                  Jan Janousek and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Bianca Truthe},
  title        = {Language and Automata Theory and Applications - 10th International
                  Conference, {LATA} 2016, Prague, Czech Republic, March 14-18, 2016,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9618},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-30000-9},
  doi          = {10.1007/978-3-319-30000-9},
  isbn         = {978-3-319-29999-0},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lata/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/CernyMDJ15,
  author       = {Tom{\'{a}}s Cern{\'{y}} and
                  Miroslav Macik and
                  Michael J. Donahoo and
                  Jan Janousek},
  title        = {On distributed concern delivery in user interface design},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {12},
  number       = {2},
  pages        = {655--681},
  year         = {2015},
  url          = {https://doi.org/10.2298/CSIS141202021C},
  doi          = {10.2298/CSIS141202021C},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsis/CernyMDJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aecia/JanousekGRS15,
  author       = {Jan Janousek and
                  Petr Gajdos and
                  Michal Radeck{\'{y}} and
                  V{\'{a}}clav Sn{\'{a}}sel},
  editor       = {Ajith Abraham and
                  Katarzyna Wegrzyn{-}Wolska and
                  Aboul Ella Hassanien and
                  V{\'{a}}clav Sn{\'{a}}sel and
                  Adel M. Alimi},
  title        = {Application of Bio-inspired Methods Within Cluster Forest Algorithm},
  booktitle    = {Proceedings of the Second International Afro-European Conference for
                  Industrial Advancement, {AECIA} 2015, Villejuif (Paris-sud), France,
                  9-11 September 2015},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {427},
  pages        = {237--247},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29504-6\_24},
  doi          = {10.1007/978-3-319-29504-6\_24},
  timestamp    = {Mon, 15 Jun 2020 17:07:59 +0200},
  biburl       = {https://dblp.org/rec/conf/aecia/JanousekGRS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/PolachTJM15,
  author       = {Radom{\'{\i}}r Pol{\'{a}}ch and
                  Jan Travnicek and
                  Jan Janousek and
                  Borivoj Melichar},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {A new algorithm for the determinisation of visibly pushdown automata},
  booktitle    = {2015 Federated Conference on Computer Science and Information Systems,
                  FedCSIS 2015, L{\'{o}}dz, Poland, September 13-16, 2015},
  series       = {Annals of Computer Science and Information Systems},
  volume       = {5},
  pages        = {915--922},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.15439/2015F325},
  doi          = {10.15439/2015F325},
  timestamp    = {Tue, 23 Apr 2024 09:56:18 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/PolachTJM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/JanouekGRS15,
  author       = {Jan Janousek and
                  Petr Gajdos and
                  Michal Radeck{\'{y}} and
                  V{\'{a}}clav Sn{\'{a}}sel},
  editor       = {Tao Li and
                  Lukasz A. Kurgan and
                  Vasile Palade and
                  Randy Goebel and
                  Andreas Holzinger and
                  Karin Verspoor and
                  M. Arif Wani},
  title        = {Gaussian Mixture Model Cluster Forest},
  booktitle    = {14th {IEEE} International Conference on Machine Learning and Applications,
                  {ICMLA} 2015, Miami, FL, USA, December 9-11, 2015},
  pages        = {1019--1023},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICMLA.2015.12},
  doi          = {10.1109/ICMLA.2015.12},
  timestamp    = {Thu, 23 Feb 2023 11:36:05 +0100},
  biburl       = {https://dblp.org/rec/conf/icmla/JanouekGRS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/TravnicekJMC15,
  author       = {Jan Tr{\'{a}}vn{\'{\i}}cek and
                  Jan Janousek and
                  Borivoj Melichar and
                  Loek G. Cleophas},
  editor       = {Adrian{-}Horia Dediu and
                  Enrico Formenti and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Bianca Truthe},
  title        = {Backward Linearised Tree Pattern Matching},
  booktitle    = {Language and Automata Theory and Applications - 9th International
                  Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8977},
  pages        = {599--610},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-15579-1\_47},
  doi          = {10.1007/978-3-319-15579-1\_47},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lata/TravnicekJMC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slate/SestakovaJ15,
  author       = {Eliska Sest{\'{a}}kov{\'{a}} and
                  Jan Janousek},
  editor       = {Jos{\'{e}} Luis Sierra{-}Rodr{\'{\i}}guez and
                  Jos{\'{e}} Paulo Leal and
                  Alberto Sim{\~{o}}es},
  title        = {Tree String Path Subsequences Automaton and Its Use for Indexing {XML}
                  Documents},
  booktitle    = {Languages, Applications and Technologies - 4th International Symposium,
                  {SLATE} 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {563},
  pages        = {171--181},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-27653-3\_17},
  doi          = {10.1007/978-3-319-27653-3\_17},
  timestamp    = {Wed, 24 Aug 2022 11:27:10 +0200},
  biburl       = {https://dblp.org/rec/conf/slate/SestakovaJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/JanousekMPPT14,
  author       = {Jan Janousek and
                  Borivoj Melichar and
                  Radom{\'{\i}}r Pol{\'{a}}ch and
                  Martin Poliak and
                  Jan Tr{\'{a}}vn{\'{\i}}cek},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {A Full and Linear Index of a Tree for Tree Patterns},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {198--209},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_18},
  doi          = {10.1007/978-3-319-09704-6\_18},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/JanousekMPPT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecc/BasterrechJS14,
  author       = {Sebasti{\'{a}}n Basterrech and
                  Jan Janousek and
                  V{\'{a}}clav Sn{\'{a}}sel},
  editor       = {Jeng{-}Shyang Pan and
                  V{\'{a}}clav Sn{\'{a}}sel and
                  Emilio Corchado and
                  Ajith Abraham and
                  Shyue{-}Liang Wang},
  title        = {A Study of Random Neural Network Performance for Supervised Learning
                  Tasks in {CUDA}},
  booktitle    = {Intelligent Data analysis and its Applications, Volume {II} - Proceeding
                  of the First Euro-China Conference on Intelligent Data Analysis and
                  Applications, June 13-15, 2014, Shenzhen, China},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {298},
  pages        = {459--468},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07773-4\_45},
  doi          = {10.1007/978-3-319-07773-4\_45},
  timestamp    = {Wed, 07 Dec 2022 23:12:48 +0100},
  biburl       = {https://dblp.org/rec/conf/ecc/BasterrechJS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/CernyMDJ14,
  author       = {Tom{\'{a}}s Cern{\'{y}} and
                  Miroslav Macik and
                  Michael J. Donahoo and
                  Jan Janousek},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {Efficient Description and Cache Performance in Aspect-Oriented User
                  Interface Design},
  booktitle    = {Proceedings of the 2014 Federated Conference on Computer Science and
                  Information Systems, Warsaw, Poland, September 7-10, 2014},
  series       = {Annals of Computer Science and Information Systems},
  volume       = {2},
  pages        = {1667--1676},
  year         = {2014},
  url          = {https://doi.org/10.15439/2014F244},
  doi          = {10.15439/2014F244},
  timestamp    = {Tue, 23 Apr 2024 09:55:03 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/CernyMDJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slate/JanousekM14,
  author       = {Jan Janousek and
                  Jaroslav M{\'{a}}lek},
  editor       = {Maria Jo{\~{a}}o Varanda Pereira and
                  Jos{\'{e}} Paulo Leal and
                  Alberto Sim{\~{o}}es},
  title        = {Target Code Selection by Tilling {AST} with the Use of Tree Pattern
                  Pushdown Automaton},
  booktitle    = {3rd Symposium on Languages, Applications and Technologies, {SLATE}
                  2014, June 19-20, 2014 - Bragan{\c{c}}a, Portugal},
  series       = {OASIcs},
  volume       = {38},
  pages        = {159--165},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.SLATE.2014.159},
  doi          = {10.4230/OASICS.SLATE.2014.159},
  timestamp    = {Wed, 24 Aug 2022 11:27:10 +0200},
  biburl       = {https://dblp.org/rec/conf/slate/JanousekM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/JanousekPS14,
  author       = {Jan Janousek and
                  Jan Platos and
                  V{\'{a}}clav Sn{\'{a}}sel},
  title        = {Clustering using artificial bee colony on {CUDA}},
  booktitle    = {2014 {IEEE} International Conference on Systems, Man, and Cybernetics,
                  {SMC} 2014, San Diego, CA, USA, October 5-8, 2014},
  pages        = {3803--3807},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SMC.2014.6974523},
  doi          = {10.1109/SMC.2014.6974523},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/JanousekPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softcomp/JanousekGRS14,
  author       = {Jan Janousek and
                  Petr Gajdos and
                  Michal Radeck{\'{y}} and
                  V{\'{a}}clav Sn{\'{a}}sel},
  editor       = {Jos{\'{e}} Gaviria de la Puerta and
                  Iv{\'{a}}n Garc{\'{\i}}a{-}Ferreira and
                  Pablo Garc{\'{\i}}a Bringas and
                  Fanny Klett and
                  Ajith Abraham and
                  Andr{\'{e}} C. P. L. F. de Carvalho and
                  {\'{A}}lvaro Herrero and
                  Bruno Baruque and
                  H{\'{e}}ctor Quinti{\'{a}}n and
                  Emilio Corchado},
  title        = {Classification via Nearest Prototype Classifier Utilizing Artificial
                  Bee Colony on {CUDA}},
  booktitle    = {International Joint Conference SOCO'14-CISIS'14-ICEUTE'14 - Bilbao,
                  Spain, June 25th-27th, 2014, Proceedings},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {299},
  pages        = {21--30},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07995-0\_3},
  doi          = {10.1007/978-3-319-07995-0\_3},
  timestamp    = {Fri, 12 Aug 2022 13:44:55 +0200},
  biburl       = {https://dblp.org/rec/conf/softcomp/JanousekGRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jda/ChristouFIJMPZ13,
  author       = {Michalis Christou and
                  Tom{\'{a}}s Flouri and
                  Costas S. Iliopoulos and
                  Jan Janousek and
                  Borivoj Melichar and
                  Solon P. Pissis and
                  Jan Zd{\'{a}}rek},
  title        = {Tree template matching in unranked ordered trees},
  journal      = {J. Discrete Algorithms},
  volume       = {20},
  pages        = {51--60},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jda.2013.02.001},
  doi          = {10.1016/J.JDA.2013.02.001},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jda/ChristouFIJMPZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/TravnicekJM12,
  author       = {Jan Travnicek and
                  Jan Janousek and
                  Borivoj Melichar},
  title        = {Indexing ordered trees for (nonlinear) tree pattern matching by pushdown
                  automata},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {1125--1153},
  year         = {2012},
  url          = {https://doi.org/10.2298/CSIS111220024T},
  doi          = {10.2298/CSIS111220024T},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsis/TravnicekJM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ChristouCFIJMP12,
  author       = {Michalis Christou and
                  Maxime Crochemore and
                  Tom{\'{a}}s Flouri and
                  Costas S. Iliopoulos and
                  Jan Janousek and
                  Borivoj Melichar and
                  Solon P. Pissis},
  title        = {Computing all subtree repeats in ordered trees},
  journal      = {Inf. Process. Lett.},
  volume       = {112},
  number       = {24},
  pages        = {958--962},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.ipl.2012.09.001},
  doi          = {10.1016/J.IPL.2012.09.001},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/ChristouCFIJMP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jda/FlouriIJMP12,
  author       = {Tom{\'{a}}s Flouri and
                  Costas S. Iliopoulos and
                  Jan Janousek and
                  Borivoj Melichar and
                  Solon P. Pissis},
  title        = {Tree template matching in ranked ordered trees by pushdown automata},
  journal      = {J. Discrete Algorithms},
  volume       = {17},
  pages        = {15--23},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.jda.2012.10.003},
  doi          = {10.1016/J.JDA.2012.10.003},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jda/FlouriIJMP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/MelicharJF12,
  author       = {Borivoj Melichar and
                  Jan Janousek and
                  Tom{\'{a}}s Flouri},
  title        = {Arbology: Trees and pushdown automata},
  journal      = {Kybernetika},
  volume       = {48},
  number       = {3},
  pages        = {402--428},
  year         = {2012},
  url          = {http://www.kybernetika.cz/content/2012/3/402},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/kybernetika/MelicharJF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/JanousekMP12,
  author       = {Jan Janousek and
                  Borivoj Melichar and
                  Martin Poliak},
  title        = {Tree compression pushdown automaton},
  journal      = {Kybernetika},
  volume       = {48},
  number       = {3},
  pages        = {429--452},
  year         = {2012},
  url          = {http://www.kybernetika.cz/content/2012/3/429},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/kybernetika/JanousekMP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/TravnicekJM11,
  author       = {Jan Travnicek and
                  Jan Janousek and
                  Borivoj Melichar},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {Nonlinear Tree Pattern Pushdown Automata},
  booktitle    = {Federated Conference on Computer Science and Information Systems,
                  FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings},
  pages        = {871--878},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6078238/},
  timestamp    = {Mon, 09 Aug 2021 14:54:05 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/TravnicekJM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/FlouriJMIP11,
  author       = {Tom{\'{a}}s Flouri and
                  Jan Janousek and
                  Borivoj Melichar and
                  Costas S. Iliopoulos and
                  Solon P. Pissis},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {Tree Indexing by Pushdown Automata and Repeats of Subtrees},
  booktitle    = {Federated Conference on Computer Science and Information Systems,
                  FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings},
  pages        = {899--902},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6078256/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/FlouriJMIP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/PlickaJM11,
  author       = {Martin Plicka and
                  Jan Janousek and
                  Borivoj Melichar},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {Subtree Oracle Pushdown Automata for Ranked and Unranked Ordered Trees},
  booktitle    = {Federated Conference on Computer Science and Information Systems,
                  FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings},
  pages        = {903--906},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6078252/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/PlickaJM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spire/ChristouCFIJMP11,
  author       = {Michalis Christou and
                  Maxime Crochemore and
                  Tom{\'{a}}s Flouri and
                  Costas S. Iliopoulos and
                  Jan Janousek and
                  Borivoj Melichar and
                  Solon P. Pissis},
  editor       = {Roberto Grossi and
                  Fabrizio Sebastiani and
                  Fabrizio Silvestri},
  title        = {Computing All Subtree Repeats in Ordered Ranked Trees},
  booktitle    = {String Processing and Information Retrieval, 18th International Symposium,
                  {SPIRE} 2011, Pisa, Italy, October 17-21, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7024},
  pages        = {338--343},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24583-1\_33},
  doi          = {10.1007/978-3-642-24583-1\_33},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spire/ChristouCFIJMP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/FlouriJMIP11,
  author       = {Tom{\'{a}}s Flouri and
                  Jan Janousek and
                  Borivoj Melichar and
                  Costas S. Iliopoulos and
                  Solon P. Pissis},
  editor       = {B{\'{e}}atrice Bouchou{-}Markhoff and
                  Pascal Caron and
                  Jean{-}Marc Champarnaud and
                  Denis Maurel},
  title        = {Tree Template Matching in Ranked Ordered Trees by Pushdown Automata},
  booktitle    = {Implementation and Application of Automata - 16th International Conference,
                  {CIAA} 2011, Blois, France, July 13-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6807},
  pages        = {273--281},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22256-6\_25},
  doi          = {10.1007/978-3-642-22256-6\_25},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/FlouriJMIP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/FlouriJM10,
  author       = {Tom{\'{a}}s Flouri and
                  Jan Janousek and
                  Borivoj Melichar},
  title        = {Subtree matching by pushdown automata},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {7},
  number       = {2},
  pages        = {331--357},
  year         = {2010},
  url          = {https://doi.org/10.2298/CSIS1002331F},
  doi          = {10.2298/CSIS1002331F},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsis/FlouriJM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/FlouriMJ10,
  author       = {Tom{\'{a}}s Flouri and
                  Borivoj Melichar and
                  Jan Janousek},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski and
                  Michael Schumacher and
                  Mathew J. Palakal and
                  Chih{-}Cheng Hung},
  title        = {Aho-Corasick like multiple subtree matching by pushdown automata},
  booktitle    = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
                  Sierre, Switzerland, March 22-26, 2010},
  pages        = {2157--2158},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1774088.1774543},
  doi          = {10.1145/1774088.1774543},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/FlouriMJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/JanousekM09,
  author       = {Jan Janousek and
                  Borivoj Melichar},
  title        = {On regular tree languages and deterministic pushdown automata},
  journal      = {Acta Informatica},
  volume       = {46},
  number       = {7},
  pages        = {533--547},
  year         = {2009},
  url          = {https://doi.org/10.1007/s00236-009-0104-9},
  doi          = {10.1007/S00236-009-0104-9},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/JanousekM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imcsit/FlouriMJ09,
  author       = {Tom{\'{a}}s Flouri and
                  Borivoj Melichar and
                  Jan Janousek},
  title        = {Subtree matching by deterministic pushdown automata},
  booktitle    = {Proceedings of the International Multiconference on Computer Science
                  and Information Technology, {IMCSIT} 2009, Mragowo, Poland, 12-14
                  October 2009},
  pages        = {659--666},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/IMCSIT.2009.5352769},
  doi          = {10.1109/IMCSIT.2009.5352769},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/imcsit/FlouriMJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/Janousek09,
  author       = {Jan Janousek},
  editor       = {Jan Holub and
                  Jan Zd{\'{a}}rek},
  title        = {String Suffix Automata and Subtree Pushdown Automata},
  booktitle    = {Proceedings of the Prague Stringology Conference 2009, Prague, Czech
                  Republic, August 31 - September 2, 2009},
  pages        = {160--172},
  publisher    = {Prague Stringology Club, Department of Computer Science and Engineering,
                  Faculty of Electrical Engineering, Czech Technical University in Prague},
  year         = {2009},
  url          = {http://www.stringology.org/event/2009/p15.html},
  timestamp    = {Wed, 10 Feb 2021 08:42:20 +0100},
  biburl       = {https://dblp.org/rec/conf/stringology/Janousek09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AycockHJM01,
  author       = {John Aycock and
                  R. Nigel Horspool and
                  Jan Janousek and
                  Borivoj Melichar},
  title        = {Even faster generalized {LR} parsing},
  journal      = {Acta Informatica},
  volume       = {37},
  number       = {9},
  pages        = {633--651},
  year         = {2001},
  url          = {https://doi.org/10.1007/PL00013319},
  doi          = {10.1007/PL00013319},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/AycockHJM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/JanousekM97,
  author       = {Jan Janousek and
                  Borivoj Melichar},
  editor       = {Hugh Glaser and
                  Pieter H. Hartel and
                  Herbert Kuchen},
  title        = {Formal Translations Described by Translation Grammars with LR(k) Input
                  Grammars},
  booktitle    = {Programming Languages: Implementations, Logics, and Programs, 9th
                  International Symposium, PLILP'97, Including a Special Trach on Declarative
                  Programming Languages in Education, Southampton, UK, September 3-5,
                  1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1292},
  pages        = {421--422},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0033860},
  doi          = {10.1007/BFB0033860},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/JanousekM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/JanousekM97,
  author       = {Jan Janousek and
                  Borivoj Melichar},
  editor       = {Frantisek Pl{\'{a}}sil and
                  Keith G. Jeffery},
  title        = {The Output-Store Formal Translator Directed by {LR} Parsing},
  booktitle    = {{SOFSEM} '97: Theory and Practice of Informatics, 24th Seminar on
                  Current Trends in Theory and Practice of Informatics, Milovy, Czech
                  Republic, November 22-29, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1338},
  pages        = {432--439},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63774-5\_123},
  doi          = {10.1007/3-540-63774-5\_123},
  timestamp    = {Mon, 26 Jun 2023 20:44:33 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/JanousekM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics