Skip to content

Simona Kasterovic

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2018–2018

Best venue rank

National

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2018LFCSProbabilistic Reasoning About Simply Typed Lambda Terms.Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic