Yi-Yun Chen

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

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: Yi-Yun Chen