| Publication | Date of Publication | Type |
|---|
| Computational coupled large‐deformation periporomechanics for dynamic failure and fracturing in variably saturated porous media | 2023-11-23 | Paper |
| Computational multiphase periporomechanics for unguided cracking in unsaturated porous media | 2023-11-17 | Paper |
| iProMix: A Mixture Model for Studying the Function of ACE2 based on Bulk Proteogenomic Data | 2023-07-03 | Paper |
| Visco-Cosserat periporomechanics for dynamic shear bands and crack branching in porous media | 2023-06-29 | Paper |
| Rank decomposition and symmetric rank decomposition over arbitrary fields | 2023-01-05 | Paper |
| Updated Lagrangian unsaturated periporomechanics for extreme large deformation in unsaturated porous media | 2022-10-10 | Paper |
| The symmetric rank and decomposition of \(m\)-order \(n\)-dimensional \((n = 2,3,4)\) symmetric tensors over the binary field | 2022-09-28 | Paper |
| Maximal Rank of ${m}\times{n}\times 2$ Tensors over Arbitrary Fields | 2022-07-13 | Paper |
| A computational periporomechanics model for localized failure in unsaturated porous media | 2021-10-27 | Paper |
| A stabilized computational nonlocal poromechanics model for dynamic analysis of saturated porous media | 2021-03-22 | Paper |
| Strain localization in non-isothermal unsaturated porous media considering material heterogeneity with stabilized mixed finite elements | 2020-04-28 | Paper |
| On Comon's conjecture over arbitrary fields | 2020-04-21 | Paper |
| A group algebraic approach to NPN classification of Boolean functions | 2019-09-05 | Paper |
| Generalized framework for similarity measure of time series | 2019-02-08 | Paper |
| Formal analysis of the kinematic Jacobian in screw theory | 2018-11-16 | Paper |
| Diagnosis of parallel computers arbitrary connectivity | 2018-07-09 | Paper |
| Quantum circuit synthesis using a new quantum logic gate library of NCV quantum gates | 2018-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3132138 | 2018-01-29 | Paper |
| Adder based residue to binary number converters for (2/sup n/-1, 2/sup n/, 2/sup n/+1) | 2017-09-08 | Paper |
| Maxterm Covering for Satisfiability | 2017-07-12 | Paper |
| A Quantitative Characterization of Cross Coverage | 2017-05-16 | Paper |
| Uncertainty Model for Configurable Hardware/Software and Resource Partitioning | 2017-05-16 | Paper |
| Mathematical framework for unsaturated flow in the finite deformation range | 2016-12-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2824411 | 2016-10-06 | Paper |
| Compositional Performance Evaluation with Importance Measures | 2016-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3461752 | 2016-01-15 | Paper |
| Estimating the volume of solution space for satisfiability modulo linear real arithmetic | 2015-05-29 | Paper |
| Pareto optimal mapping for tile-based network-on-chip under reliability constraints | 2015-03-25 | Paper |
| Realization of a new permutative gate library using controlled-kth-root-of-NOT quantum gates for exact minimization of quantum circuits | 2014-12-23 | Paper |
| Critical state plasticity. Part VII: Triggering a shear band in variably saturated porous media | 2014-05-13 | Paper |
| Complete Boolean satisfiability solving algorithms based on local search | 2014-02-06 | Paper |
| Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems | 2013-11-26 | Paper |
| A transformation-based approach to implication of GSTE assertion graphs | 2013-09-09 | Paper |
| Exploring structural symmetry automatically in symbolic trajectory evaluation | 2012-09-27 | Paper |
| Competent predicate abstraction in model checking | 2011-06-17 | Paper |
| A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL | 2011-06-06 | Paper |
| An Iterative Method for Generating Loop Invariants | 2011-06-03 | Paper |
| Realization and synthesis of reversible functions | 2011-03-29 | Paper |
| Equality detection for linear arithmetic constraints | 2011-02-02 | Paper |
| Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections | 2010-05-08 | Paper |
| Synthesis of reversible circuits with minimal costs | 2009-10-19 | Paper |
| A New Approach for the Construction of Multiway Decision Graphs | 2009-01-27 | Paper |
| Minimal universal library for \(n\times n\) reversible circuits | 2008-10-22 | Paper |
| A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement | 2008-09-04 | Paper |
| Compositional Reasoning for Hardware/Software Co-verification | 2008-09-04 | Paper |
| A combinatorial congestion estimation approach with generalized detours | 2008-03-11 | Paper |
| Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits | 2007-09-06 | Paper |
| Theory and Applications of Models of Computation | 2007-04-30 | Paper |
| Theory and Applications of Models of Computation | 2007-04-30 | Paper |
| Congestion estimation for hexagonal routing | 2007-02-15 | Paper |
| Algebraic characterization of reversible logic gates | 2006-10-25 | Paper |
| Universality of 2-qudit ternary reversible gates | 2006-07-13 | Paper |
| Solutions of the compatibility conditions for a Wigner quantum oscillator | 2006-03-09 | Paper |
| Multiterminal net assignments by scatter search | 2006-02-06 | Paper |
| Computing and Combinatorics | 2006-01-11 | Paper |
| A stochastic model for cellassignments in PCS networks | 2005-06-23 | Paper |
| Majority-based reversible logic gates | 2005-06-01 | Paper |
| Computation of signal output probability for Boolean functions represented by OBDD | 2005-03-08 | Paper |
| On synthesis of 3 × 3 reversible logic functions | 2005-03-07 | Paper |
| A comparative study on search strategies for cell assignments | 2005-01-14 | Paper |
| Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs) | 2004-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818412 | 2004-09-28 | Paper |
| On the non-termination of MDG-based abstract state enumeration | 2003-07-30 | Paper |
| On reachability graphs of Petri nets | 2003-02-20 | Paper |
| Single-faced Boolean Functions and their Minimization | 2002-01-23 | Paper |
| Fault diagnosis in hypercube multiprocessor systems | 2001-10-16 | Paper |
| On conformance testing of non-deterministic systems | 2001-07-29 | Paper |
| Routing multiterminal nets on a hexagonal grid | 1999-06-07 | Paper |
| Hexagonal three-layer channel routing | 1997-02-27 | Paper |
| The net adding problem | 1996-05-28 | Paper |
