E-LIB Suche - Ergebnisse für: Hirsch, Andrew K

1

Alice or Bob?: Process polymorphism in choreographies:

GRAVERSEN, EVA ; HIRSCH, ANDREW K. ; MONTESI, FABRIZIO
Journal of Functional Programming. 34 (2024) - p. , 2024

2

Compositional Security Definitions for Higher-Order Where D..:

Menz, Jan ; Hirsch, Andrew K. ; Li, Peixuan.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 406-433 , 2023

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

3

Pirouette: higher-order typed functional choreographies:

Hirsch, Andrew K. ; Garg, Deepak
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-27 , 2022

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

4

Pirouette: higher-order typed functional choreographies:

Hirsch, Andrew K. ; Garg, Deepak
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-27 , 2022

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

5

Giving semantics to program-counter labels via secure effec..:

Hirsch, Andrew K. ; Cecchetti, Ethan
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-29 , 2021

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

6

Giving semantics to program-counter labels via secure effec..:

Hirsch, Andrew K. ; Cecchetti, Ethan
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-29 , 2021

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

7

First-Order Logic for Flow-Limited Authorization:

, In: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF),

Hirsch, Andrew K. ; Amorim, Pedro H. Azevedo de ; Cecchetti, Ethan.. - p. 123-138 , 2020

Link: https://doi.org/10.1109/..

8

Strict and lazy semantics for effects: layering monads and ..:

Hirsch, Andrew K. ; Tate, Ross
Proceedings of the ACM on Programming Languages. 2 (2018) ICFP - p. 1-30 , 2018

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

9

Strict and lazy semantics for effects: layering monads and ..:

Hirsch, Andrew K. ; Tate, Ross
Proceedings of the ACM on Programming Languages. 2 (2018) ICFP - p. 1-30 , 2018

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

10

Belief semantics of authorization logic:

, In: Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security,

Hirsch, Andrew K. ; Clarkson, Michael R. - p. 561-572 , 2013

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

11

Alice or Bob?: Process Polymorphism in Choreographies:

Graversen, Eva ; Hirsch, Andrew K ; Montesi, Fabrizio
http://arxiv.org/abs/2303.04678. , 2023

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

12

Factors associated with anxiety disorder comorbidity:

Davies, Molly ; Glen, Kiran ; Mundy, Jessica...
Davies , M , Glen , K , Mundy , J , Adey , B , Armour , C , Assary , E , Coleman , J , Goldsmith , K , Hirsch , C , Hotopf , M , Hübel , C , Jones , I , Kalsi , G , Krebs , G , McIntosh , A M , Morneau-Vaillancourt , G , Peel , A , Purves , K , Lee , S , Skelton , M , Smith , D J , Veale , D , Walters , J , Young , K , Källberg Zvrskovec , J , Breen , G & Grant , T E 2023 , ' Factors associated with anxiety disorder comorbidity ' , Journal of Affective Disorders , vol. 323 , pp. 280-291 . https://doi.org/10.1016/j.jad.2022.11.051. , 2023

Link: https://kclpure.kcl.ac.u..

13

Sociodemographic, mental health, and physical health factor..:

Bright, Steven J ; Hübel, Christopher ; Young, Katherine S...
Bright , S J , Hübel , C , Young , K S , Bristow , S , Peel , A J , Rayner , C , Mundy , J , Palmos , A B , Purves , K L , Kalsi , G , Armour , C , Jones , I R , Hotopf , M , McIntosh , A M , Smith , D J , Walters , J T R , Rogers , H C , Thompson , K N , Adey , B N , Monssen , D , Kakar , S , Malouf , C M , Hirsch , C , Glen , K , Kelly , E J , Veale , D , Eley , T C , Breen , G & Davies , M R 2023 , ' Sociodemographic, mental health, and physical health factors associated with participation within re-contactable mental health cohorts: an investigation of the GLAD Study ' , BMC Psychiatry , vol. 23 , 542 . https://doi.org/10.1186/s12888-023-04890-x. , 2023

Link: https://pure.qub.ac.uk/e..

14

Factors associated with anxiety disorder comorbidity:

Davies, Molly R ; Glen, Kiran ; Mundy, Jessica...
Davies , M R , Glen , K , Mundy , J , Adey , B , Armour , C , Assary , E , Coleman , J , Goldsmith , K , Hirsch , C , Hotopf , M , Hübel , C , Jones , I , Kalsi , G , Krebs , G , McIntosh , A M , Morneau-Vaillancourt , G , Peel , A , Purves , K , Lee , S , Skelton , M , Smith , D J , Veale , D , Walters , J , Young , K , Källberg Zvrskovec , J , Breen , G & Grant , T E 2023 , ' Factors associated with anxiety disorder comorbidity ' , Journal of Affective Disorders , vol. 323 , pp. 280-291 . https://doi.org/10.1016/j.jad.2022.11.051. , 2023

Link: https://kclpure.kcl.ac.u..

15

Factors associated with anxiety disorder comorbidity:

Davies, Molly R ; Glen, Kiran ; Mundy, Jessica...
Davies , M R , Glen , K , Mundy , J , Ter Kuile , A R , Adey , B N , Armour , C , Assary , E , Coleman , J R I , Goldsmith , K A , Hirsch , C R , Hotopf , M , Hübel , C , Jones , I R , Kalsi , G , Krebs , G , McIntosh , A M , Morneau-Vaillancourt , G , Peel , A J , Purves , K L , Lee , S H , Skelton , M , Smith , D J , Veale , D , Walters , J T R , Young , K S , Zvrskovec , J , Breen , G & Eley , T C 2023 , ' Factors associated with anxiety disorder comorbidity ' , Journal of Affective Disorders , vol. 323 , pp. 280-291 . https://doi.org/10.1016/j.jad.2022.11.051. , 2023

Link: https://pure.au.dk/porta..