On the relationship of congruence closure and unificationKANELLAKIS, P. C; REVESZ, P.Journal of symbolic computation. 1989, Vol 7, Num 3-4, pp 427-444, issn 0747-7171Article

CCS expressions, finite state processes, and three problems of equivalenceKANELLAKIS, P. C; SMOLKA, S. A.Information and computation (Print). 1990, Vol 86, Num 1, pp 43-68, issn 0890-5401, 26 p.Article

Efficient parallel algorithms can be made robustKANELLAKIS, P. C; SHVARTSMAN, A. A.Distributed computing. 1992, Vol 5, Num 4, pp 201-217, issn 0178-2770Article

The complexity of distributed concurrency controlKANELLAKIS, P. C; PAPADIMITRIOU, C. H.SIAM journal on computing (Print). 1985, Vol 14, Num 1, pp 52-74, issn 0097-5397Article

Is distributed locking harder?KANELLAKIS, P. C; PAPADIMITRIOU, C. H.Journal of computer and system sciences (Print). 1984, Vol 28, Num 1, pp 103-120, issn 0022-0000Article

Bounds on the propagation of selection into logic programsBEERI, C; KANELLAKIS, P; BANCILHON, F et al.Journal of computer and system sciences (Print). 1990, Vol 41, Num 3, pp 157-180, issn 0022-0000, 24 p.Article

Role of angiotensin II in early cardiovascular growth and vascular amplifier development in spontaneously hypertensive ratsBLACK, M. J; KANELLAKIS, P; BOBIK, A et al.Journal of hypertension. 1997, Vol 15, Num 9, pp 945-954, issn 0263-6352Article

Method schemasABITEBOUL, S; KANELLAKIS, P; SRIDHAR RAMASWAMY et al.Journal of computer and system sciences (Print). 1995, Vol 51, Num 3, pp 433-455, issn 0022-0000Article

On the representation and querying of sets of possible worldsABITEBOUL, S; KANELLAKIS, P; GRAHNE, G et al.Theoretical computer science. 1991, Vol 78, Num 1, pp 159-187, issn 0304-3975, 29 p.Article

Parallel algorithms for term matchingDWORK, C; KANELLAKIS, P. C; STOCKMEYER, L et al.SIAM journal on computing (Print). 1988, Vol 17, Num 4, pp 711-731, issn 0097-5397Article

Increased expression of the DNA-binding cytokine HMGB1 in human atherosclerotic lesions: Role of activated macrophages and cytokinesKALININA, N; AGROTIS, A; ANTROPOVA, Y et al.Arteriosclerosis, thrombosis, and vascular biology. 2004, Vol 24, Num 12, pp 2320-2325, issn 1079-5642, 6 p.Article

Developmentally regulated transforming growth factor β-1 action on vascular smooth muscle growth in the SHRSALTIS, J; AGROTIS, A; KANELLAKIS, P et al.Clinical and experimental pharmacology and physiology. 1994, Vol 21, Num 2, pp 149-152, issn 0305-1870Conference Paper

Blood flow regulates the development of vascular hypertrophy, smooth muscle cell proliferation, and endothelial cell nitric oxide synthase in hypertensionUENO, H; KANELLAKIS, P; AGROTIS, A et al.Hypertension (Dallas, Tex. 1979). 2000, Vol 36, Num 1, pp 89-96, issn 0194-911XArticle

Deficiency of haematopoietic-cell-derived IL-10 does not exacerbate high-fat-diet-induced inflammation or insulin resistance in miceKOWALSKI, G. M; NICHOLLS, H. T; RISIS, S et al.Diabetologia (Berlin). 2011, Vol 54, Num 4, pp 888-899, issn 0012-186X, 12 p.Article

Distinct patterns of transforming growth factor-β isoform and receptor expression in human atherosclerotic lesions : Colocalization implicates TGF-β in fibrofatty lesion developmentBOBIK, A; AGROTIS, A; KANELLAKIS, P et al.Circulation (New York, N.Y.). 1999, Vol 99, Num 22, pp 2883-2891, issn 0009-7322Article

Inhibition of protein tyrosine kinases attenuates increases in expression of transforming growth factor-β isoforms and their receptors following arterial injuryWARD, M. R; AGROTIS, A; KANELLAKIS, P et al.Arteriosclerosis, thrombosis, and vascular biology. 1997, Vol 17, Num 11, pp 2461-2470, issn 1079-5642Article

Indexing for data models with constraints and classesKANELLAKIS, P; RAMASWAMY, S; VENGROFF, D. E et al.Journal of computer and system sciences (Print). 1996, Vol 52, Num 3, pp 589-612, issn 0022-0000Conference Paper

Vascular hypertrophy in renal hypertensive spontaneously hypertensive ratsDILLEY, R. J; KANELLAKIS, P; ODDIE, C. J et al.Hypertension (Dallas, Tex. 1979). 1994, Vol 24, Num 1, pp 8-15, issn 0194-911XArticle

Chronic angiotensin II type 1 receptor antagonism in genetic hypertension : effects on vascular structure and reactivityODDIE, C. J; DILLEY, R. J; KANELLAKIS, P et al.Journal of hypertension. 1993, Vol 11, Num 7, pp 717-724, issn 0263-6352Article

Response to balloon injury is vascular bed specific A consequence of de novo vessel structure?WARD, M. R; KANELLAKIS, P; RAMSEY, D et al.Atherosclerosis. 2000, Vol 151, Num 2, pp 407-414, issn 0021-9150Article

Polynomial-time implication problems for unary inclusion dependenciesCOSMADAKIS, S. S; KANELLAKIS, P. C; VARDI, M. Y et al.Journal of the Association for Computing Machinery. 1990, Vol 37, Num 1, pp 15-46, issn 0004-5411Article

Parallel algorithms with processor failures and delaysBUSS, J. F; KANELLAKIS, P. C; RAGDE, P. L et al.Journal of algorithms (Print). 1996, Vol 20, Num 1, pp 45-86, issn 0196-6774Article

Database query languages embedded in the typed lambda calculusHILLEBRAND, G. G; KANELLAKIS, P. C; MAIRSON, H. G et al.Information and computation (Print). 1996, Vol 127, Num 2, pp 117-144, issn 0890-5401Conference Paper

Undecidable boundedness problems for datalog programsHILLEBRND, G. G; KANELLAKIS, P. C; MAIRSON, H. G et al.The Journal of logic programming. 1995, Vol 25, Num 2, pp 163-190, issn 0743-1066Article

Cnstraint query languagesKANELLAKIS, P. C; KUPER, G. M; REVESZ, P. Z et al.Journal of computer and system sciences (Print). 1995, Vol 51, Num 1, pp 26-52, issn 0022-0000Conference Paper