| Enclosing the behavior of a hybrid system up to and beyond a zeno point M Konecny, W Taha, J Duracz, A Duracz, A Ames Cyber-Physical Systems, Networks, and Applications (CPSNA), 2013 IEEE 1st …, 2013 | 43* | 2013 |
| Acumen: An open-source testbed for cyber-physical systems research W Taha, A Duracz, Y Zeng, K Atkinson, FA Bartha, P Brauner, J Duracz, ... Internet of Things. IoT Infrastructures: Second International Summit, IoT …, 2016 | 38 | 2016 |
| Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point M Konečný, W Taha, FA Bartha, J Duracz, A Duracz, AD Ames Nonlinear Analysis: Hybrid Systems 20, 1-20, 2016 | 23 | 2016 |
| Function interval arithmetic J Duracz, A Farjudian, M Konečný, W Taha International Congress on Mathematical Software, 677-684, 2014 | 19 | 2014 |
| Functional in-place update with layered datatype sharing M Konečný International Conference on Typed Lambda Calculi and Applications, 195-210, 2003 | 19 | 2003 |
| A type system with usage aspects D Aspinall, M Hofmann, M Konečný Journal of Functional Programming 18 (2), 141-178, 2008 | 15 | 2008 |
| Typing with conditions and guarantees for functional in-place update M Konečný International Workshop on Types for Proofs and Programs, 182-199, 2002 | 15 | 2002 |
| Many-valued real functions computable by finite transducers using IFS-representations M Konečný University of Birmingham, 2000 | 15 | 2000 |
| Real functions incrementally computable by finite automata M Konečný Theoretical Computer Science 315 (1), 109-133, 2004 | 12 | 2004 |
| aern2-real: A Haskell library for exact real number computation M Konečný | 11 | 2021 |
| Axiomatic reals and certified efficient exact real computation M Konečný, S Park, H Thies Logic, Language, Information, and Computation: 27th International Workshop …, 2021 | 11 | 2021 |
| Extracting efficient exact real number computation from proofs in constructive type theory M Konečný, S Park, H Thies Journal of Logic and Computation, exae066, 2024 | 9 | 2024 |
| Foundation of computer (algebra) analysis systems: semantics, logic, programming, verification S Park, F Brauße, P Collins, S Kim, M Konecný, G Lee, N Müller, ... | 9* | 2020 |
| Time complexity and convergence analysis of domain theoretic Picard method A Farjudian, M Konečný Logic, Language, Information and Computation: 15th International Workshop …, 2008 | 9 | 2008 |
| Real functions computable by finite automata using affine representations M Konečný Theoretical computer science 284 (2), 373-396, 2002 | 9 | 2002 |
| Picard method for enclosing ODEs with uncertain initial values M Konečný, J Duracz, A Farjudian, W Taha 11th International Conference on Computability and Complexity in Analysis …, 2014 | 8 | 2014 |
| LFPL with types for deep sharing M Konecny TLCA 2003, 2002 | 8 | 2002 |
| Certified computation of nondeterministic limits M Konečný, S Park, H Thies NASA Formal Methods Symposium, 771-789, 2022 | 7 | 2022 |
| Verified exact real limit computation M Konečný Proceedings 15th International Conference on Computability and Complexity in …, 2018 | 6 | 2018 |
| Polynomial function intervals for floating-point software verification J Duracz, M Konečný Annals of Mathematics and Artificial Intelligence 70 (4), 351-398, 2014 | 6 | 2014 |
Jan DuraczDirección de correo verificada de duracz.net