Coenen, Jana
80  results:
Search for persons X
?
 
?
 
?
4

Factors facilitating the implementation of a clinical decis..:

Piotrowski, Alexandra ; Coenen, Jana ; Rupietta, Christian...
Piotrowski , A , Coenen , J , Rupietta , C , Basten , J , Söling , S , Zimmer , V , Karbach , U , Kellermann-Mühlhoff , P , Köberlein-Neu , J & The AdAM study group 2023 , ' Factors facilitating the implementation of a clinical decision support system in primary care practices: a fuzzy set qualitative comparative analysis ' , BMC Health Services Research , vol. 23 , 1161 . https://doi.org/10.1186/s12913-023-10156-9.  , 2023
 
?
8

Smart Contract Synthesis Modulo Hyperproperties:

, In: 2023 IEEE 36th Computer Security Foundations Symposium (CSF),
 
?
10

Runtime Enforcement of Hyperproperties:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
 
?
11

The hierarchy of hyperlogics:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,
 
1-15