| Publication | Date of Publication | Type |
|---|
Quantum algorithms for learning hidden strings with applications to matroid problems
Theoretical Computer Science | 2024-02-23 | Paper |
Bridging formal methods and machine learning with model checking and global optimisation
Journal of Logical and Algebraic Methods in Programming | 2024-02-12 | Paper |
| Symplectic Structure-Aware Hamiltonian (Graph) Embeddings | 2023-09-09 | Paper |
Generalizing universal adversarial perturbations for deep neural networks
Machine Learning | 2023-06-27 | Paper |
Dependable learning-enabled multiagent systems
AI Communications | 2022-12-12 | Paper |
Query complexity of unitary operation discrimination
Physica A | 2022-09-06 | Paper |
Embedding and extraction of knowledge in tree ensemble classifiers
Machine Learning | 2022-08-10 | Paper |
| scientific article; zbMATH DE number 7361815 (Why is no real title available?) | 2021-06-22 | Paper |
scientific article; zbMATH DE number 7361815 (Why is no real title available?)
(available as arXiv preprint) | 2021-06-22 | Paper |
Quantified coalition logic of knowledge, belief and certainty
Advances in Artificial Intelligence | 2020-08-05 | Paper |
Reasoning about Cognitive Trust in Stochastic Multiagent Systems
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
Reasoning about Cognitive Trust in Stochastic Multiagent Systems
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
| Sparse graph regularized matrix discriminant analysis for hyperspectral image classification | 2019-10-02 | Paper |
An epistemic strategy logic
ACM Transactions on Computational Logic | 2019-02-07 | Paper |
Numerical differentiation by integration
Mathematics of Computation | 2014-01-22 | Paper |
Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic
Model Checking and Artificial Intelligence | 2011-05-27 | Paper |
| The complexity of epistemic model checking: clock semantics and branching time | 2011-05-11 | Paper |
A secure threshold Paillier proxy signature scheme
Journal of Zhejiang University SCIENCE C | 2010-09-14 | Paper |
A precongruence format for should testing preorder
The Journal of Logic and Algebraic Programming | 2010-05-27 | Paper |
A fast convergent method of iterated regularization
Acta Mathematica Scientia. Series B. (English Edition) | 2010-02-12 | Paper |
| scientific article; zbMATH DE number 5584850 (Why is no real title available?) | 2009-07-22 | Paper |
| A prediction of growth rate by non-mean-square error criterion functions | 2009-07-22 | Paper |
An RSA-Based (t,n) Threshold Proxy Signature Scheme without Any Trusted Combiner
Lecture Notes in Computer Science | 2008-11-20 | Paper |
| scientific article; zbMATH DE number 5218717 (Why is no real title available?) | 2007-12-07 | Paper |
| scientific article; zbMATH DE number 2219510 (Why is no real title available?) | 2005-10-27 | Paper |
| scientific article; zbMATH DE number 2210733 (Why is no real title available?) | 2005-09-29 | Paper |
Semiparametric credibility ratemaking using a piecewise linear prior.
Insurance Mathematics & Economics | 2004-02-14 | Paper |
| scientific article; zbMATH DE number 1983552 (Why is no real title available?) | 2004-02-03 | Paper |
