Yi-Yun Chen

From MaRDI portal
Person:744328

Available identifiers

zbMath Open chen.yiyunMaRDI QIDQ744328

List of research outcomes





PublicationDate of PublicationType
Infinite terms and infinite rewritings2023-03-09Paper
Testing confluence of nonterminating rewriting systems2023-03-09Paper
Forecasting market risk using ultra-high-frequency data and scaling laws2019-02-06Paper
A shape graph logic and a shape system2014-10-07Paper
Pointer logic for verification of pointer programs2011-02-05Paper
Active node based reliable multicast error control2006-02-21Paper
https://portal.mardi4nfdi.de/entity/Q57145262006-01-03Paper
https://portal.mardi4nfdi.de/entity/Q46756242005-05-06Paper
https://portal.mardi4nfdi.de/entity/Q44125372003-07-15Paper
Constraint-preserving architecture transformations: A graph rewriting approach2002-02-28Paper
Head boundedness of nonterminating rewritings1995-07-24Paper

Research outcomes over time

This page was built for person: Yi-Yun Chen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:744328&oldid=10531448"
Powered by MediaWiki