Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Morio, Kevin
29  Ergebnisse:
Personensuche X
?
1

Verifying Accountability for Unbounded Sets of Participants:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),
Morio, Kevin ; Kunnemann, Robert - p. 1-16 , 2021
Link: https://doi.org/10.1109/..
 
?
2

Short Paper: Modular Black-box Runtime Verification of Secu..:

, In: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security,
Morio, Kevin ; Jackson, Dennis ; Vassena, Marco. - p. 19-22 , 2020
Link: https://dl.acm.org/doi/1..
 
?
3

Automated Security Analysis of Exposure Notification System:

Morio, Kevin ; Esiyok, Ilkan ; Jackson, Dennis.
https://publications.cispa.saarland/3851/1/contacttracing-conf.pdf.  , 2023
Link: https://publications.cis..
 
?
4

Automated Security Analysis of Exposure Notification System:

Morio, Kevin ; Esiyok, Ilkan ; Jackson, Dennis.
http://arxiv.org/abs/2210.00649.  , 2022
Link: http://arxiv.org/abs/221..
 
?
5

Verifying Accountability for Unbounded Sets of Participants:

Morio, Kevin ; Künnemann, Robert
http://arxiv.org/abs/2006.12047.  , 2020
Link: http://arxiv.org/abs/200..
 
?
6

Automated Security Analysis of Exposure Notification System:

Kevin Morio ; Ilkan Esiyok ; Dennis Jackson.
doi:10.60882/cispa.24614622.v1.  , 2023
Link: https://doi.org/10.60882..
 
?
7

Youth mental health first aid: Initial outcomes of a statew..:

Noltemeyer, Amity ; Huang, Haigen ; Meehan, Cricket...
Journal of Applied School Psychology.  36 (2019)  1 - p. 1-19 , 2019
Link: https://doi.org/10.1080/..
 
?
8

Combating inflammaging through a Mediterranean whole diet a..:

Santoro, Aurelia ; Pini, Elisa ; Scurti, Maria...
Mechanisms of Ageing and Development.  136-137 (2014)  - p. 3-13 , 2014
Link: https://doi.org/10.1016/..
 
?
9

Spatial heterogeneity of bone marrow endothelial cells unve..:

Iga, Takahito ; Kobayashi, Hiroshi ; Kusumoto, Dai...
Nature Cell Biology.  25 (2023)  10 - p. 1415-1425 , 2023
Link: https://doi.org/10.1038/..
 
?
10

2023 HRS/APHRS/LAHRS guideline on cardiac physiologic pacin..:

Mina K. Chung ; Kristen K. Patton ; Chu‐Pak Lau...
https://doi.org/10.1002/joa3.12872.  , 2023
Link: https://doi.org/10.1002/..
 
?
11

Comparison of Oxygen Consumption in Rats during Uphill (Con..:

Chavanelle, Vivien ; Sirvent, Pascal ; Ennequin, Gaël...
info:eu-repo/semantics/altIdentifier/pmid/25177200.  , 2014
Link: https://hal.inrae.fr/hal..
 
?
12

Comparison of Oxygen Consumption in Rats during Uphill (Con..:

Chavanelle, Vivien ; Sirvent, Pascal ; Ennequin, Gaël...
info:eu-repo/semantics/altIdentifier/pmid/25177200.  , 2014
Link: https://hal.inrae.fr/hal..
 
?
13

Comparison of Oxygen Consumption in Rats during Uphill (Con..:

Chavanelle, Vivien ; Sirvent, Pascal ; Ennequin, Gaël...
info:eu-repo/semantics/altIdentifier/pmid/25177200.  , 2014
Link: https://hal.inrae.fr/hal..
 
?
14

Comparison of Oxygen Consumption in Rats during Uphill (Con..:

Chavanelle, Vivien ; Sirvent, Pascal ; Ennequin, Gaël...
info:eu-repo/semantics/altIdentifier/pmid/25177200.  , 2014
Link: https://hal.inrae.fr/hal..
 
?
15

Comparison of Oxygen Consumption in Rats during Uphill (Con..:

Chavanelle, Vivien ; Sirvent, Pascal ; Ennequin, Gaël...
info:eu-repo/semantics/altIdentifier/pmid/25177200.  , 2014
Link: https://hal.inrae.fr/hal..
 
1-15