共 50 条
- [12] Fast Jacobi-type Algorithm for Computing Distances Between Linear Dynamical Systems 2013 EUROPEAN CONTROL CONFERENCE (ECC), 2013, : 3682 - 3687
- [15] Computing Behavioral Distances, Compositionally MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2013, 2013, 8087 : 74 - 85
- [16] A "fast growth" method of computing free energy differences JOURNAL OF CHEMICAL PHYSICS, 2001, 114 (14): : 5974 - 5981
- [19] Incremental Verification of Computing Policies STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2014, 2014, 8756 : 226 - 236
- [20] Purely Functional Incremental Computing PROGRAMMING LANGUAGES (SBLP 2016), 2016, 9889 : 62 - 77