共 50 条
- [41] Invited Talk Memory: The Center of the Universe 2013 IEEE WORKSHOP ON MICROELECTRONICS AND ELECTRON DEVICES (WMED), 2013, : XIX - XIX
- [42] A comparison of locality transformations for irregular codes LANGUAGES, COMPILERS, AND RUN-TIME SYSTEMS FOR SCALABLE COMPUTERS, 2000, 1915 : 70 - 84
- [43] Improving data locality with loop transformations ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1996, 18 (04): : 424 - 453
- [44] Transformations for Volumetric Range Distribution Queries 2013 IEEE SYMPOSIUM ON PACIFIC VISUALIZATION (PACIFICVIS), 2013, : 89 - 96
- [46] Mathematics and Cryptography: A Marriage of Convenience? INVITED TALK ADVANCES IN CRYPTOLOGY - EUROCRYPT 2020, PT I, 2020, 12105 : 3 - 9
- [47] A Brief Introduction to Probabilistic Argumentation (Invited Talk) KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT (KSEM 2018), PT I, 2018, 11061 : XI - XIII
- [48] Strong secrecy for wireless channels (Invited talk) INFORMATION THEORETIC SECURITY, PROCEEDINGS, 2008, 5155 : 40 - +
- [49] The CaPiTo Approach to Protocol Validation (Invited Talk) AUTOMATED REASONING FOR SECURITY PROTOCOL ANALYSIS AND ISSUES IN THE THEORY OF SECURITY, 2010, 6186 : 1 - 1
- [50] When the sensors hit the roads - (Invited talk) Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, Proceedings, 2007, : 97 - 97