( en | de | ru )

 

Disambiguation of "Skeirik, Stephen"

Author of the publication

copydeleteadd this publication to your clipboard
A Constructor-Based Reachability Logic for Rewrite Theories.

, , and . Fundam. Informaticae, 173 (4): 315-382 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stephen Novak

Stephen Robinson

Stephen Wagner

Andreas Stephen

Stephen Stürzenbaum

 

Other publications of authors with the same name

Formal Modeling and Analysis of Cassandra in Maude., , , , and . ICFEM, volume 8829 of Lecture Notes in Computer Science, page 332-347. Springer, (2014)Metalevel Algorithms for Variant Satisfiability., and . WRLA, volume 9942 of Lecture Notes in Computer Science, page 167-184. Springer, (2016)Verification of the IBOS Browser Security Properties in Reachability Logic., , and . WRLA@ETAPS, volume 12328 of Lecture Notes in Computer Science, page 176-196. Springer, (2020)Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras., and . LOPSTR, volume 9527 of Lecture Notes in Computer Science, page 36-53. Springer, (2015)On Ground Convergence and Completeness of Conditional Equational Program Hierarchies., and . WRLA@ETAPS, volume 13252 of Lecture Notes in Computer Science, page 191-211. Springer, (2022)A Constructor-Based Reachability Logic for Rewrite Theories., , and . Fundam. Informaticae, 173 (4): 315-382 (2020)Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification., and . WRLA@ETAPS, volume 12328 of Lecture Notes in Computer Science, page 114-135. Springer, (2020)A Constructor-Based Reachability Logic for Rewrite Theories., , and . LOPSTR, volume 10855 of Lecture Notes in Computer Science, page 201-217. Springer, (2017)Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper., , and . CCGRID, page 636-641. IEEE Computer Society, (2013)Rewriting-based symbolic methods for distributed system verification. University of Illinois Urbana-Champaign, USA, (2019)