Stephen Skeirik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2013–2017
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | LOPSTR | A Constructor-Based Reachability Logic for Rewrite Theories. | Stephen Skeirik, Andrei Stefanescu, Jos Meseguer |
| 2015 | LOPSTR | Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras. | Jos Meseguer, Stephen Skeirik |
| 2014 | ICFEM | Formal Modeling and Analysis of Cassandra in Maude. | Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, Jos Meseguer |
| 2013 | CCGRID | Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper. | Stephen Skeirik, Rakesh B. Bobba, Jos Meseguer |