Publikace projektu
- Verification of Hybrid Systems by Incremental Abstract Forward/Backward Computation (2010)
- Hybrid dynamical systems: verification and error trajectory search (2010)
- A Note on Generating P-Matrices (2010)
- An Algorithm for Computing All Solutions of an Absolute Value Equation (2010)
- A Theorem of the Alternatives for the Equation |Ax| - |B||x| = b (2010)
- On Rump's Characterization of P-Matrices (2010)
- An Algorithm for Solving the Absolute Value Equation: An Improvement (2010)
- Explicit Inverse of an Interval Matrix with Unit Midpoint (2010)
- A Characterization of Strong Regularity of Interval Matrices (2010)
- Inverse Interval Matrix: A Survey (2010)
- A Residual Existence Theorem for Linear Equations (2010)
- Explicit Inverse of an Interval Matrix with Unit Midpoint (2011)
- On Rump’s characterization of P-matrices (2012)
- An algorithm for computing all solutions of an absolute value equation (2012)
- A general method for enclosing solutions of interval linear equations (2012)
- A theorem of the alternatives for the equation |Ax| - |B||x| = b (2012)
- A note on generating P-matrices (2012)
- Inverse Interval Matrix: A Survey (2011)