Browse by Aston Author

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | Date | No Grouping
Number of items: 9.

Article

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

Duracz, Jan and Konečný, Michal 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 Semantics of query-driven communication of exact values. Journal of Universal Computer Science, 16 (18), pp. 2597-2628.

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

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.

Konečný, Michal; Taha, Walid; Duracz, Jan; Duracz, Adam and Ames, Aaron (2013). 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.

Farjudian, Amin and Konečný, Michal (2008). 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.

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.

This list was generated on Sun Feb 25 01:02:25 2018 GMT.