Yu-Fei Shi

From MaRDI portal



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!

PublicationDate of PublicationType
Verifying hybrid automata networks guided by task scenarios
Formal Methods in System Design
2026-03-23Paper
scientific article; zbMATH DE number 7448429 (Why is no real title available?)2021-12-17Paper
Noether theorem on time scales for Lagrangian systems in event space
Wuhan University Journal of Natural Sciences
2020-01-22Paper
Noether theorem for Birkhoffian system on time scales in event space2018-01-29Paper
A discrete time-limited vacation model for the fair share scheduler
Telecommunication Systems
2000-01-01Paper


Research outcomes over time


This page was built for person: Yu-Fei Shi