| Publication | Date of Publication | Type |
|---|
| A fully secure lattice-based signcryption with designated equality test in standard model | 2024-02-13 | Paper |
| Robust learning‐based lateral tracking control for autonomous driving with input constraints | 2024-02-06 | Paper |
| Multilinear spectral multipliers on Besov and Triebel-Lizorkin spaces on Lie groups of polynomial growth | 2023-11-06 | Paper |
| Resource leveling in projects with flexible structures | 2023-06-20 | Paper |
| Public key encryption with fuzzy matching | 2023-04-13 | Paper |
| Quantum QR decomposition in the computational basis | 2023-02-03 | Paper |
| Affine spinor decomposition in three-dimensional affine geometry | 2022-10-12 | Paper |
| A novel identity-based multi-signature scheme over NTRU lattices | 2022-09-27 | Paper |
| Geometric interpretations of gradednull monomials inconformal geometric algebra | 2022-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5064980 | 2022-03-17 | Paper |
| Multilinear and multiparameter spectral multipliers on homogeneous Besov and Triebel-Lizorkin spaces on Lie groups of polynomial growth | 2022-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5017594 | 2021-12-17 | Paper |
| A complete classification of canonical forms of a class of Riemann tensor indexed expressions and its applications in differential geometry | 2021-12-17 | Paper |
| Multilinear spectral multipliers on Lie groups of polynomial growth | 2021-08-31 | Paper |
| Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations | 2020-09-09 | Paper |
| Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension | 2020-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3306965 | 2020-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3307025 | 2020-08-12 | Paper |
| Basis-free solution to general linear quaternionic equation | 2020-02-24 | Paper |
| Neural-network-based sliding-mode control for multiple rigid-body attitude tracking with inertial information completely unknown | 2020-02-07 | Paper |
| An efficient public-key searchable encryption scheme secure against inside keyword guessing attacks | 2020-02-07 | Paper |
| Towards enhanced security for certificateless public-key authenticated encryption with keyword search | 2020-01-10 | Paper |
| Closed form of inverse Plücker correspondence in line geometry | 2019-11-27 | Paper |
| Outsourced ciphertext-policy attribute-based encryption with equality test | 2019-10-31 | Paper |
| Deforming black holes with even multipolar differential rotation boundary | 2019-07-30 | Paper |
| Automated theorem proving practice with null geometric algebra | 2019-03-06 | Paper |
| Quantum algorithm design: techniques and applications | 2019-03-06 | Paper |
| Robust proactive project scheduling model for the stochastic discrete time/cost trade-off problem | 2019-02-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4556040 | 2018-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4556042 | 2018-11-23 | Paper |
| A Note on Discrete Connections on Regular Lattice | 2018-08-03 | Paper |
| Fuzzy keyword search and access control over ciphertexts in cloud computing | 2017-08-25 | Paper |
| A network-bound-dependent stabilization method of networked control systems | 2017-06-02 | Paper |
| The consensus region design and analysis of fractional-order multi-agent systems | 2017-04-06 | Paper |
| Bipartite opinion forming: towards consensus over coopetition networks | 2016-11-16 | Paper |
| Cluster consensus of high-order multi-agent systems with switching topologies | 2016-10-26 | Paper |
| Scaled cluster consensus of discrete-time multi-agent systems with general directed topologies | 2016-09-20 | Paper |
| H∞ stabilisation of networked control systems with time delays and packet losses | 2016-07-26 | Paper |
| Challenging theorem provers with Mathematical Olympiad problems in solid geometry | 2016-06-16 | Paper |
| Symbolic Geometric Reasoning with Advanced Invariant Algebras | 2016-05-25 | Paper |
| A genetic algorithm for the robust resource leveling problem | 2016-05-13 | Paper |
| A sampling-based stochastic winner determination model for truckload service procurement | 2016-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3461137 | 2016-01-15 | Paper |
| Three-Dimensional Projective Geometry with Geometric Algebra | 2015-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5257115 | 2015-06-29 | Paper |
| Approximate rational solutions torational ODEs defined on discrete differentiable curves | 2015-06-09 | Paper |
| Time optimal feedrate generation with confined tracking error based on linear programming | 2015-04-27 | Paper |
| Two proofs on max-min-max principle of jerk control in time-optimal rectilinear motion | 2015-02-04 | Paper |
| B-spline patches and transfinite interpolation method for PDE controlled simulation | 2015-01-27 | Paper |
| Optimal bandwidth scheduling of networked learning control system based on Nash theory and auction mechanism | 2014-11-24 | Paper |
| Delay-dependent fuzzy control of networked control systems and its application | 2014-11-24 | Paper |
| Spectral characterizations of the corona of a cycle and two isolated vertices | 2014-09-19 | Paper |
| Geometric error control in the parabola-blending linear interpolator | 2014-09-15 | Paper |
| Robust control for Markovian jump delta operator systems with actuator saturation | 2014-08-12 | Paper |
| On Geometric Theorem Proving with Null Geometric Algebra | 2014-06-23 | Paper |
| Line Geometry in Terms of the Null Geometric Algebra over ℝ3,3, and Application to the Inverse Singularity Analysis of Generalized Stewart Platforms | 2014-06-23 | Paper |
| Spectral determination of some chemical graphs | 2014-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2858895 | 2013-11-19 | Paper |
| Power series solution for isoscallop tool path generation on free-form surface with ball-end cutter | 2013-04-24 | Paper |
| Discrete interpolation of G01 codes in 2D machining under bounded accelerations | 2013-04-24 | Paper |
| Normalization of Polynomials in Algebraic Invariants of Three-Dimensional Orthogonal Geometry | 2013-02-27 | Paper |
| Normalization of Quaternionic Polynomials | 2013-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3110301 | 2012-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5199685 | 2011-08-16 | Paper |
| Fuzzy dynamic characteristic modeling and adaptive control of nonlinear systems and its application to hypersonic vehicles | 2011-06-17 | Paper |
| Projective geometric theorem proving with Grassmann–Cayley algebra | 2011-04-20 | Paper |
| Parameterization of 3D Conformal Transformations in Conformal Geometric Algebra | 2010-12-08 | Paper |
| Symbolic versor compression algorithm | 2010-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571256 | 2010-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571260 | 2010-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571266 | 2010-07-08 | Paper |
| Intelligent scheduling controller design for networked control systems based on estimation of distribution algorithm | 2010-02-12 | Paper |
| Simplification and normalization of indexed differentials involving coordinate transformation | 2010-01-06 | Paper |
| Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space | 2009-12-07 | Paper |
| Formal integrability criteria for nonlinear partial difference equations | 2009-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3640383 | 2009-11-11 | Paper |
| Key frame extraction based on curvature detection of multi-feature similarity curve | 2009-10-12 | Paper |
| Measuring observability by generalized information theoretic quantities | 2009-07-22 | Paper |
| Automated Deduction in Geometry | 2009-06-04 | Paper |
| Some special types of solutions of a class of the \((N+1)\)-dimensional nonlinear wave equations | 2009-03-12 | Paper |
| Complex brackets, balanced complex differences, and applications in symbolic geometric computing | 2009-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5301680 | 2009-01-20 | Paper |
| On the Mixed Cayley-Sylvester Resultant Matrix | 2009-01-15 | Paper |
| The novel solutions of auxiliary equation and their application to the \((2 + 1)\)-dimensional Burgers equations | 2008-11-06 | Paper |
| Symbolic computation and non-travelling wave solutions of \((2 + 1)\)-dimensional nonlinear evolution equations | 2008-11-06 | Paper |
| Exterior difference systems and invariance properties of discrete mechanics | 2008-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3513616 | 2008-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3500457 | 2008-06-03 | Paper |
| Single and multi-solitary wave solutions to a class of nonlinear evolution equations | 2008-05-08 | Paper |
| Applications of exterior difference systems to variations in discrete mechanics | 2008-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5445713 | 2008-03-06 | Paper |
| Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving | 2007-11-28 | Paper |
| Exterior difference system on hypercubic lattice | 2007-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5295860 | 2007-07-31 | Paper |
| Elliptic equation's new solutions and their applications to two nonlinear partial differential equations | 2007-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5293438 | 2007-07-02 | Paper |
| Automated Deduction in Geometry | 2006-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5482052 | 2006-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472453 | 2006-06-12 | Paper |
| Weyl transforms associated with the Hankel transform in Clifford analysis | 2006-06-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3375161 | 2006-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718719 | 2006-01-16 | Paper |
| Computer Algebra and Geometric Algebra with Applications | 2005-11-29 | Paper |
| Computer Algebra and Geometric Algebra with Applications | 2005-11-29 | Paper |
| Symbolic computation in the homogeneous geometric model with clifford algebra | 2005-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3155101 | 2005-01-14 | Paper |
| Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. | 2004-03-14 | Paper |
| Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4429034 | 2003-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2725960 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4509011 | 2003-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530836 | 2002-06-09 | Paper |
| ``Russian killer No. 2: a challenging geometric theorem with human and machine proofs. | 2001-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753968 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2726333 | 2001-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2726334 | 2001-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2726335 | 2001-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2726336 | 2001-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2726352 | 2001-07-24 | Paper |
| Hyperbolic conformal geometry with Clifford algebra | 2001-06-10 | Paper |
| Vectorial equations solving for mechanical geometry theorem proving | 2000-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946082 | 2000-08-28 | Paper |
| Ordering in automated theorem proving of differential geometry | 2000-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395514 | 2000-07-30 | Paper |
| Clifford algebraic reduction method for automated theorem proving in differential geometry | 1999-01-03 | Paper |
| On unilaterally constrained motions of rigid bodies systems | 1998-08-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4392227 | 1998-06-07 | Paper |
| Hyperbolic geometry with geometric algebra | 1998-04-20 | Paper |
| Hyperbolic geometry with Clifford algebra | 1998-04-08 | Paper |
| On Erdos' ten-point problem | 1997-12-15 | Paper |
| Mechanical theorem proving in differential geometry: Local theory of surfaces | 1997-11-17 | Paper |
| Ordering in mechanical geometry theorem proving | 1997-09-28 | Paper |
