Automated generation of kinetic chemical mechanisms using rewriting

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2659, Issue , 2003, Pages 367-376

  Bournez, Olivier ^a   Côme, Guy Marie ^b   Conraud, Valérie ^b   Kirchner, Hélène ^a   Ibǎnescu, Liliana ^a  

^a INRIA   (France)

^b UNIVERSITÉ DE LORRAINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMBUSTION; COMPUTER SOFTWARE; KINETICS;

AUTOMATED GENERATION; AUTOMATIC GENERATION; CHEMICAL MECHANISM; COMBUSTION REACTIONS; ELEMENTARY REACTION; GENERATION ALGORITHM; GENERATOR SYSTEMS; PRIMARY MECHANISM;

SOFTWARE PROTOTYPING;

EID: 35248833016     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44863-2_37     Document Type: Article

References (16)

1. Elan web site. http://elan.loria.fr.
2. Franz Baader and Tobias Nipkow. Term Rewriting and all That. Cambridge University Press, 1998.
3. Peter Borovanský, Hélène Kirchner, Pierre-Etienne Moreau, and Christophe Ringeissen. An overview of elan. In Claude Kirchner and Hélène Kirchner, editors, Electronic Notes in Theoretical Computer Science, volume 15. Elsevier Science Publishers, 2000.
4. M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and J.F. Quesada. Towards maude 2.0. In Kokichi Futatsugi, editor, Electronic Notes in Theoretical Computer Science, volume 36. Elsevier Science Publishers, 2001.
5. Guy-Marie Côme. Gas-Phase Thermal Reactions. Chemical Engineering Kinetics. Kluwer Academic Publishers, 2001.
6. K. Futatsugi and A. Nakagawa. An overview of CAFE specification environment - an algebraic approach for creating, verifying, and maintaining formal specifications over networks. In Proceedings of the 1st IEEE Int. Conference on Formal Engineering Methods, 1997.
7. Pierre-Alexandre Glaude, Frédérique Battin-Leclerc, René Fournet, Valérie Warth, Guy-Marie Côme, and Gérard Scacchi. Construction and simplification model for the oxidation of alkanes. Combustion and Flame, 122:451-462, 2000.
8. Hélène Kirchner and Pierre-Etienne Moreau. Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories. Journal of Functional Programming, 11(2):207-251, 2001.
9. Paul Klint. A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology (TOSEM), 2(2):176-201, 1993.
10. Pierre-Etienne Moreau. Rem (reduce elan machine): Core of the new elan compiler. In Leo Bachmair, editor, Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings, volume 1833 of Lecture Notes in Computer Science, pages 265-269. Springer, 2000.
11. Pierre-Etienne Moreau and Hélène Kirchner. A compiler for rewrite programs in associative-commutative theories. In Catuscia Palamidessi, Hugh Glaser, and Karl Meinke, editors, Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings, volume 1490 of Lecture Notes in Computer Science, pages 230-249. Springer, 1998.
12. Artur Rakiewicz and Thanh N. Truong. Application of chemical graph theory for automated mechanism generation, accepted for publication, 2002.
13. E. Ranzi, T. Faravelli, P. Gaffuri, and A. Sogaro. Low-temperature combustion: automatic generation of primary oxydation reaction and lumping procedures. Combustion and Flame, 102:179, 1995.
14. Roberta G. Susnow, Anthony M. Dean, William H. Green, P. Peczak, and Linda J. Broadbelt. Rate-based construction of kinetic models for complex systems. The Journal of Physical Chemistry A, 101:3731-3740, 1997.
15. Valérie Warth, Frédérique Battin-Leclerc, René Fournet, Pierre-Alexandre Glaude, Guy-Marie Côme, and Gérard Scacchi. Computer based generation of reaction mechanisms for gas-phase oxidation. Computers and Chemistry, 24:541-560, 2000.
16. David Weininger. Smiles, a chemical language and information system. 1. introduction to methodology and encoding rules. Journal of Chemical Information and Computer Science, 28:31-36, 1988.