Concepedia

Spiro Michaylov

SM

15

Publications

1.1K

Citations

12

H-Index

1987

Active since

Affiliations

Carnegie Mellon University(Current)

The University of Melbourne

IBM Research - Austin

Spiro Michaylov is an author at Carnegie Mellon University specializing in engineering, formal methods, and computer science.

Top concepts

Publications per year

1987–2017

15

Publications

15

The CLP( ℛ ) language and system

Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey et al. · ACM Transactions on Programming Languages and Systems · 1992 · 524 citations · Full text

, , +23

Methodology and Implementation of a CLP System

Joxan Jaffar, Spiro Michaylov · International Conference on Lightning Protection · 1987 · 177 citations

, , +7

Azure Data Lake Store

Raghu Ramakrishnan, B. Sridharan, John R. Douceur et al. · 2017 · 111 citations

, , +19

An abstract machine for CLP( <scp>R</scp> )

Joxan Jaffar, Peter J. Stuckey, Spiro Michaylov et al. · 1992 · 45 citations

CLP(R) and Some Electrical Engineering Problems.

Nevin Heintze, Spiro Michaylov, Peter J. Stuckey · 1987 · 43 citations

Rows per page

1–5 of 15