ŢIŢCHIEV Inga

GRAD ŞTIINŢIFIC

2007 - doctor în informatică, Specialitatea: 01.05.04 – Modelare matematică, metode matematice, produse program, Proprietăţi structurale ale reţelelor Petri temporizate, Institutul de Matematică şi Informatică, AŞM

DIRECŢII DE CERCETARE

Modelarea sistemelor distribuite, reţele Petri, reţele Petri cu timp, procesare paralelă

PUBLICAŢII

I. Ţiţchiev, Modeling of the Communication Protocol by Means of Colored Petri Nets.
Proceedings of "International Workshop on Intelligent Information Systems", September 13-14, 2011, Chisinau, pp. 203-206.
I. Camerzan, Determining best-case and worst-case times of unknown path in time workflow nets., Computer Science Journal of Moldova, nr. 1(52), vol. 18, 2010, Kishinev, pp. 59-69.
I. Camerzan, Verification of system nets, International Conference on „Microelectronics and Computer Science”, October 1-3, 2009, pp. 280-282.

DATE DE CONTACT

E-mail: [email protected]