Michal Konecný - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2023

Formalizing Hyperspaces for Extracting Efficient Exact Real ComputationMichal Konecný, Sewon Park 0001, Holger Thies. mfcs 2023: [doi]

2022

Certified Computation of Nondeterministic LimitsMichal Konecný, Sewon Park 0001, Holger Thies. NFM 2022: 771-789 [doi]

Auto-Active Verification of Floating-Point Programs via Nonlinear Real ProversJunaid Rasheed, Michal Konecný. SEFM 2022: 20-36 [doi]

2021

Axiomatic Reals and Certified Efficient Exact Real ComputationMichal Konecný, Sewon Park 0001, Holger Thies. wollic 2021: 252-268 [doi]

Representations and evaluation strategies for feasibly approximable functionsMichal Konecný, Eike Neumann. computability, 10(1):63-89, 2021. [doi]

2020

Computable Analysis for Verified Exact Real ComputationMichal Konecný, Florian Steinberg 0001, Holger Thies. fsttcs 2020: [doi]

Continuous and Monotone MachinesMichal Konecný, Florian Steinberg, Holger Thies. mfcs 2020: [doi]

2015

2014

Polynomial function intervals for floating-point software verificationJan Duracz, Michal Konecný. AMAI, 70(4):351-398, 2014. [doi]

Function Interval ArithmeticJan Duracz, Amin Farjudian, Michal Konecný, Walid Taha. icms 2014: 677-684 [doi]

2013

Enclosing the behavior of a hybrid system up to and beyond a Zeno pointMichal Konecný, Walid Taha, Jan Duracz, Adam Duracz, Aaron Ames. cpsna 2013: 120-125 [doi]

2011

Integration of secure agents with a secure communication infrastructure for crisis managementZoltan Balogh, Emil Gatial, Ladislav Hluchý, Vlasta Hudek, Michal Konecný. cts 2011: 367-372 [doi]

2010

Semantics of Query-Driven Communication of Exact ValuesMichal Konecný, Amin Farjudian. jucs, 16(18):2597-2628, 2010. [doi]

Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact ValuesMichal Konecný, Amin Farjudian. jucs, 16(18):2629-2656, 2010. [doi]

2008

A type system with usage aspectsDavid Aspinall, Martin Hofmann, Michal Konecný. JFP, 18(2):141-178, 2008. [doi]

Time Complexity and Convergence Analysis of Domain Theoretic Picard MethodAmin Farjudian, Michal Konecný. wollic 2008: 149-163 [doi]

2004

Real functions incrementally computable by finite automataMichal Konecný. TCS, 315(1):109-133, 2004. [doi]

2003

Functional In-Place Update with Layered Datatype SharingMichal Konecný. tlca 2003: 195-210 [doi]

2002

Typing with Conditions and Guarantees for Functional In-place UpdateMichal Konecný. TYPES 2003: 182-199 [doi]

Real functions computable by finite automata using affine representationsMichal Konecný. TCS, 284(2):373-396, 2002. [doi]

Sign in or sign up to see more results.

runs on WebDSL