Nicolae-Adrian Tocu
Orcid: 0000-0002-0725-1609
According to our database1,
Nicolae-Adrian Tocu
authored at least 3 papers
between 2019 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020
2019
Proceedings of the 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2019
Proceedings of the 16th International Conference on Human-Computer Interaction, 2019