Browse by Author

Article

Duracz, Jan and Konečný, Michal (2014). Polynomial function intervals for floating-point software verification. Annals of Mathematics And artificial Intelligence, 70 (4), pp. 351-398.

Konečný, Michal and Farjudian, Amin (2010). Semantics of query-driven communication of exact values. Journal of Universal Computer Science, 16 (18), pp. 2597-2628.

Michal Konecny, Michal and Farjudian, Amin (2010). Compositional semantics of dataflow networks with query-driven communication of exact values. Journal of Universal Computer Science, 16 (18), pp. 2629-2656.

Aspinall, David; Hofmann, Martin and Konečný, Michal (2008). A type system with usage aspects. Journal of Functional Programming, 18 (2), pp. 141-178.

Konečný, Michal; Taha, Walid; Bartha, Ferenc A.; Duracz, Jan; Duracz, Adam and Ames, Aaron D. Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point. Nonlinear Analysis : Hybrid Systems, 20 , pp. 1-20.

Book Section

Al Ruqeishi, Khalil and Konečný, Michal (2015). Regrouping metric-space search index for search engine size adaptation. IN: Similarity search and applications. Amato, Giuseppe; Connor, Richard; Falchi, Fabrizio and Gennaro, Claudio (eds) Lecture notes in computer science . Chem (CH): Springer.

Duracz, Jan; Farjudian, Amin; Konečný, Michal and Taha, Walid (2014). Function interval arithmetic. IN: Mathematical software – ICMS 2014. Hong, Hoon and Yap, Chee (eds) Lecture Notes in Computer Science . Berlin (DE): Springer.

Reeves, Trevor; Cornford, Dan; Konecny, Michal and Ellis, Jeremy (2006). Modeling geometric rules in object based models:an XML / GML approach. IN: Progress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling. Springer.

Farjudian, Amin and Konečný, Michal Time complexity and convergence analysis of domain theoretic Picard method. IN: Logic, language, information and computation. Hodges, Wilfrid and de Queiroz, Ruy (eds) Lecture notes in computer science . Berlin (DE): Springer.

Konečný, Michal; Taha, Walid; Duracz, Jan; Duracz, Adam and Ames, Aaron Enclosing the behavior of a hybrid system up to and beyond a Zeno point. IN: 2013 IEEE 1st international conference on cyber-physical systems, networks, and applications (CPSNA). IEEE.

Taha, Walid; Duracz, Adam; Zeng, Yingfu; Atkinson, Kevin; Bartha, Ferenc A.; Brauner, Paul; Duracz, Jan; Xu, Fei; Cartwright, Robert; Konečný, Michal; Moggi, Eugenio; Masood, Jawad; Andreasson, Pererik; Inoue, Jun; Sant’Anna, Anita; Philippsen, Roland; Chapoutot, Alexandre; O’Malley, Marcia; Ames, Aaron; Gaspes, Veronica; Hvatum, Lise; Mehta, Shyam; Eriksson, Henrik and Grante, Christian Acumen : an open-source testbed for cyber-physical systems research. IN: Internet of Things: IoT Infrastructures. Mandler, Benny; Marquez-Barja, Johann and et al, (eds) Lecture Notes of the Institute for Computer Sciences . Chem (CH): Springer.