| |
| 2008 | ||
|---|---|---|
| 4 | EE | Witold Charatonik, Michal Wrona: Quantified Positive Temporal Constraints. CSL 2008: 94-108 |
| 3 | EE | Witold Charatonik, Michal Wrona: Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates. LPAR 2008: 543-557 |
| 2007 | ||
| 2 | EE | Witold Charatonik, Michal Wrona: 2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices. ISMVL 2007: 21 |
| 2005 | ||
| 1 | EE | Michal Wrona: Stratified Boolean Grammars. MFCS 2005: 801-812 |
| 1 | Witold Charatonik | [2] [3] [4] |