Skip navigation
Menu
Home
Browse
Communities
& Collections
Browse Items by:
Publication Date
Author
Title
Subject
Department
Help
Sign on to:
My MacSphere
Receive email
updates
Edit Profile
Search MacSphere
Search
MacSphere
Browsing by Author Carette, Jacques
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
publication date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 16 to 29 of 29
< previous
Publication Date
Title
Author(s)
Oct-2009
A Language and a Library of Algebraic Theory-types
Zhang, Huan
2021
Leveraging Information Contained in Theory Presentations
Sharoda, Yasmine
Nov-2014
MAKU: A Code Generator for Bullet Hell Games
Collman, Nathan
2014
Modeling HUD Layouts for Selection Based Video Games
Thevathasan, Manivanna
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.