| Publication | Date of Publication | Type |
|---|
| On decidability of the bisimilarity on higher-order processes with parameterization | 2024-11-26 | Paper |
| FaBFT: flexible asynchronous BFT protocol using DAG | 2024-07-19 | Paper |
| Uniform random process model revisited | 2024-04-19 | Paper |
| A generalized objective function based on weight coefficient for topology-finding of tensegrity structures | 2023-03-21 | Paper |
| Care-dependent tontines | 2022-09-14 | Paper |
| Bifurcation results for a non-local elliptic equation with a nonlinear boundary condition | 2022-08-24 | Paper |
| Asymptotic behavior of solution branches of nonlocal boundary value problems | 2022-07-01 | Paper |
| Bifurcation results of positive solutions for an elliptic equation with nonlocal terms | 2022-06-03 | Paper |
| A variational approach for Kirchhoff-Carrier type non-local equation boundary value problems | 2022-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015357 | 2021-12-07 | Paper |
| Asymptotic oscillations of global solution branches for nonlinear problems | 2021-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994121 | 2021-06-17 | Paper |
| On the interactive power of higher-order processes extended with parameterization | 2021-05-19 | Paper |
| Parameterizing higher-order processes on names and processes | 2020-05-04 | Paper |
| Bifurcation results for a Kirchhoff type problem involving sign-changing weight functions | 2020-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216156 | 2020-02-14 | Paper |
| Generating free-form grid truss structures from 3D scanned point clouds | 2018-11-05 | Paper |
| Optimal retirement time under habit persistence: what makes individuals retire early? | 2018-09-11 | Paper |
| Trees from Functions as Processes | 2018-09-06 | Paper |
| Numerical modeling of force-stiffness response of cross-linked actin networks using tensegrity systems | 2018-08-27 | Paper |
| On parameterization of higher-order processes | 2017-07-28 | Paper |
| Structure of solutions set of nonlinear eigenvalue problems | 2015-12-21 | Paper |
| A Behavioural Theory for a π-calculus with Preorders | 2015-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457021 | 2015-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5257122 | 2015-06-29 | Paper |
| Trees from Functions as Processes | 2014-09-15 | Paper |
| Unbounded connected component of the positive solution set of nonlinear operator equation and its applications | 2014-07-16 | Paper |
| Structure of positive solution sets of differential boundary value problems | 2014-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5409321 | 2014-04-14 | Paper |
| Positive solutions of semi-positone nonlinear operator equations in Banach spaces with lattice structure | 2014-01-29 | Paper |
| A Model in κ for DNA Addition | 2013-12-06 | Paper |
| Form-finding of nonregular tensegrities using a genetic algorithm | 2013-09-13 | Paper |
| Distinguishing and relating higher-order and first-order processes by expressiveness | 2013-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4900468 | 2013-01-24 | Paper |
| Structure of positive solution sets of sub-linear semi-positone operator equations | 2013-01-02 | Paper |
| Positive solutions for three-point boundary value problems with a non-well-ordered upper and lower solution condition | 2012-06-26 | Paper |
| Global structure of positive solution sets of nonlinear operator equations | 2012-02-22 | Paper |
| Unbounded connected component of the positive solutions set of some semi-positone problems | 2011-11-22 | Paper |
| Multiplicity results for sign-changing solutions of an operator equation in ordered Banach space | 2010-09-10 | Paper |
| Structure of positive solution sets of semi-positone singular boundary value problems | 2010-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5187764 | 2010-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3404862 | 2010-02-12 | Paper |
| Existence and location results for sign-changing solutions for three-point boundary value problems using Leray-Schauder degree | 2009-12-14 | Paper |
| On Bisimulation Theory in Linear Higher-Order π-Calculus | 2009-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5318436 | 2009-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5318783 | 2009-07-22 | Paper |
| Boost Feature Subset Selection: A New Gene Selection Algorithm for Microarray Dataset | 2008-12-09 | Paper |
| Multiple solutions for sub-linear impulsive three-point boundary value problems | 2008-12-04 | Paper |
| Multiplicity results via topological degree for impulsive boundary value problems under non-well-ordered upper and lower solution conditions | 2008-11-18 | Paper |
| Tissue P system with parallel rules on channels | 2008-11-10 | Paper |
| Solutions for an operator equation under the conditions of pairs of paralleled lower and upper solutions | 2008-09-10 | Paper |
| Multiplicity of sign-changing solutions for some four-point boundary value problem | 2008-08-22 | Paper |
| Nodal solutions for \(m\)-point boundary value problems using bifurcation methods | 2008-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5452642 | 2008-04-04 | Paper |
| Virtual Gene: Using Correlations Between Genes to Select Informative Genes on Microarray Datasets | 2008-03-19 | Paper |
| Multiplicity results for three-point boundary value problems with a non-well-ordered upper and lower solution condition | 2008-02-22 | Paper |
| Fixed point theory in Fréchet spaces for Volterra type operators | 2008-02-21 | Paper |
| Positive solutions for singular semi-positone three-point systems | 2007-02-14 | Paper |
| Existence and multiplicity of positive solutions for multi-parameter three-point differential equations system | 2006-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5490495 | 2006-10-04 | Paper |
| Existence of positive solutions for operator equations and applications to semipositone problems | 2006-08-14 | Paper |
| Existence and multiplicity of solutions for some three-point nonlinear boundary value problems | 2006-05-29 | Paper |
| Three solutions theorems for nonlinear operator equations and applications | 2006-01-13 | Paper |
| Three solutions for three-point boundary value problems | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3025598 | 2005-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4675713 | 2005-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4663609 | 2005-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4830428 | 2004-12-10 | Paper |
| On sign-changing solution for some three-point boundary value problems | 2004-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4816728 | 2004-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809222 | 2004-08-24 | Paper |
| A note on singular nonlinear boundary value problems | 2004-08-06 | Paper |
| Multiplicity results for positive solutions of some semi-positone three-point boundary value problems | 2004-06-15 | Paper |
| Positive solutions for singular \(m\)-point boundary value problems with positive parameter. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415885 | 2003-08-07 | Paper |
| Positive solutions of generalized Emden--Fowler equation | 2003-04-28 | Paper |
| Positive solutions for singular semi-positone boundary value problems | 2003-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4778515 | 2002-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3147463 | 2002-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4544034 | 2002-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4544086 | 2002-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2731987 | 2001-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2720041 | 2001-06-26 | Paper |
| Decreasing flow invariant sets and fixed points of quasimonotone increasing operators | 2001-06-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489382 | 2000-07-11 | Paper |
| The Method of Invariant Sets of Descending Flow for Locally Lipschitz Functionals | N/A | Paper |
| Sign Changing Critical Points for Locally Lipschitz Functionals | N/A | Paper |
