Rongjie Yan

From MaRDI portal
Person:3021170

Available identifiers

zbMath Open yan.rongjieMaRDI QIDQ3021170

List of research outcomes





PublicationDate of PublicationType
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking2019-12-19Paper
Algorithms for Synthesizing Priorities in Component-Based Systems2011-10-07Paper
Model Construction and Priority Synthesis for Simple Interaction Systems2011-07-22Paper
Improvements for the Symbolic Verification of Timed Automata2009-03-10Paper
Theoretical Aspects of Computing – ICTAC 20052006-11-01Paper
https://portal.mardi4nfdi.de/entity/Q54695172006-05-19Paper

Research outcomes over time

This page was built for person: Rongjie Yan

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