Alice or Bob?: Process polymorphism in choreographies von GRAVERSEN, EVA, HIRSCH, ANDREW K., MONTESI, FABRIZIO

Volltext

Pirouette: higher-order typed functional choreographies von Hirsch, Andrew K., Garg, Deepak

Volltext

Giving semantics to program-counter labels via secure effects von Hirsch, Andrew K., Cecchetti, Ethan

Volltext

Compositional Security Definitions for Higher-Order Where Declassification von Menz, Jan, Hirsch, Andrew K., Li, Peixuan, Garg, Deepak

Volltext

Strict and lazy semantics for effects: layering monads and comonads von Hirsch, Andrew K., Tate, Ross

Volltext

Corps: A Core Calculus of Hierarchical Choreographic Programming von Hirsch, Andrew K

Volltext bestellen

Corps: A Core Calculus of Hierarchical Choreographic Programming von Hirsch, Andrew K

Volltext

Pirouette: Higher-Order Typed Functional Choreographies von Hirsch, Andrew K, Garg, Deepak

Volltext bestellen

Alice or Bob?: Process Polymorphism in Choreographies von Graversen, Eva, Hirsch, Andrew K, Montesi, Fabrizio

Volltext bestellen

Giving Semantics to Program-Counter Labels via Secure Effects von Hirsch, Andrew K, Cecchetti, Ethan

Volltext

Pirouette: Higher-Order Typed Functional Choreographies von Hirsch, Andrew K, Garg, Deepak

Volltext

Alice or Bob?: Process Polymorphism in Choreographies von Graversen, Eva, Hirsch, Andrew K, Montesi, Fabrizio

Volltext

First-Order Logic for Flow-Limited Authorization von Hirsch, Andrew K, Pedro H Azevedo de Amorim, Cecchetti, Ethan, Tate, Ross, Owen, Arden

Volltext

Belief Semantics of Authorization Logic von Hirsch, Andrew K, Clarkson, Michael R

Volltext bestellen

Nexus Authorization Logic (NAL): Logical Results von Hirsch, Andrew K, Clarkson, Michael R

Volltext bestellen

Belief Semantics of Authorization Logic von Hirsch, Andrew K, Clarkson, Michael R

Volltext

Nexus Authorization Logic (NAL): Logical Results von Hirsch, Andrew K, Clarkson, Michael R

Volltext

Metabolic and behavioral features of acute hyperpurinergia and the maternal immune activation mouse model of autism spectrum disorder von Zolkipli-Cunningham, Zarazuela, Naviaux, Jane C, Nakayama, Tomohiro, Hirsch, Charlotte M, Monk, Jonathan M, Li, Kefeng, Wang, Lin, Le, Thuy P, Meinardi, Simone, Blake, Donald R, Naviaux, Robert K

Volltext

Risk of chronic kidney disease in patients with obstructive sleep apnea von Beaudin, Andrew E, Raneri, Jill K, Ahmed, Sofia B, Hirsch Allen, A J Marcus, Nocon, Andrhea, Gomes, Teresa, Gakwaya, Simon, Series, Fréderic, Kimoff, John, Skomro, Robert P, Ayas, Najib T, Hanly, Patrick J

Volltext

Programmed Death-Ligand 1 Immunohistochemistry in Lung Cancer: In what state is this art? von Kerr, Keith M., Tsao, Ming-Sound, Nicholson, Andrew G., Yatabe, Yasushi, Wistuba, Ignacio I., Hirsch, Fred R.

Volltext