Spiro Michaylov

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

Coauthor Index

1	P. E. Allen	[3]
2	Soumitra Bose	[3] [5] [11]
3	Edmund M. Clarke	[3] [5] [11]
4	Nevin Heintze	[1] [4] [10] [19]
5	Joxan Jaffar	[2] [6] [12] [13]
6	Niels Jørgensen	[8]
7	David E. Long	[5] [11]
8	Kim Marriott	[8]
9	Iván Ordóñez	[18]
10	Frank Pfenning	[7] [9] [14]
11	Bill Pippin	[15]
12	Peter J. Stuckey	[1] [4] [10] [12] [13] [19]
13	Roland H. C. Yap	[4] [6] [12] [13] [19]

Colors in the list of coauthors