Publications de Olga Kouchnarenko

Load the BibTeX file

Articles de journaux

  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

Conférences internationales

  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, Août 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, Août 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, Septembre 1997. details

Rapports de recherche

  1. O. Kouchnarenko, S. Pinchinat. Intensional Approaches for Symbolic Methods. Rapport de recherche Irisa / Inria-Rennes, No 3448, Juillet 1998. details ps

Divers

  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, Octobre 1998. details

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

Dernières modifications Thu Mar 1 13:57:54 2012

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