共 50 条
- [1] An overview of MPC++ - Extended abstract [J]. PARALLEL SYMBOLIC LANGUAGES AND SYSTEMS, 1996, 1068 : 243 - 249
- [3] Abstract specification theory: An overview [J]. MODELS, ALGEBRAS AND LOGIC OF ENGINEERING SOFTWARE, 2003, 191 : 43 - 79
- [4] A Theory of Monitors (Extended Abstract) [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2016), 2016, 9634 : 145 - 161
- [5] Visualization for Secure Coding in C Extended Abstract [J]. ITICSE'17: PROCEEDINGS OF THE 2017 ACM CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, 2017, : 372 - 372
- [6] Efficient approximate adaptive coding (extended abstract) [J]. DCC '97 : DATA COMPRESSION CONFERENCE, PROCEEDINGS, 1997, : 357 - 366
- [7] A Theory of Memory Models (Extended Abstract) [J]. PROCEEDINGS OF THE 2007 ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING PPOPP'07, 2007, : 161 - 172
- [8] Overview of Touche 2022: Argument Retrieval Extended Abstract [J]. ADVANCES IN INFORMATION RETRIEVAL, PT II, 2022, 13186 : 339 - 346
- [9] A Proof Theory for Model Checking: An Extended Abstract [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (238): : 1 - 10
- [10] Politeness for the Theory of Algebraic Datatypes (Extended Abstract) [J]. PROCEEDINGS OF THE THIRTIETH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2021, 2021, : 4829 - 4833