( en | de | ru )

 

Disambiguation of "Harvey, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language.

, , , and . ECOOP, volume 194 of LIPIcs, page 10:1-10:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Harvey Egan

Harvey May

Carlo Harvey

Kirsten Harvey

Edwin Harvey

 

Other publications of authors with the same name

Preliminary report on in vivo coronary MRA at 3 Tesla in humans, , , , , , and . Magn Reson Med, 48 (3): 425--429 (2002)Data acquisition in a wireless diabetic and cardiac monitoring system., , , and . EMBC, page 3154-3157. IEEE, (2011)PhyloJIVE: Integrating biodiversity data with the Tree of Life., , , , and . Bioinform., 30 (9): 1308-1309 (2014)Evolutionary Autonomous Networks., , , , and . J. ICT Stand., 9 (2): 201-228 (2021)FedFly: Toward Migration in Edge-Based Distributed Federated Learning., , , , , and . IEEE Commun. Mag., 60 (11): 42-48 (2022)FedAdapt: Adaptive Offloading for IoT Devices in Federated Learning., , , , , and . IEEE Internet Things J., 9 (21): 20889-20901 (2022)Network Digital Twin: Context, Enabling Technologies and Opportunities., , , , , , , , , and 6 other author(s). CoRR, (2022)Revisiting the Arguments for Edge Computing Research., , , , , , , , , and 1 other author(s). CoRR, (2021)Multiparty Session Types for Safe Runtime Adaptation in an Actor Language., , , and . ECOOP, volume 194 of LIPIcs, page 10:1-10:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)A Virtual Machine for the Insense Language., , and . MOBILWARE, page 100-109. IEEE, (2013)