1 - 5 of 5
1
Conference item icon

Conference item

The automatic detection of token structures and invariants using SAT checking

  • Antonino, P, Gibson-Robinson, T, Roscoe, A
  • 2017-01-01
2
Conference item icon

Conference item

Accelerated consensus via Min-Sum Splitting

  • Tatikonda, S, Rebeschini, P
  • 2018-06-01
3
Conference item icon

Conference item

Evidence for chaperone function in mechanosensation

  • Collier, M, Hochberg, G, Turtle, C, et al.
  • 2017-02-03
4
Conference item icon

Conference item

Polynomial automata: zeroness and applications

  • Benedikt, M, Duff, T, Sharad, A, et al.
  • 2017-08-18
5
Conference item icon

Conference item

When can we answer queries using result-bounded data interfaces?

  • Amarilli, A, Benedikt, MA
  • 2018-05-27
FILTER RESULTS

TO TOP