Alex Kondratiev

From MaRDI portal
Person:854678

Available identifiers

zbMath Open kondratyev.alexMaRDI QIDQ854678

List of research outcomes





PublicationDate of PublicationType
Coupling asynchrony and interrupts: Place Chart Nets2022-12-09Paper
A structural approach for the analysis of Petri nets by reduced unfoldings2019-05-02Paper
A BMC-formulation for the scheduling problem in highly constrained hardware systems2013-08-30Paper
Design automation of real life asynchronous devices and systems2010-09-21Paper
https://portal.mardi4nfdi.de/entity/Q55063962009-01-28Paper
Merged processes: a new condensed representation of Petri net behaviour2006-12-06Paper
CONCUR 2005 – Concurrency Theory2006-11-01Paper
https://portal.mardi4nfdi.de/entity/Q48244792004-11-01Paper
https://portal.mardi4nfdi.de/entity/Q30452542004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q27665472002-06-17Paper
https://portal.mardi4nfdi.de/entity/Q43198031995-01-12Paper

Research outcomes over time

This page was built for person: Alex Kondratiev

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