E-LIB Suche - Ergebnisse für: Peterson, Rudy

1

P4Cub: A Little Language for Big Routers:

, In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Peterson, Rudy ; Campbell, Eric Hayden ; Chen, John... - p. 303-319 , 2023

2

Petr4: formal foundations for p4 data planes:

Doenges, Ryan ; Arashloo, Mina Tahmasbi ; Bautista, Santiago...
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-32 , 2021

Link: https://doi.org/10.1145/..

3

Petr4: formal foundations for p4 data planes:

Doenges, Ryan ; Arashloo, Mina Tahmasbi ; Bautista, Santiago...
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-32 , 2021

Link: https://dl.acm.org/doi/1..

4

VM Artifact for "Petr4: Formal Foundations for P4 Data Plan..:

Doenges, Ryan ; Arashloo, Mina Tahmasbi ; Bautista, Santiago...
doi:10.5281/zenodo.4074356. , 2020

Link: https://zenodo.org/recor..

5

Petr4: Formal Foundations for P4 Data Planes:

Doenges, Ryan ; Arashloo, Mina Tahmasbi ; Bautista, Santiago...
http://arxiv.org/abs/2011.05948. , 2020

Link: http://arxiv.org/abs/201..

6

verified-network-toolchain/petr4: v0.1.4:

Ryan Doenges ; Parisa Ataei ; stp59...
https://github.com/verified-network-toolchain/petr4/tree/0.1.4. , 2022

Link: https://zenodo.org/recor..

7

verified-network-toolchain/petr4: v0.1.3:

Ryan Doenges ; Parisa Ataei ; stp59...
https://github.com/verified-network-toolchain/petr4/tree/0.1.3. , 2022

Link: https://zenodo.org/recor..

8

Contributors:

, In: Energy Democracies for Sustainable Futures,

Alonso-Serna, Lourdes ; Ashworth, Peta ; Becker, Bidtah... - p. xv-xvii , 2023

Link: https://doi.org/10.1016/..

9

Evidence-Based Assessment of Genes in Dilated Cardiomyopath:

Jordan, Elizabeth ; Peterson, Laiken ; Ai, Tomohiko...
Circulation. 144 (2021) 1 - p. 7-19 , 2021

Link: https://doi.org/10.1161/..

10

The Implementation of a Text Messaging Intervention to Impr..:

Uhrig Castonguay, Breana J ; Cressman, Andrew E ; Kuo, Irene...
JMIR mHealth and uHealth. 8 (2020) 2 - p. e16220 , 2020

Link: https://doi.org/10.2196/..

11

MULTIPLE MYELOMA IN AN AFRICAN HEDGEHOG (ATELERIX ALBIVENTR..:

Snow, Seth ; Higbie, Christine ; Tully, Thomas N...
Journal of Exotic Pet Medicine. 30 (2019) - p. 82-84 , 2019

Link: https://doi.org/10.1053/..

12

Use of an mHealth Intervention to Improve Engagement in HIV..:

Kuo, Irene ; Liu, Tao ; Patrick, Rudy...
AIDS and Behavior. 23 (2019) 4 - p. 1016-1031 , 2019

Link: https://doi.org/10.1007/..

13

Gender Differences in HIV Care among Criminal Justice-Invol..:

Beckwith, Curt ; Castonguay, Breana Uhrig ; Trezza, Claudia...
PLOS ONE. 12 (2017) 1 - p. e0169078 , 2017

Link: https://doi.org/10.1371/..

14

Willingness to use HIV pre-exposure prophylaxis among commu..:

Kuo, Irene ; Olsen, Halli ; Patrick, Rudy...
Drug and Alcohol Dependence. 164 (2016) - p. 8-13 , 2016

Link: https://doi.org/10.1016/..

15

The electric wind of Venus: A global and persistent "polar ..:

Collinson, Glyn A. ; Frahm, Rudy A. ; Glocer, Alex...
Geophysical Research Letters. 43 (2016) 12 - p. 5926-5934 , 2016

Link: https://doi.org/10.1002/..