Publications of Olga Kouchnarenko

Load the BibTeX file

Academic Journals

  1. O. Kouchnarenko, S. Pinchinat. Intensional approachs for symbolic methods. Electronic Notes in Theoretical Computer Science, 18, 1998. details ps
  2. O. Kouchnarenko, P. Schnoebelen. A Model for Recursive-Parallel Programs. Electronic Notes in Theoretical Computer Science, 5, 1997. details

International Conferences

  1. O. Kouchnarenko, S. Pinchinat. Labeling Automata with Polynomials. In Proceedings of the International Workshop on Reasoning about Actions (joint to ESSLLI'98), Saarbrueken, Germany, August 1998. details ps
  2. O. Kouchnarenko, S. Pinchinat. Intensional Approaches for Symbolic Methods. In the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98, International Workshop on Concurrency, Brno, Czech Republic, August 1998. details
  3. O. Kouchnarenko, P. Schnoebelen. A Formal Framework for the Analysis of Recursive-Parallel Programs. In Parallel Computing Technologies, 4th International Conference, PaCT-97 Yaroslavl, Russia, Pages 45-59, September 1997. details

Research Reports

  1. O. Kouchnarenko, S. Pinchinat. Intensional Approaches for Symbolic Methods. Research Report Irisa / Inria-Rennes, No 3448, July 1998. details ps

Misc

  1. S. Pinchinat, O. Kouchnarenko, H. Marchand, M. Le Borgne. Deliverable 3.1.2: Symbolic abstraction of automata: intensional Labeled Transition Systems, symbolic bisimulation. Esprit project 22703: Syrf, October 1998. details

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Last update Thu Mar 1 13:57:51 2012

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.