| Publication | Date of Publication | Type |
|---|
The complexity of ferromagnetic 2-spin systems on bounded degree graphs
Theoretical Computer Science | 2025-01-16 | Paper |
A differentiable first-order rule learner for inductive logic programming
Artificial Intelligence | 2024-07-03 | Paper |
Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms
Journal of Artificial Intelligence Research | 2023-03-13 | Paper |
Multi resource allocation with partial preferences
Artificial Intelligence | 2023-01-04 | Paper |
Reasoning about block-based cloud storage systems via separation logic
Theoretical Computer Science | 2022-10-21 | Paper |
Zero-freeness and approximation of real Boolean Holant problems
Theoretical Computer Science | 2022-05-31 | Paper |
Learning from interpretation transition using differentiable logic programming semantics
Machine Learning | 2022-04-20 | Paper |
An adaptation-complete proof system for local reasoning about cloud storage systems
Theoretical Computer Science | 2022-02-01 | Paper |
| scientific article; zbMATH DE number 7234802 (Why is no real title available?) | 2020-08-12 | Paper |
| FPRAS for the Potts Model and the Number of $k$-colorings | 2019-02-25 | Paper |
Reducing interval-valued decision trees to conventional ones: comments on decision trees with single and multiple interval-valued objectives
Decision Analysis | 2018-10-24 | Paper |
Polynomial-time algorithms for computing distances of fuzzy transition systems
Theoretical Computer Science | 2018-05-17 | Paper |
Polynomial-time algorithms for computing distances of fuzzy transition systems
Theoretical Computer Science | 2018-05-17 | Paper |
Conditional anonymity with non-probabilistic adversary
Information Sciences | 2018-05-17 | Paper |
Similarity-Based Supervisory Control of Discrete-Event Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Reliability of Mobile Processes with Noisy Channels
IEEE Transactions on Computers | 2017-07-12 | Paper |
Differential privacy in probabilistic systems
Information and Computation | 2017-05-18 | Paper |
Model checking fuzzy computation tree logic
Fuzzy Sets and Systems | 2017-05-18 | Paper |
Discussion on: ``Decentralized supervisory control of fuzzy discrete event systems
European Journal of Control | 2017-04-19 | Paper |
Nondeterministic fuzzy automata with membership values in complete residuated lattices
International Journal of Approximate Reasoning | 2017-02-22 | Paper |
Model checking computation tree logic over finite lattices
Theoretical Computer Science | 2015-12-15 | Paper |
Simulation for lattice-valued doubly labeled transition systems
International Journal of Approximate Reasoning | 2015-07-10 | Paper |
Lattice-valued simulations for quantitative transition systems
International Journal of Approximate Reasoning | 2014-11-24 | Paper |
Behavioural equivalences of a probabilistic pi-calculus
Science China Information Sciences | 2013-08-20 | Paper |
Probabilistic automata for computing with words
Journal of Computer and System Sciences | 2013-02-21 | Paper |
Nondeterministic fuzzy automata
Information Sciences | 2012-10-17 | Paper |
Value-passing CCS with noisy channels
Theoretical Computer Science | 2012-06-25 | Paper |
On Model Checking Boolean BI
Computer Science Logic | 2009-11-12 | Paper |
CARTAN DETERMINANTS OF CELLULAR ALGEBRAS
The Quarterly Journal of Mathematics | 2007-03-20 | Paper |
Cyclotomic blob algebra and its representation theory.
Journal of Pure and Applied Algebra | 2006-01-09 | Paper |
On the projective-injective modules over cellular algebras
Proceedings of the American Mathematical Society | 2004-03-29 | Paper |
On the quasi-heredity and the semi-simplicity of cellular algebras.
Journal of Algebra | 2003-08-20 | Paper |
| scientific article; zbMATH DE number 1829635 (Why is no real title available?) | 2002-11-14 | Paper |
| scientific article; zbMATH DE number 1829678 (Why is no real title available?) | 2002-11-14 | Paper |
Weighted Moore-Penrose inverses of morphisms
Acta Mathematica Scientia. Series A. (Chinese Edition) | 2001-10-10 | Paper |
| scientific article; zbMATH DE number 1547742 (Why is no real title available?) | 2001-05-03 | Paper |
| scientific article; zbMATH DE number 1474926 (Why is no real title available?) | 2001-04-09 | Paper |
| scientific article; zbMATH DE number 1506665 (Why is no real title available?) | 2001-02-14 | Paper |
| scientific article; zbMATH DE number 1474919 (Why is no real title available?) | 2000-07-11 | Paper |
