Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation.

C. Chettaoui, F. Delaplace, P. Lescanne, M. Vestergaard, and R. Vestergaard. CMSB, volume 4210 of Lecture Notes in Computer Science, page 257-270. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Moritz René Schäfer University of Stuttgart

Dr. -Ing. Rene Laufer University of Stuttgart

Rene Rehwagen University of Stuttgart

Univ. -Prof. Dr. Rene Peters University of Stuttgart

Rene Cutura University of Stuttgart

Other publications of authors with the same name

Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax.J. Cheney, M. Norrish, and R. Vestergaard. J. Autom. Reasoning, 49 (2): 209-239 (2012)A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names.R. Vestergaard, and J. Brotherston. RTA, volume 2051 of Lecture Notes in Computer Science, page 306-321. Springer, (2001)Cascaded Games.J. Senachak, M. Vestergaard, and R. Vestergaard. AB, volume 4545 of Lecture Notes in Computer Science, page 185-201. Springer, (2007)Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation.O. Danvy, and R. Vestergaard. PLILP, volume 1140 of Lecture Notes in Computer Science, page 182-197. Springer, (1996)Equational Reasoning for Linking with First-Class Primitive Modules.J. Wells, and R. Vestergaard. ESOP, volume 1782 of Lecture Notes in Computer Science, page 412-428. Springer, (2000)Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation.C. Chettaoui, F. Delaplace, P. Lescanne, M. Vestergaard, and R. Vestergaard. CMSB, volume 4210 of Lecture Notes in Computer Science, page 257-270. Springer, (2006)The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective).R. Vestergaard, and J. Brotherston. Electr. Notes Theor. Comput. Sci., 58 (1): 18-36 (2001)A constructive approach to sequential Nash equilibria.R. Vestergaard. Inf. Process. Lett., 97 (2): 46-51 (2006)Proof Pearl: De Bruijn Terms Really Do Work.M. Norrish, and R. Vestergaard. TPHOLs, volume 4732 of Lecture Notes in Computer Science, page 207-222. Springer, (2007)A formalised first-order confluence proof for the -calculus using one-sorted variable names.R. Vestergaard, and J. Brotherston. Inf. Comput., 183 (2): 212-244 (2003)