Folgen
Michal Konečný
Michal Konečný
Lecturer in Computer Science, Aston University
Bestätigte E-Mail-Adresse bei aston.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
38*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
372016
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
192016
Functional in-place update with layered datatype sharing
M Konečný
Typed Lambda Calculi and Applications: 6th International Conference, TLCA …, 2003
18*2003
Function interval arithmetic
J Duracz, A Farjudian, M Konečný, W Taha
Mathematical Software–ICMS 2014: 4th International Congress, Seoul, South …, 2014
172014
Many-valued real functions computable by finite transducers using IFS-representations
M Konečný
University of Birmingham, 2000
162000
Typing with conditions and guarantees for functional in-place update
M Konečný
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en …, 2003
142003
Real functions incrementally computable by finite automata
M Konečný
Theoretical Computer Science 315 (1), 109-133, 2004
132004
A type system with usage aspects
D Aspinall, M Hofmann, M Konečný
Journal of Functional Programming 18 (2), 141-178, 2008
112008
Real functions computable by finite automata using affine representations
M Konečný
Theoretical computer science 284 (2), 373-396, 2002
112002
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
82014
Time complexity and convergence analysis of domain theoretic Picard method
A Farjudian, M Konecny
WoLLIC, 149-163, 2008
72008
LFPL with types for deep sharing
M Konecny
TLCA 2003, 2002
72002
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, ...
6*2020
AERN-Net: Exact real networks
M Konecný
A Haskell library available at: http://hackage. haskell. org/cgi-bin/hackage …, 2008
62008
aern2-real: A Haskell library for exact real number computation
M Konecný
52021
Axiomatic reals and certified efficient exact real computation
M Konečný, S Park, H Thies
Logic, Language, Information, and Computation: 27th International Workshop …, 2021
52021
Verified exact real limit computation
M Konečný
Proceedings 15th International Conference on Computability and Complexity in …, 2018
52018
Polynomial function intervals for floating-point software verification
J Duracz, M Konečný
Annals of Mathematics and Artificial Intelligence 70 (4), 351-398, 2014
52014
Compositional semantics of dataflow networks with query-driven communication of exact values
M Konecný, A Farjudian
Journal of Universal Computer Science 16 (18), 2629-2656, 2010
5*2010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20