Hanpin Wang

Available identifiers

zbMath Open wang.hanpinMaRDI QIDQ351982

List of research outcomes

Publication	Date of Publication	Type
The complexity of ferromagnetic 2-spin systems on bounded degree graphs	2025-01-16	Paper
A differentiable first-order rule learner for inductive logic programming	2024-07-03	Paper
Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms	2023-03-13	Paper
Multi resource allocation with partial preferences	2023-01-04	Paper
Reasoning about block-based cloud storage systems via separation logic	2022-10-21	Paper
Zero-freeness and approximation of real Boolean Holant problems	2022-05-31	Paper
Learning from interpretation transition using differentiable logic programming semantics	2022-04-20	Paper
An adaptation-complete proof system for local reasoning about cloud storage systems	2022-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q3306500	2020-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3307708	2020-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q5111359	2020-05-27	Paper
FPRAS for the Potts Model and the Number of $k$-colorings	2019-02-25	Paper
The Complexity of Boolean Holant Problems with Nonnegative Weights	2018-07-04	Paper
Conditional anonymity with non-probabilistic adversary	2018-05-17	Paper
Differential privacy in probabilistic systems	2017-05-18	Paper
Behavioural equivalences of a probabilistic pi-calculus	2013-08-20	Paper
A new model for model checking: cycle-weighted Kripke structure	2013-07-04	Paper
Value-passing CCS with noisy channels	2012-06-25	Paper
On Model Checking Boolean BI	2009-11-12	Paper
Approximation algorithm for maximum edge coloring	2009-03-20	Paper
Stochastic Modeling and Quality Evaluation of Workflow Systems Based on QWF-Nets	2009-01-13	Paper
Approximation Algorithms for Maximum Edge Coloring Problem	2007-11-13	Paper
Completeness of temporal logics over infinite intervals.	2004-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q4428118	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4428166	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q3154134	2002-11-14	Paper
Noforking properties of theories of modules when they are fracted.	2002-01-29	Paper
https://portal.mardi4nfdi.de/entity/Q4388642	1998-05-07	Paper
Some preservation of stability of modules	1998-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q3129166	1997-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4696835	1993-06-29	Paper

Research outcomes over time

This page was built for person: Hanpin Wang