BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Portugal
2 × USA
Collaborated with:
G.Turán J.Goldsmith U.A.Buy M.Langlois K.V.Adaricheva B.Szörényi
Talks about:
time (2) horn (2) contract (1) remaind (1) program (1) envelop (1) complex (1) analysi (1) theori (1) belief (1)

Person: Robert H. Sloan

DBLP DBLP: Sloan:Robert_H=

Contributed to:

KR 20122012
SAT 20072007
STOC 20002000
ISSTA 19941994

Wrote 4 papers:

KR-2012-AdarichevaSST #complexity
Horn Belief Contraction: Remainders, Envelopes and Complexity (KVA, RHS, BS, GT).
SAT-2007-LangloisST #bound
Horn Upper Bounds and Renaming (ML, RHS, GT), pp. 80–93.
STOC-2000-GoldsmithS #query
More theory revision with queries (JG, RHS), pp. 441–448.
ISSTA-1994-BuyS #analysis #petri net #realtime #source code
Analysis of Real-Time Programs with Simple Time Petri Nets (UAB, RHS), pp. 228–239.

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.