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.

Symbolic Reasoning for Automatic Signal Placement

Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis. Symbolic Reasoning for Automatic Signal Placement. Operating Systems Review, 54(1):64-76, 2020. [doi]

Authors

Kostas Ferles

This author has not been identified. Look up 'Kostas Ferles' in Google

Jacob Van Geffen

This author has not been identified. Look up 'Jacob Van Geffen' in Google

Isil Dillig

This author has not been identified. Look up 'Isil Dillig' in Google

Yannis Smaragdakis

This author has not been identified. It may be one of the following persons: Look up 'Yannis Smaragdakis' in Google
runs on