Person:744328

Available identifiers

zbMath Open chen.yiyunMaRDI QIDQ744328

List of research outcomes

Publication	Date of Publication	Type
Infinite terms and infinite rewritings	2023-03-09	Paper
Testing confluence of nonterminating rewriting systems	2023-03-09	Paper
Forecasting market risk using ultra-high-frequency data and scaling laws	2019-02-06	Paper
A shape graph logic and a shape system	2014-10-07	Paper
Pointer Logic for Verification of Pointer Programs	2011-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q3371043	2006-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q5714526	2006-01-03	Paper
https://portal.mardi4nfdi.de/entity/Q4675624	2005-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q4412537	2003-07-15	Paper
Constraint-preserving architecture transformations: A graph rewriting approach	2002-02-28	Paper
Head boundedness of nonterminating rewritings	1995-07-24	Paper

Research outcomes over time

This page was built for person: Yi-Yun Chen