Construction technology/ by 372984 Grundy, J. T.

Tool building requirements for an API to first-order solvers by Grundy, J, Melham, T, Krstić, S, McLaughlin, S

A Reflective Functional Language for Hardware Design and Theorem Proving by Grundy, J, Melham, T, O'Leary, J

A Reflective Functional Language for Hardware Design and Theorem Proving by Grundy, J, Melham, T, O'Leary, J

Tool Building Requirements for an API to First−Order Solvers by Grundy, J, Melham, T, Krstić, S, McLaughlin, S

Formal co−validation of low−level hardware/software interfaces by Horn, A, Tautschnig, M, Val, C, Liang, L, Melham, T, Grundy, J, Kroening, D

Formal Co-Validation of Low-Level Hardware/Software Interfaces by Horn, A, Tautschnig, M, Val, C, Liang, L, Melham, T, Grundy, J, Kroening, D, IEEE

The ATLAS trigger system for LHC Run 3 and trigger performance in 2022 by Aad, G, Aakvaag, E, Abbott, B, Abeling, K, Abicht, N, Abidi, S, Aboulhorma, A, Abramowicz, H, Abreu, H, Abulaiti, Y, Acharya, B, Adam Bourdarios, C, Adamczyk, L, Addepalli, S, Addison, M, Adelman, J, Adiguzel, A, Adye, T, Affolder, A, Afik, Y, Agaras, M, Agarwala, J, Aggarwal, A, Agheorghiesei, C, Barr, A, Bortoletto, D, Bruckler, T, Celli, F, Chen, M, Conroy, E, Cooper-Sarkar, A, Draguet, M, Eberwein, G, Frost, J, Gallas, E, Grundy, J, Gwenlan, C, Harris, Y, Hays, C, Huffman, T, Iizawa, T, Karava, K, Koch, S, Li, Z, Nagai, K, Nedic, L, Nickerson, R, Pacey, H, Rossi, E, Ruggiero, A, Schopf, E, Shipsey, I, Smith, H, Veliscek, I, Viehhauser, G, Wei, Y, Weidberg, A, Yan, S

Performance of the ATLAS forward proton Time-of-Flight detector in Run 2 by Aad, G, Aakvaag, E, Abbott, B, Abeling, K, Abicht, N, Abidi, S, Aboulhorma, A, Abramowicz, H, Abreu, H, Abulaiti, Y, Acharya, B, Adam Bourdarios, C, Adamczyk, L, Addepalli, S, Addison, M, Adelman, J, Adiguzel, A, Adye, T, Affolder, A, Afik, Y, Agaras, M, Agarwala, J, Aggarwal, A, Agheorghiesei, C, Barr, A, Bortoletto, D, Bruckler, T, Celli, F, Chen, M, Conroy, E, Cooper-Sarkar, A, Draguet, M, Eberwein, G, Frost, J, Gallas, E, Grundy, J, Gwenlan, C, Harris, Y, Hays, C, Hodkinson, B, Huffman, T, Iizawa, T, Karava, K, Koch, S, Li, Z, Nagai, K, Nedic, L, Nickerson, R, Pacey, H, Rossi, E, Ruggiero, A, Schopf, E, Shipsey, I, Smith, H, Sultan, D, Viehhauser, G, Wei, Y, Weidberg, A

Beam-induced backgrounds measured in the ATLAS detector during local gas injection into the LHC beam vacuum by Aad, G, Aakvaag, E, Abbott, B, Abdelhameed, S, Abeling, K, Abicht, N, Abidi, S, Aboelela, M, Aboulhorma, A, Abramowicz, H, Abreu, H, Abulaiti, Y, Acharya, B, Ackermann, A, Adam Bourdarios, C, Adamczyk, L, Addepalli, S, Addison, M, Adelman, J, Adiguzel, A, Ady, M, Adye, T, Affolder, A, Afik, Y, Barr, A, Bortoletto, D, Bruckler, T, Celli, F, Chen, M, Conroy, E, Cooper-Sarkar, A, Dingley, T, Draguet, M, Eberwein, G, Frost, J, Gallas, E, Grundy, J, Gwenlan, C, Harris, Y, Hays, C, Hodkinson, B, Huffman, T, Iizawa, T, Karava, K, Koch, S, Li, Z, Nagai, K, Nedic, L, Nickerson, R, Pacey, H, Rossi, E, Ruggiero, A, Schopf, E, Shipsey, I, Smith, H, Sultan, D, Viehhauser, G, Weidberg, A, Yildirim, T

The ATLAS experiment at the CERN Large Hadron Collider: a description of the detector configuration for Run 3 by Aad, G, Abbott, B, Abbott, D, Abdallah, J, Abeling, K, Abidi, S, Aboulhorma, A, Abovyan, S, Abramowicz, H, Abreu, H, Abulaiti, Y, Abusleme Hoffman, A, Acharya, B, Adam Bourdarios, C, Adamczyk, L, Adamek, L, Addepalli, S, Adelman, J, Adersberger, M, Adiguzel, A, Adorni, S, Adye, T, Affolder, A, Afik, Y, Barr, A, Bortoletto, D, Bruckler, T, Celli, F, Conroy, E, Cooper-Sarkar, A, Draguet, M, Frost, J, Gallardo, G, Gallas, E, Grundy, J, Gwenlan, C, Harris, Y, Hays, C, Huffman, T, Karava, K, Li, Z, Merlassino, C, Mironova, M, Nagai, K, Nedic, L, Nickerson, R, Potamianos, K, Schopf, E, Shipsey, I, Smith, H, Stankaityte, M, Veliscek, I, Viehhauser, G, Wei, Y, Weidberg, A, Windischhofer, P, Wölker, R, Wuerzinger, J, Yan, S

Sensor response and radiation damage effects for 3D pixels in the ATLAS IBL Detector by Aad, G, Aakvaag, E, Abbott, B, Abdelhameed, S, Abeling, K, Abicht, N, Abidi, S, Aboelela, M, Aboulhorma, A, Abramowicz, H, Abreu, H, Abulaiti, Y, Acharya, B, Ackermann, A, Adam Bourdarios, C, Adamczyk, L, Addepalli, S, Addison, M, Adelman, J, Adiguzel, A, Adye, T, Affolder, A, Afik, Y, Agaras, M, Barr, A, Bortoletto, D, Bruckler, T, Celli, F, Chen, M, Conroy, E, Cooper-Sarkar, A, Dingley, T, Draguet, M, Eberwein, G, Frost, J, Gallas, E, Grabarczyk, R, Grundy, J, Gwenlan, C, Harris, Y, Haslbeck, F, Hays, C, Hodkinson, B, Huffman, T, Iizawa, T, Karava, K, Koch, S, Li, Z, Moser, B, Nagai, K, Nedic, L, Nickerson, R, Pacey, H, Rossi, E, Ruggiero, A, Schopf, E, Shipsey, I, Smith, H, Sultan, D, Viehhauser, G, Weidberg, A, Yildirim, T