Претрага
Резултати
Proving properties of the Chord protocol using the ASM formalism [2019]
Marinković, Bojan
; Glavan, Paola; Ognjanović, Zoran 
Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL
[2010]
Marić, Filip
On generalized highly potential words
[2020]
Ago, Kristina ; Bašić, Bojan ; Hačko, Stefan ; Popović, Danijela
A tableau-like proof procedure for normal modal logics [1994]
Ognjanović, Zoran
Flexible Scheduling of Transactional Memory on Trees
[2023]
Busch, Costas; Chlebus, Bogdan; Herlihy, Maurice; Popović, Miroslav ; Poudel, Pavan; Sharma, Gokarna
Graphs of plural cuts [2013]
Došen, Kosta ; Petrić, Zoran
The multiplicative fragment of the Yanov equational theory [2003]
Dolinka Igor
Bisimulations for weighted automata over an additively idempotent semiring
[2014]
Damljanović, Nada ; Ćirić, Miroslav ; Ignjatović, Jelena
Improved zeroing neural models based on two novel activation functions with exponential behavior
[2024]
Dimitrios Gerontitis; Changxin Mo; Stanimirović, Predrag S. ; Vasilios N. Katsikis
Филтери
По типу
- 30