Yi-Yun Chen

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
Infinite terms and infinite rewritings Conditional and Typed Rewriting Systems	2023-03-09	Paper
Testing confluence of nonterminating rewriting systems Conditional and Typed Rewriting Systems	2023-03-09	Paper
Forecasting market risk using ultra-high-frequency data and scaling laws Quantitative Finance	2019-02-06	Paper
A shape graph logic and a shape system Journal of Computer Science and Technology	2014-10-07	Paper
Pointer logic for verification of pointer programs Journal of Software	2011-02-05	Paper
Active node based reliable multicast error control	2006-02-21	Paper
scientific article; zbMATH DE number 2242693 (Why is no real title available?)	2006-01-03	Paper
scientific article; zbMATH DE number 2165694 (Why is no real title available?)	2005-05-06	Paper
scientific article; zbMATH DE number 1949628 (Why is no real title available?)	2003-07-15	Paper
Constraint-preserving architecture transformations: A graph rewriting approach Journal of Computer Science and Technology	2002-02-28	Paper
Head boundedness of nonterminating rewritings Journal of Computer Science and Technology	1995-07-24	Paper

Research outcomes over time

This page was built for person: Yi-Yun Chen