Dejan Jovanović

Available identifiers

Publication	Date of Publication	Type
Solving bitvectors with MCSAT: explanations from bits and pieces	2022-11-09	Paper
Verifying Visibility-Based Weak Consistency	2022-10-13	Paper
Interpolation and model checking for nonlinear arithmetic	2022-03-25	Paper
Selfless Interpolation for Infinite-State Model Checking	2020-07-07	Paper
A separation logic with data: small models and automation	2018-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4642188	2018-05-22	Paper
Designing theory solvers with extensions	2018-01-04	Paper
Solving Nonlinear Integer Arithmetic with MCSAT	2017-02-21	Paper
Green Function of the Point Source Inside/Outside Spherical Domain - Approximate Solution	2017-02-17	Paper
Finding Inconsistencies in Programs with Loops	2016-01-12	Paper
Cutting to the chase.	2015-06-23	Paper
A Model-Constructing Satisfiability Calculus	2014-11-03	Paper
Being careful about theory combination	2014-03-28	Paper
Solving Non-linear Arithmetic	2012-09-05	Paper
Sharing Is Caring: Combination of Theories	2011-10-07	Paper
Cutting to the Chase Solving Linear Integer Arithmetic	2011-07-29	Paper
Polite Theories Revisited	2010-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q3500151	2008-06-03	Paper
Frontiers of Combining Systems	2006-10-10	Paper

This page was built for person: Dejan Jovanović