Alex Kondratiev

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Coupling asynchrony and interrupts: Place Chart Nets	2022-12-09	Paper
A structural approach for the analysis of Petri nets by reduced unfoldings Application and Theory of Petri Nets 1996	2019-05-02	Paper
A BMC-formulation for the scheduling problem in highly constrained hardware systems	2013-08-30	Paper
Design automation of real life asynchronous devices and systems Foundations and Trends in Electronic Design Automation	2010-09-21	Paper
scientific article; zbMATH DE number 5499378 (Why is no real title available?)	2009-01-28	Paper
Merged processes: a new condensed representation of Petri net behaviour Acta Informatica	2006-12-06	Paper
CONCUR 2005 – Concurrency Theory Lecture Notes in Computer Science	2006-11-01	Paper
scientific article; zbMATH DE number 2112980 (Why is no real title available?)	2004-11-01	Paper
scientific article; zbMATH DE number 2088657 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1696445 (Why is no real title available?)	2002-06-17	Paper
scientific article; zbMATH DE number 711039 (Why is no real title available?)	1995-01-12	Paper

Research outcomes over time

This page was built for person: Alex Kondratiev