Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Petr Novotný"
download as .bib file
@article{DBLP:journals/cmpb/JagosKNKHFLB24,
author = {Jir{\'{\i}} Jagos and
Jir{\'{\i}} Koh{\'{u}}t and
Tom{\'{a}}s Novotn{\'{y}} and
Tomas Krivka and
Petr H{\'{a}}jek and
Martin Form{\'{a}}nek and
Ondrej Lisick{\'{y}} and
Jiri Bursa},
title = {In silico hemodynamical simulations show additional benefits of artery
wall softening induced by antihypertensive drugs},
journal = {Comput. Methods Programs Biomed.},
volume = {245},
pages = {108016},
year = {2024},
url = {https://doi.org/10.1016/j.cmpb.2024.108016},
doi = {10.1016/J.CMPB.2024.108016},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cmpb/JagosKNKHFLB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ChatterjeeGNZ24,
author = {Krishnendu Chatterjee and
Ehsan Kafshdar Goharshady and
Petr Novotn{\'{y}} and
Dorde Zikelic},
title = {Equivalence and Similarity Refutation for Probabilistic Programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{PLDI}},
pages = {2098--2122},
year = {2024},
url = {https://doi.org/10.1145/3656462},
doi = {10.1145/3656462},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ChatterjeeGNZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/0002N24,
author = {Petr H{\'{a}}jek and
Josef Novotny},
editor = {Ilias Maglogiannis and
Lazaros S. Iliadis and
John MacIntyre and
Markos Avlonitis and
Antonios Papaleonidas},
title = {Beyond Sentiment in Stock Price Prediction: Integrating News Sentiment
and Investor Attention with Temporal Fusion Transformer},
booktitle = {Artificial Intelligence Applications and Innovations - 20th {IFIP}
{WG} 12.5 International Conference, {AIAI} 2024, Corfu, Greece, June
27-30, 2024, Proceedings, Part {III}},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {713},
pages = {30--43},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-63219-8\_3},
doi = {10.1007/978-3-031-63219-8\_3},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/0002N24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-03430,
author = {Krishnendu Chatterjee and
Ehsan Kafshdar Goharshady and
Petr Novotn{\'{y}} and
Dorde Zikelic},
title = {Equivalence and Similarity Refutation for Probabilistic Programs},
journal = {CoRR},
volume = {abs/2404.03430},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.03430},
doi = {10.48550/ARXIV.2404.03430},
eprinttype = {arXiv},
eprint = {2404.03430},
timestamp = {Mon, 13 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-03430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bspc/MartinuNACKS23,
author = {Jiri Martinu and
Jan Novotn{\'{y}} and
Karel Ad{\'{a}}mek and
Petr Cerm{\'{a}}k and
Jir{\'{\i}} Kozel and
David Skoloud{\'{\i}}k},
title = {A survey of feature detection methods for localisation of plain sections
of axial brain magnetic resonance imaging},
journal = {Biomed. Signal Process. Control.},
volume = {82},
pages = {104611},
year = {2023},
url = {https://doi.org/10.1016/j.bspc.2023.104611},
doi = {10.1016/J.BSPC.2023.104611},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bspc/MartinuNACKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ChatterjeeGNZZ23,
author = {Krishnendu Chatterjee and
Ehsan Kafshdar Goharshady and
Petr Novotn{\'{y}} and
Jiri Z{\'{a}}rev{\'{u}}cky and
Dorde Zikelic},
title = {On Lexicographic Proof Rules for Probabilistic Termination},
journal = {Formal Aspects Comput.},
volume = {35},
number = {2},
pages = {11:1--11:25},
year = {2023},
url = {https://doi.org/10.1145/3585391},
doi = {10.1145/3585391},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ChatterjeeGNZZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lp/NovotnySSJ23,
author = {Petr Novotn{\'{y}} and
Karol{\'{\i}}na Kotvaltov{\'{a}} Sezemsk{\'{a}} and
Romana Schubertov{\'{a}} and
Vanda Janstov{\'{a}}},
title = {Editorial H-score as a metric of inner authenticity for national scientific
journals - Pilot study for the field of pedagogy},
journal = {Learn. Publ.},
volume = {36},
number = {2},
pages = {194--204},
year = {2023},
url = {https://doi.org/10.1002/leap.1507},
doi = {10.1002/LEAP.1507},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lp/NovotnySSJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/HamdaniBKTSN23,
author = {Sara El Hamdani and
Petr Bouchner and
Tereza Kunclova and
Premysl Toman and
Josef Svoboda and
Stanislav Novotn{\'{y}}},
title = {Fidelity Assessment of Motion Platform Cueing: Comparison of Driving
Behavior under Various Motion Levels},
journal = {Sensors},
volume = {23},
number = {12},
pages = {5428},
year = {2023},
url = {https://doi.org/10.3390/s23125428},
doi = {10.3390/S23125428},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/HamdaniBKTSN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/BlahoudekNOTT23,
author = {Frantisek Blahoudek and
Petr Novotn{\'{y}} and
Melkior Ornik and
Pranay Thangeda and
Ufuk Topcu},
title = {Efficient Strategy Synthesis for MDPs With Resource Constraints},
journal = {{IEEE} Trans. Autom. Control.},
volume = {68},
number = {8},
pages = {4586--4601},
year = {2023},
url = {https://doi.org/10.1109/TAC.2022.3209612},
doi = {10.1109/TAC.2022.3209612},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/BlahoudekNOTT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AjdarowB023,
author = {Michal Ajdar{\'{o}}w and
Simon Brlej and
Petr Novotn{\'{y}}},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Shielding in Resource-Constrained Goal POMDPs},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {14674--14682},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i12.26715},
doi = {10.1609/AAAI.V37I12.26715},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AjdarowB023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeesensors/PetruchaNS23,
author = {Vojtech Petrucha and
David Novotn{\'{y}} and
Kajct{\'{a}}n Sob{\'{\i}}sek},
title = {Magnetometry Package for {L} {VICE2} Mission: Triaxial Fluxgate and
{AMR} Magnetometer for Scientific Data Production Near Moon},
booktitle = {2023 {IEEE} SENSORS, Vienna, Austria, October 29 - Nov. 1, 2023},
pages = {1--4},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SENSORS56945.2023.10325159},
doi = {10.1109/SENSORS56945.2023.10325159},
timestamp = {Thu, 14 Dec 2023 11:20:49 +0100},
biburl = {https://dblp.org/rec/conf/ieeesensors/PetruchaNS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Klaska0KM0R23,
author = {David Klaska and
Anton{\'{\i}}n Kucera and
Martin Kurecka and
V{\'{\i}}t Musil and
Petr Novotn{\'{y}} and
Vojtech Reh{\'{a}}k},
title = {Synthesizing Resilient Strategies for Infinite-Horizon Objectives
in Multi-Agent Systems},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {171--179},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/20},
doi = {10.24963/IJCAI.2023/20},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Klaska0KM0R23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-04173,
author = {Jiri Martinu and
Jan Novotn{\'{y}} and
Karel Ad{\'{a}}mek and
Petr Cerm{\'{a}}k and
Jir{\'{\i}} Kozel and
David Skoloud{\'{\i}}k},
title = {A Survey of Feature detection methods for localisation of plain sections
of Axial Brain Magnetic Resonance Imaging},
journal = {CoRR},
volume = {abs/2302.04173},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.04173},
doi = {10.48550/ARXIV.2302.04173},
eprinttype = {arXiv},
eprint = {2302.04173},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-04173.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-10070,
author = {David Klaska and
Anton{\'{\i}}n Kucera and
Martin Kurecka and
V{\'{\i}}t Musil and
Petr Novotn{\'{y}} and
Vojtech Reh{\'{a}}k},
title = {Synthesizing Resilient Strategies for Infinite-Horizon Objectives
in Multi-Agent Systems},
journal = {CoRR},
volume = {abs/2305.10070},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.10070},
doi = {10.48550/ARXIV.2305.10070},
eprinttype = {arXiv},
eprint = {2305.10070},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-10070.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-10546,
author = {Nathana{\"{e}}l Fijalkow and
Nathalie Bertrand and
Patricia Bouyer{-}Decitre and
Romain Brenguier and
Arnaud Carayol and
John Fearnley and
Hugo Gimbert and
Florian Horn and
Rasmus Ibsen{-}Jensen and
Nicolas Markey and
Benjamin Monmege and
Petr Novotn{\'{y}} and
Mickael Randour and
Ocan Sankur and
Sylvain Schmitz and
Olivier Serre and
Mateusz Skomra},
title = {Games on Graphs},
journal = {CoRR},
volume = {abs/2305.10546},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.10546},
doi = {10.48550/ARXIV.2305.10546},
eprinttype = {arXiv},
eprint = {2305.10546},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-10546.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-13912,
author = {Krishnendu Chatterjee and
Ehsan Kafshdar Goharshady and
Mehrdad Karrabi and
Petr Novotn{\'{y}} and
Dorde Zikelic},
title = {Solving Long-run Average Reward Robust MDPs via Stochastic Games},
journal = {CoRR},
volume = {abs/2312.13912},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.13912},
doi = {10.48550/ARXIV.2312.13912},
eprinttype = {arXiv},
eprint = {2312.13912},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-13912.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/HajekN22,
author = {Petr H{\'{a}}jek and
Josef Novotny},
title = {Fuzzy Rule-Based Prediction of Gold Prices using News Affect},
journal = {Expert Syst. Appl.},
volume = {193},
pages = {116487},
year = {2022},
url = {https://doi.org/10.1016/j.eswa.2021.116487},
doi = {10.1016/J.ESWA.2021.116487},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/HajekN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/NovotnySASR22,
author = {V{\'{\i}}t Novotn{\'{y}} and
Michal Stef{\'{a}}nik and
Eniafe Festus Ayetiran and
Petr Sojka and
Radim Rehurek},
title = {When FastText Pays Attention: Efficient Estimation of Word Representations
using Constrained Positional Weighting},
journal = {J. Univers. Comput. Sci.},
volume = {28},
number = {2},
pages = {181--201},
year = {2022},
url = {https://doi.org/10.3897/jucs.69619},
doi = {10.3897/JUCS.69619},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/NovotnySASR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/JakubecSKNH22,
author = {David Jakubec and
Petr Skoda and
Radoslav Kriv{\'{a}}k and
Marian Novotny and
David Hoksza},
title = {PrankWeb 3: accelerated ligand-binding site predictions for experimental
and modelled protein structures},
journal = {Nucleic Acids Res.},
volume = {50},
number = {{W1}},
pages = {593--597},
year = {2022},
url = {https://doi.org/10.1093/nar/gkac389},
doi = {10.1093/NAR/GKAC389},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/JakubecSKNH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nca/HajekFON22,
author = {Petr H{\'{a}}jek and
Wojciech Froelich and
Vladim{\'{\i}}r Olej and
Josef Novotny},
title = {Neural intuitionistic fuzzy system with justified granularity},
journal = {Neural Comput. Appl.},
volume = {34},
number = {22},
pages = {19423--19439},
year = {2022},
url = {https://doi.org/10.1007/s00521-022-07504-x},
doi = {10.1007/S00521-022-07504-X},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nca/HajekFON22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/npjdm/NovotnyTRRDR22,
author = {Michal Novotny and
Tereza Tykalov{\'{a}} and
Hana Ruzickova and
Evzen Ruzicka and
Petr Dusek and
Jan Rusz},
title = {Automated video-based assessment of facial bradykinesia in de-novo
Parkinson's disease},
journal = {npj Digit. Medicine},
volume = {5},
year = {2022},
url = {https://doi.org/10.1038/s41746-022-00642-5},
doi = {10.1038/S41746-022-00642-5},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/npjdm/NovotnyTRRDR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/SochaMN22,
author = {Petr Socha and
Vojtech Miskovsk{\'{y}} and
Martin Novotn{\'{y}}},
title = {A Comprehensive Survey on the Non-Invasive Passive Side-Channel Analysis},
journal = {Sensors},
volume = {22},
number = {21},
pages = {8096},
year = {2022},
url = {https://doi.org/10.3390/s22218096},
doi = {10.3390/S22218096},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/SochaMN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/StefanikNGS22,
author = {Michal Stef{\'{a}}nik and
V{\'{\i}}t Novotn{\'{y}} and
Nikola Groverov{\'{a}} and
Petr Sojka},
editor = {Valerio Basile and
Zornitsa Kozareva and
Sanja Stajner},
title = {Adaptor: Objective-Centric Adaptation Framework for Language Models},
booktitle = {Proceedings of the 60th Annual Meeting of the Association for Computational
Linguistics, {ACL} 2022 - System Demonstrations, Dublin, Ireland,
May 22-27, 2022},
pages = {261--269},
publisher = {Association for Computational Linguistics},
year = {2022},
url = {https://doi.org/10.18653/v1/2022.acl-demo.26},
doi = {10.18653/V1/2022.ACL-DEMO.26},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/StefanikNGS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/PreucilSN22,
author = {Tom{\'{a}}s Preucil and
Petr Socha and
Martin Novotn{\'{y}}},
title = {Implementation of the Rainbow signature scheme on SoC {FPGA}},
booktitle = {25th Euromicro Conference on Digital System Design, {DSD} 2022, Maspalomas,
Spain, August 31 - Sept. 2, 2022},
pages = {513--519},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/DSD57027.2022.00074},
doi = {10.1109/DSD57027.2022.00074},
timestamp = {Mon, 09 Jan 2023 17:07:14 +0100},
biburl = {https://dblp.org/rec/conf/dsd/PreucilSN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meco/SochaMN22,
author = {Petr Socha and
Vojtech Miskovsk{\'{y}} and
Martin Novotn{\'{y}}},
title = {A fair experimental evaluation of distance correlation side-channel
distinguisher},
booktitle = {11th Mediterranean Conference on Embedded Computing, {MECO} 2022,
Budva, Montenegro, June 7-10, 2022},
pages = {1--4},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/MECO55406.2022.9797142},
doi = {10.1109/MECO55406.2022.9797142},
timestamp = {Fri, 01 Jul 2022 09:09:18 +0200},
biburl = {https://dblp.org/rec/conf/meco/SochaMN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/BrazdilK0M0R22,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
David Klaska and
Anton{\'{\i}}n Kucera and
V{\'{\i}}t Musil and
Petr Novotn{\'{y}} and
Vojtech Reh{\'{a}}k},
editor = {James Cussens and
Kun Zhang},
title = {On-the-fly adaptation of patrolling strategies in changing environments},
booktitle = {Uncertainty in Artificial Intelligence, Proceedings of the Thirty-Eighth
Conference on Uncertainty in Artificial Intelligence, {UAI} 2022,
1-5 August 2022, Eindhoven, The Netherlands},
series = {Proceedings of Machine Learning Research},
volume = {180},
pages = {244--254},
publisher = {{PMLR}},
year = {2022},
url = {https://proceedings.mlr.press/v180/brazdil22a.html},
timestamp = {Sat, 15 Oct 2022 12:08:13 +0200},
biburl = {https://dblp.org/rec/conf/uai/BrazdilK0M0R22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-03989,
author = {Michal Stef{\'{a}}nik and
V{\'{\i}}t Novotn{\'{y}} and
Nikola Groverov{\'{a}} and
Petr Sojka},
title = {AdaptOr: Objective-Centric Adaptation Framework for Language Models},
journal = {CoRR},
volume = {abs/2203.03989},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.03989},
doi = {10.48550/ARXIV.2203.03989},
eprinttype = {arXiv},
eprint = {2203.03989},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-03989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-08096,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
David Klaska and
Anton{\'{\i}}n Kucera and
V{\'{\i}}t Musil and
Petr Novotn{\'{y}} and
Vojtech Reh{\'{a}}k},
title = {On-the-fly Adaptation of Patrolling Strategies in Changing Environments},
journal = {CoRR},
volume = {abs/2206.08096},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.08096},
doi = {10.48550/ARXIV.2206.08096},
eprinttype = {arXiv},
eprint = {2206.08096},
timestamp = {Tue, 21 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-08096.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-15349,
author = {Michal Ajdar{\'{o}}w and
Simon Brlej and
Petr Novotn{\'{y}}},
title = {Shielding in Resource-Constrained Goal POMDPs},
journal = {CoRR},
volume = {abs/2211.15349},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.15349},
doi = {10.48550/ARXIV.2211.15349},
eprinttype = {arXiv},
eprint = {2211.15349},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-15349.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/AyetiranSN21,
author = {Eniafe Festus Ayetiran and
Petr Sojka and
V{\'{\i}}t Novotn{\'{y}}},
title = {{EDS-MEMBED:} Multi-sense embeddings based on enhanced distributional
semantic structures via a graph walk over word senses},
journal = {Knowl. Based Syst.},
volume = {219},
pages = {106902},
year = {2021},
url = {https://doi.org/10.1016/j.knosys.2021.106902},
doi = {10.1016/J.KNOSYS.2021.106902},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kbs/AyetiranSN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/SochaMN21,
author = {Petr Socha and
Vojtech Miskovsk{\'{y}} and
Martin Novotn{\'{y}}},
title = {High-level synthesis, cryptography, and side-channel countermeasures:
{A} comprehensive evaluation},
journal = {Microprocess. Microsystems},
volume = {85},
pages = {104311},
year = {2021},
url = {https://doi.org/10.1016/j.micpro.2021.104311},
doi = {10.1016/J.MICPRO.2021.104311},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/SochaMN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/StebelSNHSADBBB21,
author = {Kerstin Stebel and
Iwona S. Stachlewska and
Anca Nemuc and
Jan Hor{\'{a}}lek and
Philipp Schneider and
Nicolae Ajtai and
Andrei Diamandi and
Nina Benesov{\'{a}} and
Mihai Boldeanu and
Camelia Botezan and
Jana Markov{\'{a}} and
Rodica Dumitrache and
Amalia Iriza{-}Burca and
Roman Juras and
Doina Nicolae and
Victor Nicolae and
Petr Novotn{\'{y}} and
Stefanie Horatiu and
Lum{\'{\i}}r Vanek and
Ondrej Vlcek and
Olga Zawadzka{-}Manko and
Claus Zehner},
title = {SAMIRA-SAtellite Based Monitoring Initiative for Regional Air Quality},
journal = {Remote. Sens.},
volume = {13},
number = {11},
pages = {2219},
year = {2021},
url = {https://doi.org/10.3390/rs13112219},
doi = {10.3390/RS13112219},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/StebelSNHSADBBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/MarconJPNHSCLKR21,
author = {Petr Marcon and
Jir{\'{\i}} Janousek and
Josef Pokorn{\'{y}} and
Josef Novotn{\'{y}} and
Eliska Vlachov{\'{a}} Hutov{\'{a}} and
Anna Siruckov{\'{a}} and
Martin C{\'{a}}p and
Jana L{\'{a}}znickov{\'{a}} and
Radim Kadlec and
Petr Raichl and
Premysl Dohnal and
Miloslav Steinbauer and
Eva Gescheidtov{\'{a}}},
title = {A System Using Artificial Intelligence to Detect and Scare Bird Flocks
in the Protection of Ripening Fruit},
journal = {Sensors},
volume = {21},
number = {12},
pages = {4244},
year = {2021},
url = {https://doi.org/10.3390/s21124244},
doi = {10.3390/S21124244},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/MarconJPNHSCLKR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/NovotnySPHSP21,
author = {V{\'{\i}}t Novotn{\'{y}} and
Petr Sysel and
Ales Prokes and
Pavel Hanak and
Karel Slav{\'{\i}}cek and
Jiri Prinosil},
title = {Fiber Optic Based Distributed Mechanical Vibration Sensing},
journal = {Sensors},
volume = {21},
number = {14},
pages = {4779},
year = {2021},
url = {https://doi.org/10.3390/s21144779},
doi = {10.3390/S21144779},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/NovotnySPHSP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/TothovaNNVKDZMP21,
author = {Csilla T{\'{o}}thov{\'{a}} and
Oskar Nagy and
Jaroslav Novotn{\'{y}} and
Katar{\'{\i}}na Vdoviakov{\'{a}} and
Lenka Kres{\'{a}}kov{\'{a}} and
J{\'{a}}n Danko and
Zdenek Zert and
Lubom{\'{\i}}r Medveck{\'{y}} and
Eva Petrovov{\'{a}}},
title = {The Effect of the Repair of Induced Articular Cartilage Defects in
Pigs Using Calcium Phosphate Cement with Aminoacids on the Concentrations
of Selected Inflammatory Markers and Serum Enzyme Activities},
journal = {Symmetry},
volume = {13},
number = {9},
pages = {1720},
year = {2021},
url = {https://doi.org/10.3390/sym13091720},
doi = {10.3390/SYM13091720},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/symmetry/TothovaNNVKDZMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/NovotnyPDP21,
author = {David Novotn{\'{y}} and
Vojtech Petrucha and
Michal Dressler and
Anton{\'{\i}}n Platil},
title = {Characterization of a Digital {AMR} Magnetometer for Space Applications},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {70},
pages = {1--9},
year = {2021},
url = {https://doi.org/10.1109/TIM.2020.3043867},
doi = {10.1109/TIM.2020.3043867},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tim/NovotnyPDP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clef/NovotnySLGZS21,
author = {V{\'{\i}}t Novotn{\'{y}} and
Michal Stef{\'{a}}nik and
D{\'{a}}vid Lupt{\'{a}}k and
Martin Geletka and
Petr Zelina and
Petr Sojka},
editor = {Guglielmo Faggioli and
Nicola Ferro and
Alexis Joly and
Maria Maistro and
Florina Piroi},
title = {Ensembling Math Information Retrieval Systems: {MIRMU} and {MSM} at
ARQMath 2021},
booktitle = {Proceedings of the Working Notes of {CLEF} 2021 - Conference and Labs
of the Evaluation Forum, Bucharest, Romania, September 21st - to -
24th, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2936},
pages = {82--106},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2936/paper-06.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:42 +0100},
biburl = {https://dblp.org/rec/conf/clef/NovotnySLGZS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/PokornySN21,
author = {David Pokorn{\'{y}} and
Petr Socha and
Martin Novotn{\'{y}}},
title = {Side-channel attack on Rainbow post-quantum signature},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2021, Grenoble, France, February 1-5, 2021},
pages = {565--568},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/DATE51398.2021.9474157},
doi = {10.23919/DATE51398.2021.9474157},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/PokornySN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BlahoudekCNOTT21,
author = {Frantisek Blahoudek and
Murat Cubuktepe and
Petr Novotn{\'{y}} and
Melkior Ornik and
Pranay Thangeda and
Ufuk Topcu},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Fuel in Markov Decision Processes (FiMDP): {A} Practical Approach
to Consumption},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {640--656},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_34},
doi = {10.1007/978-3-030-90870-6\_34},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BlahoudekCNOTT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ChatterjeeGNZZ21,
author = {Krishnendu Chatterjee and
Ehsan Kafshdar Goharshady and
Petr Novotn{\'{y}} and
Jiri Z{\'{a}}rev{\'{u}}cky and
Dorde Zikelic},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {On Lexicographic Proof Rules for Probabilistic Termination},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {619--639},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_33},
doi = {10.1007/978-3-030-90870-6\_33},
timestamp = {Thu, 11 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/ChatterjeeGNZZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/0002OFN21,
author = {Petr H{\'{a}}jek and
Vladim{\'{\i}}r Olej and
Wojciech Froelich and
Josef Novotny},
editor = {Ilias Maglogiannis and
John MacIntyre and
Lazaros Iliadis},
title = {Intuitionistic Fuzzy Neural Network for Time Series Forecasting -
The Case of Metal Prices},
booktitle = {Artificial Intelligence Applications and Innovations - 17th {IFIP}
{WG} 12.5 International Conference, {AIAI} 2021, Hersonissos, Crete,
Greece, June 25-27, 2021, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {627},
pages = {411--422},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79150-6\_33},
doi = {10.1007/978-3-030-79150-6\_33},
timestamp = {Wed, 05 Oct 2022 21:11:03 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/0002OFN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-7/Korpela0DDLH21,
author = {Kari Korpela and
Petr Novotn{\'{y}} and
Alevtina Dubovitskaya and
Tomi Dahlberg and
Mika Lammi and
Jukka Hallikas},
editor = {Alexandre Dolgui and
Alain Bernard and
David Lemoine and
Gregor von Cieminski and
David Romero},
title = {Blockchain Design for Digital Supply Chain Integration},
booktitle = {Advances in Production Management Systems. Artificial Intelligence
for Sustainable and Resilient Production Systems - {IFIP} {WG} 5.7
International Conference, {APMS} 2021, Nantes, France, September 5-9,
2021, Proceedings, Part {IV}},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {633},
pages = {90--98},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85910-7\_10},
doi = {10.1007/978-3-030-85910-7\_10},
timestamp = {Fri, 12 Apr 2024 12:51:34 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-7/Korpela0DDLH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/menacomm/HamdaniLNBB21,
author = {Sara El Hamdani and
Salah Eddine Loudari and
Stanislav Novotn{\'{y}} and
Petr Bouchner and
Nabil Benamar},
title = {A Markov Decision Process Model for a Reinforcement Learning-based
Autonomous Pedestrian Crossing Protocol},
booktitle = {3rd {IEEE} Middle East and North Africa COMMunications Conference,
{MENACOMM} 2021, Agadir, Morocco, December 3-5, 2021},
pages = {147--151},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MENACOMM50742.2021.9678310},
doi = {10.1109/MENACOMM50742.2021.9678310},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/menacomm/HamdaniLNBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/LiskaLNRSSSW21,
author = {Martin L{\'{\i}}ska and
D{\'{a}}vid Lupt{\'{a}}k and
V{\'{\i}}t Novotn{\'{y}} and
Michal Ruzicka and
Boris Shminke and
Petr Sojka and
Michal Stef{\'{a}}nik and
Makarius Wenzel},
editor = {Fairouz Kamareddine and
Claudio Sacerdoti Coen},
title = {CICM'21 Systems Entries},
booktitle = {Intelligent Computer Mathematics - 14th International Conference,
{CICM} 2021, Timisoara, Romania, July 26-31, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12833},
pages = {245--248},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81097-9\_20},
doi = {10.1007/978-3-030-81097-9\_20},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/LiskaLNRSSSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/LuptakNSS21,
author = {D{\'{a}}vid Lupt{\'{a}}k and
V{\'{\i}}t Novotn{\'{y}} and
Michal Stef{\'{a}}nik and
Petr Sojka},
editor = {Fairouz Kamareddine and
Claudio Sacerdoti Coen},
title = {WebMIaS on Docker - Deploying Math-Aware Search in a Single Line of
Code},
booktitle = {Intelligent Computer Mathematics - 14th International Conference,
{CICM} 2021, Timisoara, Romania, July 26-31, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12833},
pages = {159--164},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81097-9\_13},
doi = {10.1007/978-3-030-81097-9\_13},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/LuptakNSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChatterjeeG0Z21,
author = {Krishnendu Chatterjee and
Ehsan Kafshdar Goharshady and
Petr Novotn{\'{y}} and
Dorde Zikelic},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Proving non-termination by program reversal},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {1033--1048},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454093},
doi = {10.1145/3453483.3454093},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ChatterjeeG0Z21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ranlp/NovotnyABLSS21,
author = {V{\'{\i}}t Novotn{\'{y}} and
Eniafe Festus Ayetiran and
Dalibor Bacovsk{\'{y}} and
D{\'{a}}vid Lupt{\'{a}}k and
Michal Stef{\'{a}}nik and
Petr Sojka},
editor = {Galia Angelova and
Maria Kunilovskaya and
Ruslan Mitkov and
Ivelina Nikolova{-}Koleva},
title = {One Size Does Not Fit All: Finding the Optimal Subword Sizes for FastText
Models across Languages},
booktitle = {Proceedings of the International Conference on Recent Advances in
Natural Language Processing {(RANLP} 2021), Held Online, 1-3 September,
2021},
pages = {1068--1074},
publisher = {{INCOMA} Ltd.},
year = {2021},
url = {https://aclanthology.org/2021.ranlp-1.120},
timestamp = {Mon, 13 Nov 2023 12:27:35 +0100},
biburl = {https://dblp.org/rec/conf/ranlp/NovotnyABLSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raslan/BankovicNS21,
author = {Mikul{\'{a}}s Bankovic and
V{\'{\i}}t Novotn{\'{y}} and
Petr Sojka},
editor = {Ales Hor{\'{a}}k and
Pavel Rychl{\'{y}} and
Adam Rambousek},
title = {Application of Super-Resolution Models in Optical Character Recognition
of Czech Medieval Texts},
booktitle = {The 15th Workshop on Recent Advances in Slavonic Natural Languages
Processing, {RASLAN} 2021, Karlova Studanka, Czech Republic, December
10-12, 2021},
pages = {11--18},
publisher = {Tribun {EU}},
year = {2021},
url = {http://nlp.fi.muni.cz/raslan/2021/paper4.pdf},
timestamp = {Tue, 18 Jan 2022 14:20:45 +0100},
biburl = {https://dblp.org/rec/conf/raslan/BankovicNS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmt/StefanikNS21,
author = {Michal Stef{\'{a}}nik and
V{\'{\i}}t Novotn{\'{y}} and
Petr Sojka},
editor = {Lo{\"{\i}}c Barrault and
Ondrej Bojar and
Fethi Bougares and
Rajen Chatterjee and
Marta R. Costa{-}juss{\`{a}} and
Christian Federmann and
Mark Fishel and
Alexander Fraser and
Markus Freitag and
Yvette Graham and
Roman Grundkiewicz and
Paco Guzman and
Barry Haddow and
Matthias Huck and
Antonio Jimeno{-}Yepes and
Philipp Koehn and
Tom Kocmi and
Andr{\'{e}} Martins and
Makoto Morishita and
Christof Monz},
title = {Regressive Ensemble for Machine Translation Quality Evaluation},
booktitle = {Proceedings of the Sixth Conference on Machine Translation, WMT@EMNLP
2021, Online Event, November 10-11, 2021},
pages = {1041--1048},
publisher = {Association for Computational Linguistics},
year = {2021},
url = {https://aclanthology.org/2021.wmt-1.112},
timestamp = {Wed, 19 Jan 2022 17:10:33 +0100},
biburl = {https://dblp.org/rec/conf/wmt/StefanikNS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-02585,
author = {V{\'{\i}}t Novotn{\'{y}} and
Eniafe Festus Ayetiran and
D{\'{a}}vid Lupt{\'{a}}k and
Michal Stef{\'{a}}nik and
Petr Sojka},
title = {One Size Does Not Fit All: Finding the Optimal N-gram Sizes for FastText
Models across Languages},
journal = {CoRR},
volume = {abs/2102.02585},
year = {2021},
url = {https://arxiv.org/abs/2102.02585},
eprinttype = {arXiv},
eprint = {2102.02585},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-02585.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-00232,
author = {Eniafe Festus Ayetiran and
Petr Sojka and
V{\'{\i}}t Novotn{\'{y}}},
title = {{EDS-MEMBED:} Multi-sense embeddings based on enhanced distributional
semantic structures via a graph walk over word senses},
journal = {CoRR},
volume = {abs/2103.00232},
year = {2021},
url = {https://arxiv.org/abs/2103.00232},
eprinttype = {arXiv},
eprint = {2103.00232},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-00232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-01189,
author = {Krishnendu Chatterjee and
Ehsan Kafshdar Goharshady and
Petr Novotn{\'{y}} and
Dorde Zikelic},
title = {Proving Non-termination by Program Reversal},
journal = {CoRR},
volume = {abs/2104.01189},
year = {2021},
url = {https://arxiv.org/abs/2104.01189},
eprinttype = {arXiv},
eprint = {2104.01189},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-01189.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-09691,
author = {V{\'{\i}}t Novotn{\'{y}} and
Michal Stef{\'{a}}nik and
Eniafe Festus Ayetiran and
Petr Sojka},
title = {When FastText Pays Attention: Efficient Estimation of Word Representations
using Constrained Positional Weighting},
journal = {CoRR},
volume = {abs/2104.09691},
year = {2021},
url = {https://arxiv.org/abs/2104.09691},
eprinttype = {arXiv},
eprint = {2104.09691},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-09691.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-02099,
author = {Frantisek Blahoudek and
Petr Novotn{\'{y}} and
Melkior Ornik and
Pranay Thangeda and
Ufuk Topcu},
title = {Efficient Strategy Synthesis for MDPs with Resource Constraints},
journal = {CoRR},
volume = {abs/2105.02099},
year = {2021},
url = {https://arxiv.org/abs/2105.02099},
eprinttype = {arXiv},
eprint = {2105.02099},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-02099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-00411,
author = {D{\'{a}}vid Lupt{\'{a}}k and
V{\'{\i}}t Novotn{\'{y}} and
Michal Stef{\'{a}}nik and
Petr Sojka},
title = {WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of
Code},
journal = {CoRR},
volume = {abs/2106.00411},
year = {2021},
url = {https://arxiv.org/abs/2106.00411},
eprinttype = {arXiv},
eprint = {2106.00411},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-00411.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-02188,
author = {Krishnendu Chatterjee and
Ehsan Kafshdar Goharshady and
Petr Novotn{\'{y}} and
Jiri Z{\'{a}}rev{\'{u}}cky and
Dorde Zikelic},
title = {On Lexicographic Proof Rules for Probabilistic Termination},
journal = {CoRR},
volume = {abs/2108.02188},
year = {2021},
url = {https://arxiv.org/abs/2108.02188},
eprinttype = {arXiv},
eprint = {2108.02188},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-02188.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-07242,
author = {Michal Stef{\'{a}}nik and
V{\'{\i}}t Novotn{\'{y}} and
Petr Sojka},
title = {Regressive Ensemble for Machine Translation Quality Evaluation},
journal = {CoRR},
volume = {abs/2109.07242},
year = {2021},
url = {https://arxiv.org/abs/2109.07242},
eprinttype = {arXiv},
eprint = {2109.07242},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-07242.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bspc/NovotnyDDRR20,
author = {Michal Novotn{\'{y}} and
Petr Dusek and
Imen Daly and
Evzen Ruzicka and
Jan Rusz},
title = {Glottal Source Analysis of Voice Deficits in Newly Diagnosed Drug-na{\"{\i}}ve
Patients with Parkinson's Disease: Correlation Between Acoustic Speech
Characteristics and Non-Speech Motor Performance},
journal = {Biomed. Signal Process. Control.},
volume = {57},
year = {2020},
url = {https://doi.org/10.1016/j.bspc.2019.101818},
doi = {10.1016/J.BSPC.2019.101818},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bspc/NovotnyDDRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ixda/SuchaSMSSBV20,
author = {Ladislava Zbiejczuk Such{\'{a}} and
Roman Novotn{\'{y}} and
Tom{\'{a}}s Stefek and
Aldo de Moor and
Jirina Belehradov{\'{a}} Svit{\'{a}}kov{\'{a}} and
Eliska Bartosov{\'{a}}. Petr Skyr{\'{\i}}k and
Barbora Buchtov{\'{a}} and
Eva V{\'{\i}}chov{\'{a}}},
title = {Designing an incubator for social innovations in libraries: Learnings
from the Research through Design approach},
journal = {IxD{\&}A},
volume = {47},
year = {2020},
url = {http://www.mifav.uniroma2.it/inevent/events/idea2010/index.php?s=10\&a=10\&link=ToC\_47\_P\&link=47\_10\_abstract},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ixda/SuchaSMSSBV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/NovotnyF20,
author = {Martin Novotn{\'{y}} and
Petr Fiser},
title = {Special issue on {DSD} 2018},
journal = {Microprocess. Microsystems},
volume = {77},
pages = {103204},
year = {2020},
url = {https://doi.org/10.1016/j.micpro.2020.103204},
doi = {10.1016/J.MICPRO.2020.103204},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/NovotnyF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/SochaBBNM20,
author = {Petr Socha and
Jan Brejn{\'{\i}}k and
Josep Balasch and
Martin Novotn{\'{y}} and
Nele Mentens},
title = {Side-channel countermeasures utilizing dynamic logic reconfiguration:
Protecting AES/Rijndael and Serpent encryption in hardware},
journal = {Microprocess. Microsystems},
volume = {78},
pages = {103208},
year = {2020},
url = {https://doi.org/10.1016/j.micpro.2020.103208},
doi = {10.1016/J.MICPRO.2020.103208},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/SochaBBNM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/systems/NovotnyJ20,
author = {Petr Novotn{\'{y}} and
Michaela Janosikova},
title = {Designating Regional Elements System in a Critical Infrastructure
System in the Context of the Czech Republic},
journal = {Syst.},
volume = {8},
number = {2},
pages = {13},
year = {2020},
url = {https://doi.org/10.3390/systems8020013},
doi = {10.3390/SYSTEMS8020013},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/systems/NovotnyJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BrazdilC0V20,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Petr Novotn{\'{y}} and
Jiri Vahala},
title = {Reinforcement Learning of Risk-Constrained Policies in Markov Decision
Processes},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {9794--9801},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i06.6531},
doi = {10.1609/AAAI.V34I06.6531},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BrazdilC0V20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ChatterjeeCK0R20,
author = {Krishnendu Chatterjee and
Martin Chmel{\'{\i}}k and
Deep Karkhanis and
Petr Novotn{\'{y}} and
Am{\'{e}}lie Royer},
editor = {J. Christopher Beck and
Olivier Buffet and
J{\"{o}}rg Hoffmann and
Erez Karpas and
Shirin Sohrabi},
title = {Multiple-Environment Markov Decision Processes: Efficient Analysis
and Applications},
booktitle = {Proceedings of the Thirtieth International Conference on Automated
Planning and Scheduling, Nancy, France, October 26-30, 2020},
pages = {48--56},
publisher = {{AAAI} Press},
year = {2020},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/6644},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/ChatterjeeCK0R20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BlahoudekB0OTT20,
author = {Frantisek Blahoudek and
Tom{\'{a}}s Br{\'{a}}zdil and
Petr Novotn{\'{y}} and
Melkior Ornik and
Pranay Thangeda and
Ufuk Topcu},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Qualitative Controller Synthesis for Consumption Markov Decision Processes},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
pages = {421--447},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8\_22},
doi = {10.1007/978-3-030-53291-8\_22},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BlahoudekB0OTT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clef/NovotnySSL20,
author = {V{\'{\i}}t Novotn{\'{y}} and
Petr Sojka and
Michal Stef{\'{a}}nik and
D{\'{a}}vid Lupt{\'{a}}k},
editor = {Linda Cappellato and
Carsten Eickhoff and
Nicola Ferro and
Aur{\'{e}}lie N{\'{e}}v{\'{e}}ol},
title = {Three is Better than One: Ensembling Math Information Retrieval Systems},
booktitle = {Working Notes of {CLEF} 2020 - Conference and Labs of the Evaluation
Forum, Thessaloniki, Greece, September 22-25, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2696},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2696/paper\_235.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:35 +0100},
biburl = {https://dblp.org/rec/conf/clef/NovotnySSL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/MouchaJN20,
author = {Petr Moucha and
Stanislav Jer{\'{a}}bek and
Martin Novotn{\'{y}}},
title = {Novel Dummy Rounds Schemes as a {DPA} Countermeasure in {PRESENT}
Cipher},
booktitle = {23rd International Symposium on Design and Diagnostics of Electronic
Circuits {\&} Systems, {DDECS} 2020, Novi Sad, Serbia, April 22-24,
2020},
pages = {1--4},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/DDECS50862.2020.9095720},
doi = {10.1109/DDECS50862.2020.9095720},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ddecs/MouchaJN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/MouchaJN20,
author = {Petr Moucha and
Stanislav Jer{\'{a}}bek and
Martin Novotn{\'{y}}},
title = {Novel Controller for Dummy Rounds Scheme {DPA} Countermeasure},
booktitle = {23rd Euromicro Conference on Digital System Design, {DSD} 2020, Kranj,
Slovenia, August 26-28, 2020},
pages = {281--284},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/DSD51259.2020.00053},
doi = {10.1109/DSD51259.2020.00053},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsd/MouchaJN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/SochaN20,
author = {Petr Socha and
Martin Novotn{\'{y}}},
title = {Towards High-Level Synthesis of Polymorphic Side-Channel Countermeasures},
booktitle = {23rd Euromicro Conference on Digital System Design, {DSD} 2020, Kranj,
Slovenia, August 26-28, 2020},
pages = {193--199},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/DSD51259.2020.00040},
doi = {10.1109/DSD51259.2020.00040},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsd/SochaN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/DubovitskayaS020,
author = {Alevtina Dubovitskaya and
Ali Sunyaev and
Petr Novotn{\'{y}}},
title = {Introduction to the Minitrack on Blockchain-based Intelligent Data-Management
for Healthcare (BID4Health)},
booktitle = {53rd Hawaii International Conference on System Sciences, {HICSS} 2020,
Maui, Hawaii, USA, January 7-10, 2020},
pages = {1--2},
publisher = {ScholarSpace},
year = {2020},
url = {https://hdl.handle.net/10125/64141},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/DubovitskayaS020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/i2mtc/NovotnyPDP20,
author = {David Novotn{\'{y}} and
Vojtech Petrucha and
Michal Dressler and
Anton{\'{\i}}n Platil},
title = {{AMR} Magnetometer With Digital Feedback for Space Applications},
booktitle = {2020 {IEEE} International Instrumentation and Measurement Technology
Conference, {I2MTC} 2020, Dubrovnik, Croatia, May 25-28, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/I2MTC43012.2020.9129039},
doi = {10.1109/I2MTC43012.2020.9129039},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/i2mtc/NovotnyPDP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeesensors/NovotnyP20,
author = {David Novotn{\'{y}} and
Vojtech Petrucha},
title = {High Dynamic Range Digital Fluxgate Magnetometer},
booktitle = {2020 {IEEE} Sensors, Rotterdam, The Netherlands, October 25-28, 2020},
pages = {1--4},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SENSORS47125.2020.9278852},
doi = {10.1109/SENSORS47125.2020.9278852},
timestamp = {Tue, 13 Dec 2022 08:56:31 +0100},
biburl = {https://dblp.org/rec/conf/ieeesensors/NovotnyP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/odyssey/AlamBBDSLGSLMMM20,
author = {Jahangir Alam and
Gilles Boulianne and
Luk{\'{a}}s Burget and
Mohamed Dahmane and
Mireia D{\'{\i}}ez S{\'{a}}nchez and
Alicia Lozano{-}Diez and
Ondrej Glembek and
Pierre{-}Luc St{-}Charles and
Marc Lalonde and
Pavel Matejka and
Petr Mizera and
Jo{\~{a}}o Monteiro and
Ladislav Mosner and
Cedric Noiseux and
Ondrej Novotn{\'{y}} and
Oldrich Plchot and
Johan Rohdin and
Anna Silnova and
Josef Slav{\'{\i}}cek and
Themos Stafylakis and
Shuai Wang and
Hossein Zeinali},
editor = {Kong{-}Aik Lee and
Takafumi Koshinaka and
Koichi Shinoda},
title = {Analysis of {ABC} Submission to {NIST} {SRE} 2019 {CMN} and {VAST}
Challenge},
booktitle = {Odyssey 2020: The Speaker and Language Recognition Workshop, 1-5 November
2020, Tokyo, Japan},
pages = {289--295},
publisher = {{ISCA}},
year = {2020},
url = {https://doi.org/10.21437/Odyssey.2020-41},
doi = {10.21437/ODYSSEY.2020-41},
timestamp = {Fri, 24 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/odyssey/AlamBBDSLGSLMMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raslan/NovotnySLS20,
author = {V{\'{\i}}t Novotn{\'{y}} and
Michal Stef{\'{a}}nik and
D{\'{a}}vid Lupt{\'{a}}k and
Petr Sojka},
editor = {Ales Hor{\'{a}}k and
Pavel Rychl{\'{y}} and
Adam Rambousek},
title = {Towards Useful Word Embeddings},
booktitle = {The 14th Workshop on Recent Advances in Slavonic Natural Languages
Processing, {RASLAN} 2020, Brno (on-line), Czech Republic, December
8-10, 2020},
pages = {37--46},
publisher = {Tribun {EU}},
year = {2020},
url = {http://nlp.fi.muni.cz/raslan/2020/paper11.pdf},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/raslan/NovotnySLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-12086,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Petr Novotn{\'{y}} and
Jiri Vahala},
title = {Reinforcement Learning of Risk-Constrained Policies in Markov Decision
Processes},
journal = {CoRR},
volume = {abs/2002.12086},
year = {2020},
url = {https://arxiv.org/abs/2002.12086},
eprinttype = {arXiv},
eprint = {2002.12086},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12086.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-05019,
author = {V{\'{\i}}t Novotn{\'{y}} and
Eniafe Festus Ayetiran and
Michal Stef{\'{a}}nik and
Petr Sojka},
title = {Text classification with word embedding regularization and soft similarity
measure},
journal = {CoRR},
volume = {abs/2003.05019},
year = {2020},
url = {https://arxiv.org/abs/2003.05019},
eprinttype = {arXiv},
eprint = {2003.05019},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-05019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-07227,
author = {Frantisek Blahoudek and
Tom{\'{a}}s Br{\'{a}}zdil and
Petr Novotn{\'{y}} and
Melkior Ornik and
Pranay Thangeda and
Ufuk Topcu},
title = {Qualitative Controller Synthesis for Consumption Markov Decision Processes},
journal = {CoRR},
volume = {abs/2005.07227},
year = {2020},
url = {https://arxiv.org/abs/2005.07227},
eprinttype = {arXiv},
eprint = {2005.07227},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-07227.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/DillenbergerNZJ19,
author = {Donna Dillenberger and
Petr Novotn{\'{y}} and
Q. Zhang and
Praveen Jayachandran and
H. Gupta and
Sandeep Hans and
Dinesh C. Verma and
Shreya Chakraborty and
J. J. Thomas and
M. M. Walli and
Roman Vacul{\'{\i}}n and
Kanthi K. Sarpatwar},
title = {Blockchain analytics and artificial intelligence},
journal = {{IBM} J. Res. Dev.},
volume = {63},
number = {2/3},
pages = {5:1--5:14},
year = {2019},
url = {https://doi.org/10.1147/JRD.2019.2900638},
doi = {10.1147/JRD.2019.2900638},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmrd/DillenbergerNZJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/SochaMKN19,
author = {Petr Socha and
Vojtech Miskovsk{\'{y}} and
Hana Kub{\'{a}}tov{\'{a}} and
Martin Novotn{\'{y}}},
title = {Efficient algorithmic evaluation of correlation power analysis: Key
distinguisher based on the correlation trace derivative},
journal = {Microprocess. Microsystems},
volume = {71},
year = {2019},
url = {https://doi.org/10.1016/j.micpro.2019.102858},
doi = {10.1016/J.MICPRO.2019.102858},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/SochaMKN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/JendeleK0NH19,
author = {Luk{\'{a}}s Jendele and
Radoslav Kriv{\'{a}}k and
Petr Skoda and
Marian Novotny and
David Hoksza},
title = {PrankWeb: a web server for ligand binding site prediction and visualization},
journal = {Nucleic Acids Res.},
volume = {47},
number = {Webserver-Issue},
pages = {W345--W349},
year = {2019},
url = {https://doi.org/10.1093/nar/gkz424},
doi = {10.1093/NAR/GKZ424},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/JendeleK0NH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/DejmalKNR19,
author = {Karel Dejmal and
Petr Kol{\'{a}}r and
Josef Novotny and
Alena Roubalova},
title = {The Potential of Utilizing Air Temperature Datasets from Non-Professional
Meteorological Stations in Brno and Surrounding Area},
journal = {Sensors},
volume = {19},
number = {19},
pages = {4172},
year = {2019},
url = {https://doi.org/10.3390/s19194172},
doi = {10.3390/S19194172},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/DejmalKNR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BrazdilC00V19,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Dominik Velan},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Deciding Fast Termination for Probabilistic {VASS} with Nondeterminism},
booktitle = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
pages = {462--478},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_27},
doi = {10.1007/978-3-030-31784-3\_27},
timestamp = {Mon, 03 Jan 2022 17:11:32 +0100},
biburl = {https://dblp.org/rec/conf/atva/BrazdilC00V19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/SochaBJNM19,
author = {Petr Socha and
Jan Brejn{\'{\i}}k and
Stanislav Jerabek and
Martin Novotn{\'{y}} and
Nele Mentens},
title = {Dynamic Logic Reconfiguration Based Side-Channel Protection of {AES}
and Serpent},
booktitle = {22nd Euromicro Conference on Digital System Design, {DSD} 2019, Kallithea,
Greece, August 28-30, 2019},
pages = {277--282},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/DSD.2019.00048},
doi = {10.1109/DSD.2019.00048},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsd/SochaBJNM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BalajiK0PS19,
author = {Nikhil Balaji and
Stefan Kiefer and
Petr Novotn{\'{y}} and
Guillermo A. P{\'{e}}rez and
Mahsa Shirmohammadi},
editor = {Christel Baier and
Ioannis Chatzigiannakis and
Paola Flocchini and
Stefano Leonardi},
title = {On the Complexity of Value Iteration},
booktitle = {46th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2019, July 9-12, 2019, Patras, Greece},
series = {LIPIcs},
volume = {132},
pages = {102:1--102:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.102},
doi = {10.4230/LIPICS.ICALP.2019.102},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BalajiK0PS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meco/SochaMN19,
author = {Petr Socha and
Vojtech Miskovsk{\'{y}} and
Martin Novotn{\'{y}}},
title = {First-Order and Higher-Order Power Analysis: Computational Approaches
and Aspects},
booktitle = {8th Mediterranean Conference on Embedded Computing, {MECO} 2019, Budva,
Montenegro, June 10-14, 2019},
pages = {1--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MECO.2019.8760033},
doi = {10.1109/MECO.2019.8760033},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/meco/SochaMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/AbebeBGHK0PRV19,
author = {Ermyas Abebe and
Dushyant Behl and
Chander Govindarajan and
Yining Hu and
Dileban Karunamoorthy and
Petr Novotn{\'{y}} and
Vinayaka Pandit and
Venkatraman Ramakrishna and
Christian Vecchiola},
editor = {Dejan S. Milojicic and
Vinod Muthusamy},
title = {Enabling Enterprise Blockchain Interoperability with Trusted Data
Transfer (Industry Track)},
booktitle = {Proceedings of the 20th International Middleware Conference Industrial
Track, Davis, CA, USA, December 9-13, 2019},
pages = {29--35},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3366626.3368129},
doi = {10.1145/3366626.3368129},
timestamp = {Tue, 04 Feb 2020 14:17:11 +0100},
biburl = {https://dblp.org/rec/conf/middleware/AbebeBGHK0PRV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raslan/SojkaNALS19,
author = {Petr Sojka and
V{\'{\i}}t Novotn{\'{y}} and
Eniafe Festus Ayetiran and
D{\'{a}}vid Lupt{\'{a}}k and
Michal Stef{\'{a}}nik},
editor = {Ales Hor{\'{a}}k and
Pavel Rychl{\'{y}} and
Adam Rambousek},
title = {Quo Vadis, Math Information Retrieval},
booktitle = {The 13th Workshop on Recent Advances in Slavonic Natural Languages
Processing, {RASLAN} 2019, Karlova Studanka, Czech Republic, December
6-8, 2019},
pages = {117--128},
publisher = {Tribun {EU}},
year = {2019},
url = {http://nlp.fi.muni.cz/raslan/2019/paper11-sojka.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/raslan/SojkaNALS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AvniHIN19,
author = {Guy Avni and
Thomas A. Henzinger and
Rasmus Ibsen{-}Jensen and
Petr Novotn{\'{y}}},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {Bidding Games on Markov Decision Processes},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {1--12},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_1},
doi = {10.1007/978-3-030-30806-3\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/AvniHIN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/Dubovitskaya0TS19,
author = {Alevtina Dubovitskaya and
Petr Novotn{\'{y}} and
Scott Thiebes and
Ali Sunyaev and
Michael Schumacher and
Zhigang Xu and
Fusheng Wang},
editor = {Vijay Gadepally and
Timothy G. Mattson and
Michael Stonebraker and
Fusheng Wang and
Gang Luo and
Yanhui Laing and
Alevtina Dubovitskaya},
title = {Intelligent Health Care Data Management Using Blockchain: Current
Limitation and Future Research Agenda},
booktitle = {Heterogeneous Data Management, Polystores, and Analytics for Healthcare
- {VLDB} 2019 Workshops, Poly and DMAH, Los Angeles, CA, USA, August
30, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11721},
pages = {277--288},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33752-0\_20},
doi = {10.1007/978-3-030-33752-0\_20},
timestamp = {Wed, 03 Aug 2022 16:12:01 +0200},
biburl = {https://dblp.org/rec/conf/vldb/Dubovitskaya0TS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-11010,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Dominik Velan},
title = {Deciding Fast Termination for Probabilistic {VASS} with Nondeterminism},
journal = {CoRR},
volume = {abs/1907.11010},
year = {2019},
url = {http://arxiv.org/abs/1907.11010},
eprinttype = {arXiv},
eprint = {1907.11010},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-11010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-01064,
author = {Ermyas Abebe and
Dushyant Behl and
Chander Govindarajan and
Yining Hu and
Dileban Karunamoorthy and
Petr Novotn{\'{y}} and
Vinayaka Pandit and
Venkatraman Ramakrishna and
Christian Vecchiola},
title = {Enabling Enterprise Blockchain Interoperability with Trusted Data
Transfer (industry track)},
journal = {CoRR},
volume = {abs/1911.01064},
year = {2019},
url = {http://arxiv.org/abs/1911.01064},
eprinttype = {arXiv},
eprint = {1911.01064},
timestamp = {Wed, 13 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-01064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/GregorNS18,
author = {Petr Gregor and
Tom{\'{a}}s Novotn{\'{y}} and
Riste Skrekovski},
title = {Extending Perfect Matchings to Gray Codes with Prescribed Ends},
journal = {Electron. J. Comb.},
volume = {25},
number = {2},
pages = {2},
year = {2018},
url = {https://doi.org/10.37236/6928},
doi = {10.37236/6928},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/GregorNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/MenciasDNTMPDVO18,
author = {Angel Nu{\~{n}}ez Mencias and
Donna N. Dillenberger and
Petr Novotn{\'{y}} and
Fabian Toth and
Thomas E. Morris and
Volodymyr Paprotski and
John C. Dayka and
Tamas Visegrady and
Bill O'Farrell and
Jakob Lang and
Ellen Carbarnes},
title = {An optimized blockchain solution for the {IBM} z14},
journal = {{IBM} J. Res. Dev.},
volume = {62},
number = {2/3},
pages = {4:1--4:11},
year = {2018},
url = {https://doi.org/10.1147/JRD.2018.2795889},
doi = {10.1147/JRD.2018.2795889},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ibmrd/MenciasDNTMPDVO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcip/RehakSHLN18,
author = {David Rehak and
Pavel Senovsky and
Martin Hromada and
Tom{\'{a}}s Lovecek and
Petr Novotn{\'{y}}},
title = {Cascading Impact Assessment in a Critical Infrastructure System},
journal = {Int. J. Crit. Infrastructure Prot.},
volume = {22},
pages = {125--138},
year = {2018},
url = {https://doi.org/10.1016/j.ijcip.2018.06.004},
doi = {10.1016/J.IJCIP.2018.06.004},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcip/RehakSHLN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isu/NovotnyZHBLVFD18,
author = {Petr Novotn{\'{y}} and
Qi Zhang and
Richard Hull and
Salman Baset and
Jim Laredo and
Roman Vacul{\'{\i}}n and
Daniel L. Ford and
Donna N. Dillenberger},
title = {Permissioned blockchain technologies for academic publishing},
journal = {Inf. Serv. Use},
volume = {38},
number = {3},
pages = {159--171},
year = {2018},
url = {https://doi.org/10.3233/ISU-180020},
doi = {10.3233/ISU-180020},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isu/NovotnyZHBLVFD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AgrawalC018,
author = {Sheshansh Agrawal and
Krishnendu Chatterjee and
Petr Novotn{\'{y}}},
title = {Lexicographic ranking supermartingales: an efficient approach to termination
of probabilistic programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {34:1--34:32},
year = {2018},
url = {https://doi.org/10.1145/3158122},
doi = {10.1145/3158122},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AgrawalC018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/NovotnyKW18,
author = {Petr Novotn{\'{y}} and
Bong Jun Ko and
Alexander L. Wolf},
title = {Locating Faults in MANET-Hosted Software Systems},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {15},
number = {3},
pages = {452--465},
year = {2018},
url = {https://doi.org/10.1109/TDSC.2016.2596284},
doi = {10.1109/TDSC.2016.2596284},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tdsc/NovotnyKW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ChatterjeeFNH18,
author = {Krishnendu Chatterjee and
Hongfei Fu and
Petr Novotn{\'{y}} and
Rouzbeh Hasheminezhad},
title = {Algorithmic Analysis of Qualitative and Quantitative Termination Problems
for Affine Probabilistic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {40},
number = {2},
pages = {7:1--7:45},
year = {2018},
url = {https://doi.org/10.1145/3174800},
doi = {10.1145/3174800},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/ChatterjeeFNH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/SojkaRN18,
author = {Petr Sojka and
Michal Ruzicka and
V{\'{\i}}t Novotn{\'{y}}},
editor = {Alfredo Cuzzocrea and
James Allan and
Norman W. Paton and
Divesh Srivastava and
Rakesh Agrawal and
Andrei Z. Broder and
Mohammed J. Zaki and
K. Sel{\c{c}}uk Candan and
Alexandros Labrinidis and
Assaf Schuster and
Haixun Wang},
title = {MIaS: Math-Aware Retrieval in Digital Mathematical Libraries},
booktitle = {Proceedings of the 27th {ACM} International Conference on Information
and Knowledge Management, {CIKM} 2018, Torino, Italy, October 22-26,
2018},
pages = {1923--1926},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3269206.3269233},
doi = {10.1145/3269206.3269233},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/SojkaRN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/SochaMKN18,
author = {Petr Socha and
Vojtech Miskovsk{\'{y}} and
Hana Kub{\'{a}}tov{\'{a}} and
Martin Novotn{\'{y}}},
editor = {Martin Novotn{\'{y}} and
Nikos Konofaos and
Amund Skavhaug},
title = {Correlation Power Analysis Distinguisher Based on the Correlation
Trace Derivative},
booktitle = {21st Euromicro Conference on Digital System Design, {DSD} 2018, Prague,
Czech Republic, August 29-31, 2018},
pages = {565--568},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/DSD.2018.00098},
doi = {10.1109/DSD.2018.00098},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/SochaMKN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbc/ZhangNBDBM18,
author = {Qi Zhang and
Petr Novotn{\'{y}} and
Salman Baset and
Donna N. Dillenberger and
Artem Barger and
Yacov Manevich},
editor = {Shiping Chen and
Harry Wang and
Liang{-}Jie Zhang},
title = {LedgerGuard: Improving Blockchain Ledger Dependability},
booktitle = {Blockchain - {ICBC} 2018 - First International Conference, Held as
Part of the Services Conference Federation, {SCF} 2018, Seattle, WA,
USA, June 25-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10974},
pages = {251--258},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94478-4\_18},
doi = {10.1007/978-3-319-94478-4\_18},
timestamp = {Tue, 19 Nov 2019 12:34:54 +0100},
biburl = {https://dblp.org/rec/conf/icbc/ZhangNBDBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/AstigarragaCCG018,
author = {Tara Astigarraga and
Xiaoyan Chen and
Yaoliang Chen and
Jingxiao Gu and
Richard Hull and
Limei Jiao and
Yuliang Li and
Petr Novotn{\'{y}}},
editor = {Claus Pahl and
Maja Vukovic and
Jianwei Yin and
Qi Yu},
title = {Empowering Business-Level Blockchain Users with a Rules Framework
for Smart Contracts},
booktitle = {Service-Oriented Computing - 16th International Conference, {ICSOC}
2018, Hangzhou, China, November 12-15, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11236},
pages = {111--128},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03596-9\_8},
doi = {10.1007/978-3-030-03596-9\_8},
timestamp = {Mon, 26 Jun 2023 20:44:14 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/AstigarragaCCG018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChatterjeeE0R18,
author = {Krishnendu Chatterjee and
Adri{\'{a}}n Elgy{\"{u}}tt and
Petr Novotn{\'{y}} and
Owen Rouill{\'{e}}},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Expectation Optimization with Probabilistic Guarantees in POMDPs with
Discounted-Sum Objectives},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {4692--4699},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/652},
doi = {10.24963/IJCAI.2018/652},
timestamp = {Tue, 20 Aug 2019 16:19:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ChatterjeeE0R18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BrazdilCK0VZ18,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Dominik Velan and
Florian Zuleger},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Efficient Algorithms for Asymptotic Bounds on Termination Time in
{VASS}},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {185--194},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209191},
doi = {10.1145/3209108.3209191},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BrazdilCK0VZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/odyssey/SilnovaMGPNGSBC18,
author = {Anna Silnova and
Pavel Matejka and
Ondrej Glembek and
Oldrich Plchot and
Ondrej Novotn{\'{y}} and
Frantisek Gr{\'{e}}zl and
Petr Schwarz and
Luk{\'{a}}s Burget and
Jan Cernock{\'{y}}},
editor = {Anthony Larcher and
Jean{-}Fran{\c{c}}ois Bonastre},
title = {BUT/Phonexia Bottleneck Feature Extractor},
booktitle = {Odyssey 2018: The Speaker and Language Recognition Workshop, 26-29
June 2018, Les Sables d'Olonne, France},
pages = {283--287},
publisher = {{ISCA}},
year = {2018},
url = {https://doi.org/10.21437/Odyssey.2018-40},
doi = {10.21437/ODYSSEY.2018-40},
timestamp = {Tue, 07 May 2024 20:08:38 +0200},
biburl = {https://dblp.org/rec/conf/odyssey/SilnovaMGPNGSBC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raslan/NovotnyS18,
author = {V{\'{\i}}t Novotn{\'{y}} and
Petr Sojka},
editor = {Ales Hor{\'{a}}k and
Pavel Rychl{\'{y}} and
Adam Rambousek},
title = {Weighting of Passages in Question Answering},
booktitle = {The 12th Workshop on Recent Advances in Slavonic Natural Languages
Processing, {RASLAN} 2018, Karlova Studanka, Czech Republic, December
7-9, 2018},
pages = {31--40},
publisher = {Tribun {EU}},
year = {2018},
timestamp = {Wed, 20 Feb 2019 13:13:57 +0100},
biburl = {https://dblp.org/rec/conf/raslan/NovotnyS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/specom/ZajicZPSNPM18,
author = {Zbynek Zaj{\'{\i}}c and
Lucie Zaj{\'{\i}}cov{\'{a}} and
Josef V. Psutka and
Petr Salajka and
Jarom{\'{\i}}r Novotn{\'{y}} and
Ales Praz{\'{a}}k and
Ludek M{\"{u}}ller},
editor = {Alexey Karpov and
Oliver Jokisch and
Rodmonga Potapova},
title = {First Insight into the Processing of the Language Consulting Center
Data},
booktitle = {Speech and Computer - 20th International Conference, {SPECOM} 2018,
Leipzig, Germany, September 18-22, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11096},
pages = {778--787},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99579-3\_79},
doi = {10.1007/978-3-319-99579-3\_79},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/specom/ZajicZPSNPM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10601,
author = {Krishnendu Chatterjee and
Adri{\'{a}}n Elgy{\"{u}}tt and
Petr Novotn{\'{y}} and
Owen Rouill{\'{e}}},
title = {Expectation Optimization with Probabilistic Guarantees in POMDPs with
Discounted-sum Objectives},
journal = {CoRR},
volume = {abs/1804.10601},
year = {2018},
url = {http://arxiv.org/abs/1804.10601},
eprinttype = {arXiv},
eprint = {1804.10601},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10601.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10985,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Dominik Velan and
Florian Zuleger},
title = {Efficient Algorithms for Asymptotic Bounds on Termination Time in
{VASS}},
journal = {CoRR},
volume = {abs/1804.10985},
year = {2018},
url = {http://arxiv.org/abs/1804.10985},
eprinttype = {arXiv},
eprint = {1804.10985},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10985.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-01081,
author = {Qi Zhang and
Petr Novotn{\'{y}} and
Salman Baset and
Donna N. Dillenberger and
Artem Barger and
Yacov Manevich},
title = {LedgerGuard: Improving Blockchain Ledger Dependability},
journal = {CoRR},
volume = {abs/1805.01081},
year = {2018},
url = {http://arxiv.org/abs/1805.01081},
eprinttype = {arXiv},
eprint = {1805.01081},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-01081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-04920,
author = {Nikhil Balaji and
Stefan Kiefer and
Petr Novotn{\'{y}} and
Guillermo A. P{\'{e}}rez and
Mahsa Shirmohammadi},
title = {On the Complexity of Iterative Tropical Computation with Applications
to Markov Decision Processes},
journal = {CoRR},
volume = {abs/1807.04920},
year = {2018},
url = {http://arxiv.org/abs/1807.04920},
eprinttype = {arXiv},
eprint = {1807.04920},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-04920.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-09224,
author = {Petr Sojka and
Michal Ruzicka and
V{\'{\i}}t Novotn{\'{y}}},
title = {MIaS: Math-Aware Retrieval in Digital Mathematical Libraries},
journal = {CoRR},
volume = {abs/1808.09224},
year = {2018},
url = {http://arxiv.org/abs/1808.09224},
eprinttype = {arXiv},
eprint = {1808.09224},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-09224.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-08526,
author = {Petr Novotn{\'{y}} and
Bong Jun Ko and
Alexander L. Wolf},
title = {Harvesting Time-Series Data from Service-Based Systems Hosted in MANETs},
journal = {CoRR},
volume = {abs/1809.08526},
year = {2018},
url = {http://arxiv.org/abs/1809.08526},
eprinttype = {arXiv},
eprint = {1809.08526},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-08526.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-08529,
author = {Petr Novotn{\'{y}} and
Qi Zhang and
Richard Hull and
Salman Baset and
Jim Laredo and
Roman Vacul{\'{\i}}n and
Daniel L. Ford and
Donna N. Dillenberger},
title = {Permissioned Blockchain Technologies for Academic Publishing},
journal = {CoRR},
volume = {abs/1809.08529},
year = {2018},
url = {http://arxiv.org/abs/1809.08529},
eprinttype = {arXiv},
eprint = {1809.08529},
timestamp = {Wed, 08 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-08529.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/FinkDGN17,
author = {Jir{\'{\i}} Fink and
Tom{\'{a}}s Dvor{\'{a}}k and
Petr Gregor and
Tom{\'{a}}s Novotn{\'{y}}},
title = {Towards a problem of Ruskey and Savage on matching extendability},
journal = {Electron. Notes Discret. Math.},
volume = {61},
pages = {437--443},
year = {2017},
url = {https://doi.org/10.1016/j.endm.2017.06.071},
doi = {10.1016/J.ENDM.2017.06.071},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/FinkDGN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Chatterjee0PRZ17,
author = {Krishnendu Chatterjee and
Petr Novotn{\'{y}} and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Dorde Zikelic},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Optimizing Expectation with Guarantees in POMDPs},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {3725--3732},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.11046},
doi = {10.1609/AAAI.V31I1.11046},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Chatterjee0PRZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/SochaMKN17,
author = {Petr Socha and
Vojtech Miskovsk{\'{y}} and
Hana Kub{\'{a}}tov{\'{a}} and
Martin Novotn{\'{y}}},
editor = {Manfred Dietrich and
Ondrej Nov{\'{a}}k},
title = {Optimization of Pearson correlation coefficient calculation for {DPA}
and comparison of different approaches},
booktitle = {20th {IEEE} International Symposium on Design and Diagnostics of Electronic
Circuits {\&} Systems, {DDECS} 2017, Dresden, Germany, April 19-21,
2017},
pages = {184--189},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/DDECS.2017.7934563},
doi = {10.1109/DDECS.2017.7934563},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ddecs/SochaMKN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ChatterjeeNZ17,
author = {Krishnendu Chatterjee and
Petr Novotn{\'{y}} and
Dorde Zikelic},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Stochastic invariants for probabilistic termination},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {145--160},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009873},
doi = {10.1145/3009837.3009873},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/ChatterjeeNZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rep4nlp/RyglPRRNS17,
author = {Jan Rygl and
Jan Pomik{\'{a}}lek and
Radim Rehurek and
Michal Ruzicka and
V{\'{\i}}t Novotn{\'{y}} and
Petr Sojka},
editor = {Phil Blunsom and
Antoine Bordes and
Kyunghyun Cho and
Shay B. Cohen and
Chris Dyer and
Edward Grefenstette and
Karl Moritz Hermann and
Laura Rimell and
Jason Weston and
Scott Yih},
title = {Semantic Vector Encoding and Similarity Search Using Fulltext Search
Engines},
booktitle = {Proceedings of the 2nd Workshop on Representation Learning for NLP,
Rep4NLP@ACL 2017, Vancouver, Canada, August 3, 2017},
pages = {81--90},
publisher = {Association for Computational Linguistics},
year = {2017},
url = {https://doi.org/10.18653/v1/w17-2611},
doi = {10.18653/V1/W17-2611},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rep4nlp/RyglPRRNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/RuzickaNSPR17,
author = {Michal Ruzicka and
V{\'{\i}}t Novotn{\'{y}} and
Petr Sojka and
Jan Pomik{\'{a}}lek and
Radim Rehurek},
editor = {Sarven Capadisli and
Franck Cotton and
Xin Luna Dong and
Ramanathan V. Guha and
Armin Haller and
Pascal Hitzler and
Evangelos Kalampokis and
Mayank Kejriwal and
Freddy L{\'{e}}cu{\'{e}} and
D. Sivakumar and
Pedro A. Szekely and
Rapha{\"{e}}l Troncy and
Michael Witbrock},
title = {Flexible Similarity Search of Semantic Vectors Using Fulltext Search
Engines},
booktitle = {Joint Proceedings of the International Workshops on Hybrid Statistical
Semantic Understanding and Emerging Semantics, and Semantic Statistics
co-located with 16th International Semantic Web Conference, HybridSemStats@ISWC
2017, Vienna, Austria October 22nd, 2017},
series = {{CEUR} Workshop Proceedings},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1923/article-01.pdf},
timestamp = {Tue, 18 Jul 2023 15:12:42 +0200},
biburl = {https://dblp.org/rec/conf/semweb/RuzickaNSPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RyglPRRNS17,
author = {Jan Rygl and
Jan Pomik{\'{a}}lek and
Radim Rehurek and
Michal Ruzicka and
V{\'{\i}}t Novotn{\'{y}} and
Petr Sojka},
title = {Semantic Vector Encoding and Similarity Search Using Fulltext Search
Engines},
journal = {CoRR},
volume = {abs/1706.00957},
year = {2017},
url = {http://arxiv.org/abs/1706.00957},
eprinttype = {arXiv},
eprint = {1706.00957},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RyglPRRNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-09253,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Dominik Velan},
title = {Efficient Algorithms for Checking Fast Termination in {VASS}},
journal = {CoRR},
volume = {abs/1708.09253},
year = {2017},
url = {http://arxiv.org/abs/1708.09253},
eprinttype = {arXiv},
eprint = {1708.09253},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-09253.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-04037,
author = {Sheshansh Agrawal and
Krishnendu Chatterjee and
Petr Novotn{\'{y}}},
title = {Lexicographic Ranking Supermartingales: An Efficient Approach to Termination
of Probabilistic Programs},
journal = {CoRR},
volume = {abs/1709.04037},
year = {2017},
url = {http://arxiv.org/abs/1709.04037},
eprinttype = {arXiv},
eprint = {1709.04037},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-04037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/PotuckovaCKLLHN16,
author = {Mark{\'{e}}ta Potuckov{\'{a}} and
Lucie Cerven{\'{a}} and
Lucie Kupkov{\'{a}} and
Zuzana Lhot{\'{a}}kov{\'{a}} and
Petr Lukes and
Jan Hanus and
Jan Novotn{\'{y}} and
Jana Albrechtov{\'{a}}},
title = {Comparison of Reflectance Measurements Acquired with a Contact Probe
and an Integration Sphere: Implications for the Spectral Properties
of Vegetation at a Leaf Level},
journal = {Sensors},
volume = {16},
number = {11},
pages = {1801},
year = {2016},
url = {https://doi.org/10.3390/s16111801},
doi = {10.3390/S16111801},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/PotuckovaCKLLHN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BrazdilCCGN16,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Martin Chmelik and
Anchit Gupta and
Petr Novotn{\'{y}}},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended
Abstract)},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {1465--1466},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937212},
timestamp = {Thu, 16 Feb 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BrazdilCCGN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BrazdilKN16,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
editor = {Cyrille Artho and
Axel Legay and
Doron Peled},
title = {Optimizing the Expected Mean Payoff in Energy Markov Decision Processes},
booktitle = {Automated Technology for Verification and Analysis - 14th International
Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9938},
pages = {32--49},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46520-3\_3},
doi = {10.1007/978-3-319-46520-3\_3},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BrazdilKN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrazdilFKN16,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Vojtech Forejt and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Stability in Graphs and Games},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {10:1--10:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.10},
doi = {10.4230/LIPICS.CONCUR.2016.10},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/BrazdilFKN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ChatterjeeFNH16,
author = {Krishnendu Chatterjee and
Hongfei Fu and
Petr Novotn{\'{y}} and
Rouzbeh Hasheminezhad},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Algorithmic analysis of qualitative and quantitative termination problems
for affine probabilistic programs},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {327--342},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837639},
doi = {10.1145/2837614.2837639},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/ChatterjeeFNH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilCCGN16,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Martin Chmelik and
Anchit Gupta and
Petr Novotn{\'{y}}},
title = {Stochastic Shortest Path with Energy Constraints in POMDPs},
journal = {CoRR},
volume = {abs/1602.07565},
year = {2016},
url = {http://arxiv.org/abs/1602.07565},
eprinttype = {arXiv},
eprint = {1602.07565},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilCCGN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilFKN16,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Vojtech Forejt and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
title = {Stability in Graphs and Games},
journal = {CoRR},
volume = {abs/1604.06386},
year = {2016},
url = {http://arxiv.org/abs/1604.06386},
eprinttype = {arXiv},
eprint = {1604.06386},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilFKN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilKN16,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
title = {Optimizing the Expected Mean Payoff in Energy Markov Decision Processes},
journal = {CoRR},
volume = {abs/1607.00678},
year = {2016},
url = {http://arxiv.org/abs/1607.00678},
eprinttype = {arXiv},
eprint = {1607.00678},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilKN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChatterjeeNPRZ16,
author = {Krishnendu Chatterjee and
Petr Novotn{\'{y}} and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Dorde Zikelic},
title = {Optimizing Expectation with Guarantees in POMDPs (Technical Report)},
journal = {CoRR},
volume = {abs/1611.08696},
year = {2016},
url = {http://arxiv.org/abs/1611.08696},
eprinttype = {arXiv},
eprint = {1611.08696},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChatterjeeNPRZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChatterjeeNZ16,
author = {Krishnendu Chatterjee and
Petr Novotn{\'{y}} and
Dorde Zikelic},
title = {Stochastic Invariants for Probabilistic Termination},
journal = {CoRR},
volume = {abs/1611.01063},
year = {2016},
url = {http://arxiv.org/abs/1611.01063},
eprinttype = {arXiv},
eprint = {1611.01063},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChatterjeeNZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnsm/NovotnyKW15,
author = {Petr Novotn{\'{y}} and
Bong Jun Ko and
Alexander L. Wolf},
title = {On-Demand Discovery of Software Service Dependencies in MANETs},
journal = {{IEEE} Trans. Netw. Serv. Manag.},
volume = {12},
number = {2},
pages = {278--292},
year = {2015},
url = {https://doi.org/10.1109/TNSM.2015.2410693},
doi = {10.1109/TNSM.2015.2410693},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tnsm/NovotnyKW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/NovotnyKW15,
author = {Petr Novotn{\'{y}} and
Bong Jun Ko and
Alexander L. Wolf},
title = {Delay Tolerant Harvesting of Monitoring Data for MANET-Hosted Service-Based
Systems},
booktitle = {2015 {IEEE} International Conference on Services Computing, {SCC}
2015, New York City, NY, USA, June 27 - July 2, 2015},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SCC.2015.12},
doi = {10.1109/SCC.2015.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/NovotnyKW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BrazdilKKN15,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Stefan Kiefer and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
title = {Long-Run Average Behaviour of Probabilistic Vector Addition Systems},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {44--55},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.15},
doi = {10.1109/LICS.2015.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BrazdilKKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/milcom/NovotnyUWK15,
author = {Petr Novotn{\'{y}} and
Rahul Urgaonkar and
Alexander L. Wolf and
Bongjun Ko},
editor = {Qinqing Zhang and
Jerry Brand and
Thomas G. MacDonald and
Bharat T. Doshi and
Bonnie L. Gorsic},
title = {Dynamic placement of composite software services in hybrid wireless
networks},
booktitle = {34th {IEEE} Military Communications Conference, {MILCOM} 2015, Tampa,
FL, USA, October 26-28, 2015},
pages = {1052--1057},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/MILCOM.2015.7357584},
doi = {10.1109/MILCOM.2015.7357584},
timestamp = {Thu, 07 Nov 2019 09:04:27 +0100},
biburl = {https://dblp.org/rec/conf/milcom/NovotnyUWK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BrazdilKKNR15,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Lubos Korenciak and
Jan Krc{\'{a}}l and
Petr Novotn{\'{y}} and
Vojtech Reh{\'{a}}k},
editor = {Javier Campos and
Boudewijn R. Haverkort},
title = {Optimizing Performance of Continuous-Time Stochastic Systems Using
Timeout Synthesis},
booktitle = {Quantitative Evaluation of Systems, 12th International Conference,
{QEST} 2015, Madrid, Spain, September 1-3, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9259},
pages = {141--159},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22264-6\_10},
doi = {10.1007/978-3-319-22264-6\_10},
timestamp = {Sat, 19 Oct 2019 20:32:11 +0200},
biburl = {https://dblp.org/rec/conf/qest/BrazdilKKNR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilKKN15,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Stefan Kiefer and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
title = {Long-Run Average Behaviour of Probabilistic Vector Addition Systems},
journal = {CoRR},
volume = {abs/1505.02655},
year = {2015},
url = {http://arxiv.org/abs/1505.02655},
eprinttype = {arXiv},
eprint = {1505.02655},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilKKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChatterjeeFNH15,
author = {Krishnendu Chatterjee and
Hongfei Fu and
Petr Novotn{\'{y}} and
Rouzbeh Hasheminezhad},
title = {Algorithmic Analysis of Qualitative and Quantitative Termination Problems
for Affine Probabilistic Programs},
journal = {CoRR},
volume = {abs/1510.08517},
year = {2015},
url = {http://arxiv.org/abs/1510.08517},
eprinttype = {arXiv},
eprint = {1510.08517},
timestamp = {Mon, 25 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ChatterjeeFNH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Novotny14,
author = {Petr Novotn{\'{y}}},
title = {Fault localization in service-based systems hosted in mobile ad hoc
networks},
school = {Imperial College London, {UK}},
year = {2014},
url = {https://hdl.handle.net/10044/1/18341},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Novotny14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbm/SpulakCBKSN14,
author = {Daniel Spul{\'{a}}k and
Roman Cmejla and
Radka Bac{\'{a}}kov{\'{a}} and
Bronislav Kracmar and
Lenka Satrapov{\'{a}} and
Petr Novotn{\'{y}}},
title = {Muscle activity detection in electromyograms recorded during periodic
movements},
journal = {Comput. Biol. Medicine},
volume = {47},
pages = {93--103},
year = {2014},
url = {https://doi.org/10.1016/j.compbiomed.2014.01.013},
doi = {10.1016/J.COMPBIOMED.2014.01.013},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cbm/SpulakCBKSN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fini/MoucekBJMNPPRSV14,
author = {Roman Moucek and
Petr Bruha and
Petr Jezek and
Pavel Mautner and
Jiri Novotny and
V{\'{a}}clav Papez and
Tom{\'{a}}s Prokop and
Tom{\'{a}}s Rond{\'{\i}}k and
Jan Stebet{\'{a}}k and
Luk{\'{a}}s Vareka},
title = {Software and hardware infrastructure for research in electrophysiology},
journal = {Frontiers Neuroinformatics},
volume = {8},
pages = {20},
year = {2014},
url = {https://doi.org/10.3389/fninf.2014.00020},
doi = {10.3389/FNINF.2014.00020},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fini/MoucekBJMNPPRSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/PorizkaPPSNPBSP14,
author = {Pavel Por{\'{\i}}zka and
Petra Prochazkov{\'{a}} and
David Prochazka and
Lucia Sl{\'{a}}dkov{\'{a}} and
Jan Novotn{\'{y}} and
Michal Petrilak and
Michal Brada and
Ota Samek and
Zdenek Pil{\'{a}}t and
Pavel Zem{\'{a}}nek and
Vojtech Adam and
Ren{\'{e}} Kizek and
Karel Novotn{\'{y}} and
Jozef Kaiser},
title = {Algal Biomass Analysis by Laser-Based Analytical Techniques - {A}
Review},
journal = {Sensors},
volume = {14},
number = {9},
pages = {17725--17752},
year = {2014},
url = {https://doi.org/10.3390/s140917725},
doi = {10.3390/S140917725},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/PorizkaPPSNPBSP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrazdilKKN14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
David Klaska and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
editor = {Armin Biere and
Roderick Bloem},
title = {Minimizing Running Costs in Consumption Systems},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {457--472},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_30},
doi = {10.1007/978-3-319-08867-9\_30},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/BrazdilKKN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BrazdilKKNK14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Stefan Kiefer and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Joost{-}Pieter Katoen},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Zero-reachability in probabilistic multi-counter automata},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {22:1--22:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603161},
doi = {10.1145/2603088.2603161},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BrazdilKKNK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilKKN14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
David Klaska and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
title = {Minimizing Running Costs in Consumption Systems},
journal = {CoRR},
volume = {abs/1402.4995},
year = {2014},
url = {http://arxiv.org/abs/1402.4995},
eprinttype = {arXiv},
eprint = {1402.4995},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilKKN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilKKNK14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Stefan Kiefer and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Joost{-}Pieter Katoen},
title = {Zero-Reachability in Probabilistic Multi-Counter Automata},
journal = {CoRR},
volume = {abs/1401.6840},
year = {2014},
url = {http://arxiv.org/abs/1401.6840},
eprinttype = {arXiv},
eprint = {1401.6840},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilKKNK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilKKNR14,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Lubos Korenciak and
Jan Krc{\'{a}}l and
Petr Novotn{\'{y}} and
Vojtech Reh{\'{a}}k},
title = {Optimizing Performance of Continuous-Time Stochastic Systems using
Timeout Synthesis},
journal = {CoRR},
volume = {abs/1407.4777},
year = {2014},
url = {http://arxiv.org/abs/1407.4777},
eprinttype = {arXiv},
eprint = {1407.4777},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilKKNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caip/SukFN13,
author = {Tom{\'{a}}s Suk and
Jan Flusser and
Petr Novotn{\'{y}}},
editor = {Richard C. Wilson and
Edwin R. Hancock and
Adrian G. Bors and
William A. P. Smith},
title = {Comparison of Leaf Recognition by Moments and Fourier Descriptors},
booktitle = {Computer Analysis of Images and Patterns - 15th International Conference,
{CAIP} 2013, York, UK, August 27-29, 2013, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8047},
pages = {221--228},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40261-6\_26},
doi = {10.1007/978-3-642-40261-6\_26},
timestamp = {Tue, 29 Dec 2020 18:40:04 +0100},
biburl = {https://dblp.org/rec/conf/caip/SukFN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BrazdilCFNS13,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Taolue Chen and
Vojtech Forejt and
Petr Novotn{\'{y}} and
Aistis Simaitis},
editor = {Anil Seth and
Nisheeth K. Vishnoi},
title = {Solvency Markov Decision Processes with Interest},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2013, December 12-14, 2013,
Guwahati, India},
series = {LIPIcs},
volume = {24},
pages = {487--499},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2013.487},
doi = {10.4230/LIPICS.FSTTCS.2013.487},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BrazdilCFNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/NovotnyWK13,
author = {Petr Novotn{\'{y}} and
Alexander L. Wolf and
Bong Jun Ko},
editor = {Filip De Turck and
Yixin Diao and
Choong Seon Hong and
Deep Medhi and
Ramin Sadre},
title = {Discovering service dependencies in mobile ad hoc networks},
booktitle = {2013 {IFIP/IEEE} International Symposium on Integrated Network Management
{(IM} 2013), Ghent, Belgium, May 27-31, 2013},
pages = {527--533},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6573028/},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/im/NovotnyWK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrazdilCFNS13,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Taolue Chen and
Vojtech Forejt and
Petr Novotn{\'{y}} and
Aistis Simaitis},
title = {Solvency Markov Decision Processes with Interest},
journal = {CoRR},
volume = {abs/1310.3119},
year = {2013},
url = {http://arxiv.org/abs/1310.3119},
eprinttype = {arXiv},
eprint = {1310.3119},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrazdilCFNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/SukNF13,
author = {Tom{\'{a}}s Suk and
Petr Novotn{\'{y}} and
Jan Flusser},
title = {Computer-Aided Leaf Recognition Visual System},
journal = {{ERCIM} News},
volume = {2013},
number = {95},
year = {2013},
url = {http://ercim-news.ercim.eu/en95/special/computer-aided-leaf-recognition-visual-system},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/SukNF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrazdilCKN12,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Efficient Controller Synthesis for Consumption Games with Multiple
Resource Types},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {23--38},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_8},
doi = {10.1007/978-3-642-31424-7\_8},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BrazdilCKN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrazdilKNW12,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Dominik Wojtczak},
editor = {Artur Czumaj and
Kurt Mehlhorn and
Andrew M. Pitts and
Roger Wattenhofer},
title = {Minimizing Expected Termination Time in One-Counter Markov Decision
Processes},
booktitle = {Automata, Languages, and Programming - 39th International Colloquium,
{ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7392},
pages = {141--152},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31585-5\_16},
doi = {10.1007/978-3-642-31585-5\_16},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BrazdilKNW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idimt/DoucekFN12,
author = {Petr Doucek and
Jakub Fischer and
Ota Novotn{\'{y}}},
editor = {Petr Doucek and
Gerhard Chroust and
V{\'{a}}clav Oskrdal},
title = {Impact of {ICT} on National Economies - Open Issues},
booktitle = {{ICT} Support for Complex Systems - 20th Interdisciplinary Information
Management Talks, {IDIMT} 2012, Jindrichuv Hradec, Czech Republic,
September 12-14, 2012},
series = {Schriftenreihe Informatik},
volume = {38},
pages = {111--114},
publisher = {Trauner},
year = {2012},
timestamp = {Wed, 10 Jun 2020 16:10:25 +0200},
biburl = {https://dblp.org/rec/conf/idimt/DoucekFN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/BrazdilKN12,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
editor = {Anton{\'{\i}}n Kucera and
Thomas A. Henzinger and
Jaroslav Nesetril and
Tom{\'{a}}s Vojnar and
David Antos},
title = {Determinacy in Stochastic Games with Unbounded Payoff Functions},
booktitle = {Mathematical and Engineering Methods in Computer Science, 8th International
Doctoral Workshop, {MEMICS} 2012, Znojmo, Czech Republic, October
25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7721},
pages = {94--105},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36046-6\_10},
doi = {10.1007/978-3-642-36046-6\_10},
timestamp = {Fri, 30 Aug 2019 10:02:27 +0200},
biburl = {https://dblp.org/rec/conf/memics/BrazdilKN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/NovotnyWK12,
author = {Petr Novotn{\'{y}} and
Alexander L. Wolf and
Bong Jun Ko},
title = {Fault Localization in MANET-Hosted Service-Based Systems},
booktitle = {{IEEE} 31st Symposium on Reliable Distributed Systems, {SRDS} 2012,
Irvine, CA, USA, October 8-11, 2012},
pages = {243--248},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SRDS.2012.30},
doi = {10.1109/SRDS.2012.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/NovotnyWK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-0796,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Krishnendu Chatterjee and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
title = {Efficient Controller Synthesis for Consumption Games with Multiple
Resource Types},
journal = {CoRR},
volume = {abs/1202.0796},
year = {2012},
url = {http://arxiv.org/abs/1202.0796},
eprinttype = {arXiv},
eprint = {1202.0796},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-0796.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-1473,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}} and
Dominik Wojtczak},
title = {Minimizing Expected Termination Time in One-Counter Markov Decision
Processes},
journal = {CoRR},
volume = {abs/1205.1473},
year = {2012},
url = {http://arxiv.org/abs/1205.1473},
eprinttype = {arXiv},
eprint = {1205.1473},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-1473.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-1639,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
Anton{\'{\i}}n Kucera and
Petr Novotn{\'{y}}},
title = {Determinacy in Stochastic Games with Unbounded Payoff Functions},
journal = {CoRR},
volume = {abs/1208.1639},
year = {2012},
url = {http://arxiv.org/abs/1208.1639},
eprinttype = {arXiv},
eprint = {1208.1639},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-1639.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/StemberaN11,
author = {Petr Stembera and
Martin Novotn{\'{y}}},
title = {Breaking Hitag2 with Reconfigurable Hardware},
booktitle = {14th Euromicro Conference on Digital System Design, Architectures,
Methods and Tools, {DSD} 2011, August 31 - September 2, 2011, Oulu,
Finland},
pages = {558--563},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/DSD.2011.77},
doi = {10.1109/DSD.2011.77},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/StemberaN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/KnothNZ10,
author = {Petr Knoth and
Jakub Novotny and
Zdenek Zdr{\'{a}}hal},
editor = {Chu{-}Ren Huang and
Dan Jurafsky},
title = {Automatic generation of inter-passage links based on semantic similarity},
booktitle = {{COLING} 2010, 23rd International Conference on Computational Linguistics,
Proceedings of the Conference, 23-27 August 2010, Beijing, China},
pages = {590--598},
publisher = {Tsinghua University Press},
year = {2010},
url = {https://aclanthology.org/C10-1067/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/KnothNZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idimt/MaryskaND10,
author = {Milos Maryska and
Ota Novotn{\'{y}} and
Petr Doucek},
editor = {Petr Doucek and
Gerhard Chroust and
V{\'{a}}clav Oskrdal},
title = {{ICT} Knowledge Analysis of University Graduates},
booktitle = {Information Technology: Human Values, Innovation and Econoy - 18th
Interdisciplinary Information Management Talks, {IDIMT} 2010, Jindrichuv
Hradec, Czech Republic, September 8-10, 2010},
series = {Schriftenreihe Informatik},
volume = {32},
pages = {125--136},
publisher = {Trauner},
year = {2010},
timestamp = {Wed, 20 May 2020 15:24:07 +0200},
biburl = {https://dblp.org/rec/conf/idimt/MaryskaND10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/KrystofovaSGNKZ09,
author = {Olga Krystofova and
Violetta Shestivska and
Michaela Galiova and
Karel Novotn{\'{y}} and
Jozef Kaiser and
Josef Zehnalek and
Petr Babula and
Radka Opatrilova and
Vojtech Adam and
Ren{\'{e}} Kizek},
title = {Sunflower Plants as Bioindicators of Environmental Pollution with
Lead {(II)} Ions},
journal = {Sensors},
volume = {9},
number = {7},
pages = {5040--5058},
year = {2009},
url = {https://doi.org/10.3390/s90705040},
doi = {10.3390/S90705040},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/KrystofovaSGNKZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eatis/BouchnerFNNP09,
author = {Petr Bouchner and
Josef Faber and
Mirko Nov{\'{a}}k and
Stanislav Novotn{\'{y}} and
Roman Piekn{\'{\i}}k},
editor = {Miroslav Svitek and
Tomas Zelinka},
title = {Human decision aspects in interactions with artificial systems},
booktitle = {Proceedings of the 2009 Euro American conference on Telematics and
Information Systems: New Opportunities to increase Digital Citizenship,
{EATIS} 2009, Prague, Czech Republic, June 3-5, 2009},
pages = {27},
year = {2009},
url = {https://doi.org/10.1145/1551722.1551749},
doi = {10.1145/1551722.1551749},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eatis/BouchnerFNNP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/NovotnyKJDNH06,
author = {Paul M. Novotny and
Daniel T. Kettler and
Petr Jordan and
Pierre E. Dupont and
Pedro J. del Nido and
Robert D. Howe},
title = {Stereo Display of 3D Ultrasound Images for Surgical Robot Guidance},
booktitle = {28th International Conference of the {IEEE} Engineering in Medicine
and Biology Society, {EMBC} 2006, New York City, NY, USA, August 30
- September 3, 2006, Main Volume},
pages = {1509--1512},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IEMBS.2006.259486},
doi = {10.1109/IEMBS.2006.259486},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/NovotnyKJDNH06.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.
retrieved on 2024-07-30 11:37 CEST from data curated 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:
