Pretraga




Rezultati

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  

The multiplicative fragment of the Yanov equational theory   [2003]

Dolinka Igor  

A graph-based framework for sub-pixel image segmentation   [2011]

Malmberg, F.; Lindblad, J.; Sladoje Matić, Nataša ; Nyström, I.

Flexible Scheduling of Transactional Memory on Trees   [2023]

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

Chromatic index of graphs with no cycle with a unique chord   [2010]

Machado, R.C.S.; de, Figueiredo C.M.H.; Vušković, Kristina  

A note on the paper “On Brlek-Reutenauer conjecture”   [2012]

Bašić Bojan  

Erdos-Szekeres Maker-Breaker games   [2026]

Dzuklevski, Aleksa; Palvolgyi, Domotor; Pokrovskiy, Alexey; Toth, Csaba D; Valla, Tomas; Verlinde, Lander

Unary algebras, semigroups and congruences on free semigroups   [2004]

Petković, Tatjana; Ćirić, Miroslav  ; Bogdanović, Stojan

Филтери

По типу