Alexei L. Semenov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1984–2014
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CSR | The Lattice of Definability. Origins, Recent Developments, and Further Directions. | Alexei L. Semenov, Sergey Soprunov, Vladimir A. Uspensky |
| 1998 | CONCUR | Unfolding and Finite Prefix for Nets with Read Arcs. | Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev |
| 1997 | DAC | Synthesis of Speed-Independent Circuits from STG-Unfolding Segment. | Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Pea, Jordi Cortadella |
| 1996 | DAC | Verification of asynchronous circuits using Time Petri Net unfolding. | Alexei L. Semenov, Alexandre Yakovlev |
| 1984 | MFCS | Decidability of Monadic Theories. | Alexei L. Semenov |