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

Survival and health economic outcomes in heart failure diag..:

Bachtiger, Patrik ; Kelshiker, Mihir A ; Petri, Camille F...
BMJ Health & Care Informatics.  30 (2023)  1 - p. e100718 , 2023
Link: https://doi.org/10.1136/..
 
?
2

Verifying correct usage of context-free API protocols:

Ferles, Kostas ; Stephens, Jon ; Dillig, Isil
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021
Link: https://doi.org/10.1145/..
 
?
3

SmartPulse: Automated Checking of Temporal Properties in Sm..:

, In: 2021 IEEE Symposium on Security and Privacy (SP),
Stephens, Jon ; Ferles, Kostas ; Mariano, Benjamin.. - p. 555-571 , 2021
Link: https://doi.org/10.1109/..
 
?
4

Verifying correct usage of context-free API protocols:

Ferles, Kostas ; Stephens, Jon ; Dillig, Isil
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Representing and reasoning about dynamic code:

, In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering,
Bartels, Jesse ; Stephens, Jon ; Debray, Saumya - p. 312-323 , 2020
Link: https://dl.acm.org/doi/1..
 
?
6

Language-Agnostic Optimization and Parallelization for Inte..:

, In: Languages and Compilers for Parallel Computing; Lecture Notes in Computer Science,
Strout, Michelle Mills ; Debray, Saumya ; Isaacs, Kate... - p. 36-46 , 2019
Link: https://doi.org/10.1007/..
 
?
7

Probabilistic Obfuscation Through Covert Channels:

, In: 2018 IEEE European Symposium on Security and Privacy (EuroS&P),
Stephens, Jon ; Yadegari, Babak ; Collberg, Christian.. - p. 243-257 , 2018
Link: https://doi.org/10.1109/..
 
?
8

Analysis of Exception-Based Control Transfers:

, In: Proceedings of the Seventh ACM on Conference on Data and Application Security and Privacy,
Yadegari, Babak ; Stephens, Jon ; Debray, Saumya - p. 205-216 , 2017
Link: https://dl.acm.org/doi/1..
 
?
9

La naissance de la chimie:

, In: Les secrets de la matière = Faszination Chemie / presented by Jim Al-Khalali,
Stephens, Jon ; Al-Khalili, Jim , P 2010
Exemplar:  Zentrale/Mediathek: pg 8720-1:3
 
?
10

Survival and health economic outcomes in heart failure diag..:

Bachtiger, Patrik ; Kelshiker, Mihir A ; Petri, Camille F...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10030479/.  , 2023
Link: http://www.ncbi.nlm.nih...
 
?
11

Verifying Correct Usage of Context-Free API Protocols (Exte..:

Ferles, Kostas ; Stephens, Jon ; Dillig, Isil
http://arxiv.org/abs/2010.09652.  , 2020
Link: http://arxiv.org/abs/201..
 
?
12

AutoMATES: Automated Model Assembly from Text, Equations, a..:

Pyarelal, Adarsh ; Valenzuela-Escarcega, Marco A ; Sharp, Rebecca...
http://arxiv.org/abs/2001.07295.  , 2020
Link: http://arxiv.org/abs/200..
 
?
13

Representing and Reasoning about Dynamic Code:

Bartels, Jesse ; Stephens, Jon ; Debray, Saumya
http://arxiv.org/abs/1910.09606.  , 2019
Link: http://arxiv.org/abs/191..
 
?
14

Survival and health economic outcomes in heart failure diag..:

Daniel B Kramer ; Carla M Plymen ; Carys Barton...
https://informatics.bmj.com/content/30/1/e100718.full.  , 2023
Link: https://doi.org/10.1136/..
 
?
15

Use of term reference infants in assessing the developmenta..:

Green, Charles E. ; Tyson, Jon E. ; Heyne, Roy J....
Journal of Perinatology.  43 (2023)  11 - p. 1398-1405 , 2023
Link: https://doi.org/10.1038/..
 
1-15