| Publication | Date of Publication | Type |
|---|
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
| Undecidable cases of model checking probabilistic temporal-epistemic logic (extended abstract) | 2021-12-07 | Paper |
Undecidable cases of model checking probabilistic temporal-epistemic logic (extended abstract)
(available as arXiv preprint) | 2021-12-07 | Paper |
Quantum Fourier transform, Heisenberg groups and quasi-probability distributions
New Journal of Physics | 2020-11-24 | Paper |
| Metrics and pseudometrics on unitary groups with applications in quantum information processing | 2019-09-24 | Paper |
Generalized probabilistic theories and conic extensions of polytopes
Journal of Physics A: Mathematical and Theoretical | 2015-02-06 | Paper |
An algebraic framework for information theory: classical information
IMA Journal of Mathematical Control and Information | 2013-07-30 | Paper |
Decoherence-free quantum information in Markovian systems
Physical Review A | 2013-01-19 | Paper |
Consistent assignment of quantum probabilities
Journal of Physics A: Mathematical and Theoretical | 2012-03-13 | Paper |
A LOGIC FOR QUANTUM COMPUTATION AND CLASSICAL SIMULATION OF QUANTUM ALGORITHMS
International Journal of Quantum Information | 2008-11-03 | Paper |
A study of solitary waves in a tapered aorta by using the theory of solitons
Computers & Mathematics with Applications | 2007-11-12 | Paper |
Quantum state determination: estimates for information gain and some exact calculations
Journal of Physics A: Mathematical and Theoretical | 2007-09-13 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
A realization of quantum algebras - some applications
Journal of Physics A: Mathematical and General | 2002-12-08 | Paper |
| On nonsemisimple symmetries | 2001-09-10 | Paper |
On the structure of nonsemisimple Hopf algebras
Journal of Physics A: Mathematical and General | 2000-01-18 | Paper |
Tensor product decomposition and CG coefficients for nonsemisimple Hopf algebras
Journal of Physics A: Mathematical and General | 2000-01-18 | Paper |
Laminar boundary-layer flow of a Newtonian fluid through a curved pipe -- some applications to arterial flow dynamics
International Journal of Engineering Science | 1998-11-15 | Paper |
| scientific article; zbMATH DE number 1163034 (Why is no real title available?) | 1998-09-13 | Paper |
Biorheological aspects of arterial flow near bifurcations
Computers & Mathematics with Applications | 1994-01-19 | Paper |
Oscillatory flow of a viscous fluid through converging-diverging orthotropic tethered tubes
Computers & Mathematics with Applications | 1993-11-28 | Paper |
Unsteady flow of blood through narrow blood vessels - a mathematical analysis
Computers & Mathematics with Applications | 1993-02-22 | Paper |
Cohomology theory and deformations of Z2-graded lie algebras
Journal of Mathematical Physics | 1990-01-01 | Paper |
Contraction of graded su(2) algebra
Letters in Mathematical Physics | 1989-01-01 | Paper |
Representation of BRS and full BRS algebra
Journal of Physics A: Mathematical and General | 1988-01-01 | Paper |
Indecomposable BRS modules
Letters in Mathematical Physics | 1987-01-01 | Paper |
