共 50 条
- [1] Reconstruction of extended Petri nets from time-series data by using logical control functions Journal of Mathematical Biology, 2013, 66 : 203 - 223
- [3] Logical Clustering and Learning for Time-Series Data COMPUTER AIDED VERIFICATION, CAV 2017, PT I, 2017, 10426 : 305 - 325
- [4] Repairing Boolean logical models from time-series data using Answer Set Programming ALGORITHMS FOR MOLECULAR BIOLOGY, 2019, 14
- [5] Repairing Boolean logical models from time-series data using Answer Set Programming Algorithms for Molecular Biology, 14
- [7] Time-Series Learning Using Monotonic Logical Properties RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 389 - 405
- [10] Automatic network reconstruction from experimental time-series data: A survey IT-INFORMATION TECHNOLOGY, 2014, 56 (02): : 46 - 54