| Publication | Date of Publication | Type |
|---|
| Traveling waves for a nonlocal delayed reaction-diffusion SIR epidemic model with demography effects | 2024-12-20 | Paper |
| Mixed virtual element methods for the poro-elastodynamics model on polygonal grids | 2024-12-03 | Paper |
| First order Büchi automata and their application to verification of LTL specifications | 2024-11-26 | Paper |
| Ding projective modules and dimensions over formal triangular matrix rings | 2024-09-13 | Paper |
| A phase velocity preserving fourth-order finite difference scheme for the Helmholtz equation with variable wavenumber | 2024-07-10 | Paper |
| Traveling wave solutions in a nonlocal dispersal SIR epidemic model with nonlocal time-delay and general nonlinear incidences | 2024-06-10 | Paper |
| Characterization and verification of stuttering equivalence | 2023-08-02 | Paper |
| Optimality of the rescaled pure greedy learning algorithms | 2023-03-03 | Paper |
| Unified error estimate for weak biorthogonal greedy algorithms | 2022-09-01 | Paper |
| \((p,q)\)-gamma operators which preserve \(x^2\) | 2022-01-19 | Paper |
| On Stancu-type generalization of modified \((p,q)\)-Szász-Mirakjan-Kantorovich operators | 2021-08-25 | Paper |
| Continuous-domain ant colony optimization algorithm based on reinforcement learning | 2021-08-24 | Paper |
| \(n\)-Gorenstein modules with respect to semidualizing modules | 2021-04-26 | Paper |
| Gorenstein \({\mathrm{FP}}_n\) flat modules and strongly Gorenstein \({\mathrm{FP}}_n\) flat modules | 2021-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4984541 | 2021-04-26 | Paper |
| Gorenstein IFP-平坦模 | 2020-10-27 | Paper |
| Uniform and hollow modules over rings of Morita contexts | 2020-01-22 | Paper |
| Static optimal scheduling for synchronous data flow graphs with model checking | 2019-12-19 | Paper |
| Approximation properties of \((p,q)\)-gamma operators | 2019-11-20 | Paper |
| n-Ding投射模和n-Ding内射模 | 2019-10-02 | Paper |
| On \((p, q)\)-analogue of gamma operators | 2019-06-18 | Paper |
| Tate homological properties based on the Tate flat resolution | 2018-10-22 | Paper |
| Efficient local level set method without reinitialization and its appliance to topology optimization | 2018-10-12 | Paper |
| Stability of Gorenstein \(\mathscr{X}\)-flat modules with respect to a semidualizing module | 2018-07-18 | Paper |
| Logics for bisimulation and divergence | 2018-07-17 | Paper |
| Stability of \(\mathcal W\)-Gorenstein flat module class | 2018-05-25 | Paper |
| Analyzing divergence in bisimulation semantics | 2017-10-20 | Paper |
| Linear templates of ACTL formulas with an application to SAT-based verification | 2017-08-16 | Paper |
| On \({G_C}\)-flat dimension | 2017-07-14 | Paper |
| \(\mathcal{W}\)-Gorenstein flat dimension | 2017-07-14 | Paper |
| Completeness of Hoare logic relative to the standard model | 2017-04-04 | Paper |
| The uniqueness of the decomposition of Poisson algebra | 2017-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2993000 | 2016-08-10 | Paper |
| Hom-Novikov-Poisson superalgebras | 2016-08-10 | Paper |
| Erratum to: ``Approximation of a kind of new type Bézier operators | 2016-02-29 | Paper |
| \((n,m)\)-strongly Ding projective modules. | 2016-01-15 | Paper |
| Completeness of Hoare logic with inputs over the standard model | 2015-12-15 | Paper |
| Strongly maximum flat modules and homological dimensions. | 2015-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5257538 | 2015-06-29 | Paper |
| Bounded semantics | 2014-12-16 | Paper |
| QBF Encoding of Temporal Properties and QBF-Based Verification | 2014-09-26 | Paper |
| On the use of Powell's restart strategy to conjugate gradient methods | 2014-03-14 | Paper |
| Neural integrated control for a free-floating space robot with suddenly changing parameters | 2013-07-03 | Paper |
| Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition | 2012-07-16 | Paper |
| Proving liveness property under strengthened compassion requirements | 2012-07-16 | Paper |
| Principal quasi-Baerness of formal power series rings. | 2011-03-02 | Paper |
| Auxiliary constructs for proving liveness in compassion discrete systems | 2010-10-04 | Paper |
| A direct construction of polynomial-size OBDD proof of pigeon hole problem | 2010-08-16 | Paper |
| Intuitionistic linear-time \(\mu\)-calculus | 2010-02-12 | Paper |
| A note on quasi-Armendariz rings. | 2010-02-05 | Paper |
| PS and CESS property of formal triangular matrix rings. | 2009-11-11 | Paper |
| The complexity of dual models problem of propositional linear temporal logics | 2009-03-06 | Paper |
| Efficient State Space Reduction for Automata by Fair Simulation | 2008-07-01 | Paper |
| Quasi-Armendariz Rings Relative to a Monoid | 2008-06-26 | Paper |
| A software design method based on supervisory control theories: method of changing state properties | 2008-04-04 | Paper |
| Combining search space partition and abstraction for LTL model checking | 2008-01-07 | Paper |
| Enhancing Simulation for Checking Language Containment | 2007-11-13 | Paper |
| A polynomial dynamic system approach to software design for attractivity requirement | 2007-05-18 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-25 | Paper |
| Efficient translation from transition-based generalized Büchi automata to Büchi automata | 2006-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5475170 | 2006-06-16 | Paper |
| Structure of proofs and the complexity of cut elimination | 2006-04-28 | Paper |
| Combining static analysis and case-based search space partitioning for reducing peak memory in model checking | 2004-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737568 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708203 | 2003-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2779796 | 2002-04-15 | Paper |
| Number of models and satisfiability of sets of clauses | 1997-02-27 | Paper |
| Depth of proofs, depth of cut-formulas and complexity of cut formulas | 1994-07-31 | Paper |
| Cut formulas in propositional logic | 1993-12-20 | Paper |
| Cut elimination and automatic proof procedures | 1992-06-28 | Paper |
