Probabilistic logic programming with well-founded negation S Hadjichristodoulou, DS Warren 2012 IEEE 42nd International Symposium on Multiple-Valued Logic, 232-237, 2012 | 16 | 2012 |
A gradual polymorphic type system with subtyping for prolog S Hadjichristodoulou Technical Communications of the 28th International Conference on Logic …, 2012 | 4 | 2012 |
Mode-Sensitive Type Analysis for Prolog Programs S Hadjichristodoulou State University of New York at Stony Brook, 2014 | 1 | 2014 |
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 | | |