BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Chile
1 × Portugal
Collaborated with:
A.Salcianu S.Bringsjord S.Khemlani J.J.Dorando P.Vasa G.Kazantsev G.Mann
Talks about:
heterogen (1) bloomberg (1) procedur (1) haystack (1) dataflow (1) checkabl (1) spatial (1) retriev (1) correct (1) reason (1)

Person: Konstantine Arkoudas

DBLP DBLP: Arkoudas:Konstantine

Contributed to:

SIGIR 20152015
KEOD 20092009
COCV 20052005

Wrote 3 papers:

SIGIR-2015-DorandoAVKM #information retrieval
Finding Money in the Haystack: Information Retrieval at Bloomberg (JJD, KA, PV, GK, GM), p. 1075.
KEOD-2009-ArkoudasBK #logic #reasoning
Qualitative Spatial Reasoning Via 3-Valued Heterogeneous Logic (KA, SB, SK), pp. 80–87.
COCV-J-2005-SalcianuA #analysis #correctness #data flow #proving
Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses (AS, KA), pp. 53–68.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.