( en | de | ru )

 

Disambiguation of "Jovanovic, Dejan"

Author of the publication

copydeleteadd this publication to your clipboard
Safety envelope for security.

, , , , , , , and . HiCoNS, page 85-94. ACM, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Milka Dejanowa

Alexander Jovanovic

Natasa Jovanovic

Boro Dejanovic

Borislav Dejanović

 

Other publications of authors with the same name

Interpolation and Model Checking for Nonlinear Arithmetic., and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 266-288. Springer, (2021)Verification of Fault-Tolerant Protocols with Sally., , and . NFM, volume 10811 of Lecture Notes in Computer Science, page 113-120. Springer, (2018)Engaging citizen communities in smart cities using IoT, serious gaming and fast markerless Augmented Reality., , , , and . RIoT, page 1-6. IEEE, (2015)Solving Bitvectors with MCSAT: Explanations from Bits and Pieces., , and . IJCAR (1), volume 12166 of Lecture Notes in Computer Science, page 103-121. Springer, (2020)Solving Nonlinear Integer Arithmetic with MCSAT.. VMCAI, volume 10145 of Lecture Notes in Computer Science, page 330-346. Springer, (2017)Solving Non-linear Arithmetic., and . IJCAR, volume 7364 of Lecture Notes in Computer Science, page 339-354. Springer, (2012)Sharing Is Caring: Combination of Theories., and . FroCoS, volume 6989 of Lecture Notes in Computer Science, page 195-210. Springer, (2011)Model-Driven Decision Procedures for Arithmetic., and . SYNASC, page 11. IEEE Computer Society, (2013)Formal Specification and Verification of Solidity Contracts with Events (Short Paper)., , and . FMBC@CAV, volume 84 of OASIcs, page 2:1-2:9. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)A Model-Constructing Satisfiability Calculus., and . VMCAI, volume 7737 of Lecture Notes in Computer Science, page 1-12. Springer, (2013)