Photo of Michal Konečný
    • School of Engineering and Applied Science, Aston University

      B4 7ET Birmingham

      United Kingdom

    20062016
    If you made any changes in Pure these will be visible here soon.

    Fingerprint Dive into the research topics where Michal Konečný is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

    Mathematics

    Affine Function
    Aliasing
    Approximation
    Assertion
    Ball
    Binary
    Classify
    Communication
    Continuously differentiable
    Correctness
    Cover
    Data Flow
    Denotational Semantics
    Digit
    Enclosure
    Event Detection
    Finite Automata
    First-order
    Floating point
    Graph in graph theory
    Heap
    Hybrid Automata
    Hybrid Modeling
    Hybrid Systems
    Integral Operator
    Interval
    Interval Arithmetic
    Language
    Polynomial Approximation
    Polynomial function
    Precondition
    Query
    Restriction
    Reuse
    Semantics
    Sharing
    Signed
    Simulator
    Software
    Software Verification
    Soundness
    Specification
    Specification Languages
    System Modeling
    Theorem
    Theorem Proving
    Tool Support
    Transducer
    Update
    Valid

    Engineering & Materials Science

    Acoustic waves
    Communication
    Computational complexity
    Computer aided design
    Computer science
    Computer simulation languages
    Concretes
    Crosswalks
    Cyber Physical System
    Data structures
    Enclosures
    Engineers
    Engines
    Experiments
    Finite automata
    Hybrid systems
    Information systems
    Initial value problems
    Markup languages
    Network protocols
    Ordinary differential equations
    Polynomial approximation
    Polynomials
    Real variables
    Scalability
    Search engines
    Semantics
    Simulators
    Specification languages
    Specifications
    Static analysis
    Testbeds
    Theorem proving
    Trajectories
    Transducers
    XML