Takip et
Spyros Hadjichristodoulou
Spyros Hadjichristodoulou
Research Assistant, Stony Brook University
cs.stonybrook.edu üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–7