According to our database1, Daiva Naudziuniene authored at least 5 papers between 2011 and 2018.
Legend:Book In proceedings Article PhD thesis Other
PhD thesis, 2017
Proceedings of the Automated Deduction - CADE 26, 2017
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011