Browsing by Author Carette, Jacques
Showing results 20 to 29 of 29
< previous
Publication Date | Title | Author(s) |
---|---|---|
2018 | Ooh What's This Button Do? | Soraine, Sasha |
24-May-2006 | Partial Evaluation of Maple Programs | Kucera, Michael |
24-Sep-2017 | Property Inference for Maple: An Application of Abstract Interpretation | Forrest, Stephen A. |
2022 | Purpose Built Exergame Design | Chan, Ethan |
25-Jul-2006 | Reverse Engineering of Scientific Computation FORTRAN Code | Dragon, Olivier Étienne |
2023 | Start Your EM(otion En)gine: Towards Computational Models of Emotion for Improving the Believability of Video Game Non-Player Characters | Smith, Geneva |
18-Aug-2005 | Symbolic Interpretation of Legacy Assembly Language | Chowdhury, Pulak Kumar |
2016 | Towards Generating Software Modularizations | Schaap, Alexander |
2023 | TYPES OF ALGEBRAIC STRUCTURES IN PROOF ASSISTANT SYSTEMS | Madhusudana, Akshobhya Katte |
Oct-2012 | Validation DSL for client-server applications | Fedorenko, Vitalii M. |
Showing results 20 to 29 of 29
< previous