The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Spiro Michaylov: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
    The CLP(R) Language and System. [Citation Graph (7, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1992, v:14, n:3, pp:339-395 [Journal]
  2. Joxan Jaffar, Spiro Michaylov
    Methodology and Implementation of a CLP System. [Citation Graph (1, 0)][DBLP]
    ICLP, 1987, pp:196-218 [Conf]
  3. Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
    On Meta-Programming in CLR(R). [Citation Graph (1, 0)][DBLP]
    NACLP, 1989, pp:52-66 [Conf]
  4. P. E. Allen, Soumitra Bose, Edmund M. Clarke, Spiro Michaylov
    PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:764-765 [Conf]
  5. Spiro Michaylov
    Repeated Redundant Inequalities in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    CCL, 1994, pp:154-169 [Conf]
  6. Spiro Michaylov, Frank Pfenning
    Natural Semantics and Some of Its Meta-Theory in Elf. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:299-344 [Conf]
  7. Nevin Heintze, Spiro Michaylov, Peter J. Stuckey
    CLP(R) and Some Electrical Engineering Problems. [Citation Graph (0, 0)][DBLP]
    ICLP, 1987, pp:675-703 [Conf]
  8. Spiro Michaylov
    Skeletons and Techniques for the Systematic Development of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1994, pp:138-144 [Conf]
  9. Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov
    PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:80-89 [Conf]
  10. Spiro Michaylov, Iván Ordóñez
    Time and Money: A Case Study in Systematic Development of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPE, 1995, pp:- [Conf]
  11. Spiro Michaylov, Frank Pfenning
    Compiling the Polymorphic Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    PEPM, 1991, pp:285-296 [Conf]
  12. Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
    An Abstract Machine for CLP(R). [Citation Graph (0, 0)][DBLP]
    PLDI, 1992, pp:128-139 [Conf]
  13. Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap
    A Methodology for Managing Hard Constraints in CLP Systems. [Citation Graph (0, 0)][DBLP]
    PLDI, 1991, pp:306-316 [Conf]
  14. Spiro Michaylov, Frank Pfenning
    Higher-Order Logic Programming as Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    PPCP, 1993, pp:210-218 [Conf]
  15. Niels Jørgensen, Kim Marriott, Spiro Michaylov
    Some Global Compile-Time Optimizations for CLP(R). [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:420-434 [Conf]
  16. Spiro Michaylov, Bill Pippin
    Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:586-600 [Conf]
  17. Spiro Michaylov
    Repeated Redundant Inequalities in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1998, v:142, n:1, pp:26-39 [Journal]
  18. Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov
    PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:8, n:2, pp:153-181 [Journal]
  19. Nevin Heintze, Spiro Michaylov, Peter J. Stuckey
    CLP(R) and Some Electrical Engineering Problems. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:2, pp:231-260 [Journal]
  20. Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
    Meta-Programming in CLP(R). [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:33, n:3, pp:221-259 [Journal]

Search in 0.028secs, Finished in 0.029secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002