共 50 条
- [21] On a method of global optimization - Invited talk PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 2895 : 1 - 1
- [22] Locality of queries and transformations (Invited talk) Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006, 2006, 209 : 3 - 3
- [23] Invited Talk: Resilient Distributed Algorithms SOFSEM 2021: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2021, 12607 : 28 - 42
- [24] Flat Petri Nets (Invited Talk) APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2021), 2021, 12734 : 17 - 30
- [25] Programming cognitive agents (Invited talk) MULTIAGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2005, 3550 : 27 - 34
- [27] Cellular automata: Applications - Invited talk VECTOR AND PARALLEL PROCESSING - VECPAR 2000, 2001, 1981 : 199 - 206
- [28] Interactive Information Flow (Invited Talk) AUTOMATED REASONING FOR SECURITY PROTOCOL ANALYSIS AND ISSUES IN THE THEORY OF SECURITY, 2010, 6186 : 111 - 111
- [29] Invited talk: Web services engineering ENGINEERING INFORMATION SYSTEMS IN THE INTERNET CONTEXT, 2002, 103 : 1 - 8
- [30] Querying the Web Graph (Invited Talk) STRING PROCESSING AND INFORMATION RETRIEVAL, 2010, 6393 : 1 - 12