Methodology and Implementation of a CLP System. - Joxan Jaffar; Spiro Michaylov (ICLP, 1987)

PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. - P. E. Allen; Soumitra Bose; Edmund M. Clarke; Spiro Michaylov (CADE, 1988)

On Meta-Programming in CLR(R). - Nevin Heintze; Spiro Michaylov; Peter J. Stuckey; Roland H. C. Yap (NACLP, 1989)

The CLP(R) language and system: an overview. - Joxan Jaffar; Spiro Michaylov; Peter J. Stuckey; Roland H. C. Yap (Compcon, 1991)

Natural Semantics and Some of Its Meta-Theory in Elf. - Spiro Michaylov; Frank Pfenning (ELP, 1991)

Compiling the Polymorphic Lambda-Calculus. - Spiro Michaylov; Frank Pfenning (PEPM, 1991)

A Methodology for Managing Hard Constraints in CLP Systems. - Joxan Jaffar; Spiro Michaylov; Roland H. C. Yap (PLDI, 1991)

Some Global Compile-Time Optimizations for CLP(R). - Niels Jørgensen; Kim Marriott; Spiro Michaylov (ISLP, 1991)

An Abstract Machine for CLP(R). - Joxan Jaffar; Spiro Michaylov; Peter J. Stuckey; Roland H. C. Yap (PLDI, 1992)

PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. - Soumitra Bose; Edmund M. Clarke; David E. Long; Spiro Michaylov (J. Autom. Reason., 1992)

CLP(R) and Some Electrical Engineering Problems. - Nevin Heintze; Spiro Michaylov; Peter J. Stuckey (J. Autom. Reason., 1992)

The CLP(R) Language and System. - Joxan Jaffar; Spiro Michaylov; Peter J. Stuckey; Roland H. C. Yap (ACM Trans. Program. Lang. Syst., 1992)

Higher-Order Logic Programming as Constraint Logic Programming. - Spiro Michaylov; Frank Pfenning (PPCP, 1993)

Skeletons and Techniques for the Systematic Development of Constraint Logic Programs. - Spiro Michaylov (ICTAI, 1994)

Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs. - Spiro Michaylov; Bill Pippin (ILPS, 1994)

Time and Money: A Case Study in Systematic Development of Constraint Logic Programs. - Spiro Michaylov; Iván Ordóñez (LPE, 1995)

Meta-Programming in CLP(R). - Nevin Heintze; Spiro Michaylov; Peter J. Stuckey; Roland H. C. Yap (J. Log. Program., 1997)

Repeated Redundant Inequalities in Constraint Logic Programming. - Spiro Michaylov (Inf. Comput., 1998)

Azure Data Lake Store: A Hyperscale Distributed File Service for Big Data Analytics. - Raghu Ramakrishnan 001; Baskar Sridharan; John R. Douceur; Pavan Kasturi; Balaji Krishnamachari-Sampath; Karthick Krishnamoorthy; Peng Li; Mitica Manu; Spiro Michaylov; Rogério Ramos; Neil Sharman; Zee Xu; et al. (SIGMOD Conference, 2017)