Lina Ye

From MaRDI portal
Person:409003

Available identifiers

zbMath Open ye.linaMaRDI QIDQ409003

List of research outcomes





PublicationDate of PublicationType
Introducing divergence for infinite probabilistic models2024-10-23Paper
Analyzing robustness of Angluin's \(L^*\) algorithm in presence of noise2024-06-27Paper
https://portal.mardi4nfdi.de/entity/Q61910092024-02-08Paper
Philosophers May Dine - Definitively!2023-03-21Paper
Property-directed verification and robustness certification of recurrent neural networks2022-06-22Paper
Abstractions Refinement for Hybrid Systems Diagnosability Analysis2020-08-20Paper
An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures2017-07-27Paper
Automated Analysis of Asynchronously Communicating Systems2016-06-22Paper
Debugging Process Algebra Specifications2015-02-04Paper
Numerical method based on the lattice Boltzmann model for the Kuramoto-Sivashinsky equation2012-04-12Paper
Diagnosability Analysis of Discrete Event Systems with Autonomous Components2011-05-11Paper

Research outcomes over time

This page was built for person: Lina Ye

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