Michal Konecn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2008–2023
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | MFCS | Formalizing Hyperspaces for Extracting Efficient Exact Real Computation. | Michal Konecn, Sewon Park, Holger Thies |
| 2022 | SEFM | Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers. | Junaid Rasheed, Michal Konecn |
| 2021 | WoLLIC | Axiomatic Reals and Certified Efficient Exact Real Computation. | Michal Konecn, Sewon Park, Holger Thies |
| 2020 | MFCS | Continuous and Monotone Machines. | Michal Konecn, Florian Steinberg, Holger Thies |
| 2015 | SISAP | Regrouping Metric-Space Search Index for Search Engine Size Adaptation. | Khalil Al Ruqeishi, Michal Konecn |
| 2008 | WoLLIC | Time Complexity and Convergence Analysis of Domain Theoretic Picard Method. | Amin Farjudian, Michal Konecn |