共 50 条
- [31] Invited Talk: Structured Engineering Argumentation NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE (JSAI-ISAI 2017), 2018, 10838 : 335 - 335
- [32] MemComputing: Fundamentals and Application Invited Talk PROCEEDINGS OF THE 20TH ACM INTERNATIONAL CONFERENCE ON COMPUTING FRONTIERS 2023, CF 2023, 2023, : 1 - 1
- [33] Harmony: The art of reconciliation (Invited talk) TRUSTWORTHY GLOBAL COMPUTING, 2005, 3705 : 1 - 1
- [34] Invited talk: Shape modeling for dummies IEEE International Conference on Shape Modeling and Applications 2006, Proceedings, 2006, : 2 - 2
- [35] Structural Embeddings Revisited (Invited Talk) PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 12 - 12
- [36] Driving Types into PHP (Invited Talk) PROCEEDINGS OF THE 2ND ACM SIGPLAN INTERNATIONAL WORKSHOP ON TYPE-DRIVEN DEVELOPMENT (TYDE' 17), 2017, : 1 - 1
- [39] Algorithms for Energy Management (Invited Talk) COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 1 - 11
- [40] The complexity of distinguishing distributions (Invited talk) INFORMATION THEORETIC SECURITY, PROCEEDINGS, 2008, 5155 : 210 - 222