Follow
Spyros Hadjichristodoulou
Spyros Hadjichristodoulou
Research Assistant, Stony Brook University
Verified email at cs.stonybrook.edu - Homepage
Title
Cited by
Cited by
Year
Probabilistic logic programming with well-founded negation
S Hadjichristodoulou, DS Warren
2012 IEEE 42nd International Symposium on Multiple-Valued Logic, 232-237, 2012
142012
A gradual polymorphic type system with subtyping for prolog
S Hadjichristodoulou
Technical Communications of the 28th International Conference on Logic …, 2012
42012
Mode-Sensitive Type Analysis for Prolog Programs
S Hadjichristodoulou
State University of New York at Stony Brook, 2014
12014
Who Shaves the Barber, and with What Probability?
S Hadjichristodoulou, DS Warren
Journal of Multiple-Valued Logic & Soft Computing 22, 2014
2014
Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB
S Hadjichristodoulou, DE Porter, DS Warren
arXiv preprint arXiv:1308.3938, 2013
2013
CSE 614-Advanced Programming Languages Efficient Implementation of Security Policies for Cloud and Grid Computing
S Hadjichristodoulou
2010
Gimple DB: Whole-Kernel Analysis
J Guo, S Hadjichristodoulou
The system can't perform the operation now. Try again later.
Articles 1–7