Robert Meolic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2004–2017
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | FMCAD | Tagged BDDs: Combining reduction rules from different decision diagram types. | Tom van Dijk, Robert Wille, Robert Meolic |
| 2013 | CSEDU | Demonstration of Sorting Algorithms on Mobile Platforms. | Robert Meolic |
| 2004 | FORTE | Witness and Counterexample Automata for ACTL. | Robert Meolic, Alessandro Fantechi, Stefania Gnesi |