Tao Gu

Available identifiers

Publication	Date of Publication	Type
Coupled thermo-mechanical phase field modeling for shear ductile fracture at high strain rate and temperature	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	2023-12-11	Paper
Functorial Semantics as a Unifying Perspective on Logic Programming	2023-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q5875350	2023-02-03	Paper
Hennessy-Milner results for probabilistic PDL	2022-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4989395	2021-05-25	Paper
The complexity measurement and evolution analysis of supply chain network under disruption risks	2020-09-29	Paper
Research on Two-Level Inventory Optimization Algorithm for Repairable Spare Parts Based on Improved Differential Evolution	2020-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4636044	2018-04-23	Paper
An Analytical Model for Coding-Based Reprogramming Protocols in Lossy Wireless Sensor Networks	2017-06-08	Paper
Information retrieval in schema-based P2P systems using one-dimensional semantic space	2007-12-19	Paper
Similarity of classes and fuzzy clustering	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3217640	1985-01-01	Paper
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic	N/A	Paper
Proof-theoretic Semantics for the Logic of Bunched Implications	N/A	Paper
Inferentialist Resource Semantics	N/A	Paper

This page was built for person: Tao Gu