| Publication | Date of Publication | Type |
|---|
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
Information and Computation | 2023-09-27 | Paper |
On quotients of formal power series
Information and Computation | 2022-06-08 | Paper |
Verification of distributed quantum programs
ACM Transactions on Computational Logic | 2022-04-29 | Paper |
Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search
IEEE Transactions on Computers | 2022-03-24 | Paper |
On constructing the largest and smallest uninorms on bounded lattices
Fuzzy Sets and Systems | 2021-07-22 | Paper |
Computation tree logic model checking based on multi-valued possibility measures
Information Sciences | 2020-11-27 | Paper |
| On Redundancy in Simple Temporal Networks | 2018-07-12 | Paper |
On tree-preserving constraints
Annals of Mathematics and Artificial Intelligence | 2018-01-11 | Paper |
The quintuple implication principle of fuzzy reasoning
Information Sciences | 2017-05-16 | Paper |
| scientific article; zbMATH DE number 6519660 (Why is no real title available?) | 2015-12-11 | Paper |
| Convex solutions of RCC8 networks | 2015-12-11 | Paper |
On redundant topological constraints
Artificial Intelligence | 2015-11-17 | Paper |
Qualitative constraint satisfaction problems: an extended framework with landmarks
Artificial Intelligence | 2015-08-27 | Paper |
| On the homogeneous countable Boolean contact algebra. | 2015-04-09 | Paper |
Realizing RCC8 networks using convex regions
Artificial Intelligence | 2015-02-02 | Paper |
Reasoning about topological and cardinal direction relations between 2-dimensional spatial objects
The Journal of Artificial Intelligence Research (JAIR) | 2014-11-13 | Paper |
Reasoning with topological and directional spatial information
Computational Intelligence | 2013-11-01 | Paper |
Extension properties of Boolean contact algebras
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
On standard models of fuzzy region connection calculus
International Journal of Approximate Reasoning | 2012-07-05 | Paper |
Reasoning about cardinal directions between extended objects: the NP-hardness result
Artificial Intelligence | 2012-05-23 | Paper |
Reasoning about cardinal directions between extended objects
Artificial Intelligence | 2010-09-02 | Paper |
A representation theorem for minmax regret policies
Artificial Intelligence | 2009-07-09 | Paper |
| A representation theorem for minmax regret policies | 2009-03-24 | Paper |
Soft constraint abstraction based on semiring homomorphism
Theoretical Computer Science | 2008-09-16 | Paper |
RCC8 binary constraint network can be consistently extended
Artificial Intelligence | 2007-10-23 | Paper |
On topological consistency and realization
Constraints | 2006-11-03 | Paper |
| scientific article; zbMATH DE number 5033824 (Why is no real title available?) | 2006-06-19 | Paper |
| scientific article; zbMATH DE number 5033878 (Why is no real title available?) | 2006-06-19 | Paper |
On the complemented disk algebra
The Journal of Logic and Algebraic Programming | 2006-03-16 | Paper |
Region connection calculus: Its models and composition table
Artificial Intelligence | 2006-02-07 | Paper |
Generalized region connection calculus
Artificial Intelligence | 2006-02-07 | Paper |
| scientific article; zbMATH DE number 2147601 (Why is no real title available?) | 2005-03-21 | Paper |
A note on stratified \(L\)-real line and unit \(L\)-interval
Fuzzy Sets and Systems | 2004-11-23 | Paper |
A Non-topologically Generated Hutton-lowen Uniformizable Space
Quaestiones Mathematicae | 2004-10-15 | Paper |
| scientific article; zbMATH DE number 1998332 (Why is no real title available?) | 2003-10-29 | Paper |
\(\mathbf{FNS}\) is not isomorphic to \(\mathbf{FTS}\)
Fuzzy Sets and Systems | 2003-05-27 | Paper |
Generalized Lowen functors
Fuzzy Sets and Systems | 2003-02-13 | Paper |
A negative answer to T. Kubiak's question
Fuzzy Sets and Systems | 2003-02-13 | Paper |
Urysohn's lemma and arcwise connected completely distributive lattices
Chinese Journal of Contemporary Mathematics | 2002-08-28 | Paper |
A note on super uniform spaces
Chinese Annals of Mathematics. Series A | 2002-06-19 | Paper |
A note on Artico-Moresco fuzzy proximity spaces
Journal of Sichuan University. Natural Science Edition | 2002-04-23 | Paper |
On level-structure in linear fuzzy neighbourhood spaces
Journal of Sichuan University. Natural Science Edition | 2002-04-23 | Paper |
| scientific article; zbMATH DE number 1475140 (Why is no real title available?) | 2000-12-26 | Paper |
