 | 2010 |
|---|
| 8 |       | Michal Konecný,
Amin Farjudian:
Semantics of Query-Driven Communication of Exact Values.
J. UCS 16(18): 2597-2628 (2010) |
| 7 | | Michal Konecný,
Amin Farjudian:
Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values.
J. UCS 16(18): 2629-2656 (2010) |
| 2008 |
|---|
| 6 | | Amin Farjudian,
Michal Konecný:
Time Complexity and Convergence Analysis of Domain Theoretic Picard Method.
WoLLIC 2008: 149-163 |
| 5 | | David Aspinall,
Martin Hofmann,
Michal Konecný:
A type system with usage aspects.
J. Funct. Program. 18(2): 141-178 (2008) |
| 2004 |
|---|
| 4 | | Michal Konecný:
Real functions incrementally computable by finite automata.
Theor. Comput. Sci. 315(1): 109-133 (2004) |
| 2003 |
|---|
| 3 | | Michal Konecný:
Functional In-Place Update with Layered Datatype Sharing.
TLCA 2003: 195-210 |
| 2002 |
|---|
| 2 | | Michal Konecný:
Typing with Conditions and Guarantees for Functional In-place Update.
TYPES 2002: 182-199 |
| 1 | | Michal Konecný:
Real functions computable by finite automata using affine representations.
Theor. Comput. Sci. 284(2): 373-396 (2002) |
Data released under the ODC-BY 1.0 license — See also our legal information page