Category Talks

CKR: a general framework for context in Semantic Web
February 25th, 11 a.m.

Parameterized Verification of Asynchronous Shared-Memory Systems

Program verification as constraint solving (also for existential and universal CTL properties)

Joint work with Tudor Jebelean (RISC, Austria) and Hoon Hong (NCSU, USA)

Fast Routing Table Construction Using Small Messages