المؤلفون: Hance, Travis, Howell, Jon, Padon, Oded, Parno, Bryan

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2309.04851

المؤلفون: Lattuada, Andrea, Hance, Travis, Cho, Chanhee, Brun, Matthias, Subasinghe, Isitha, Zhou, Yi, Howell, Jon, Parno, Bryan, Hawblitzel, Chris

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2303.05491

المؤلفون: Lattuada, Andrea, Hance, Travis, Bosamiya, Jay, Brun, Matthias, id_orcid:0 009-0004-5349-4347, Cho, Chanhee, LeBlanc, Hayley, Srinivasan, Pranav, Achermann, Reto, id_orcid:0 000-0003-3263-7236, Chajed, Tej, Hawblitzel, Chris, Howell, Jon, Lorch, Jacob R., Padon, Oded, Parno, Bryan

المصدر: SOSP '24: Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles

وصف الملف: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/isbn/979-8-4007-1251-7; http://hdl.handle.net/20.500.11850/706054

الاتاحة: https://hdl.handle.net/20.500.11850/706054
https://doi.org/10.3929/ethz-b-000706054

المؤلفون: Brun, Matthias, id_orcid:0 009-0004-5349-4347, Achermann, Reto, id_orcid:0 000-0003-3263-7236, Chajed, Tej, Howell, Jon, Zellweger, Gerd, Lattuada, Andrea

المصدر: HOTOS '23: Proceedings of the 19th Workshop on Hot Topics in Operating Systems

وصف الملف: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/isbn/979-8-4007-0195-5; info:eu-repo/semantics/altIdentifier/wos/001119203300020; http://hdl.handle.net/20.500.11850/624385; urn:isbn:979-8-4007-0195-5

الاتاحة: https://hdl.handle.net/20.500.11850/624385
https://doi.org/10.3929/ethz-b-000624385

المؤلفون: Lattuada, Andrea, Hance, Travis, Cho, Chanhee, Brun, Matthias, id_orcid:0 009-0004-5349-4347, Subasinghe, Isitha, Zhou, Yi, Howell, Jon, Parno, Bryan, Hawblitzel, Chris

المصدر: Proceedings of the ACM on Programming Languages, 7 (OOPSLA1)

مصطلحات موضوعية: Rust, linear types, systems verification

وصف الملف: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/wos/000968084600012; http://hdl.handle.net/20.500.11850/610518

الاتاحة: https://hdl.handle.net/20.500.11850/610518
https://doi.org/10.3929/ethz-b-000610518

المؤلفون: Li, Jialin, Lattuada, Andrea, Zhou, Yi, Cameron, Jonathan, Howell, Jon, Parno, Bryan, Hawblitzel, Chris

المصدر: Proceedings of the ACM on Programming Languages, 6 (OOPSLA1)

مصطلحات موضوعية: linear types, systems verification

وصف الملف: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/wos/000790329300005; http://hdl.handle.net/20.500.11850/547209

الاتاحة: https://hdl.handle.net/20.500.11850/547209
https://doi.org/10.3929/ethz-b-000547209

المؤلفون: Howell, Jon

المصدر: Strategies for Sustainable Air Services Development ; page 276-289 ; ISBN 9780429260681

الاتاحة: http://dx.doi.org/10.4324/9780429260681-14

المؤلفون: Howell, Jon P., Wanasika, Isaac, Mendez, Maria J.

المصدر: Snapshots of Great Leadership ; page 77-83 ; ISBN 9781003333937

الاتاحة: http://dx.doi.org/10.4324/9781003333937-9

المؤلفون: Howell, Jon P., Wanasika, Isaac, Mendez, Maria J.

المصدر: Snapshots of Great Leadership ; page 289-295 ; ISBN 9781003333937

الاتاحة: http://dx.doi.org/10.4324/9781003333937-43

المؤلفون: Howell, Jon P., Wanasika, Isaac, Mendez, Maria J.

المصدر: Snapshots of Great Leadership ; page 70-76 ; ISBN 9781003333937

الاتاحة: http://dx.doi.org/10.4324/9781003333937-8

المؤلفون: Howell, Jon P., Wanasika, Isaac, Mendez, Maria J.

المصدر: Snapshots of Great Leadership ; page 52-56 ; ISBN 9781003333937

الاتاحة: http://dx.doi.org/10.4324/9781003333937-5

المؤلفون: Howell, Jon P., Wanasika, Isaac, Mendez, Maria J.

المصدر: Snapshots of Great Leadership ; page 296-297 ; ISBN 9781003333937

الاتاحة: http://dx.doi.org/10.4324/9781003333937-44

المؤلفون: Howell, Jon P., Wanasika, Isaac, Mendez, Maria J.

المصدر: Snapshots of Great Leadership ; page 57-62 ; ISBN 9781003333937

الاتاحة: http://dx.doi.org/10.4324/9781003333937-6

المؤلفون: Howell, Jon P., Wanasika, Isaac, Mendez, Maria J.

المصدر: Snapshots of Great Leadership ; page 63-69 ; ISBN 9781003333937

الاتاحة: http://dx.doi.org/10.4324/9781003333937-7

المؤلفون: Howell, Jon P., Wanasika, Isaac, Mendez, Maria J.

المصدر: Snapshots of Great Leadership ; page 253-259 ; ISBN 9781003333937

الاتاحة: http://dx.doi.org/10.4324/9781003333937-37

المؤلفون: Howell, Jon P., Wanasika, Isaac, Mendez, Maria J.

المصدر: Snapshots of Great Leadership ; page 276-282 ; ISBN 9781003333937

الاتاحة: http://dx.doi.org/10.4324/9781003333937-41

المؤلفون: Howell, Jon P., Wanasika, Isaac, Mendez, Maria J.

المصدر: Snapshots of Great Leadership ; page 283-288 ; ISBN 9781003333937

الاتاحة: http://dx.doi.org/10.4324/9781003333937-42

المؤلفون: Howell, Jon P., Wanasika, Isaac, Mendez, Maria J.

المصدر: Snapshots of Great Leadership ; page 235-245 ; ISBN 9781003333937

الاتاحة: http://dx.doi.org/10.4324/9781003333937-35

المؤلفون: Howell, Jon P., Wanasika, Isaac, Mendez, Maria J.

المصدر: Snapshots of Great Leadership ; page 195-200 ; ISBN 9781003333937

الاتاحة: http://dx.doi.org/10.4324/9781003333937-28

المؤلفون: Howell, Jon P., Wanasika, Isaac, Mendez, Maria J.

المصدر: Snapshots of Great Leadership ; page 169-174 ; ISBN 9781003333937

الاتاحة: http://dx.doi.org/10.4324/9781003333937-24