The SCEAS System
Navigation Menu

Search the dblp DataBase


René Vestergaard: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  12. Conversion/Preference Games [Citation Graph (, )][DBLP]

Search in 0.004secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002