Vladimir S. Peschanenko
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
2
Active years
2011–2017
Best venue rank
National
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ICTERI | Formalization and Algebraic Verification of Legal Requirements. | Alexander Godlevskyi, Aleksander Letichevskyi, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Maryna Morokhovets, Volodymyr G. Skobelev, Maksym Poltorackiy |
| 2017 | ICTERI | The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification. | Michael Lvov, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Yulia Tarasich |
| 2017 | RE | An Algebraic Approach for Analyzing of Legal Requirements. | Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko, Maxsim Poltorackij |
| 2015 | ICTERI | An Interleaving Reduction for Reachability Checking in Symbolic Modeling. | Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko |
| 2013 | ICTERI | Specializations and Symbolic Modeling. | Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov |
| 2013 | ICTERI | Specializations in Symbolic Verification. | Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov |
| 2012 | ICTERI | Efficient Algorithm for Reachability Checking in Modeling. | Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko |
| 2012 | ICTERI | About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation. | Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko |
| 2011 | ICTERI | Insertion Modeling System and Constraint Programming. | Alexander A. Letichevsky, Vladimir S. Peschanenko, Alexander Letichevsky Jr., Igor Ol. Blinov, Dmitriy M. Klionov |