#### Filter Results:

- Full text PDF available (7)

#### Publication Year

2007

2017

- This year (3)
- Last 5 years (11)
- Last 10 years (20)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Marek Sawerwain, Roman Gielerak
- Applied Mathematics and Computer Science
- 2008

A general definition of a quantum predicate and quantum labelled transition systems for finite quantum computation systems is presented. The notion of a quantum predicate as a positive operator-valued measure is developed. The main results of this paper are a theorem about the existence of generalised predicates for quantum programs defined as completely… (More)

- Marek Sawerwain
- PPAM
- 2007

- Roman Gielerak, Marek Sawerwain
- Quantum Information Processing
- 2010

Generalisation of the quantum weakest precondition result of D’Hondt and Panangaden is presented. In particular the most general notion of quantum predicate as positive operator valued measure (POVM) is introduced. The previously known quantum weakest precondition result has been extended to cover the case of POVM playing the role of a quantum predicate.… (More)

- Marek Sawerwain
- PPAM
- 2011

- Marek Sawerwain, Roman Gielerak
- CN
- 2012

- Marek Sawerwain, Joanna Wisniewska
- CN
- 2013

- Marek Sawerwain, Joanna Wisniewska
- CN
- 2014

- Joanna Wisniewska, Marek Sawerwain
- ACIIDS
- 2015

- Roman Gielerak, Marek Sawerwain
- CN
- 2009

The canonical Schmidt decomposition of quantum states is discussed and its implementation to the Quantum Computation Simulator is outlined. In particular, the semiorder relation in the space of quantum states induced by the lexicographic semiorder of the space of the Schmidt coefficients is discussed. The appropriate sorting algorithms on the corresponding… (More)

- Roman Gielerak, Marek Sawerwain
- CN
- 2011