Jiong Yang

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Quantum circuit mapping based on incremental and parallel SAT solving	2026-02-03	Paper
Rounding meets approximate model counting Formal Methods in System Design	2025-11-07	Paper
Higher moments for non-normal fields with Galois group A_d and S_d Journal of Number Theory	2025-11-01	Paper
Higher moments related to Dedekind zeta functions of non-normal fields Journal of Number Theory	2025-07-31	Paper
Explaining SAT solving using causal reasoning	2024-11-26	Paper
Rounding meets approximate model counting	2024-01-12	Paper
Projected model counting: beyond independent support Automated Technology for Verification and Analysis	2023-06-02	Paper
Fast Appearance Modeling for Automatic Primary Video Object Segmentation IEEE Transactions on Image Processing	2019-02-04	Paper
Topical video object discovery from key frames by modeling word co-occurrence prior IEEE Transactions on Image Processing	2019-01-31	Paper
Differential operators for Siegel-Jacobi forms Science China. Mathematics	2016-07-19	Paper
Structured derivations of consensus algorithms for failure detectors Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing - PODC '98	2016-03-02	Paper
Constraint-Based Mining and Inductive Databases Lecture Notes in Computer Science	2006-11-13	Paper
Discovering an evolutionary classifier over a high-speed nonstatic stream	2006-02-06	Paper
Mining Sequential Patterns from Large Data Sets Advances in Database Systems	2005-04-29	Paper
Dynamo: design, implementation, and evaluation of cooperative persistent object management in a local area network	2003-02-04	Paper

Research outcomes over time

This page was built for person: Jiong Yang