| |
| 2008 | ||
|---|---|---|
| 6 | EE | Amin Farjudian, Michal Konecný: Time Complexity and Convergence Analysis of Domain Theoretic Picard Method. WoLLIC 2008: 149-163 |
| 5 | EE | David Aspinall, Martin Hofmann, Michal Konecný: A type system with usage aspects. J. Funct. Program. 18(2): 141-178 (2008) |
| 2004 | ||
| 4 | EE | Michal Konecný: Real functions incrementally computable by finite automata. Theor. Comput. Sci. 315(1): 109-133 (2004) |
| 2003 | ||
| 3 | EE | Michal Konecný: Functional In-Place Update with Layered Datatype Sharing. TLCA 2003: 195-210 |
| 2002 | ||
| 2 | EE | Michal Konecný: Typing with Conditions and Guarantees for Functional In-place Update. TYPES 2002: 182-199 |
| 1 | EE | Michal Konecný: Real functions computable by finite automata using affine representations. Theor. Comput. Sci. 284(2): 373-396 (2002) |
| 1 | David Aspinall | [5] |
| 2 | Amin Farjudian | [6] |
| 3 | Martin Hofmann | [5] |