Concepedia

Robert Meolic

RM

Statistics

Publications

5

Citations

80

H-Index

5

Active since

2000

Affiliations

University of Maribor(Current)

Robert Meolic is an author at University of Maribor specializing in engineering, computer science, and discrete mathematics.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningSystems EngineeringDiscrete MathematicsCombinatorial OptimizationBusinessData MiningData Science

Publications per year

2000–2018

5

Publications

5

Tagged BDDs: Combining reduction rules from different decision diagram types

Tom van Dijk, Robert Wille, Robert Meolic · 2017 · 23 citations

Circuit Complexity, Engineering, Complexity Reduction +25

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

Robert Meolic, Tatjana Kapus, Zmago Brezočnik · Information Sciences · 2007 · 20 citations

Applied Logic, Computational Logic, Engineering +6

Demonstration of Sorting Algorithms on Mobile Platforms

Robert Meolic · 2013 · 14 citations · Full text

Mobile Framework, Engineering, Sorting Algorithm +10

Flexible job shop scheduling using zero-suppressed binary decision diagrams

Robert Meolic, Zmago Brezočnik · Advances in Production Engineering & Management · 2018 · 13 citations · Full text

VERIFICATION OF CONCURRENT SYSTEMS USING ACTL

Robert Meolic, Tatjana Kapus, Zmago Brezo · 2000 · 10 citations

Rows per page

1–5 of 5