共 50 条
- [21] Kernelization (Invited Talk) COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 107 - 108
- [24] Prospects for Computer Formalization of Infinite-Dimensional Category Theory (Invited Talk) PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, 2025, : 1 - 1
- [25] Ensuring Performance of Graphics Processing Units: A Programmer's Perspective PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON DATA ENGINEERING AND COMMUNICATION TECHNOLOGY, ICDECT 2016, VOL 2, 2017, 469 : 225 - 235
- [26] On Families of Limit S-adic Words (Invited Talk) COMBINATORICS ON WORDS, WORDS 2019, 2019, 11682 : IX - XI
- [27] Coq's Vibrant Ecosystem for Verification Engineering (Invited Talk) PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 2 - 11
- [28] Ada's Ideas: The Story of Ada Lovelace, the World's First Computer Programmer JOURNAL OF LANGUAGE AND LITERACY EDUCATION, 2016, 12 (02): : 138 - 139
- [29] Second life: A programmer's perspective - Building applications for second life DR DOBBS JOURNAL, 2007, 32 (05): : 34 - +
- [30] PLACING A BLIND DIABETIC AS A COMPUTER PROGRAMMER NEW OUTLOOK FOR THE BLIND, 1969, 63 (02): : 45 - 48