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: Sloan:Robert_H=
Contributed to:
2012
2007
2000
1994Wrote 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.