| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5881220 | 2023-03-09 | Paper |
| LBCRN: lightweight bidirectional correction residual network for image super-resolution | 2023-03-07 | Paper |
| The Complexity of Linear-Time Temporal Logic Model Repair | 2022-12-09 | Paper |
| Nested Timed Automata with Invariants | 2022-11-04 | Paper |
| Constructing format-preserving printing from syntax-directed definitions | 2022-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5017380 | 2021-12-17 | Paper |
| On reachability analysis of updatable timed automata with one updatable clock | 2021-05-20 | Paper |
| On Termination and Boundedness of Nested Updatable Timed Automata | 2021-05-20 | Paper |
| Examine manipulated datasets with topology data analysis: a case study | 2021-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3386301 | 2021-01-14 | Paper |
| Global Mittag-Leffler stability analysis of fractional-order impulsive neural networks with one-side Lipschitz condition | 2020-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5209965 | 2020-01-22 | Paper |
| Energy management strategy for parallel hybrid electric vehicles based on approximate dynamic programming and velocity forecast | 2019-11-07 | Paper |
| Fibred cofinitely-coarse embeddability of box families and proper isometric affine actions on uniformly convex Banach spaces | 2018-11-13 | Paper |
| Schedulability analysis of timed regular tasks by under-approximation on WCET | 2018-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3132071 | 2018-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3132074 | 2018-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5276605 | 2017-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5276614 | 2017-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2994284 | 2016-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2990840 | 2016-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2992000 | 2016-08-10 | Paper |
| Nested Timed Automata with Frozen Clocks | 2015-09-14 | Paper |
| DYNAMIC ANALYSIS OF AN SIR MODEL WITH STOCHASTIC PERTURBATIONS | 2014-02-05 | Paper |
| Interfacial debonding of pipe joints under torsion loads: a model for arbitrary nonlinear cohesive laws | 2013-10-22 | Paper |
| MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS | 2013-01-18 | Paper |
| A theory of anisotropic healing and damage mechanics of materials | 2012-07-31 | Paper |
| A thermodynamic consistent damage and healing model for self healing materials | 2012-05-11 | Paper |
| Cohesive zone model based analytical solutions for adhesively bonded pipe joints under torsional loading | 2012-04-24 | Paper |
| Effects of adhesive thickness on global and local mode-I interfacial fracture of bonded joints | 2010-10-12 | Paper |
| Effects of applied stress level on plastic zone size and opening stress ratio of a fatigue crack | 2010-09-16 | Paper |
| Corrigendum to ``Constitutive modeling of shape memory polymer based self-healing syntactic foam | 2010-09-13 | Paper |
| Constitutive modeling of shape memory polymer based self-healing syntactic foam | 2010-09-07 | Paper |
| Fracture of a rectangular piezoelectromagnetic body | 2010-08-12 | Paper |
| Stress analyses of a smart composite pipe joint integrated with piezoelectric composite layers under torsion loading | 2009-09-10 | Paper |
| Nonlinear interface shear fracture of end notched flexure specimens | 2009-08-21 | Paper |
| Interactions of multiple parallel symmetric permeable mode-III cracks in a piezoelectric material plane | 2009-08-21 | Paper |
| Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol | 2008-11-20 | Paper |
| On-the-Fly Model Checking of Fair Non-repudiation Protocols | 2008-07-03 | Paper |
| The presentation of Drazin generalized inverse of linear operator in Banach spaces | 2008-01-14 | Paper |
| Analysis of an adhesively bonded single-strap joint integrated with shape memory alloy (SMA) reinforced layers | 2007-11-08 | Paper |
| Development of a smart composite pipe joint integrated with piezoelectric layers under tensile loading | 2007-10-17 | Paper |
| Design and analysis of a smart composite pipe joint system integrated with piezoelectric layers under bending | 2007-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3415665 | 2007-01-19 | Paper |
| Computational and Information Science | 2006-10-10 | Paper |
| Computational and Information Science | 2006-10-10 | Paper |
| Constant moving crack in a magnetoelectroelastic material under anti-plane shear loading | 2006-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3371931 | 2006-02-21 | Paper |
| Buckling analysis of tapered lattice columns using a generalized finite element | 2004-08-10 | Paper |
| Dual self-transform function | 2002-12-08 | Paper |
| A flexibility approach for damage identification of cantilever-type structures with bending and shear deformation | 2001-03-01 | Paper |
| Structural analysis of multi-stiffened coupled shear walls on flexible foundations | 1999-09-06 | Paper |
| A continuous-discrete approach to the free vibration analysis of stiffened pierced walls on flexible foundations | 1998-10-06 | Paper |
| A unified matrix approach for nonlinear analysis of steel frames subjected to wind or earthquakes | 1997-12-15 | Paper |
