Michal Konečný

Available identifiers

Publication	Date of Publication	Type
Formalizing hyperspaces for extracting efficient exact real computation	2024-12-03	Paper
Semantics, specification logic, and Hoare logic of exact real computation	2024-06-27	Paper
Continuous and monotone machines	2022-07-18	Paper
Axiomatic reals and certified efficient exact real computation	2022-06-24	Paper
Representations and evaluation strategies for feasibly approximable functions	2021-06-25	Paper
Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point	2016-03-08	Paper
Polynomial function intervals for floating-point software verification	2014-09-26	Paper
Function interval arithmetic	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	2008-07-10	Paper
A type system with usage aspects	2008-03-27	Paper
Real functions incrementally computable by finite automata	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4457458	2004-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4435470	2003-11-12	Paper
Real functions computable by finite automata using affine representations.	2002-07-31	Paper
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation	N/A	Paper

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