René Vestergaard

Publication Activity (10 Years)

Years Active: 1996-2018
Publications (10 Years): 1

Top Topics

Knowledge Representation

Reasoning Processes

Nucleotide Sequences

Top Venues

J. Autom. Reason.

Publications

René Vestergaard, Emmanuel Pietriga
Proofs of life: molecular-biology reasoning simulates cell behaviors from first principles. CoRR (2018)
James Cheney, Michael Norrish, René Vestergaard
Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax. J. Autom. Reason. 49 (2) (2012)
Stéphane Le Roux, Pierre Lescanne, René Vestergaard
Conversion/Preference Games CoRR (2008)
Michael Norrish, René Vestergaard
Proof Pearl: De Bruijn Terms Really Do Work. TPHOLs (2007)
Jittisak Senachak, Mun'delanji Vestergaard, René Vestergaard
Cascaded Games. AB (2007)
René Vestergaard
A constructive approach to sequential Nash equilibria. Inf. Process. Lett. 97 (2) (2006)
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)
René Vestergaard, James Brotherston
A formalised first-order confluence proof for the -calculus using one-sorted variable names. Inf. Comput. 183 (2) (2003)
René Vestergaard, James Brotherston
A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names. RTA (2001)
René Vestergaard, J. B. Wells
Cut rules and explicit substitutions. Math. Struct. Comput. Sci. 11 (1) (2001)
René Vestergaard, James Brotherston
The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective). Electron. Notes Theor. Comput. Sci. 58 (1) (2001)
René Vestergaard
The Simple Type Theory of Normalization by Evaluation. Electron. Notes Theor. Comput. Sci. 57 (2001)
J. B. Wells, René Vestergaard
Equational Reasoning for Linking with First-Class Primitive Modules. ESOP (2000)
Olivier Danvy, René Vestergaard
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. PLILP (1996)