Robert Meolic

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 3

Top Topics

Sorting Algorithms

Binary Decision Diagrams

Data Structures And Algorithms

Mobile Platform

Top Venues

Int. J. Interact. Mob. Technol.

Publications

Rok Vogrin, Robert Meolic, Tatjana Kapus
Generating and Employing Witness Automata for ACTLW Formulae. IEEE Access 10 (2022)
Robert Meolic
The Biddy BDD package. J. Open Source Softw. 4 (34) (2019)
Tom van Dijk, Robert Wille, Robert Meolic
Tagged BDDs: Combining reduction rules from different decision diagram types. FMCAD (2017)
Robert Meolic, Tomaz Dogsa
A C++ App for Demonstration of Sorting Algorithms on Mobile Platforms. Int. J. Interact. Mob. Technol. 8 (1) (2014)
Robert Meolic
Demonstration of Sorting Algorithms on Mobile Platforms. CSEDU (2013)
Robert Meolic
Biddy - a Multi-platform Academic BDD Package. J. Softw. 7 (6) (2012)
Robert Meolic, Tatjana Kapus, Zmago Brezocnik
ACTLW - An action-based computation tree logic with unless operator. Inf. Sci. 178 (6) (2008)
Robert Meolic, Alessandro Fantechi, Stefania Gnesi
Witness and Counterexample Automata for ACTL. FORTE (2004)