| Publication | Date of Publication | Type |
|---|
An adaptive linear quadratic tracker design for continuous – time systems with completely unknown dynamics
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2025-12-18 | Paper |
A state-of-the-art survey on noise removal in a non-stationary signal using adaptive finite impulse response filtering: challenges, techniques, and applications
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2025-03-10 | Paper |
| Two complementary relations for the Rogers-Ramanujan continued fraction | 2022-07-13 | Paper |
Two complementary relations for the Rogers-Ramanujan continued fraction
(available as arXiv preprint) | 2022-07-13 | Paper |
A formula for the number of partitions of \(n\) in terms of the partial Bell polynomials
The Ramanujan Journal | 2022-02-11 | Paper |
A congruence for the number of alternating permutations
Missouri Journal of Mathematical Sciences | 2021-10-20 | Paper |
| A formula for the number of overpartitions of \(n\) in terms of the number of representations of \(n\) as a sum of \(r\) squares | 2021-09-15 | Paper |
An identity for the sum of inverses of odd divisors of \(n\) in terms of the number of representations of \(n\) as a sum of squares
Rocky Mountain Journal of Mathematics | 2021-09-10 | Paper |
| Some nested sums in terms of the Riemann zeta function and the Dirichlet beta function | 2021-05-03 | Paper |
| A combinatorial identity for the sum of divisors function involving \(p_r(n)\) | 2021-02-05 | Paper |
| scientific article; zbMATH DE number 7199597 (Why is no real title available?) | 2020-05-12 | Paper |
| Two new explicit formulas for the Bernoulli Numbers | 2020-05-11 | Paper |
Two new explicit formulas for the Bernoulli Numbers
(available as arXiv preprint) | 2020-05-11 | Paper |
| Two new identities involving the Bernoulli numbers, the Euler numbers, and the Stirling numbers of the first kind | 2020-02-17 | Paper |
An elementary proof of Euler's product expansion for the sine
Analysis (München) | 2020-01-31 | Paper |
Initial Excitation-Based Iterative Algorithm for Approximate Optimal Control of Completely Unknown LTI Systems
IEEE Transactions on Automatic Control | 2020-01-28 | Paper |
A new explicit formula for Bernoulli numbers involving the Euler number
Moscow Journal of Combinatorics and Number Theory | 2019-11-05 | Paper |
| Duality-based nested controller synthesis from STL specifications for stochastic linear systems | 2018-12-06 | Paper |
Revisiting calculation of moments of number of comparisons used by the randomized quick sort algorithm
Discrete Mathematics, Algorithms and Applications | 2017-03-07 | Paper |
Distributed Markov chains
Lecture Notes in Computer Science | 2015-02-04 | Paper |
Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
Theoretical Computer Science | 2011-05-03 | Paper |
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2005-11-11 | Paper |
