Typing with Conditions and Guarantees for Functional In-place Update. - Michal Konecný (TYPES, 2002)

Real functions computable by finite automata using affine representations. - Michal Konecný (Theor. Comput. Sci., 2002)

Functional In-Place Update with Layered Datatype Sharing. - Michal Konecný (TLCA, 2003)

Real functions incrementally computable by finite automata. - Michal Konecný (Theor. Comput. Sci., 2004)

Time Complexity and Convergence Analysis of Domain Theoretic Picard Method. - Amin Farjudian; Michal Konecný (WoLLIC, 2008)

A type system with usage aspects. - David Aspinall 001; Martin Hofmann 001; Michal Konecný (J. Funct. Program., 2008)

Semantics of Query-Driven Communication of Exact Values. - Michal Konecný; Amin Farjudian (J. Univers. Comput. Sci., 2010)

Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values. - Michal Konecný; Amin Farjudian (J. Univers. Comput. Sci., 2010)

Integration of secure agents with a secure communication infrastructure for crisis management. - Zoltán Balogh 001; Emil Gatial; Ladislav Hluchý; Vlasta Hudek; Michal Konecný (CTS, 2011)

Enclosing the behavior of a hybrid system up to and beyond a Zeno point. - Michal Konecný; Walid Taha; Jan Duracz; Adam Duracz; Aaron D. Ames (CPSNA, 2013)

Function Interval Arithmetic. - Jan Duracz; Amin Farjudian; Michal Konecný; Walid Taha (ICMS, 2014)

Polynomial function intervals for floating-point software verification. - Jan Duracz; Michal Konecný (Ann. Math. Artif. Intell., 2014)

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. - 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; et al. (IoT 360 (1), 2015)

Regrouping Metric-Space Search Index for Search Engine Size Adaptation. - Khalil Al Ruqeishi; Michal Konecný (SISAP, 2015)

Implementing evaluation strategies for continuous real functions. - Michal Konecný; Eike Neumann (CoRR, 2019)

Computable Analysis for Verified Exact Real Computation. - Michal Konecný; Florian Steinberg 001; Holger Thies (FSTTCS, 2020)

Continuous and Monotone Machines. - Michal Konecný; Florian Steinberg 001; Holger Thies (MFCS, 2020)

Axiomatic Reals and Certified Efficient Exact Real Computation. - Michal Konecný; Sewon Park 001; Holger Thies (WoLLIC, 2021)

Representations and evaluation strategies for feasibly approximable functions. - Michal Konecný; Eike Neumann (Comput., 2021)

Certified Computation of Nondeterministic Limits. - Michal Konecný; Sewon Park 001; Holger Thies (NFM, 2022)

Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers. - Junaid Rasheed; Michal Konecný (SEFM, 2022)

Extracting efficient exact real number computation from proofs in constructive type theory. - Michal Konecný; Sewon Park 001; Holger Thies (CoRR, 2022)

Formalizing Hyperspaces for Extracting Efficient Exact Real Computation. - Michal Konecný; Sewon Park 001; Holger Thies (MFCS, 2023)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers. - Michal Konecný; Sewon Park 001; Holger Thies (CoRR, 2024)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. - Sewon Park 001; Franz Brauße; Pieter Collins; SunYoung Kim; Michal Konecný; Gyesik Lee; Norbert Th. Müller; Eike Neumann; Norbert Preining; Martin Ziegler 001 (Log. Methods Comput. Sci., 2024)

cAERN library. - Michal Konecný; Sewon Park 001; Holger Thies (DROPS Artifacts, 2024)