| Publication | Date of Publication | Type |
|---|
| Oblivious online contention resolution schemes | 2024-05-14 | Paper |
| On the optimal fixed-price mechanism in bilateral trade | 2024-05-08 | Paper |
| General strong fuzzy solutions of complex fuzzy matrix equations involving the Moore-Penrose weak group inverse | 2024-02-12 | Paper |
| (Fractional) online stochastic matching via fine-grained offline statistics | 2023-12-08 | Paper |
| One-round semi-quantum-honest key agreement scheme in MSTSA structure without entanglement | 2023-03-15 | Paper |
| A collaborative secret sharing scheme based on the Chinese remainder theorem | 2022-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5035500 | 2022-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5035505 | 2022-02-22 | Paper |
| Efficient decoding scheme of non-uniform concatenation quantum code with deep neural network | 2021-11-05 | Paper |
| Balanced joint maximum mean discrepancy for deep transfer learning | 2021-06-23 | Paper |
| A descent conjugate gradient algorithm for optimization problems and its applications in image restoration and compression sensing | 2020-10-14 | Paper |
| Some modified Hestenes-Stiefel conjugate gradient algorithms with application in image restoration | 2020-09-18 | Paper |
| Computing the number of the equivalence classes for reversible logic functions | 2020-09-04 | Paper |
| A conjugate gradient algorithm and its applications in image restoration | 2020-02-24 | Paper |
| Rough data-deduction based on the upper approximation | 2020-02-06 | Paper |
| Semantic consistency checking in building ontology from heterogeneous sources | 2019-11-19 | Paper |
| Groebner bases based verification solution for SystemVerilog concurrent assertions | 2019-11-19 | Paper |
| Approximate equivalence of the hybrid automata with Taylor theory | 2019-11-19 | Paper |
| A new pairwise NPN Boolean matching algorithm based on structural difference signature | 2019-11-13 | Paper |
| On fuzzy rough sets and their topological structures | 2019-02-08 | Paper |
| Approximate analyzing of labeled transition systems | 2018-08-27 | Paper |
| A deductive approach towards reasoning about algebraic transition systems | 2018-08-27 | Paper |
| Formal verification and quantitative metrics of MPSoC data dynamics | 2018-03-29 | Paper |
| Application of Wu's method to symbolic model checking | 2015-07-16 | Paper |
| Approximate bisimulation and optimization of software programs based on symbolic-numeric computation | 2014-10-13 | Paper |
| Model checking temporal aspects of inconsistent concurrent systems based on paraconsistent logic | 2013-10-07 | Paper |
| Action refinement for real-time concurrent processes with urgency | 2013-10-02 | Paper |
| Wu's characteristic set method for SystemVerilog assertions verification | 2013-09-09 | Paper |
| Refinement of actions in a real-time process algebra with a true concurrency model | 2013-08-19 | Paper |
| Algebraic verification method for SEREs properties via Groebner bases approaches | 2013-06-14 | Paper |
| Automata-based analysis of stage suspended boom systems | 2013-06-14 | Paper |
| Mathematical analysis of stage-based programmable logic controller | 2011-08-28 | Paper |
| Model checking technology and tool development based on Groebner base | 2010-02-01 | Paper |
| CWA Extensions to Multi-Valued Logics | 2009-11-30 | Paper |
| Model checking interactive Markov chains | 2009-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3640378 | 2009-11-11 | Paper |
| A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement | 2009-03-10 | Paper |
| SOFSEM 2006: Theory and Practice of Computer Science | 2006-11-14 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Applying Formal Methods: Testing, Performance, and M/E-Commerce | 2006-10-24 | Paper |
| Refinement of actions for real-time concurrent systems with causal ambiguity | 2006-05-26 | Paper |
| Solutions of the compatibility conditions for a Wigner quantum oscillator | 2006-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813199 | 2004-08-13 | Paper |
| Towards action refinement for true concurrent real time | 2004-03-11 | Paper |
| On Theorem Proving in Annotated Logics | 2004-01-11 | Paper |
| Bundle event structures: a revised cpo approach. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4550809 | 2002-09-04 | Paper |
| CWA formalizations in multi-valued logics | 2002-01-23 | Paper |
| Logic programming -- taking advantage of symmetry | 2001-07-12 | Paper |
| Linear strategy for Boolean ring based theorem proving | 2000-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4935821 | 2000-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4718969 | 2000-01-04 | Paper |
| Well-behaved inference rules for first-order theorem proving | 1999-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234179 | 1999-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4240685 | 1999-04-29 | Paper |
| An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics | 1999-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4384625 | 1999-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839543 | 1998-08-09 | Paper |
| Mechanical geometry theorem proving based on Gröbner bases | 1998-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4887695 | 1997-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3125007 | 1997-07-06 | Paper |
| On first-order theorem proving using generalized odd-superpositions II | 1997-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4333131 | 1997-05-28 | Paper |
| On the descriptive power of special Thue systems | 1997-01-14 | Paper |
