External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Almost Sure Productivity

Alejandro Aguirre 0001, Gilles Barthe, Justin Hsu, Alexandra Silva 0001. Almost Sure Productivity. In Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella, editors, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic. Volume 107 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Authors

Alejandro Aguirre 0001

This author has not been identified. Look up 'Alejandro Aguirre 0001' in Google

Gilles Barthe

This author has not been identified. Look up 'Gilles Barthe' in Google

Justin Hsu

This author has not been identified. Look up 'Justin Hsu' in Google

Alexandra Silva 0001

This author has not been identified. Look up 'Alexandra Silva 0001' in Google
runs on