Tao Gu

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
Inferentialist resource semantics	2026-04-02	Paper
A complete diagrammatic calculus for Boolean satisfiability	2026-04-02	Paper
A categorical approach to DIBI models	2026-01-14	Paper
Coupled thermo-mechanical phase field modeling for shear ductile fracture at high strain rate and temperature European Journal of Mechanics. A. Solids	2024-06-18	Paper
Proof-theoretic semantics for intuitionistic multiplicative linear logic	2024-05-17	Paper
A shear-modified cohesive-GTN model for shear failure at high strain rates Meccanica	2023-12-11	Paper
Functorial Semantics as a Unifying Perspective on Logic Programming	2023-12-08	Paper
scientific article; zbMATH DE number 7649893 (Why is no real title available?)	2023-02-03	Paper
Hennessy-Milner results for probabilistic PDL	2022-04-29	Paper
scientific article; zbMATH DE number 7350768 (Why is no real title available?) (available as arXiv preprint)	2021-05-25	Paper
scientific article; zbMATH DE number 7350768 (Why is no real title available?)	2021-05-25	Paper
The complexity measurement and evolution analysis of supply chain network under disruption risks Chaos, Solitons and Fractals	2020-09-29	Paper
Research on Two-Level Inventory Optimization Algorithm for Repairable Spare Parts Based on Improved Differential Evolution Communications in Computer and Information Science	2020-08-26	Paper
``Knowing value logic as a normal modal logic (available as arXiv preprint)	2018-04-23	Paper
An Analytical Model for Coding-Based Reprogramming Protocols in Lossy Wireless Sensor Networks IEEE Transactions on Computers	2017-06-08	Paper
Information retrieval in schema-based P2P systems using one-dimensional semantic space Computer Networks	2007-12-19	Paper
Similarity of classes and fuzzy clustering Fuzzy Sets and Systems	1990-01-01	Paper
scientific article; zbMATH DE number 3883645 (Why is no real title available?)	1985-01-01	Paper
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (available as arXiv preprint)	N/A	Paper
Proof-theoretic Semantics for the Logic of Bunched Implications (available as arXiv preprint)	N/A	Paper
Inferentialist Resource Semantics (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Tao Gu