| Publication | Date of Publication | Type |
|---|
| Bisimulation equivalence of pushdown automata is Ackermann-complete | 2026-03-18 | Paper |
On bisimulation in absence of restriction
RAIRO. Theoretical Informatics and Applications | 2026-03-14 | Paper |
Multiple solutions for parametric weighted (p, q)-equations
Electronic Journal of Differential Equations (EJDE) | 2025-11-13 | Paper |
Logical characterization of branching bisimilarity over random processes
Information Processing Letters | 2025-10-23 | Paper |
Critical points of locally Lipschitz functionals inside and outside the ordered interval
Electronic Journal of Qualitative Theory of Differential Equations | 2025-06-13 | Paper |
On higher-order communication in ambient calculi
Mathematical Structures in Computer Science | 2025-04-25 | Paper |
| 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
Applied Mathematical Modelling | 2023-03-21 | Paper |
Care-dependent tontines
Insurance Mathematics & Economics | 2022-09-14 | Paper |
Bifurcation results for a non-local elliptic equation with a nonlinear boundary condition
Journal of Mathematical Analysis and Applications | 2022-08-24 | Paper |
Asymptotic behavior of solution branches of nonlocal boundary value problems
Acta Mathematica Scientia. Series B. (English Edition) | 2022-07-01 | Paper |
Bifurcation results of positive solutions for an elliptic equation with nonlocal terms
AIMS Mathematics | 2022-06-03 | Paper |
A variational approach for Kirchhoff-Carrier type non-local equation boundary value problems
Journal of Mathematical Analysis and Applications | 2022-01-21 | Paper |
| Higher-order processes with parameterization over names and processes | 2021-12-07 | Paper |
Higher-order processes with parameterization over names and processes
(available as arXiv preprint) | 2021-12-07 | Paper |
Asymptotic oscillations of global solution branches for nonlinear problems
Positivity | 2021-12-01 | Paper |
| On context bisimulation for parameterized higher-order processes | 2021-06-17 | Paper |
On context bisimulation for parameterized higher-order processes
(available as arXiv preprint) | 2021-06-17 | Paper |
On the interactive power of higher-order processes extended with parameterization
Formal Aspects of Computing | 2021-05-19 | Paper |
Parameterizing higher-order processes on names and processes
RAIRO - Theoretical Informatics and Applications | 2020-05-04 | Paper |
Bifurcation results for a Kirchhoff type problem involving sign-changing weight functions
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2020-03-30 | Paper |
| scientific article; zbMATH DE number 7167779 (Why is no real title available?) | 2020-02-14 | Paper |
scientific article; zbMATH DE number 7167779 (Why is no real title available?)
(available as arXiv preprint) | 2020-02-14 | Paper |
Generating free-form grid truss structures from 3D scanned point clouds
Mathematical Problems in Engineering | 2018-11-05 | Paper |
Optimal retirement time under habit persistence: what makes individuals retire early?
Scandinavian Actuarial Journal | 2018-09-11 | Paper |
Trees from functions as processes
(available as arXiv preprint) | 2018-09-06 | Paper |
Numerical modeling of force-stiffness response of cross-linked actin networks using tensegrity systems
Mathematical Problems in Engineering | 2018-08-27 | Paper |
On parameterization of higher-order processes
International Journal of Computer Mathematics | 2017-07-28 | Paper |
Structure of solutions set of nonlinear eigenvalue problems
Journal of Mathematical Analysis and Applications | 2015-12-21 | Paper |
A behavioural theory for a \(\pi\)-calculus with preorders
Fundamentals of Software Engineering | 2015-12-11 | Paper |
| Solution branches for nonlinear problems with an asymptotic oscillation property | 2015-12-10 | Paper |
| scientific article; zbMATH DE number 6452608 (Why is no real title available?) | 2015-06-29 | Paper |
Trees from functions as processes
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Unbounded connected component of the positive solution set of nonlinear operator equation and its applications
Journal of Mathematical Analysis and Applications | 2014-07-16 | Paper |
Structure of positive solution sets of differential boundary value problems
Boundary Value Problems | 2014-06-25 | Paper |
| Sign-changing solutions of \(p\)-Laplacian equation with a sub-linear nonlinearity at infinity | 2014-04-14 | Paper |
Positive solutions of semi-positone nonlinear operator equations in Banach spaces with lattice structure
Positivity | 2014-01-29 | Paper |
A model in {\(\kappa\)} for DNA addition
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Form-finding of nonregular tensegrities using a genetic algorithm
Mechanics Research Communications | 2013-09-13 | Paper |
Distinguishing and relating higher-order and first-order processes by expressiveness
Acta Informatica | 2013-02-15 | Paper |
| scientific article; zbMATH DE number 6128993 (Why is no real title available?) | 2013-01-24 | Paper |
Structure of positive solution sets of sub-linear semi-positone operator equations
Positivity | 2013-01-02 | Paper |
Positive solutions for three-point boundary value problems with a non-well-ordered upper and lower solution condition
Applied Mathematics Letters | 2012-06-26 | Paper |
Global structure of positive solution sets of nonlinear operator equations
Monatshefte für Mathematik | 2012-02-22 | Paper |
Unbounded connected component of the positive solutions set of some semi-positone problems
Topological Methods in Nonlinear Analysis | 2011-11-22 | Paper |
| Multiplicity results for sign-changing solutions of an operator equation in ordered Banach space. | 2010-09-10 | Paper |
| Multiple sign-changing solutions for sub-linear impulsive three-point boundary-value problems | 2010-03-01 | Paper |
| Multiple sign-changing solutions for sub-linear impulsive three-point boundary-value problems | 2010-03-01 | Paper |
Structure of positive solution sets of semi-positone singular boundary value problems
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2010-03-01 | Paper |
| Multiple solutions for second-order nonlinear periodic boundary value problems in presence of two pairs of parallelled upper and lower solutions | 2010-02-12 | Paper |
Existence and location results for sign-changing solutions for three-point boundary value problems using Leray-Schauder degree
Monatshefte für Mathematik | 2009-12-14 | Paper |
On Bisimulation Theory in Linear Higher-Order π-Calculus
Transactions on Petri Nets and Other Models of Concurrency III | 2009-12-09 | Paper |
| Positive solutions for a system of operator equations and application to a semi-positone differential system | 2009-07-22 | Paper |
| Positive solutions of a sub-linear semi-positone boundary value problem | 2009-07-22 | Paper |
Boost Feature Subset Selection: A New Gene Selection Algorithm for Microarray Dataset
Computational Science – ICCS 2006 | 2008-12-09 | Paper |
Multiple solutions for sub-linear impulsive three-point boundary value problems
Applicable Analysis | 2008-12-04 | Paper |
Multiplicity results via topological degree for impulsive boundary value problems under non-well-ordered upper and lower solution conditions
Boundary Value Problems | 2008-11-18 | Paper |
Tissue P system with parallel rules on channels
Progress in Natural Science | 2008-11-10 | Paper |
Solutions for an operator equation under the conditions of pairs of paralleled lower and upper solutions
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2008-09-10 | Paper |
Multiplicity of sign-changing solutions for some four-point boundary value problem
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2008-08-22 | Paper |
Nodal solutions for \(m\)-point boundary value problems using bifurcation methods
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2008-04-28 | Paper |
| Multiple positive solutions for singular three-point boundary value problem system | 2008-04-04 | Paper |
Virtual Gene: Using Correlations Between Genes to Select Informative Genes on Microarray Datasets
Transactions on Computational Systems Biology II | 2008-03-19 | Paper |
Multiplicity results for three-point boundary value problems with a non-well-ordered upper and lower solution condition
Mathematical and Computer Modelling | 2008-02-22 | Paper |
Fixed point theory in Fréchet spaces for Volterra type operators
Applicable Analysis | 2008-02-21 | Paper |
Positive solutions for singular semi-positone three-point systems
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2007-02-14 | Paper |
Existence and multiplicity of positive solutions for multi-parameter three-point differential equations system
Journal of Mathematical Analysis and Applications | 2006-12-07 | Paper |
| Sign-changing solutions for some three-point boundary value problems with impulses | 2006-10-04 | Paper |
Existence of positive solutions for operator equations and applications to semipositone problems
Positivity | 2006-08-14 | Paper |
Existence and multiplicity of solutions for some three-point nonlinear boundary value problems
Journal of Inequalities and Applications | 2006-05-29 | Paper |
Three solutions theorems for nonlinear operator equations and applications
Journal of Systems Science and Complexity | 2006-01-13 | Paper |
Three solutions for three-point boundary value problems
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2187375 (Why is no real title available?) | 2005-07-15 | Paper |
| scientific article; zbMATH DE number 2187375 (Why is no real title available?) | 2005-07-15 | Paper |
| scientific article; zbMATH DE number 2165771 (Why is no real title available?) | 2005-05-06 | Paper |
| scientific article; zbMATH DE number 2152006 (Why is no real title available?) | 2005-04-04 | Paper |
| scientific article; zbMATH DE number 2121635 (Why is no real title available?) | 2004-12-10 | Paper |
On sign-changing solution for some three-point boundary value problems
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2004-11-22 | Paper |
| scientific article; zbMATH DE number 2100330 (Why is no real title available?) | 2004-09-13 | Paper |
| scientific article; zbMATH DE number 2100330 (Why is no real title available?) | 2004-09-13 | Paper |
| scientific article; zbMATH DE number 2094618 (Why is no real title available?) | 2004-08-24 | Paper |
A note on singular nonlinear boundary value problems
Journal of Mathematical Analysis and Applications | 2004-08-06 | Paper |
Multiplicity results for positive solutions of some semi-positone three-point boundary value problems
Journal of Mathematical Analysis and Applications | 2004-06-15 | Paper |
Positive solutions for singular \(m\)-point boundary value problems with positive parameter.
Journal of Mathematical Analysis and Applications | 2004-03-14 | Paper |
| scientific article; zbMATH DE number 1960998 (Why is no real title available?) | 2003-08-07 | Paper |
Positive solutions of generalized Emden--Fowler equation
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2003-04-28 | Paper |
Positive solutions for singular semi-positone boundary value problems
Journal of Mathematical Analysis and Applications | 2003-02-11 | Paper |
| scientific article; zbMATH DE number 1829824 (Why is no real title available?) | 2002-11-14 | Paper |
| scientific article; zbMATH DE number 1803153 (Why is no real title available?) | 2002-09-19 | Paper |
| scientific article; zbMATH DE number 1778185 (Why is no real title available?) | 2002-08-11 | Paper |
| scientific article; zbMATH DE number 1778136 (Why is no real title available?) | 2002-08-11 | Paper |
Fixed points of nonlinear operator equations and applications
Journal of Engineering Mathematics (Xi'an) | 2001-07-30 | Paper |
On the existence and iterative solutions of a system of nonmonotone operator equations
Journal of Shandong University. Natural Science Edition | 2001-06-26 | Paper |
Decreasing flow invariant sets and fixed points of quasimonotone increasing operators
Proceedings of the American Mathematical Society | 2001-06-06 | Paper |
| scientific article; zbMATH DE number 1474816 (Why is no real title available?) | 2000-07-11 | Paper |
The Method of Invariant Sets of Descending Flow for Locally Lipschitz Functionals
(available as arXiv preprint) | N/A | Paper |
Sign Changing Critical Points for Locally Lipschitz Functionals
(available as arXiv preprint) | N/A | Paper |
