E-LIB Suche - Ergebnisse für: Kempa, Brian

1

R2U2 Version 3.0: Re-Imagining a Toolchain for Specificatio..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Johannsen, Chris ; Jones, Phillip ; Kempa, Brian.. - p. 483-497 , 2023

Link: https://doi.org/10.1007/..

2

Development of a High-Performance, Heterogenous, Scalable T..:

, In: 2023 IEEE Aerospace Conference,

Adams, Caleb ; Kempa, Brian ; Vaughan, Walter. - p. 1-8 , 2023

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

3

Impossible Made Possible: Encoding Intractable Specificatio..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Johannsen, Chris ; Kempa, Brian ; Jones, Phillip H... - p. 151-169 , 2023

Link: https://doi.org/10.1007/..

4

MLTL Multi-type (MLTLM): A Logic for Reasoning About Signal..:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,

Hariharan, Gokul ; Kempa, Brian ; Wongpiromsarn, Tichakorn.. - p. 187-204 , 2022

Link: https://doi.org/10.1007/..

5

Embedding Online Runtime Verification for Fault Disambiguat..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Kempa, Brian ; Zhang, Pei ; Jones, Phillip H... - p. 196-214 , 2020

Link: https://doi.org/10.1007/..

6

R2U2 V3 Demonstration Artifact for the 35th International C..:

Johannsen, Chris ; Jones, Phillip ; Kempa, Brian..
doi:10.5281/zenodo.7878673. , 2023

Link: https://zenodo.org/recor..

7

R2U2 V3 Demonstration Artifact for the 35th International C..:

Johannsen, Chris ; Jones, Phillip ; Kempa, Brian..
doi:10.5281/zenodo.7878673. , 2023

Link: https://zenodo.org/recor..

8

The "Central Tendency Bias" in the assessment of facial att..:

Alfertshofer, Michael ; Kempa, Joanna ; Biesman, Brian S....
Journal of Plastic, Reconstructive & Aesthetic Surgery. 92 (2024) - p. 264-275 , 2024

Link: https://doi.org/10.1016/..

9

Distinct Metabolic States Are Observed in Hypoglycemia Indu..:

Kempa, Jacob ; O'Shea-Stone, Galen ; Moss, Corinne E....
Toxins. 14 (2022) 12 - p. 815 , 2022

Link: https://doi.org/10.3390/..

10

IFNs Modify the Proteome of Legionella-Containing Vacuoles ..:

Naujoks, Jan ; Tabeling, Christoph ; Dill, Brian D....
PLOS Pathogens. 12 (2016) 2 - p. e1005408 , 2016

Link: https://doi.org/10.1371/..

11

Interaction between IRF6 and TGFA Genes Contribute to the R..:

Letra, Ariadne ; Fakhouri, Walid ; Fonseca, Renata F....
PLoS ONE. 7 (2012) 9 - p. e45441 , 2012

Link: https://doi.org/10.1371/..

12

Distinct Metabolic States Are Observed in Hypoglycemia Indu..:

Kempa, Jacob ; O'Shea-Stone, Galen ; Moss, Corinne E...
Kempa J, O'Shea-Stone G, Moss CE, Peters T, Marcotte TK, Tripet B, Eilers B, Bothner B, Copié V, Pincus SH. Distinct Metabolic States Are Observed in Hypoglycemia Induced in Mice by Ricin Toxin or by Fasting. Toxins. 2022; 14(12):815. https://doi.org/10.3390/toxins14120815. , 2022

Link: https://scholarworks.mon..

13

IFNs Modify the Proteome of Legionella-Containing Vacuoles ..:

Naujoks, Jan ; Tabeling, Christoph ; Dill, Brian D...
https://refubium.fu-berlin.de/handle/fub188/16678. , 2016

Link: https://refubium.fu-berl..

14

IFNs Modify the Proteome of Legionella -Containing Vacuoles..:

Naujoks, Jan ; Tabeling, Christoph ; Dill, Brian D...
Naujoks , J , Tabeling , C , Dill , B D , Hoffmann , C , Brown , A S , Kunze , M , Kempa , S , Peter , A , Mollenkopf , H J , Dorhoi , A , Kershaw , O , Gruber , A D , Sander , L E , Witzenrath , M , Herold , S , Nerlich , A , Hocke , A C , van Driel , I , Suttorp , N , Bedoui , S , Hilbi , H , Trost , M & Opitz , B 2016 , ' IFNs Modify the Proteome of Legionella -Containing Vacuoles and Restrict Infection Via IRG1-Derived Itaconic Acid ' PLoS Pathogens , vol 12 , no. 2 , e1005408 . DOI:10.1371/journal.ppat.1005408. , 2016

Link: http://discovery.dundee...

15

Distinct Metabolic States Are Observed in Hypoglycemia Indu..:

Jacob Kempa ; Galen O'Shea-Stone ; Corinne E. Moss...
Plant Toxins. , 2022

Link: https://doi.org/10.3390/..