( en | de | ru )

 

Disambiguation of "Kirchner, Hélène"

Author of the publication

copydeleteadd this publication to your clipboard
Runtime Verification for Biochemical Programs.

, and . Hybrid Autonomous Systems@ETAPS, volume 297 of Electronic Notes in Theoretical Computer Science, page 27-46. Elsevier, (2011)

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.

Hélène Esnault

Hélène Bernatchez

Hélène Martinez

Hélène Leroux

Hélène Jaudoin

 

Other publications of authors with the same name

A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms., , , , and . RTA, volume 2706 of Lecture Notes in Computer Science, page 30-45. Springer, (2003)Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies., and . European Conference on Computer Algebra (2), volume 204 of Lecture Notes in Computer Science, page 402-404. Springer, (1985)A reflective extension of ELAN., and . WRLA, volume 4 of Electronic Notes in Theoretical Computer Science, page 149-168. Elsevier, (1996)Port Graphs, Rules and Strategies for Dynamic Data Analytics - Extended Abstract (Invited Talk).. RTA, volume 36 of LIPIcs, page 1-4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Anchoring modularity in HTML., , and . WWV, DSIC-II/03/05, page 139-151. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, (2005)Weaving rewrite-based access control policies., , , and . FMSE, page 71-80. ACM, (2007)Prototyping Completion with Constraints Using Computational Systems., and . RTA, volume 914 of Lecture Notes in Computer Science, page 438-443. Springer, (1995)Completion of a Set of Rules Modulo a Set of Equations., and . SIAM J. Comput., 15 (4): 1155-1194 (1986)Preface., and . WRLA, volume 15 of Electronic Notes in Theoretical Computer Science, page 367-368. Elsevier, (1998)Combining assisted and automated deduction.. Ann. Math. Artif. Intell., 28 (1-4): 21-26 (2000)