| Publication | Date of Publication | Type |
|---|
Quantitative verification of learning-enabled systems using ProbStar reachability
Nonlinear Analysis. Hybrid Systems | 2025-12-12 | Paper |
| ProbStar temporal logic for verifying complex behaviors of learning-enabled systems | 2025-11-07 | Paper |
Reachability analysis of recurrent neural networks
Nonlinear Analysis. Hybrid Systems | 2025-03-10 | Paper |
Quantitative Verification for Neural Networks using ProbStars
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Verification of Recurrent Neural Networks with Star Reachability
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Explicit characteristic equations for integral operators arising from well-posed boundary value problems of finite beam deflection on elastic foundation
AIMS Mathematics | 2022-06-03 | Paper |
Existence and uniqueness of finite beam deflection on nonlinear non-uniform elastic foundation with arbitrary well-posed boundary condition
Boundary Value Problems | 2022-04-19 | Paper |
scientific article; zbMATH DE number 7353974 (Why is no real title available?)
(available as arXiv preprint) | 2021-06-03 | Paper |
Spectral analysis for the class of integral operators arising from well-posed boundary value problems of finite beam deflection on elastic foundation: characteristic equation
(available as arXiv preprint) | 2019-10-02 | Paper |
Nonparametric additive model with grouped Lasso and maximizing area under the ROC curve
Computational Statistics and Data Analysis | 2018-11-23 | Paper |
Shortest path amidst disc obstacles is computable
Proceedings of the twenty-first annual symposium on Computational geometry | 2017-10-20 | Paper |
ON POSITIVENESS AND CONTRACTIVENESS OF THE INTEGRAL OPERATOR ARISING FROM THE BEAM DEFLECTION PROBLEM ON ELASTIC FOUNDATION
Bulletin of the Korean Mathematical Society | 2015-10-08 | Paper |
Plug-in tests for nonequivalence of means of independent normal populations
Biometrical Journal | 2014-11-21 | Paper |
Existence and uniqueness of nonlinear deflections of an infinite beam resting on a non-uniform nonlinear elastic foundation
Boundary Value Problems | 2013-08-28 | Paper |
| Spectral analysis of the integral operator arising from the beam deflection problem on elastic foundation. I: Positiveness and contractiveness | 2012-03-29 | Paper |
| Degree bound for evaluation of algebraic functions | 2011-12-19 | Paper |
Complete subdivision algorithms, II
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation | 2009-01-20 | Paper |
Two-dimensional offsets and medial axis transform
Advances in Computational Mathematics | 2008-03-12 | Paper |
On the stability of medial axis transform
Journal of Applied Mathematics and Computing | 2007-04-05 | Paper |
SHORTEST PATH AMIDST DISC OBSTACLES IS COMPUTABLE
International Journal of Computational Geometry & Applications | 2007-02-09 | Paper |
Stationary subdivision schemes reproducing polynomials
Computer Aided Geometric Design | 2006-08-14 | Paper |
| scientific article; zbMATH DE number 2040605 (Why is no real title available?) | 2004-02-11 | Paper |
Linear one-sided stability of MAT for weakly injective domain
Journal of Mathematical Imaging and Vision | 2003-05-04 | Paper |
Minkowski sum of semi-convex domains in R<sup>2</sup>
Dissertationes Mathematicae | 2003-01-28 | Paper |
Hyperbolic Hausdorff Distance for Medial Axis Transform
Graphical Models | 2002-07-08 | Paper |
Mathematical theory of medial axis transform
Pacific Journal of Mathematics | 1996-12-15 | Paper |
