共 50 条
- [1] Extended abstract theory of universal series and applications [J]. Monatshefte für Mathematik, 2009, 158 : 151 - 178
- [6] Generalized Isolation Forest: Some Theory and More Applications Extended Abstract [J]. 2020 IEEE 7TH INTERNATIONAL CONFERENCE ON DATA SCIENCE AND ADVANCED ANALYTICS (DSAA 2020), 2020, : 793 - 794
- [7] A Theory of Monitors (Extended Abstract) [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2016), 2016, 9634 : 145 - 161
- [8] Reverse petri net technology transfer: On the boundary of theory and applications (Extended abstract) [J]. FORMAL METHODS PACIFIC '97, 1997, : 297 - 298
- [9] A unique decomposition theorem for ordered monoids with applications in process theory (Extended abstract) [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2003, PROCEEDINGS, 2003, 2747 : 562 - 571
- [10] A note on the feasibility of generalized universal composability - (Extended abstract) [J]. THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2007, 4484 : 474 - +