Publications:

<ul>

  <li>
    <em>D. Milovancevic</em>, C. Fuhs, M. Bucev and V. Kuncak. 2024. "Proving Termination via Measure Transfer in Equivalence Checking". In <em>Integrated Formal Methods. (iFM)</em>, 2024.
    (<a href="https://zenodo.org/records/13787855"><u>artifact</u></a>)
    (<a href="slides/ifm24.pdf"><u>slides</u></a>)
  </li>

	<li>
  	<em>D. Milovancevic</em> and V. Kuncak. 2023. "Proving and Disproving Equivalence of Functional Programming Assignments". In <em>ACM SIGPLAN Conference on Programming Language Design and Implementation. (PLDI)</em>, 2023.
		(<a href="papers/pldi23.pdf"><u>pdf</u></a>)
    (<a href="https://zenodo.org/records/7810840"><u>artifact</u></a>)
    (<a href="slides/pldi23.pdf"><u>slides</u></a>)
  </li>

  <li>
  	S. Guilloud, M. Bucev, <em>D. Milovancevic</em> and V. Kuncak. 2023. "Formula Normalizations in Verification". In <em>Computer Aided Verification. (CAV)</em>, 2023.
    (<a href="papers/cav23.pdf"><u>pdf</u></a>)
  </li>

  <li>
    <em>D. Milovancevic</em>. 2023. "Towards Practical and Rigorous Automated Grading in Functional Programming Courses". In <em>Women in EuroProofNet. (WEPN)</em>, 2023.
    (<a href="papers/wepn23.pdf"><u>pdf</u></a>)
    (<a href="slides/wepn23.pdf"><u>slides</u></a>)
  </li>

  <li>
    S. Gambhir, S. Guilloud, <em>D. Milovancevic</em>, P. Rummer and V. Kuncak. 2023. "LISA Tool Integration and Education Plans". In <em>Artificial Intelligence and Theorem Proving. (AITP)</em>, 2023.
    (<a href="papers/aitp23.pdf"><u>pdf</u></a>)
  </li>

  <li>
  	<em>D. Milovancevic</em>, M. Misic, and J. Protic. "Comparison of the Collaboration in Education and Research in the Field of Computing at the School of EE in Belgrade". <em>Trend, Kopaonik, Serbia</em>, 2019.
		(<a href="papers/Trend19-1pdf"><u>pdf</u></a>)
  </li>

  <li>
  	D. Zivanovic, M. Misic, <em>D. Milovancevic</em>, and J. Protic. 2019. "Comparative Analysis of Scientific Production in Computer Science at the University of Belgrade". <em>Trend, Kopaonik, Serbia</em>, 2019.
		(<a href="papers/Trend19-2.pdf"><u>pdf</u></a>)
  </li>

  <li>
  	K. Ziza, <em>D. Milovancevic</em>, M. Misic, and J. Protic. 2018. "Applying Social Network Analysis Methods on the Modeling of Transport Lines in Belgrade". <em>Trend, Kopaonik, Serbia</em>, 2018.
		(<a href="papers/Trend18-2.pdf"><u>pdf</u></a>)
  </li>

  <li>
    <em>D. Milovancevic</em>, M. Misic, and J. Protic. "Network Analysis of Scientific Collaboration Among Employees of the School of Electrical Engineering in Belgrade". <em>Trend, Kopaonik, Serbia</em>, 2018.
		(<a href="papers/Trend18-1.pdf"><u>pdf</u></a>)
  </li>

</ul>