BibTeX records: Michal Konecný

download as .bib file

@inproceedings{DBLP:conf/mfcs/Konecny0T23,
  author       = {Michal Konecn{\'{y}} and
                  Sewon Park and
                  Holger Thies},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Sylvain Lombardy and
                  David Peleg},
  title        = {Formalizing Hyperspaces for Extracting Efficient Exact Real Computation},
  booktitle    = {48th International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2023, August 28 to September 1, 2023, Bordeaux, France},
  series       = {LIPIcs},
  volume       = {272},
  pages        = {59:1--59:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2023.59},
  doi          = {10.4230/LIPICS.MFCS.2023.59},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Konecny0T23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/KonecnyPT22,
  author       = {Michal Konecn{\'{y}} and
                  Sewon Park and
                  Holger Thies},
  editor       = {Jyotirmoy V. Deshmukh and
                  Klaus Havelund and
                  Ivan Perez},
  title        = {Certified Computation of Nondeterministic Limits},
  booktitle    = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
                  Pasadena, CA, USA, May 24-27, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13260},
  pages        = {771--789},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-06773-0\_41},
  doi          = {10.1007/978-3-031-06773-0\_41},
  timestamp    = {Thu, 02 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/KonecnyPT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/RasheedK22,
  author       = {Junaid Rasheed and
                  Michal Konecn{\'{y}}},
  editor       = {Bernd{-}Holger Schlingloff and
                  Ming Chai},
  title        = {Auto-Active Verification of Floating-Point Programs via Nonlinear
                  Real Provers},
  booktitle    = {Software Engineering and Formal Methods - 20th International Conference,
                  {SEFM} 2022, Berlin, Germany, September 26-30, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13550},
  pages        = {20--36},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-17108-6\_2},
  doi          = {10.1007/978-3-031-17108-6\_2},
  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/RasheedK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2202-00891,
  author       = {Michal Konecn{\'{y}} and
                  Sewon Park and
                  Holger Thies},
  title        = {Extracting efficient exact real number computation from proofs in
                  constructive type theory},
  journal      = {CoRR},
  volume       = {abs/2202.00891},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.00891},
  eprinttype    = {arXiv},
  eprint       = {2202.00891},
  timestamp    = {Wed, 09 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-00891.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2207-00921,
  author       = {Junaid Rasheed and
                  Michal Konecn{\'{y}}},
  title        = {Auto-active Verification of Floating-point Programs via Nonlinear
                  Real Provers},
  journal      = {CoRR},
  volume       = {abs/2207.00921},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2207.00921},
  doi          = {10.48550/ARXIV.2207.00921},
  eprinttype    = {arXiv},
  eprint       = {2207.00921},
  timestamp    = {Wed, 06 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-00921.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computability/KonecnyN21,
  author       = {Michal Konecn{\'{y}} and
                  Eike Neumann},
  title        = {Representations and evaluation strategies for feasibly approximable
                  functions},
  journal      = {Comput.},
  volume       = {10},
  number       = {1},
  pages        = {63--89},
  year         = {2021},
  url          = {https://doi.org/10.3233/COM-180234},
  doi          = {10.3233/COM-180234},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computability/KonecnyN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/KonecnyPT21,
  author       = {Michal Konecn{\'{y}} and
                  Sewon Park and
                  Holger Thies},
  editor       = {Alexandra Silva and
                  Renata Wassermann and
                  Ruy J. G. B. de Queiroz},
  title        = {Axiomatic Reals and Certified Efficient Exact Real Computation},
  booktitle    = {Logic, Language, Information, and Computation - 27th International
                  Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13038},
  pages        = {252--268},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88853-4\_16},
  doi          = {10.1007/978-3-030-88853-4\_16},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wollic/KonecnyPT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/Konecny0T20,
  author       = {Michal Konecn{\'{y}} and
                  Florian Steinberg and
                  Holger Thies},
  editor       = {Nitin Saxena and
                  Sunil Simon},
  title        = {Computable Analysis for Verified Exact Real Computation},
  booktitle    = {40th {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2020, December 14-18, 2020,
                  {BITS} Pilani, {K} {K} Birla Goa Campus, Goa, India (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {182},
  pages        = {50:1--50:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2020.50},
  doi          = {10.4230/LIPICS.FSTTCS.2020.50},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Konecny0T20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/KonecnyST20,
  author       = {Michal Konecn{\'{y}} and
                  Florian Steinberg and
                  Holger Thies},
  editor       = {Javier Esparza and
                  Daniel Kr{\'{a}}l'},
  title        = {Continuous and Monotone Machines},
  booktitle    = {45th International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2020, August 24-28, 2020, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {170},
  pages        = {56:1--56:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2020.56},
  doi          = {10.4230/LIPICS.MFCS.2020.56},
  timestamp    = {Mon, 21 Dec 2020 13:23:22 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/KonecnyST20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2005-01624,
  author       = {Michal Konecn{\'{y}} and
                  Florian Steinberg and
                  Holger Thies},
  title        = {Continuous and monotone machines},
  journal      = {CoRR},
  volume       = {abs/2005.01624},
  year         = {2020},
  url          = {https://arxiv.org/abs/2005.01624},
  eprinttype    = {arXiv},
  eprint       = {2005.01624},
  timestamp    = {Mon, 02 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-01624.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1910-04891,
  author       = {Michal Konecn{\'{y}} and
                  Eike Neumann},
  title        = {Implementing evaluation strategies for continuous real functions},
  journal      = {CoRR},
  volume       = {abs/1910.04891},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.04891},
  eprinttype    = {arXiv},
  eprint       = {1910.04891},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-04891.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1710-03702,
  author       = {Michal Konecn{\'{y}} and
                  Eike Neumann},
  title        = {Representations and evaluation strategies for feasibly approximable
                  functions},
  journal      = {CoRR},
  volume       = {abs/1710.03702},
  year         = {2017},
  url          = {http://arxiv.org/abs/1710.03702},
  eprinttype    = {arXiv},
  eprint       = {1710.03702},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1710-03702.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iot360/TahaDZABBDXCKMM15,
  author       = {Walid Taha and
                  Adam Duracz and
                  Yingfu Zeng and
                  Kevin Atkinson and
                  Ferenc A. Bartha and
                  Paul Brauner and
                  Jan Duracz and
                  Fei Xu and
                  Robert Cartwright and
                  Michal Konecn{\'{y}} and
                  Eugenio Moggi and
                  Jawad Masood and
                  Pererik Andreasson and
                  Jun Inoue and
                  Anita Pinheiro Sant'Anna and
                  Roland Philippsen and
                  Alexandre Chapoutot and
                  Marcia O'Malley and
                  Aaron D. Ames and
                  Ver{\'{o}}nica Gaspes and
                  Lise Hvatum and
                  Shyam Mehta and
                  Henrik Eriksson and
                  Christian Grante},
  editor       = {Benny Mandler and
                  Johann M{\'{a}}rquez{-}Barja and
                  Miguel Elias Mitre Campista and
                  Dagmar Cag{\'{a}}nov{\'{a}} and
                  Hakima Chaouchi and
                  Sherali Zeadally and
                  Mohamad Badra and
                  Stefano Giordano and
                  Maria Fazio and
                  Andrey Somov and
                  Radu{-}Laurentiu Vieriu},
  title        = {Acumen: An Open-Source Testbed for Cyber-Physical Systems Research},
  booktitle    = {Internet of Things. IoT Infrastructures - Second International Summit,
                  IoT 360{\textdegree} 2015, Rome, Italy, October 27-29, 2015, Revised
                  Selected Papers, Part {I}},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {169},
  pages        = {118--130},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-47063-4\_11},
  doi          = {10.1007/978-3-319-47063-4\_11},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iot360/TahaDZABBDXCKMM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sisap/RuqeishiK15,
  author       = {Khalil Al Ruqeishi and
                  Michal Konecn{\'{y}}},
  editor       = {Giuseppe Amato and
                  Richard Connor and
                  Fabrizio Falchi and
                  Claudio Gennaro},
  title        = {Regrouping Metric-Space Search Index for Search Engine Size Adaptation},
  booktitle    = {Similarity Search and Applications - 8th International Conference,
                  {SISAP} 2015, Glasgow, UK, October 12-14, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9371},
  pages        = {271--282},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25087-8\_26},
  doi          = {10.1007/978-3-319-25087-8\_26},
  timestamp    = {Fri, 18 Nov 2022 17:12:34 +0100},
  biburl       = {https://dblp.org/rec/conf/sisap/RuqeishiK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/DuraczK14,
  author       = {Jan Duracz and
                  Michal Konecn{\'{y}}},
  title        = {Polynomial function intervals for floating-point software verification},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {70},
  number       = {4},
  pages        = {351--398},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-014-9409-7},
  doi          = {10.1007/S10472-014-9409-7},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/DuraczK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icms/DuraczFKT14,
  author       = {Jan Duracz and
                  Amin Farjudian and
                  Michal Konecn{\'{y}} and
                  Walid Taha},
  editor       = {Hoon Hong and
                  Chee Yap},
  title        = {Function Interval Arithmetic},
  booktitle    = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
                  Seoul, South Korea, August 5-9, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8592},
  pages        = {677--684},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44199-2\_101},
  doi          = {10.1007/978-3-662-44199-2\_101},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icms/DuraczFKT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpsna/KonecnyTDDA13,
  author       = {Michal Konecn{\'{y}} and
                  Walid Taha and
                  Jan Duracz and
                  Adam Duracz and
                  Aaron D. Ames},
  title        = {Enclosing the behavior of a hybrid system up to and beyond a Zeno
                  point},
  booktitle    = {1st {IEEE} International Conference on Cyber-Physical Systems, Networks,
                  and Applications, {CPSNA} 2013, Taipei, Taiwan, August 19-20, 2013},
  pages        = {120--125},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/CPSNA.2013.6614258},
  doi          = {10.1109/CPSNA.2013.6614258},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsna/KonecnyTDDA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cts/BaloghGHHK11,
  author       = {Zolt{\'{a}}n Balogh and
                  Emil Gatial and
                  Ladislav Hluch{\'{y}} and
                  Vlasta Hudek and
                  Michal Konecn{\'{y}}},
  editor       = {Waleed W. Smari and
                  Geoffrey C. Fox},
  title        = {Integration of secure agents with a secure communication infrastructure
                  for crisis management},
  booktitle    = {2011 International Conference on Collaboration Technologies and Systems,
                  {CTS} 2011, Philadelphia, Pennsylvania, USA, May 23-27, 2011},
  pages        = {367--372},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/CTS.2011.5928712},
  doi          = {10.1109/CTS.2011.5928712},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cts/BaloghGHHK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jucs/KonecnyF10,
  author       = {Michal Konecn{\'{y}} and
                  Amin Farjudian},
  title        = {Semantics of Query-Driven Communication of Exact Values},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {16},
  number       = {18},
  pages        = {2597--2628},
  year         = {2010},
  url          = {https://doi.org/10.3217/jucs-016-18-2597},
  doi          = {10.3217/JUCS-016-18-2597},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/KonecnyF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jucs/KonecnyF10a,
  author       = {Michal Konecn{\'{y}} and
                  Amin Farjudian},
  title        = {Compositional Semantics of Dataflow Networks with Query-Driven Communication
                  of Exact Values},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {16},
  number       = {18},
  pages        = {2629--2656},
  year         = {2010},
  url          = {https://doi.org/10.3217/jucs-016-18-2629},
  doi          = {10.3217/JUCS-016-18-2629},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/KonecnyF10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/AspinallHK08,
  author       = {David Aspinall and
                  Martin Hofmann and
                  Michal Konecn{\'{y}}},
  title        = {A type system with usage aspects},
  journal      = {J. Funct. Program.},
  volume       = {18},
  number       = {2},
  pages        = {141--178},
  year         = {2008},
  url          = {https://doi.org/10.1017/S0956796807006399},
  doi          = {10.1017/S0956796807006399},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/AspinallHK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wollic/FarjudianK08,
  author       = {Amin Farjudian and
                  Michal Konecn{\'{y}}},
  editor       = {Wilfrid Hodges and
                  Ruy J. G. B. de Queiroz},
  title        = {Time Complexity and Convergence Analysis of Domain Theoretic Picard
                  Method},
  booktitle    = {Logic, Language, Information and Computation, 15th International Workshop,
                  WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5110},
  pages        = {149--163},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69937-8\_14},
  doi          = {10.1007/978-3-540-69937-8\_14},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/FarjudianK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Konecny04,
  author       = {Michal Konecn{\'{y}}},
  title        = {Real functions incrementally computable by finite automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {315},
  number       = {1},
  pages        = {109--133},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2003.11.015},
  doi          = {10.1016/J.TCS.2003.11.015},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Konecny04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tlca/Konecny03,
  author       = {Michal Konecn{\'{y}}},
  editor       = {Martin Hofmann},
  title        = {Functional In-Place Update with Layered Datatype Sharing},
  booktitle    = {Typed Lambda Calculi and Applications, 6th International Conference,
                  {TLCA} 2003, Valencia, Spain, June 10-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2701},
  pages        = {195--210},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44904-3\_14},
  doi          = {10.1007/3-540-44904-3\_14},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tlca/Konecny03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Konecny02,
  author       = {Michal Konecn{\'{y}}},
  title        = {Real functions computable by finite automata using affine representations},
  journal      = {Theor. Comput. Sci.},
  volume       = {284},
  number       = {2},
  pages        = {373--396},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00095-0},
  doi          = {10.1016/S0304-3975(01)00095-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Konecny02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/Konecny02,
  author       = {Michal Konecn{\'{y}}},
  editor       = {Herman Geuvers and
                  Freek Wiedijk},
  title        = {Typing with Conditions and Guarantees for Functional In-place Update},
  booktitle    = {Types for Proofs and Programs, Second International Workshop, {TYPES}
                  2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2646},
  pages        = {182--199},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-39185-1\_11},
  doi          = {10.1007/3-540-39185-1\_11},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/types/Konecny02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.