René Vestergaard

14 papers A 1Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2018 J jnl
Proofs of life: molecular-biology reasoning simulates cell behaviors from first principles.
CoRR
René Vestergaard, Emmanuel Pietriga
2012 J jnl
Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax.
J. Autom. Reason.
James Cheney, Michael Norrish, René Vestergaard
2008 J jnl
Conversion/Preference Games
CoRR
Stéphane Le Roux, Pierre Lescanne, René Vestergaard
2007 — conf
Cascaded Games.
AB
Jittisak Senachak, Mun'delanji Vestergaard, René Vestergaard
2007 — conf
Proof Pearl: De Bruijn Terms Really Do Work.
TPHOLs
Michael Norrish, René Vestergaard
2006 J jnl
A constructive approach to sequential Nash equilibria.
Inf. Process. Lett.
René Vestergaard
2006 — conf
Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation.
CMSB
Chafika Chettaoui, Franck Delaplace, Pierre Lescanne, Mun'delanji Vestergaard, René Vestergaard
2003 J jnl
A formalised first-order confluence proof for the -calculus using one-sorted variable names.
Inf. Comput.
René Vestergaard, James Brotherston
2001 — conf
A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names.
RTA
René Vestergaard, James Brotherston
2001 J jnl
Cut rules and explicit substitutions.
Math. Struct. Comput. Sci.
René Vestergaard, J. B. Wells
2001 — conf
The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective).
MERLIN
René Vestergaard, James Brotherston
2001 — conf
The Simple Type Theory of Normalization by Evaluation.
WRS
René Vestergaard
2000 A conf
Equational Reasoning for Linking with First-Class Primitive Modules.
ESOP
J. B. Wells, René Vestergaard
1996 — conf
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation.
PLILP
Olivier Danvy, René Vestergaard