Paul Wild

MaRDI QIDQ1819527zbMATH OpenFDO

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
Generalized Kantorovich-Rubinstein duality beyond Hausdorff and Kantorovich	2026-08-24	Paper
Identity-preserving Lax extensions and where to find them	2026-06-24	Paper
Quantitative graded semantics and spectra of behavioural metrics	2026-06-09	Paper
Behavioural metrics: compositionality of the Kantorovich lifting and an application to up-to techniques	2026-02-10	Paper
Relational connectors and heterogeneous simulations	2025-12-04	Paper
Expressive quantale-valued logics for coalgebras: an adjunction-based approach	2025-11-10	Paper
Graded semantics and graded logics for Eilenberg-Moore coalgebras	2025-01-20	Paper
Quantitative Hennessy-Milner theorems via notions of density	2024-09-25	Paper
A point-free perspective on lax extensions and predicate liftings Mathematical Structures in Computer Science	2024-03-05	Paper
Kantorovich functors and characteristic logics for behavioural distances Lecture Notes in Computer Science	2023-11-24	Paper
Characteristic logics for behavioural hemimetrics via fuzzy lax extensions (available as arXiv preprint)	2022-08-02	Paper
Characteristic logics for behavioural hemimetrics via fuzzy lax extensions	2022-08-02	Paper
Quantitative Hennessy-Milner Theorems via Notions of Density	2022-07-19	Paper
scientific article; zbMATH DE number 7559483 (Why is no real title available?)	2022-07-18	Paper
A quantified coalgebraic van Benthem theorem	2021-10-18	Paper
A van Benthem theorem for fuzzy modal logic Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
A Characterization Theorem for a Modal Description Logic	2017-05-17	Paper
scientific article; zbMATH DE number 516171 (Why is no real title available?)	1994-02-23	Paper
ON THE STABILITY OF TIME DISCRETISATIONS FOR THE SEMICONDUCTOR EQUATIONS COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering	1991-01-01	Paper
Accelerating the convergence of power series of certain entire functions Numerische Mathematik	1987-01-01	Paper

Research outcomes over time

This page was built for person: Paul Wild