Document is current

Černý, Pavol

Clarke, Edmund M.

Henzinger, Thomas A.

Radhakrishna, Arjun

Ryzhyk, Leonid

Samanta, Roopsha

Tarrach, Thorsten https://orcid.org/0000-0003-4409-8487

Funding for this research was provided by:

European Research Council (267989)

Austrian Science Fund (S11402-N23, Z211-N23)

National Science Foundation (CCF 1421752)

Simons Foundation

Intel Corporation (gift)

National Science Foundation (CCF 1138996)

Text and Data Mining valid from 2016-09-27

Version of Record valid from 2016-09-27