Michal Konečný

Available identifiers

zbMath Open konecny.michalMaRDI QIDQ254163

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q3075217	2011-02-10	Paper
https://portal.mardi4nfdi.de/entity/Q3075218	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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