Publications of Michal Konečný

• Semantics of Query-Driven Communication of Exact Values with Amin Farjudian, Journal of Universal Computer Science, 16(18):2597-2628, 2010.
• Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values with Amin Farjudian, Journal of Universal Computer Science, 16(18):2629-2656, 2010.
• Distributed Exact Real Computation via Extra-Lazy Dataflow Networks with Amin Farjudian
  12 page draft, January 2009
• Time Complexity and Convergence Analysis of Domain Theoretic Picard Method with Amin Farjudian,
  in Proceedings of Wollic'08, Edinburgh, pp149-163, Lecture Notes in Artificial Intelligence 5110, Springer-Verlag, 2008
• Many-Valued Real Functions Computable by Finite Transducers using IFS-Representations,
  PhD thesis, School of Computer Science, University of Birmingham, October 2000
• Real Functions Computable by Finite Automatons using Affine Representations,
  Theoretical Computer Science, 284(2):373-396, 2002
• Real Functions Computable by Finite Transducers using Affine IFS Representations,
  Technical Report CSR-00-10, School of Computer Science, University of Birmingham, July 2000
• Real Functions Incrementally Computable by Finite Automata,
  Theoretical Computer Science, 315(1):109-133, 2004
• Real Functions Incrementally Computable by Finite Automatons,
  Technical Report CSR-98-7, School of Computer Science, University of Birmingham, October 1998

• Enclosure Constraints for Floating Point Software Verification with Jan Duracz and Amin Farjudian
  CFV'09, Grenoble, France, June 2009
• Polynomial Function Enclosures and Floating Point Software Verification with Jan Duracz,
  in proceedings of CFV'08, Sydney, Australia, August 11, 2008

• Functional In-place Update with Layered Datatype Sharing ,
  in Proceedings of TLCA 2003, Valencia, Spain, LNCS 2701, pp 195--210
  (An implementation is available through a web interface.)
• LFPL with Types for Deep Sharing,
  Technical Report EDI-INF-RR-157, LFCS, School of Informatics, University of Edinburgh, November 2002
  (extended version of the above)
• Typing with Conditions and Guarantees for Functional In-place Update ,
  in Proceedings of TYPES 2002 Workshop, Nijmegen, LNCS 2646, pp 182--199
• Typing with Conditions and Guarantees in LFPL,
  Technical Report EDI-INF-RR-151, LFCS, School of Informatics, University of Edinburgh, October 2002
  (similar to the above)

• Encouraging language diversity on the Internet using an intelligent URL search engine ,
  Shun Ha Sylvia Wong, Anthony J. Beaumont, MK
  Journal of Language and Politics 5(2):159-188, 2006
• Modelling geometric rules in object based models: an XML / GML approach ,
  Trevor Reeves, Dan Cornford, MK, Jeremy Ellis
  in proceedings of 12th International Symposium on Spatial Data Handling, Vienna, July 2006, Springer Verlag