Moshe Y. Vardi

TL;DR: This paper deals with the issue of automating the design of views starting from a set of known correspondences between queries over different schemas, and studies view synthesis from schema mappings both in the relational setting, where queries and views are (unions of) conjunctive queries, and in the semistructured data setting,Where queries andViews are (two-way) regular path queries, as well as unions of conjunctions thereof.

TL;DR: Reading over the essays of my predecessors, one recognizes the thread that runs through all of them, which is the constant need of CACM to reinvent itself.

TL;DR: C1-INH was effective for long-term prophylaxis and treatment of breakthrough attacks with favourable safety profile in Japanese patients with HAE.

TL;DR: In this article, the authors consider the common-knowledge paradox raised by Halpern and Moses: common knowledge is necessary for agreement and coordination, but it is unattainable in the real world because of temporal imprecision.

TL;DR: A brief biography of Paris Kanellakis is offered and a description of the research topics that interested him over the last few years, together with the contributions that he made to these areas are offered.