Michal Konecný

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 13

Top Topics

Similarity Search In Metric Spaces

Instruction Set

Interval Arithmetic

Top Venues

Ann. Math. Artif. Intell.

Publications

Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. Log. Methods Comput. Sci. 20 (2) (2024)
Michal Konecný, Sewon Park, Holger Thies
Formalizing Hyperspaces for Extracting Efficient Exact Real Computation. MFCS (2023)
Junaid Rasheed, Michal Konecný
Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers. SEFM (2022)
Michal Konecný, Sewon Park, Holger Thies
Certified Computation of Nondeterministic Limits. NFM (2022)
Michal Konecný, Sewon Park, Holger Thies
Extracting efficient exact real number computation from proofs in constructive type theory. CoRR (2022)
Junaid Rasheed, Michal Konecný
Auto-active Verification of Floating-point Programs via Nonlinear Real Provers. CoRR (2022)
Michal Konecný, Sewon Park, Holger Thies
Axiomatic Reals and Certified Efficient Exact Real Computation. WoLLIC (2021)
Michal Konecný, Eike Neumann
Representations and evaluation strategies for feasibly approximable functions. Comput. 10 (1) (2021)
Michal Konecný, Florian Steinberg, Holger Thies
Continuous and Monotone Machines. MFCS (2020)
Michal Konecný, Florian Steinberg, Holger Thies
Computable Analysis for Verified Exact Real Computation. FSTTCS (2020)
Michal Konecný, Florian Steinberg, Holger Thies
Continuous and monotone machines. CoRR (2020)
Michal Konecný, Eike Neumann
Implementing evaluation strategies for continuous real functions. CoRR (2019)
Michal Konecný, Eike Neumann
Representations and evaluation strategies for feasibly approximable functions. CoRR (2017)
Khalil Al Ruqeishi, Michal Konecný
Regrouping Metric-Space Search Index for Search Engine Size Adaptation. SISAP (2015)
Walid Taha, Adam Duracz, Yingfu Zeng, Kevin Atkinson, Ferenc A. Bartha, Paul Brauner, Jan Duracz, Fei Xu, Robert Cartwright, Michal Konecný, Eugenio Moggi, Jawad Masood, Pererik Andreasson, Jun Inoue, Anita Pinheiro Sant'Anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron D. Ames, Verónica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. IoT 360 (1) (2015)
Jan Duracz, Michal Konecný
Polynomial function intervals for floating-point software verification. Ann. Math. Artif. Intell. 70 (4) (2014)
Jan Duracz, Amin Farjudian, Michal Konecný, Walid Taha
Function Interval Arithmetic. ICMS (2014)
Michal Konecný, Walid Taha, Jan Duracz, Adam Duracz, Aaron D. Ames
Enclosing the behavior of a hybrid system up to and beyond a Zeno point. CPSNA (2013)
Zoltán Balogh, Emil Gatial, Ladislav Hluchý, Vlasta Hudek, Michal Konecný
Integration of secure agents with a secure communication infrastructure for crisis management. CTS (2011)
Michal Konecný, Amin Farjudian
Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values. J. Univers. Comput. Sci. 16 (18) (2010)
Michal Konecný, Amin Farjudian
Semantics of Query-Driven Communication of Exact Values. J. Univers. Comput. Sci. 16 (18) (2010)
Amin Farjudian, Michal Konecný
Time Complexity and Convergence Analysis of Domain Theoretic Picard Method. WoLLIC (2008)
David Aspinall, Martin Hofmann, Michal Konecný
A type system with usage aspects. J. Funct. Program. 18 (2) (2008)
Michal Konecný
Real functions incrementally computable by finite automata. Theor. Comput. Sci. 315 (1) (2004)
Michal Konecný
Functional In-Place Update with Layered Datatype Sharing. TLCA (2003)
Michal Konecný
Typing with Conditions and Guarantees for Functional In-place Update. TYPES (2002)
Michal Konecný
Real functions computable by finite automata using affine representations. Theor. Comput. Sci. 284 (2) (2002)