Old Web
English
Sign In
Acemap
>
authorDetail
>
Olga Kouchnarenko
Olga Kouchnarenko
Computer science
Semantics
Linguistics
Philosophy
Humanities
5
Papers
5
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Formal Aspects of Component Software
2017
Olga Kouchnarenko
Ramtin Khosravi
Show All
Source
Cite
Save
Citations (1)
New Results - Model-based Testing
2015
Fabrice Bouquet
Kalou Cabrera
Jérôme Cantenot
Frederic Dadeau
Jean-Marie Gauthier
Julien Lorrain
Alexandre Vernotte
Pierre-Cyrille Heam
Ghazi Maatoug
Michaël Rusinowitch
Ivan Enderlin
Alain Giorgetti
Alois Dreyfus
Olga Kouchnarenko
Show All
Source
Cite
Save
Citations (0)
From Linear Temporal Logic Properties to Rewrite Propositions
2012
International Joint Conference on Automated Reasoning
Pierre-Cyrille Heam
Vincent Hugot
Olga Kouchnarenko
Show All
Source
Cite
Save
Citations (0)
Petri Nets with May/Must Semantics
2009
Olga Kouchnarenko
Natalia Sidorova
N Nikola Trcka
Show All
Source
Cite
Save
Citations (3)
Sémantique des programmes récursifs-parallèles et méthodes pour leur analyse
1997
Olga Kouchnarenko
Show All
Source
Cite
Save
Citations (1)
1