Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Algebraic Properties of Nominative Data and Functions., , and . ICTERI, volume 469 of Communications in Computer and Information Science, page 117-138. Springer, (2014)Proving Properties of Programs on Hierarchical Nominative Data., , and . Comput. Sci. J. Moldova, 24 (3): 371-398 (2016)On Some Classes of Problems on Graphs.. ICTERI Workshops, volume 2393 of CEUR Workshop Proceedings, page 513-521. CEUR-WS.org, (2019)Finite automata over magmas: models and some applications in Cryptography., and . Comput. Sci. J. Moldova, 26 (1): 77-92 (2018)Nominative data with ordered set of names., , and . Comput. Sci. J. Moldova, 25 (2): 195-216 (2017)Analysis of Faults in Cyber-Physical Systems by Finite Discrete-Time Markov Chains., and . Comput. Sci. J. Moldova, 28 (3): 269-284 (2020)Formalization and Algebraic Verification of Legal Requirements., , , , , , and . ICTERI, volume 1844 of CEUR Workshop Proceedings, page 524-535. CEUR-WS.org, (2017)Set-theoretic Analysis of Nominative Data., , and . Comput. Sci. J. Moldova, 23 (3): 270-288 (2015)Imbrication algebras - algebraic structures of nesting order., and . Comput. Sci. J. Moldova, 26 (3): 233-250 (2018)On-Line Checking of Faults in Cyber-Physical Systems., and . ICTERI Workshops, volume 2393 of CEUR Workshop Proceedings, page 644-654. CEUR-WS.org, (2019)