Spiro Michaylov Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys1998
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Spiro Michaylov: Repeated Redundant Inequalities in Constraint Logic Programming. Inf. Comput. 142(1): 26-39 (1998)
1997
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: Meta-Programming in CLP(R). J. Log. Program. 33(3): 221-259 (1997)
1995
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Spiro Michaylov, Iván Ordóñez: Time and Money: A Case Study in Systematic Development of Constraint Logic Programs. LPE 1995
1994
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Spiro Michaylov: Repeated Redundant Inequalities in Constraint Logic Programming. CCL 1994: 154-169
c13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Spiro Michaylov: Skeletons and Techniques for the Systematic Development of Constraint Logic Programs. ICTAI 1994: 138-144
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Spiro Michaylov, Bill Pippin: Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs. SLP 1994: 586-600
1993
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Spiro Michaylov, Frank Pfenning: Higher-Order Logic Programming as Constraint Logic Programming. PPCP 1993: 210-218
1992
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov: PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. J. Autom. Reasoning 8(2): 153-181 (1992)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. J. Autom. Reasoning 9(2): 231-260 (1992)
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: The CLP(R) Language and System. ACM Trans. Program. Lang. Syst. 14(3): 339-395 (1992)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: An Abstract Machine for CLP(R). PLDI 1992: 128-139
1991
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Spiro Michaylov, Frank Pfenning: Natural Semantics and Some of Its Meta-Theory in Elf. ELP 1991: 299-344
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Spiro Michaylov, Frank Pfenning: Compiling the Polymorphic Lambda-Calculus. PEPM 1991: 285-296
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap: A Methodology for Managing Hard Constraints in CLP Systems. PLDI 1991: 306-316
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Niels Jørgensen, Kim Marriott, Spiro Michaylov: Some Global Compile-Time Optimizations for CLP(R). ISLP 1991: 420-434
1989
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov: PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. LICS 1989: 80-89
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: On Meta-Programming in CLR(R). NACLP 1989: 52-66
1988
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
P. E. Allen, Soumitra Bose, Edmund M. Clarke, Spiro Michaylov: PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. CADE 1988: 764-765
1987
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joxan Jaffar, Spiro Michaylov: Methodology and Implementation of a CLP System. ICLP 1987: 196-218
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nevin Heintze, Spiro Michaylov, Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. ICLP 1987: 675-703

Coauthor Index

1P. E. Allen
[c3]
2Soumitra Bose
[j3] [c5] [c3]
3Edmund M. Clarke
[j3] [c5] [c3]
4Nevin Heintze
[j4] [j2] [c4] [c1]
5Joxan Jaffar
[j1] [c10] [c7] [c2]
6Niels Jørgensen
[c6]
7David E. Long
[j3] [c5]
8Kim Marriott
[c6]
9Iván Ordóñez
[c15]
10Frank Pfenning
[c11] [c9] [c8]
11Bill Pippin
[c12]
12Peter J. Stuckey
[j4] [j2] [j1] [c10] [c4] [c1]
13Roland H. C. Yap
[j4] [j1] [c10] [c7] [c4]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 18 19:09:08 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page