Dejan Jovanović

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Solving bitvectors with MCSAT: explanations from bits and pieces (available as arXiv preprint)	2022-11-09	Paper
Verifying visibility-based weak consistency Programming Languages and Systems	2022-10-13	Paper
Interpolation and model checking for nonlinear arithmetic (available as arXiv preprint)	2022-03-25	Paper
Selfless interpolation for infinite-state model checking Lecture Notes in Computer Science	2020-07-07	Paper
A separation logic with data: small models and automation	2018-10-18	Paper
Comparative analysis of plate and grid grounding electrodes	2018-05-22	Paper
Designing theory solvers with extensions	2018-01-04	Paper
Solving nonlinear integer arithmetic with MCSAT Lecture Notes in Computer Science	2017-02-21	Paper
Green function of the point source inside/outside spherical domain -- approximate solution Springer Proceedings in Mathematics & Statistics	2017-02-17	Paper
Finding inconsistencies in programs with loops Logic for Programming, Artificial Intelligence, and Reasoning	2016-01-12	Paper
Cutting to the chase. Journal of Automated Reasoning	2015-06-23	Paper
A model-constructing satisfiability calculus Lecture Notes in Computer Science	2014-11-03	Paper
Being careful about theory combination Formal Methods in System Design	2014-03-28	Paper
Solving non-linear arithmetic Automated Reasoning	2012-09-05	Paper
Sharing is caring: combination of theories Frontiers of Combining Systems	2011-10-07	Paper
Cutting to the chase. Solving linear integer arithmetic Lecture Notes in Computer Science	2011-07-29	Paper
Polite theories revisited Logic for Programming, Artificial Intelligence, and Reasoning	2010-10-12	Paper
scientific article; zbMATH DE number 5282975 (Why is no real title available?)	2008-06-03	Paper
Frontiers of Combining Systems Lecture Notes in Computer Science	2006-10-10	Paper

Research outcomes over time

This page was built for person: Dejan Jovanović