Xiaowei Huang

Available identifiers

zbMath Open huang.xiaoweiMaRDI QIDQ846856

List of research outcomes

Publication	Date of Publication	Type
Quantum algorithms for learning hidden strings with applications to matroid problems	2024-02-23	Paper
Bridging formal methods and machine learning with model checking and global optimisation	2024-02-12	Paper
Symplectic Structure-Aware Hamiltonian (Graph) Embeddings	2023-09-09	Paper
Generalizing universal adversarial perturbations for deep neural networks	2023-06-27	Paper
Dependable learning-enabled multiagent systems	2022-12-12	Paper
Query complexity of unitary operation discrimination	2022-09-06	Paper
Embedding and extraction of knowledge in tree ensemble classifiers	2022-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4994889	2021-06-22	Paper
Quantified Coalition Logic of Knowledge, Belief and Certainty	2020-08-05	Paper
Reasoning about Cognitive Trust in Stochastic Multiagent Systems	2019-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q5195962	2019-10-02	Paper
An Epistemic Strategy Logic	2019-02-07	Paper
Numerical differentiation by integration	2014-01-22	Paper
Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic	2011-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q2999188	2011-05-11	Paper
A secure threshold Paillier proxy signature scheme	2010-09-14	Paper
A precongruence format for should testing preorder	2010-05-27	Paper
A fast convergent method of iterated regularization	2010-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q5320496	2009-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q5320019	2009-07-22	Paper
An RSA-Based (t,n) Threshold Proxy Signature Scheme without Any Trusted Combiner	2008-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q5431196	2007-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5698250	2005-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q5693993	2005-09-29	Paper
Semiparametric credibility ratemaking using a piecewise linear prior.	2004-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4427461	2004-02-03	Paper

Research outcomes over time

This page was built for person: Xiaowei Huang