| Publication | Date of Publication | Type |
|---|
Full-field experiment-aided virtual modelling framework for inverse-based stochastic prediction of structures with elastoplasticity
Computer Methods in Applied Mechanics and Engineering | 2024-09-24 | Paper |
Dynamic crack propagation in elasto-plastic materials using phase-field virtual modelling method
Computer Methods in Applied Mechanics and Engineering | 2024-08-15 | Paper |
Coherent Control of Multiphoton Using Multidressing Fields
Annalen der Physik | 2023-11-20 | Paper |
Generation of Competitive and Coexisting Two Pairs of Biphotons in Single Hot Atomic Vapor Cell
Annalen der Physik | 2023-11-13 | Paper |
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
Information and Computation | 2023-09-27 | Paper |
Gradient recovery based finite element methods for the two-dimensional quad-curl problem
Applied Mathematics Letters | 2023-09-21 | Paper |
Past, current and future trends and challenges in non-deterministic fracture mechanics: a review
Computer Methods in Applied Mechanics and Engineering | 2023-06-06 | Paper |
Verification of distributed quantum programs
ACM Transactions on Computational Logic | 2022-04-29 | Paper |
Formal semantics of a classical-quantum language
Theoretical Computer Science | 2022-04-07 | Paper |
Sparse Single Index Models for Multivariate Responses
Journal of Computational and Graphical Statistics | 2022-03-29 | Paper |
Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search
IEEE Transactions on Computers | 2022-03-24 | Paper |
Measuring the constrained reachability in quantum Markov chains
Acta Informatica | 2021-12-15 | Paper |
A proof system for disjoint parallel quantum programs
Theoretical Computer Science | 2021-12-01 | Paper |
| Multi-valued neutrosophic number group decision-making with unknown objective weights of criteria and experts | 2021-07-01 | Paper |
| Model checking quantum systems. Principles and algorithms | 2020-12-02 | Paper |
| Model checking \(\omega\)-regular properties for quantum Markov chains | 2020-05-27 | Paper |
Energy dissipation analysis of elastic-plastic materials
Computer Methods in Applied Mechanics and Engineering | 2020-04-06 | Paper |
Triphoton correlations in six-wave mixing
Annals of Physics | 2020-03-16 | Paper |
A system dynamics-based simulation model of production line with cross-trained workers
Journal of Statistical Computation and Simulation | 2020-03-09 | Paper |
| Verification of quantum programs | 2018-10-22 | Paper |
Reliable portfolio selection problem in fuzzy environment: an \(m_\lambda\) measure based approach
Algorithms | 2018-08-20 | Paper |
Decomposition of quantum Markov chains and its applications
Journal of Computer and System Sciences | 2018-05-08 | Paper |
Decomposition of quantum Markov chains and its applications
Journal of Computer and System Sciences | 2018-05-08 | Paper |
Probabilistic bisimilarity as testing equivalence
Information and Computation | 2017-11-16 | Paper |
Toward automatic verification of quantum cryptographic protocols
(available as arXiv preprint) | 2017-09-12 | Paper |
| scientific article; zbMATH DE number 6774228 (Why is no real title available?) | 2017-09-12 | Paper |
Precisely deciding CSL formulas through approximate model checking for CTMCs
Journal of Computer and System Sciences | 2017-09-07 | Paper |
Distinguishability of Quantum States by Separable Operations
IEEE Transactions on Information Theory | 2017-08-08 | Paper |
Characterizing Locally Indistinguishable Orthogonal Product States
IEEE Transactions on Information Theory | 2017-08-08 | Paper |
An Algebraic Language for Distributed Quantum Computing
IEEE Transactions on Computers | 2017-08-08 | Paper |
Price Competition in an Oligopoly Market with Multiple IaaS Cloud Providers
IEEE Transactions on Computers | 2017-06-20 | Paper |
On approximation in Ba spaces for Jackson-Matsuoka polynomials on the sphere
Journal of Mathematical Inequalities | 2017-01-20 | Paper |
Fuzzy infinite product
Fuzzy Systems and Mathematics | 2016-03-15 | Paper |
Further discussion on the decomposition theorems for \({\mathbf t_\infty}\)-measures
Fuzzy Systems and Mathematics | 2016-03-15 | Paper |
A nearly optimal upper bound for the self-stabilization time in Herman's algorithm
Distributed Computing | 2015-09-29 | Paper |
Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties
Information and Computation | 2015-09-28 | Paper |
An algebra of quantum processes
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Model-checking linear-time properties of quantum systems
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
On hybrid models of quantum finite automata
Journal of Computer and System Sciences | 2015-07-13 | Paper |
Direct and converse results in the \(Ba\) space for Jackson-Matsuoka polynomials on the unit sphere
Journal of Inequalities and Applications | 2015-03-16 | Paper |
A nearly optimal upper bound for the self-stabilization time in Herman's algorithm
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Perturbation analysis in verification of discrete-time Markov chains
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Symbolic bisimulation for quantum processes
ACM Transactions on Computational Logic | 2014-07-17 | Paper |
| Consistency to the values for games in generalized characteristic function form | 2014-06-03 | Paper |
A tighter bound for the self-stabilization time in Herman's algorithm
Information Processing Letters | 2014-04-11 | Paper |
Bisimulation for quantum processes
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Model checking quantum Markov chains
Journal of Computer and System Sciences | 2014-01-27 | Paper |
Relations between anisotropic Besov spaces and multivariate Bernstein-Durrmeyer operators
Journal of Inequalities and Applications | 2014-01-27 | Paper |
A matrix approach to associated consistency of the Shapley value for games in generalized characteristic function form
Linear Algebra and its Applications | 2014-01-21 | Paper |
Reachability analysis of recursive quantum Markov chains
Mathematical Foundations of Computer Science 2013 | 2013-09-20 | Paper |
Reachability Probabilities of Quantum Markov Chains
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
Asymptotic properties of wavelet estimators in a semiparametric regression model with censored data
Wuhan University Journal of Natural Sciences | 2013-06-20 | Paper |
Direct and inverse strong-type inequalities for Jackson-Matsuoka polynomials on the sphere
Journal of Mathematical Inequalities | 2013-04-29 | Paper |
Open bisimulation for quantum processes
Lecture Notes in Computer Science | 2012-09-21 | Paper |
Entanglement is not necessary for perfect discrimination between unitary operations
Physical Review Letters | 2011-12-26 | Paper |
Quantum loop programs
Acta Informatica | 2010-06-21 | Paper |
Quantum loop programs
Acta Informatica | 2010-06-21 | Paper |
| scientific article; zbMATH DE number 5708042 (Why is no real title available?) | 2010-05-14 | Paper |
Commutativity of quantum weakest preconditions
Information Processing Letters | 2010-03-24 | Paper |
scientific article; zbMATH DE number 5666695 (Why is no real title available?)
(available as arXiv preprint) | 2010-02-05 | Paper |
Parameter Estimation of Quantum Channels
IEEE Transactions on Information Theory | 2009-02-24 | Paper |
Partial recovery of quantum entanglement
IEEE Transactions on Information Theory | 2008-12-21 | Paper |
Catalyst-Assisted Probabilistic Entanglement Transformation
IEEE Transactions on Information Theory | 2008-12-21 | Paper |
A bicriteria solid transportation problem with fixed charge under stochastic environment
Applied Mathematical Modelling | 2008-02-22 | Paper |
Probabilistic bisimulations for quantum processes
Information and Computation | 2007-11-21 | Paper |
Proof rules for the correctness of quantum programs
Theoretical Computer Science | 2007-10-25 | Paper |
Quantum operation, quantum Fourier transform and semi-definite programming
Physics Letters. A | 2007-10-08 | Paper |
A two-objective fuzzy \(k\)-cardinality assignment problem
Journal of Computational and Applied Mathematics | 2006-10-25 | Paper |
Universal and original-preserving quantum copying is impossible
Physics Letters. A | 2002-05-14 | Paper |
