Hanpin Wang

Available identifiers

zbMath Open wang.hanpinMaRDI QIDQ351982

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2767312	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hanpin Wang