共 50 条
- [21] Some strategies for proving theorems with a model checker abstract of invited talk [J]. 15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 305 - 306
- [22] Faster Zero-Knowledge Protocols and Applications (Invited Talk Abstract) [J]. INNOVATIVE SECURITY SOLUTIONS FOR INFORMATION TECHNOLOGY AND COMMUNICATION: 10TH INTERNATIONAL CONFERENCE, SECITC 2017, 2017, 10543 : 1 - 11
- [24] Implementing closed domain-specific languages - Abstract of invited talk [J]. SEMANTICS, APPLICATIONS AND IMPLEMENTATION OF PROGRAM GENERATION, PROCEEDINGS, 2000, 1924 : 1 - 2
- [25] From Typestate Verification to Interpretable Deep Models (Invited Talk Abstract) [J]. PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 4 - 5
- [26] Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation (Invited Talk) [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 19 - 22
- [27] INVITED: In Quest of the Next Information Processing Substrate Extended Abstract [J]. PROCEEDINGS OF THE 2017 54TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2017,
- [28] Foundations of Speculative Distributed Computing (Invited Lecture Extended Abstract) [J]. DISTRIBUTED COMPUTING, 2010, 6343 : 204 - 205
- [29] Social structure in artificial agent societies:: Implications for autonomous problem-solving agents [J]. INTELLIGENT AGENTS V: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1999, 1555 : 133 - 148
- [30] Agents for decentralised process design - Extended abstract [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: OTM 2004 WORKSHOPS, PROCEEDINGS, 2004, 3292 : 23 - 25