Michal Konečný

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Computable analysis for verified exact real computation	2026-03-23	Paper
Formalizing hyperspaces for extracting efficient exact real computation	2024-12-03	Paper
Semantics, specification logic, and Hoare logic of exact real computation Logical Methods in Computer Science	2024-06-27	Paper
Continuous and monotone machines (available as arXiv preprint)	2022-07-18	Paper
Axiomatic reals and certified efficient exact real computation	2022-06-24	Paper
Representations and evaluation strategies for feasibly approximable functions Computability	2021-06-25	Paper
Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point Nonlinear Analysis. Hybrid Systems	2016-03-08	Paper
Polynomial function intervals for floating-point software verification Annals of Mathematics and Artificial Intelligence	2014-09-26	Paper
Function interval arithmetic Mathematical Software – ICMS 2014	2014-09-08	Paper
Semantics of query-driven communication of exact values	2011-02-10	Paper
Compositional semantics of dataflow networks with query-driven communication of exact values	2011-02-10	Paper
Time Complexity and Convergence Analysis of Domain Theoretic Picard Method Logic, Language, Information and Computation	2008-07-10	Paper
A type system with usage aspects Journal of Functional Programming	2008-03-27	Paper
Real functions incrementally computable by finite automata Theoretical Computer Science	2004-08-06	Paper
scientific article; zbMATH DE number 2061711 (Why is no real title available?)	2004-03-22	Paper
scientific article; zbMATH DE number 2003157 (Why is no real title available?)	2003-11-12	Paper
Real functions computable by finite automata using affine representations. Theoretical Computer Science	2002-07-31	Paper
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Michal Konečný