Search




Research outputs

Faster Semi-Streaming Matchings via Alternating Trees   [2025]

Mitrovic, Slobodan  ; Mukherjee, Anish; Sankowski, Piotr; Sheu, Wen-Horng

Estimating Building Age from Google Street View Images Using Deep Learning (Short Paper)   [2018]

Li, Yan; Chen, Yiqun; Rajabifard, Abbas; Khoshelham, Kourosh; Aleksandrov, Mitko  

(uređivanje) - TYPES 2016 postproceedings   [2018]

Preface   [2018]

Ghilezan, Silvia  ; Geuvers, Herman; Ivetić, Jelena  

On the Efficiency of Dynamic Transaction Scheduling in Blockchain Sharding   [2025]

Adhikari, Ramesh; Busch, Costas; Popovic, Miroslav  

Optimizing Symbol Visibility Through Displacement   [2024]

Gärtner Bernd; Kalani Vishwas; Reddy Meghana M.; Meulemans Wouter; Speckmann Bettina; Stojaković Miloš  

Token Positional Games   [2026]

Bagan, Guillaume; Deschamps, Quentin; Galliot, Florian; Mikalacki, Mirjana  ; Oijid, Nacim

Polychromatic Coloring of Tuples in Hypergraphs   [2025]

Biniaz Ahmad; Carufel Jean-Lou De; Maheshwari Anil; Smid Michiel; Smorodinsky Shakhar; Stojaković Miloš  

Poset Positional Games   [2024]

Bagan Guillaume; Duchêne Eric; Galliot Florian; Gledel Valentin; Mikalački (Rakić) Mirjana  ; Oijid Nacim; Parreau Aline; Stojaković Miloš  

Filters

By type