( en | de | ru )

 

Disambiguierung von "Jovanovic, Dejan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Solving Nonlinear Integer Arithmetic with MCSAT.

. VMCAI, Volume 10145 von Lecture Notes in Computer Science, Seite 330-346. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Milka Dejanowa

Alexander Jovanovic

Natasa Jovanovic

Boro Dejanovic

Borislav Dejanović

 

Weitere Publikationen von Autoren mit dem selben Namen

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