Robert Meolic

According to our database, Robert Meolic authored at least 8 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Generating and Employing Witness Automata for ACTLW Formulae.

Rok Vogrin, Robert Meolic, Tatjana Kapus

IEEE Access, 2022

2019

The Biddy BDD package.

Robert Meolic

J. Open Source Softw., 2019

2017

Tagged BDDs: Combining reduction rules from different decision diagram types.

Tom van Dijk, Robert Wille, Robert Meolic

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2014

A C++ App for Demonstration of Sorting Algorithms on Mobile Platforms.

Robert Meolic, Tomaz Dogsa

Int. J. Interact. Mob. Technol., 2014

2013

Demonstration of Sorting Algorithms on Mobile Platforms.

Robert Meolic

Proceedings of the CSEDU 2013, 2013

2012

Biddy - a Multi-platform Academic BDD Package.

Robert Meolic

J. Softw., 2012

2008

ACTLW - An action-based computation tree logic with unless operator.

Robert Meolic, Tatjana Kapus, Zmago Brezocnik

Inf. Sci., 2008

2004

Witness and Counterexample Automata for ACTL.

Robert Meolic, Alessandro Fantechi, Stefania Gnesi

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004