Michal Konečný
Michal Konečný
Lecturer in Computer Science, Aston University
Adresse e-mail validée de aston.ac.uk - Page d'accueil
Titre
Citée par
Citée par
Année
Enclosing the behavior of a hybrid system up to and beyond a zeno point
M Konečný, W Taha, J Duracz, A Duracz, A Ames
2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks …, 2013
32*2013
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
32*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, ...
International Internet of Things Summit, 118-130, 2015
302015
Functional in-place update with layered datatype sharing
M Konečný
International Conference on Typed Lambda Calculi and Applications, 195-210, 2003
172003
Many-valued real functions computable by finite transducers using IFS-representations
M Konečný
University of Birmingham, 2000
152000
Typing with conditions and guarantees for functional in-place update
M Konečný
International Workshop on Types for Proofs and Programs, 182-199, 2002
142002
Function interval arithmetic
J Duracz, A Farjudian, M Konečný, W Taha
International Congress on Mathematical Software, 677-684, 2014
132014
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 incrementally computable by finite automata
M Konečný
Theoretical Computer Science 315 (1), 109-133, 2004
102004
LFPL with types for deep sharing
M Konecny
TLCA 2003, 2002
72002
Real functions computable by finite automata using affine representations
M Konečný
Theoretical computer science 284 (2), 373-396, 2002
72002
AERN-Net: Exact real networks
M Konecný
A Haskell library available at: http://hackage. haskell. org/cgi-bin/hackage …, 2008
62008
Time complexity and convergence analysis of domain theoretic Picard method
A Farjudian, M Konečný
International Workshop on Logic, Language, Information, and Computation, 149-163, 2008
62008
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
52014
AERN-RnToRm: Arbitrary-precision arithmetic of multivariate piecewise polynomial enclosures
M Konecný
A Haskell library available at: http://hackage. haskell. org/cgi-bin/hackage …, 2008
52008
Polynomial function enclosures and floating point software verification
JA Duracz, M Konecný
Proceedings of CFV, 56-67, 2008
52008
Modeling geometric rules in object based models: an XML/GML approach
T Reeves, D Cornford, M Konecny, J Ellis
Progress in Spatial Data Handling, 133-148, 2006
52006
Polynomial function intervals for floating-point software verification
J Duracz, M Konečný
Annals of Mathematics and Artificial Intelligence 70 (4), 351-398, 2014
42014
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
4*2010
Encouraging language diversity on the Internet using an intelligent URL search engine
SHS Wong, AJ Beaumont, M Konečný
Journal of Language and Politics 5 (2), 159-188, 2006
42006
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20