dblp.uni-trier.dewww.uni-trier.de

Spiro Michaylov Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*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
9EESpiro 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
3EEP. 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)