共 50 条
- [22] Cellular automata: Applications - Invited talk VECTOR AND PARALLEL PROCESSING - VECPAR 2000, 2001, 1981 : 199 - 206
- [23] Interactive Information Flow (Invited Talk) AUTOMATED REASONING FOR SECURITY PROTOCOL ANALYSIS AND ISSUES IN THE THEORY OF SECURITY, 2010, 6186 : 111 - 111
- [24] Invited talk: Web services engineering ENGINEERING INFORMATION SYSTEMS IN THE INTERNET CONTEXT, 2002, 103 : 1 - 8
- [25] Querying the Web Graph (Invited Talk) STRING PROCESSING AND INFORMATION RETRIEVAL, 2010, 6393 : 1 - 12
- [26] Invited Talk: Structured Engineering Argumentation NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE (JSAI-ISAI 2017), 2018, 10838 : 335 - 335
- [27] MemComputing: Fundamentals and Application Invited Talk PROCEEDINGS OF THE 20TH ACM INTERNATIONAL CONFERENCE ON COMPUTING FRONTIERS 2023, CF 2023, 2023, : 1 - 1
- [28] Harmony: The art of reconciliation (Invited talk) TRUSTWORTHY GLOBAL COMPUTING, 2005, 3705 : 1 - 1
- [29] Invited talk: Shape modeling for dummies IEEE International Conference on Shape Modeling and Applications 2006, Proceedings, 2006, : 2 - 2
- [30] Structural Embeddings Revisited (Invited Talk) PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 12 - 12