Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

Results 1-3 of 3
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
25-Jul-2017Centrally governed blockchains: optimizing security, cost, and availabilityLundbaek, L; Callia d'Iddio, A; Huth, MRA; Engineering & Physical Science Research Council (EPSRC); Engineering & Physical Science Research Council (E, et al
13-Mar-2016Denotational and operational preciseness of subtyping: A roadmapDezani-Ciancaglini, M; Ghilezan, S; Jakšić, S; Pantović, J; Yoshida, N, et al
3-Jul-2019Featherweight ScribbleYoshida, N; Neykova, R; Boreale, M; Corradini, F; Loreti, M, et al