Liliana Ibanescu
9
Documents
Présentation
Publications
- 9
- 8
- 7
- 7
- 3
- 1
|
Non-intrusive formal methods and strategic rewriting for a chemical applicationAlgebra, Meaning, and Computation: A Festschrift Symposium in Honor of Joseph Goguen, Jun 2006, San Diego, USA, pp.194-215, ⟨10.1007/11780274⟩
Communication dans un congrès
inria-00115521v1
|
From Chemical Rules to Term Rewriting6th International Workshop on Rule-Based - RULE'05, Apr 2005, Nara/Japan
Communication dans un congrès
inria-00000521v1
|
|
Automated Generation of Kinetic Chemical Mechanisms Using RewritingInternational Conference on Computational Science - ICCS 2003, Jun 2003, Melbourne, Australie, pp.367-376
Communication dans un congrès
inria-00099622v1
|
|
A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, pp.30-45
Communication dans un congrès
inria-00099621v1
|