共 50 条
- [21] Kernelization (Invited Talk) COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 107 - 108
- [22] Huawei's Practices on Trusted Software Engineering Capability Improvement (Invited Talk) PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21), 2021, : 7 - 7
- [23] Invited talk: Overcoming challenges of reuse in large collections of process models Lect. Notes Bus. Inf. Process., 2013, (xxxix-xl):
- [24] Invited Talk: A Roadmap for Engineering Safe and Secure Cyber-Physical Systems NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 113 - 114
- [25] Scalable Topological Data Analysis for Life Science Applications Invited Talk PROCEEDINGS OF THE 18TH ACM INTERNATIONAL CONFERENCE ON COMPUTING FRONTIERS 2021 (CF 2021), 2021, : 208 - 208
- [26] Software Engineering Research Results in Industrial Practice: A Tale of Two Projects (Invited Talk) ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 3 - 3
- [27] Climbing Algorithms (Invited Talk) STOC '21: PROCEEDINGS OF THE 53RD ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING, 2021, : 2 - 3
- [28] Semantic Search (Invited talk) 2017 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), 2017, : 3570 - 3570
- [29] Invited talk: Active networks PROCEEDINGS OF THE SECOND SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION (OSDI '96), 1996, : 89 - 89
- [30] Recursion and probability (Invited talk) Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006, 2006, 209 : 13 - 13