I agree that this site is using cookies. You can find further informations here.
X
Beckett, Michael A.
6  results:
Bookchapter (Online) X
Search for persons X
?
1

Kleene algebra modulo theories: a framework for concrete KA..:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Greenberg, Michael ; Beckett, Ryan ; Campbell, Eric - p. 594-608 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

TIPSY : predicting where traffic will ingress a WAN:

, In: Proceedings of the ACM SIGCOMM 2022 Conference,
Markovitch, Michael ; Agarwal, Sharad ; Fonseca, Rodrigo... - p. 233-249 , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

Temporal NetKAT:

, In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Beckett, Ryan ; Greenberg, Michael ; Walker, David - p. 386-401 , 2016
Link: https://dl.acm.org/doi/1..
 
?
4

Formulating the problem: Digital storytelling and the devel..:

, In: 2015 IEEE Frontiers in Education Conference (FIE),
Ball, Tamara ; Beckett, Linnea ; Isaacson, Michael - p. 1-5 , 2015
Link: https://doi.org/10.1109/..
 
?
5

List of Contributors:

, In: Diet and Exercise in Cystic Fibrosis,
Alarie, Nancy ; Arets, H.G.M. ; Atkinson, Fiona S.... - p. xix-xxi , 2015
Link: https://doi.org/10.1016/..
 
?
6

List of Contributors:

, In: Microencapsulation in the Food Industry,
Ahniyaz, Anwar ; Akashe, Ahmad ; Atkin, Stephen... - p. xix-xx , 2014
Link: https://doi.org/10.1016/..
 
1-6