| 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 |
| https://portal.mardi4nfdi.de/entity/Q4984377 | 2021-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4984485 | 2021-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4984541 | 2021-04-26 | Paper |
| Gorenstein IFP-平坦模 | 2020-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5209643 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4688638 | 2018-10-22 | Paper |
| Efficient local level set method without reinitialization and its appliance to topology optimization | 2018-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3175362 | 2018-07-18 | Paper |
| Logics for bisimulation and divergence | 2018-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4640559 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5276965 | 2017-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5277263 | 2017-07-14 | Paper |
| Completeness of Hoare Logic Relative to the Standard Model | 2017-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3180855 | 2017-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2992789 | 2016-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2993000 | 2016-08-10 | Paper |
| Erratum to: ``Approximation of a kind of new type Bézier operators | 2016-02-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3461748 | 2016-01-15 | Paper |
| Completeness of Hoare logic with inputs over the standard model | 2015-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5257538 | 2015-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5257860 | 2015-06-29 | Paper |
| Bounded semantics | 2014-12-16 | Paper |
| QBF Encoding of Temporal Properties and QBF-Based Verification | 2014-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5402626 | 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 |
| https://portal.mardi4nfdi.de/entity/Q3406322 | 2010-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3400430 | 2010-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3641848 | 2009-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3610994 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5453334 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5491174 | 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 |
