Research output per year
Research output per year
Research activity per year
Interdisciplinary research within Information Security, Formal Verification and AI areas.
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Ieva Daukantas (Conference Chair)
Activity: Participating in or organising an event types › Organisation and participation in conference
Ieva Daukantas (Speaker)
Activity: Talk or presentation types › Lecture and oral contribution
Ieva Daukantas (Speaker)
Activity: Talk or presentation types › Lecture and oral contribution
Ieva Daukantas (Speaker)
Activity: Talk or presentation types › Lecture and oral contribution