dblp.uni-trier.dewww.uni-trier.de

Michal Konecný

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1David Aspinall [5]
2Amin Farjudian [6]
3Martin Hofmann [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)