Hanpin Wang

From MaRDI portal
Person:351982

Available identifiers

zbMath Open wang.hanpinMaRDI QIDQ351982

List of research outcomes





PublicationDate of PublicationType
The complexity of ferromagnetic 2-spin systems on bounded degree graphs2025-01-16Paper
A differentiable first-order rule learner for inductive logic programming2024-07-03Paper
Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms2023-03-13Paper
Multi resource allocation with partial preferences2023-01-04Paper
Reasoning about block-based cloud storage systems via separation logic2022-10-21Paper
Zero-freeness and approximation of real Boolean Holant problems2022-05-31Paper
Learning from interpretation transition using differentiable logic programming semantics2022-04-20Paper
An adaptation-complete proof system for local reasoning about cloud storage systems2022-02-01Paper
https://portal.mardi4nfdi.de/entity/Q33065002020-08-12Paper
https://portal.mardi4nfdi.de/entity/Q33077082020-08-12Paper
https://portal.mardi4nfdi.de/entity/Q51113592020-05-27Paper
FPRAS for the Potts Model and the Number of $k$-colorings2019-02-25Paper
The Complexity of Boolean Holant Problems with Nonnegative Weights2018-07-04Paper
Conditional anonymity with non-probabilistic adversary2018-05-17Paper
Differential privacy in probabilistic systems2017-05-18Paper
Behavioural equivalences of a probabilistic pi-calculus2013-08-20Paper
A new model for model checking: cycle-weighted Kripke structure2013-07-04Paper
Value-passing CCS with noisy channels2012-06-25Paper
On Model Checking Boolean BI2009-11-12Paper
Approximation algorithm for maximum edge coloring2009-03-20Paper
Stochastic Modeling and Quality Evaluation of Workflow Systems Based on QWF-Nets2009-01-13Paper
Approximation Algorithms for Maximum Edge Coloring Problem2007-11-13Paper
Completeness of temporal logics over infinite intervals.2004-01-26Paper
https://portal.mardi4nfdi.de/entity/Q44281182003-09-14Paper
https://portal.mardi4nfdi.de/entity/Q44281662003-09-14Paper
https://portal.mardi4nfdi.de/entity/Q31541342002-11-14Paper
Noforking properties of theories of modules when they are fracted.2002-01-29Paper
https://portal.mardi4nfdi.de/entity/Q43886421998-05-07Paper
Some preservation of stability of modules1998-01-21Paper
https://portal.mardi4nfdi.de/entity/Q31291661997-09-07Paper
https://portal.mardi4nfdi.de/entity/Q46968351993-06-29Paper

Research outcomes over time

This page was built for person: Hanpin Wang