V. V. Podymov

From MaRDI portal
Person:357922

Available identifiers

zbMath Open podymov.vladislav-vasilevichMaRDI QIDQ357922

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q58663382022-09-21Paper
Efficient equivalence-checking algorithms for procedural programs in progressive semigroup gateway models2020-06-23Paper
A flattening algorithm for hierarchical timed automata2019-10-31Paper
An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements2017-11-09Paper
Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales2013-08-15Paper

Research outcomes over time

This page was built for person: V. V. Podymov

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:357922&oldid=7628404"
Powered by MediaWiki