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 |