Browse by Aston Author

2016

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.

2015

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.

2014

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.

2008

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.