Search




Research outputs

Flexible Scheduling of Transactional Memory on Trees   [2023]

Busch, Costas; Chlebus, Bogdan; Herlihy, Maurice; Popović, Miroslav  ; Poudel, Pavan; Sharma, Gokarna

A tableau-like proof procedure for normal modal logics   [1994]

Ognjanović, Zoran  

Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL   [2010]

Marić, Filip  

Proving properties of the Chord protocol using the ASM formalism   [2019]

Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran  

On generalized highly potential words   [2020]

Ago, Kristina  ; Bašić, Bojan  ; Hačko, Stefan  ; Popović, Danijela  

Graphs of plural cuts   [2013]

Došen, Kosta  ; Petrić, Zoran  

Axiomatizing the identities of binoid languages   [2007]

Dolinka Igor  

The index of a binary word   [2012]

Ilic, Aleksandar; Klavzar, Sandi; Rho, Yoomi

An analysis of chain characteristics in the cryptanalytic TMTO method   [2013]

Tomašević, Violeta  ; Tomašević, Milo  

On axioms for commutative regular equations without addition   [2002]

Crvenković Siniša ; Dolinka Igor  

Филтери

По типу