Skip to content

Robert Meolic

  • Assistant Professor
  • Univerza v Mariboru
  • 4h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 42CitationsNumber of citations received by Robert's publications. Updated daily.

Publications (11)

  • Formal specification and verification of properties of lactose operon regulation by using the EST toolbox

    • Vogrin R
    • Meolic R
    • Kapus T
    N/AReaders
    0Citations
  • Tagged BDDs: Combining reduction rules from different decision diagram types

    • van Dijk T
    • Wille R
    • Meolic R
    N/AReaders
    N/ACitations
    Get full text
  • A C++ app for demonstration of sorting algorithms on mobile platforms

    • Meolic R
    • Dogŝa T
    N/AReaders
    1Citations
    Get full text
  • Demonstration of sorting algorithms on mobile platforms

    • Meolic R
    N/AReaders
    4Citations
  • Biddy a multi-platform academic BDD package

    • Meolic R
    N/AReaders
    3Citations
    Get full text
  • ACTLW - An action-based computation tree logic with unless operator

    • Meolic R
    • Kapus T
    • Brezočnik Z
    N/AReaders
    16Citations
    Get full text
  • Witness and counterexample automata for ACTL

    • Meolic R
    • Fantechi A
    • Gnesi S
    N/AReaders
    7Citations
  • Formal verification of distributed mutual-exclusion circuits

    • Meolič R
    • Kapus T
    • Dugonik B
    • et al.
    N/AReaders
    1Citations
  • Verification of bakery algorithm variants for two processes

    • Dedič D
    • Meolic R
    N/AReaders
    2Citations
    Get full text
  • Exploring properties of a bounded retransmission protocol with VIS

    • Meolic R
    • Kapus T
    • Brezočnik Z
    N/AReaders
    0Citations
  • Representation of Boolean functions with ROBBD's

    • Casar A
    • Meolic R
    • Brezocnik Z
    • et al.
    N/AReaders
    4Citations