- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c4 |      | Zoltan Balogh, Emil Gatial, Ladislav Hluchý, Vlasta Hudek, Michal Konecný: Integration of secure agents with a secure communication infrastructure for crisis management. CTS 2011: 367-372 |
| 2010 | ||
| j5 | | Michal Konecný, Amin Farjudian: Semantics of Query-Driven Communication of Exact Values. J. UCS 16(18): 2597-2628 (2010) |
| j4 | | Michal Konecný, Amin Farjudian: Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values. J. UCS 16(18): 2629-2656 (2010) |
| 2008 | ||
| j3 | | David Aspinall, Martin Hofmann, Michal Konecný: A type system with usage aspects. J. Funct. Program. 18(2): 141-178 (2008) |
| c3 | | Amin Farjudian, Michal Konecný: Time Complexity and Convergence Analysis of Domain Theoretic Picard Method. WoLLIC 2008: 149-163 |
| 2004 | ||
| j2 | | Michal Konecný: Real functions incrementally computable by finite automata. Theor. Comput. Sci. 315(1): 109-133 (2004) |
| 2003 | ||
| c2 | | |
| 2002 | ||
| j1 | | Michal Konecný: Real functions computable by finite automata using affine representations. Theor. Comput. Sci. 284(2): 373-396 (2002) |
| c1 | | Michal Konecný: Typing with Conditions and Guarantees for Functional In-place Update. TYPES 2002: 182-199 |
| 1 | David Aspinall | |
| 2 | Zoltan Balogh | |
| 3 | Amin Farjudian | |
| 4 | Emil Gatial | |
| 5 | Ladislav Hluchý | |
| 6 | Martin Hofmann | |
| 7 | Vlasta Hudek |
Colors in the list of coauthors
Last update Tue May 21 05:06:21 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page