| 2008 |
|---|
| 12 | EE | Stéphane Le Roux,
Pierre Lescanne,
René Vestergaard:
Conversion/Preference Games
CoRR abs/0811.0071: (2008) |
| 2007 |
|---|
| 11 | EE | Jittisak Senachak,
Mun'delanji Vestergaard,
René Vestergaard:
Cascaded Games.
AB 2007: 185-201 |
| 10 | EE | Michael Norrish,
René Vestergaard:
Proof Pearl: De Bruijn Terms Really Do Work.
TPHOLs 2007: 207-222 |
| 2006 |
|---|
| 9 | EE | Chafika Chettaoui,
Franck Delaplace,
Pierre Lescanne,
Mun'delanji Vestergaard,
René Vestergaard:
Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation.
CMSB 2006: 257-270 |
| 8 | EE | René Vestergaard:
A constructive approach to sequential Nash equilibria.
Inf. Process. Lett. 97(2): 46-51 (2006) |
| 2003 |
|---|
| 7 | EE | René Vestergaard,
James Brotherston:
A formalised first-order confluence proof for the -calculus using one-sorted variable names.
Inf. Comput. 183(2): 212-244 (2003) |
| 2001 |
|---|
| 6 | EE | René Vestergaard,
James Brotherston:
A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names.
RTA 2001: 306-321 |
| 5 | EE | René Vestergaard:
The Simple Type Theory of Normalization by Evaluation.
Electr. Notes Theor. Comput. Sci. 57: (2001) |
| 4 | EE | René Vestergaard,
James Brotherston:
The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective).
Electr. Notes Theor. Comput. Sci. 58(1): (2001) |
| 3 | | René Vestergaard,
J. B. Wells:
Cut rules and explicit substitutions.
Mathematical Structures in Computer Science 11(1): 131-168 (2001) |
| 2000 |
|---|
| 2 | EE | J. B. Wells,
René Vestergaard:
Equational Reasoning for Linking with First-Class Primitive Modules.
ESOP 2000: 412-428 |
| 1996 |
|---|
| 1 | | Olivier Danvy,
René Vestergaard:
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation.
PLILP 1996: 182-197 |
