ask others

Stephen Skeirik

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/SkeirikM18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/SkeirikM18
Stephen Skeirik, José Meseguer:
Metalevel algorithms for variant satisfiability. J. Log. Algebr. Meth. Program. 96: 81-110 (2018)
2017
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/MeseguerS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/MeseguerS17
José Meseguer, Stephen Skeirik:
Equational formulas and pattern operations in initial order-sorted algebras. Formal Asp. Comput. 29(3): 423-452 (2017)
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lopstr/SkeirikSM17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lopstr/SkeirikSM17
Stephen Skeirik, Andrei Stefanescu, José Meseguer:
A Constructor-Based Reachability Logic for Rewrite Theories. LOPSTR 2017: 201-217
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1709-05045
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1709-05045
Stephen Skeirik, Andrei Stefanescu, José Meseguer:
A Constructor-Based Reachability Logic for Rewrite Theories. CoRR abs/1709.05045 (2017)
2016
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wrla/SkeirikM16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wrla/SkeirikM16
Stephen Skeirik, José Meseguer:
Metalevel Algorithms for Variant Satisfiability. WRLA 2016: 167-184
2015
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lopstr/MeseguerS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lopstr/MeseguerS15
José Meseguer, Stephen Skeirik:
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras. LOPSTR 2015: 36-53
2014
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfem/LiuRSGM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfem/LiuRSGM14
Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer:
Formal Modeling and Analysis of Cassandra in Maude. ICFEM 2014: 332-347
2013
[c1]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/ccgrid/SkeirikBM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ccgrid/SkeirikBM13
Stephen Skeirik, Rakesh B. Bobba, José Meseguer:
Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper. CCGRID 2013: 636-641

Coauthor Index

see FAQ

maintained by

, founded at