| Publication | Date of Publication | Type |
|---|
Quantum finite automaton using ternary rotation quantum gates and chrestenson family quantum gates
Quantum Information & Computation | 2026-01-15 | Paper |
Computational coupled large‐deformation periporomechanics for dynamic failure and fracturing in variably saturated porous media
International Journal for Numerical Methods in Engineering | 2023-11-23 | Paper |
Computational multiphase periporomechanics for unguided cracking in unsaturated porous media
International Journal for Numerical Methods in Engineering | 2023-11-17 | Paper |
iProMix: A Mixture Model for Studying the Function of ACE2 based on Bulk Proteogenomic Data
Journal of the American Statistical Association | 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
Linear and Multilinear Algebra | 2023-01-05 | Paper |
Updated Lagrangian unsaturated periporomechanics for extreme large deformation in unsaturated porous media
Computer Methods in Applied Mechanics and Engineering | 2022-10-10 | Paper |
The symmetric rank and decomposition of \(m\)-order \(n\)-dimensional \((n = 2,3,4)\) symmetric tensors over the binary field
Linear Algebra and its Applications | 2022-09-28 | Paper |
Maximal rank of \(m\times n\times 2\) tensors over arbitrary fields
SIAM Journal on Matrix Analysis and Applications | 2022-07-13 | Paper |
A computational periporomechanics model for localized failure in unsaturated porous media
Computer Methods in Applied Mechanics and Engineering | 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
Computer Methods in Applied Mechanics and Engineering | 2020-04-28 | Paper |
On Comon's conjecture over arbitrary fields
Linear Algebra and its Applications | 2020-04-21 | Paper |
A group algebraic approach to NPN classification of Boolean functions
Theory of Computing Systems | 2019-09-05 | Paper |
Generalized framework for similarity measure of time series
Mathematical Problems in Engineering | 2019-02-08 | Paper |
Formal analysis of the kinematic Jacobian in screw theory
Formal Aspects of Computing | 2018-11-16 | Paper |
Diagnosis of parallel computers arbitrary connectivity
IEEE Transactions on Computers | 2018-07-09 | Paper |
Quantum circuit synthesis using a new quantum logic gate library of NCV quantum gates
International Journal of Theoretical Physics | 2018-03-14 | Paper |
| Nonlinear continuous consumption emergency material dispatching problem | 2018-01-29 | Paper |
Adder based residue to binary number converters for (2/sup n/-1, 2/sup n/, 2/sup n/+1)
IEEE Transactions on Signal Processing | 2017-09-08 | Paper |
Maxterm Covering for Satisfiability
IEEE Transactions on Computers | 2017-07-12 | Paper |
A Quantitative Characterization of Cross Coverage
IEEE Transactions on Computers | 2017-05-16 | Paper |
Uncertainty Model for Configurable Hardware/Software and Resource Partitioning
IEEE Transactions on Computers | 2017-05-16 | Paper |
Mathematical framework for unsaturated flow in the finite deformation range
International Journal for Numerical Methods in Engineering | 2016-12-30 | Paper |
Formalization of geometric algebra theories in higher-order logic
Journal of Software | 2016-10-06 | Paper |
Compositional performance evaluation with importance measures
Communications in Statistics. Theory and Methods | 2016-05-25 | Paper |
| Analysis of the regularity of normal ringed surfaces | 2016-01-15 | Paper |
Estimating the volume of solution space for satisfiability modulo linear real arithmetic
Theory of Computing Systems | 2015-05-29 | Paper |
Pareto optimal mapping for tile-based network-on-chip under reliability constraints
International Journal of Computer Mathematics | 2015-03-25 | Paper |
Realization of a new permutative gate library using controlled-\(k\)th-root-of-NOT quantum gates for exact minimization of quantum circuits
International Journal of Quantum Information | 2014-12-23 | Paper |
Critical state plasticity. Part VII: Triggering a shear band in variably saturated porous media
Computer Methods in Applied Mechanics and Engineering | 2014-05-13 | Paper |
Complete Boolean satisfiability solving algorithms based on local search
Journal of Computer Science and Technology | 2014-02-06 | Paper |
Exponential-condition-based barrier certificate generation for safety verification of hybrid systems
Computer Aided Verification | 2013-11-26 | Paper |
A transformation-based approach to implication of GSTE assertion graphs
Journal of Applied Mathematics | 2013-09-09 | Paper |
Exploring structural symmetry automatically in symbolic trajectory evaluation
Formal Methods in System Design | 2012-09-27 | Paper |
Competent predicate abstraction in model checking
Science China Information Sciences | 2011-06-17 | Paper |
A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL
Theoretical Computer Science | 2011-06-06 | Paper |
An iterative method for generating loop invariants
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management | 2011-06-03 | Paper |
Realization and synthesis of reversible functions
Theoretical Computer Science | 2011-03-29 | Paper |
Equality detection for linear arithmetic constraints
Journal of Zhejiang University. Science A | 2011-02-02 | Paper |
Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections
Mathematical and Computer Modelling | 2010-05-08 | Paper |
Synthesis of reversible circuits with minimal costs
Calcolo | 2009-10-19 | Paper |
A New Approach for the Construction of Multiway Decision Graphs
Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
Minimal universal library for \(n\times n\) reversible circuits
Computers & Mathematics with Applications | 2008-10-22 | Paper |
Compositional Reasoning for Hardware/Software Co-verification
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
A combinatorial congestion estimation approach with generalized detours
Computers & Mathematics with Applications | 2008-03-11 | Paper |
Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits
Implementation and Application of Automata | 2007-09-06 | Paper |
Theory and Applications of Models of Computation
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Theory and Applications of Models of Computation
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Congestion estimation for hexagonal routing
International Journal of Computer Mathematics | 2007-02-15 | Paper |
Algebraic characterization of reversible logic gates
Theory of Computing Systems | 2006-10-25 | Paper |
Universality of 2-qudit ternary reversible gates
Journal of Physics A: Mathematical and General | 2006-07-13 | Paper |
Solutions of the compatibility conditions for a Wigner quantum oscillator
Journal of Physics A: Mathematical and General | 2006-03-09 | Paper |
Multiterminal net assignments by scatter search
Mathematical and Computer Modelling | 2006-02-06 | Paper |
Computing and Combinatorics
Lecture Notes in Computer Science | 2006-01-11 | Paper |
A stochastic model for cellassignments in PCS networks
Mathematical and Computer Modelling | 2005-06-23 | Paper |
Majority-based reversible logic gates
Theoretical Computer Science | 2005-06-01 | Paper |
Computation of signal output probability for Boolean functions represented by OBDD
Computers & Mathematics with Applications | 2005-03-08 | Paper |
On synthesis of 3 × 3 reversible logic functions
International Journal of Computer Mathematics | 2005-03-07 | Paper |
A comparative study on search strategies for cell assignments
International Journal of Computer Mathematics | 2005-01-14 | Paper |
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)
The Computer Journal | 2004-11-19 | Paper |
| scientific article; zbMATH DE number 2104049 (Why is no real title available?) | 2004-09-28 | Paper |
On the non-termination of MDG-based abstract state enumeration
Theoretical Computer Science | 2003-07-30 | Paper |
On reachability graphs of Petri nets
Computers and Electrical Engineering | 2003-02-20 | Paper |
Single-faced Boolean functions and their minimization
The Computer Journal. Section A Section B | 2002-01-23 | Paper |
Fault diagnosis in hypercube multiprocessor systems
International Journal of Computer Mathematics | 2001-10-16 | Paper |
On conformance testing of non-deterministic systems
International Journal of Computer Mathematics | 2001-07-29 | Paper |
Routing multiterminal nets on a hexagonal grid
Discrete Applied Mathematics | 1999-06-07 | Paper |
Hexagonal three-layer channel routing
Information Processing Letters | 1997-02-27 | Paper |
The net adding problem
International Journal of Computer Mathematics | 1996-05-28 | Paper |
Computational multiphase micro-periporomechanics for dynamic shear banding and fracturing of unsaturated porous media
(available as arXiv preprint) | N/A | Paper |
Modeling dynamic crack branching in unsaturated porous media through multi-phase micro-periporomechanics
(available as arXiv preprint) | N/A | Paper |
