| Publication | Date of Publication | Type |
|---|
| Coherent Control of Multiphoton Using Multidressing Fields | 2023-11-20 | Paper |
| Generation of Competitive and Coexisting Two Pairs of Biphotons in Single Hot Atomic Vapor Cell | 2023-11-13 | Paper |
| Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs | 2023-09-27 | Paper |
| Gradient recovery based finite element methods for the two-dimensional quad-curl problem | 2023-09-21 | Paper |
| Past, current and future trends and challenges in non-deterministic fracture mechanics: a review | 2023-06-06 | Paper |
| Verification of Distributed Quantum Programs | 2022-04-29 | Paper |
| Formal semantics of a classical-quantum language | 2022-04-07 | Paper |
| Sparse Single Index Models for Multivariate Responses | 2022-03-29 | Paper |
| Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search | 2022-03-24 | Paper |
| Measuring the constrained reachability in quantum Markov chains | 2021-12-15 | Paper |
| A proof system for disjoint parallel quantum programs | 2021-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4996777 | 2021-07-01 | Paper |
| Model Checking Quantum Systems | 2020-12-02 | Paper |
| Model Checking Omega-regular Properties for Quantum Markov Chains | 2020-05-27 | Paper |
| Energy dissipation analysis of elastic-plastic materials | 2020-04-06 | Paper |
| Triphoton correlations in six-wave mixing | 2020-03-16 | Paper |
| A system dynamics-based simulation model of production line with cross-trained workers | 2020-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4688901 | 2018-10-22 | Paper |
| Reliable portfolio selection problem in fuzzy environment: an \(m_\lambda\) measure based approach | 2018-08-20 | Paper |
| Decomposition of quantum Markov chains and its applications | 2018-05-08 | Paper |
| Probabilistic bisimilarity as testing equivalence | 2017-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5357721 | 2017-09-12 | Paper |
| Toward Automatic Verification of Quantum Cryptographic Protocols | 2017-09-12 | Paper |
| Precisely deciding CSL formulas through approximate model checking for CTMCs | 2017-09-07 | Paper |
| An Algebraic Language for Distributed Quantum Computing | 2017-08-08 | Paper |
| Distinguishability of Quantum States by Separable Operations | 2017-08-08 | Paper |
| Characterizing Locally Indistinguishable Orthogonal Product States | 2017-08-08 | Paper |
| Price Competition in an Oligopoly Market with Multiple IaaS Cloud Providers | 2017-06-20 | Paper |
| On approximation in Ba spaces for Jackson-Matsuoka polynomials on the sphere | 2017-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791018 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791682 | 2016-03-15 | Paper |
| A nearly optimal upper bound for the self-stabilization time in Herman's algorithm | 2015-09-29 | Paper |
| Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties | 2015-09-28 | Paper |
| An algebra of quantum processes | 2015-09-17 | Paper |
| Model-Checking Linear-Time Properties of Quantum Systems | 2015-09-17 | Paper |
| On hybrid models of quantum finite automata | 2015-07-13 | Paper |
| Direct and converse results in the \(Ba\) space for Jackson-Matsuoka polynomials on the unit sphere | 2015-03-16 | Paper |
| Perturbation Analysis in Verification of Discrete-Time Markov Chains | 2014-09-15 | Paper |
| A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman’s Algorithm | 2014-09-15 | Paper |
| Symbolic Bisimulation for Quantum Processes | 2014-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5418375 | 2014-06-03 | Paper |
| A tighter bound for the self-stabilization time in Herman's algorithm | 2014-04-11 | Paper |
| Bisimulation for quantum processes | 2014-04-10 | Paper |
| Model checking quantum Markov chains | 2014-01-27 | Paper |
| Relations between anisotropic Besov spaces and multivariate Bernstein-Durrmeyer operators | 2014-01-27 | Paper |
| A matrix approach to associated consistency of the Shapley value for games in generalized characteristic function form | 2014-01-21 | Paper |
| Reachability Analysis of Recursive Quantum Markov Chains | 2013-09-20 | Paper |
| Reachability Probabilities of Quantum Markov Chains | 2013-08-12 | Paper |
| Asymptotic properties of wavelet estimators in a semiparametric regression model with censored data | 2013-06-20 | Paper |
| Direct and inverse strong-type inequalities for Jackson-Matsuoka polynomials on the sphere | 2013-04-29 | Paper |
| Open Bisimulation for Quantum Processes | 2012-09-21 | Paper |
| Entanglement is Not Necessary for Perfect Discrimination between Unitary Operations | 2011-12-26 | Paper |
| Quantum loop programs | 2010-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3560843 | 2010-05-14 | Paper |
| Commutativity of quantum weakest preconditions | 2010-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3400487 | 2010-02-05 | Paper |
| Parameter Estimation of Quantum Channels | 2009-02-24 | Paper |
| Partial recovery of quantum entanglement | 2008-12-21 | Paper |
| Catalyst-Assisted Probabilistic Entanglement Transformation | 2008-12-21 | Paper |
| A bicriteria solid transportation problem with fixed charge under stochastic environment | 2008-02-22 | Paper |
| Probabilistic bisimulations for quantum processes | 2007-11-21 | Paper |
| Proof rules for the correctness of quantum programs | 2007-10-25 | Paper |
| Quantum operation, quantum Fourier transform and semi-definite programming | 2007-10-08 | Paper |
| A two-objective fuzzy \(k\)-cardinality assignment problem | 2006-10-25 | Paper |
| Universal and original-preserving quantum copying is impossible | 2002-05-14 | Paper |
