Browse by Aston Author

2021

Konečný, Michal, Park, Sewon and Thies, Holger (2021). Axiomatic Reals and Certified Efficient Exact Real Computation. IN: Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Proceedings. Silva, Alexandra; Wassermann, Renata and de Queiroz, Ruy (eds) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 13038 . Berlin / Heidelberg: Springer.

Konečný, Michal and Neumann, Eike (2021). Representations and evaluation strategies for feasibly approximable functions. Computability, 10 (1), pp. 63-89.

2020

Konečný, Michal, Steinberg, Florian and Thies, Holger (2020). Computable analysis for verified exact real computation. IN: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020. Saxena, Nitin and Simon, Sunil (eds) Leibniz International Proceedings in Informatics, LIPIcs . IND: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

Konečný, Michal, Steinberg, Florian and Thies, Holger (2020). Continuous and monotone machines. IN: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, Javier; Kral�, Daniel and Kral�, Daniel (eds) Leibniz International Proceedings in Informatics, LIPIcs . CZE: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

2016

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 (2016). 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 . ITA: Springer.

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 . GBR: Springer.

2014

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.

2013

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). TWN: IEEE.

2010

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.

2008

Farjudian, Mohammad A and Konecny, Michal (2008). Time Complexity and Convergence Analysis of Domain Theoretic Picard Method (Extended Abstract). Technical Report. UNSPECIFIED.

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

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.

2006

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. GBR: Springer.