René Vestergaard's writings and implementation work
Statement on the Retention of Copyrights and Limitations on Permitted Use
The copyright of all works linked on this page rests with the author(s), unless otherwise stated.
The items may be download'ed, used, and referenced exclusively for scholarly, non-commercial purposes.
Please refer to the sources when used in derivative or related work.
Any use other than what is permitted above requires the express consent of the copyright holder(s).
[ formal reasoning technology
| generic regulation analysis
| systems biology
| formal game theory
| the primitive proof theory of the lambda-calculus
| module systems
| proof theory and computation
| normalisation by evaluation
]
Formal Reasoning Technology
- Proof Pearl: de Bruijn Terms Really do Work
- with Michael Norrish
- [ abstract
| pre-print: TPHOLs2007
]
- Structural Preservation and Reflection of Diagrams
- with Michael Norrish
- [ abstract
| tech report: JAIST/IS-RR-2006-011
]
Generic Regulation Analysis
- The Student, The Night Nurse, and the Threat at the Watercooler
- (an example Cascaded-Game Analysis)
[ note
| .pInf
]
Systems Biology
- Lambdoid Emergence
- with Jittisak Senachak and Mun'delanji Vestergaard
- [ abstract
| IS-RR-2008-001
]
- Cascaded Games
- with Jittisak Senachak and Mun'delanji Vestergaard
- [ abstract
| pre-print: AB2007
| slides
| lambda phage
| supersedes JAIST/IS-RR-2006-007
]
- Rewriting Game Theory Applied to Protein Signalling in MAPK Cascades
- with Jittisak Senachak and Mun'delanji Vestergaard
- [ abstract
| JAIST/IS-RR-2006-007
| cascaded protein games
]
- Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation
- with Chafika Chettaoui,
Franck Delaplace,
Pierre Lescanne,
and Mun'delanji Vestergaard
- [ abstract
| pre-print: CMSB2006
]
Formal Game Theory
- A Discrete Nash Theorem with Quadratic Complexity and Dynamic Equilibria
- with Stephane Le Roux and Pierre Lescanne
- [ abstract
| preliminary version
| supersedes JAIST/IS-RR-2006-006
]
- The Inductive and Modal Proof Theory of Aumann's Theorem on Rationality
- with Pierre Lescanne and Hiroakira Ono
- [ abstract
| tech report: JAIST/IS-RR-2006-009
| Coq theory 1,
2
]
- A Constructive Approach to Sequential Nash Equilibria
- [ abstract
| pre-print:
IPL 97(2), 2006
| Coq theory
]
The Primitive Proof Theory of the lambda-Calculus
Module Systems
Proof Theory and Computation
Normalisation by Evaluation: implementation, type theory, applications
René Vestergaard