High genetic diversity of Jatropha curcas assessed by ISSR von Díaz, B G, Argollo, D M, Franco, M C, Nucci, S M, Siqueira, W J, de Laat, D M, Colombo, C A

Volltext

Mechanical reliability of TWIP steel spot weldings von Colombo, Tiago C.A., Rego, Ronnie R., Otubo, Jorge, de Faria, Alfredo R.

Volltext

Understanding “Hybrid Immunity”: Comparison and Predictors of Humoral Immune Responses to Severe Acute Respiratory Syndrome Coronavirus 2 Infection (SARS-CoV-2) and Coronavirus Dis... von Epsi, Nusrat J, Richard, Stephanie A, Lindholm, David A, Mende, Katrin, Ganesan, Anuradha, Huprikar, Nikhil, Lalani, Tahaniyat, Fries, Anthony C, Maves, Ryan C, Colombo, Rhonda E, Larson, Derek T, Smith, Alfred, Chi, Sharon W, Maldonado, Carlos J, Ewers, Evan C, Jones, Milissa U, Berjohn, Catherine M, Libraty, Daniel H, Edwards, Margaret Sanchez, English, Caroline, Rozman, Julia S, Mody, Rupal M, Colombo, Christopher J, Samuels, Emily C, Nwachukwu, Princess, Tso, Marana S, Scher, Ann I, Byrne, Celia, Rusiecki, Jennifer, Simons, Mark P, Tribble, David, Broder, Christopher C, Agan, Brian K, Burgess, Timothy H, Laing, Eric D, Pollett, Simon D

Volltext

Performance of Bemisia tabaci (Genn.) Biotype B (Hemiptera: Aleyrodidae) on Weeds von Sottoriva, L D M, Lourenção, A L, Colombo, C A

Volltext

Development and characterization of microsatellite markers for turmeric (Curcuma longa) von Sigrist, M.S, Pinheiro, J.B, Azevedo-Filho, J.A, Colombo, C.A, Bajay, M.M, Lima, P.F, Camilo, F.R, Sandhu, S, Souza, A.P, Zucchi, M.I

Volltext

Clinical, Immunological, and Virological SARS-CoV-2 Phenotypes in Obese and Nonobese Military Health System Beneficiaries von Epsi, Nusrat J, Richard, Stephanie A, Laing, Eric D, Fries, Anthony C, Millar, Eugene, Simons, Mark P, English, Caroline, Colombo, Christopher J, Colombo, Rhonda E, Lindholm, David A, Ganesan, Anuradha, Maves, Ryan C, Huprikar, Nikhil, Larson, Derek, Mende, Katrin, Chi, Sharon W, Madar, Cristian, Lalani, Tahaniyat, Broder, Christopher C, Tribble, David, Agan, Brian K, Burgess, Timothy H, Pollett, Simon D

Volltext

Development and characterization of microsatellites markers from the macaw von NUCCI, S.M, AZEVEDO-FILHO, J.A, COLOMBO, C.A, PRIOLLI, R.H.G, COELHO, R.M, MATA, T.L, ZUCCHI, M.I

Volltext

A Taxonomy for Classifying Runtime Verification Tools von Falcone, Yliès, Krstić, Srđan, Reger, Giles, Traytel, Dmitriy

Volltext

Striver: Stream Runtime Verification for Real-Time Event-Streams von Gorostiaga, Felipe, Sánchez, César

Volltext

Performance of the inFLUenza Patient-Reported Outcome Plus (FLU-PRO Plus) Instrument in Patients With Coronavirus Disease 2019 von Richard, Stephanie A, Epsi, Nusrat J, Pollett, Simon, Lindholm, David A, Malloy, Allison M W, Maves, Ryan, Utz, Gregory C, Lalani, Tahaniyat, Smith, Alfred G, Mody, Rupal M, Ganesan, Anuradha, Colombo, Rhonda E, Colombo, Christopher J, Chi, Sharon W, Huprikar, Nikhil, Larson, Derek T, Bazan, Samantha, Madar, Cristian, Lanteri, Charlotte, Rozman, Julia S, English, Caroline, Mende, Katrin, Tribble, David R, Agan, Brian K, Burgess, Timothy H, Powers, John H

Volltext

COST Action IC1402 Runtime Verification Beyond Monitoring von Colombo, Christian, Falcone, Yliès, Leucker, Martin, Reger, Giles, Sanchez, Cesar, Schneider, Gerardo, Stolz, Volker

Volltext

COVID-19 Outcomes Among US Military Health System Beneficiaries Include Complications Across Multiple Organ Systems and Substantial Functional Impairment von Richard, Stephanie A, Pollett, Simon D, Lanteri, Charlotte A, Millar, Eugene V, Fries, Anthony C, Maves, Ryan C, Utz, Gregory C, Lalani, Tahaniyat, Smith, Alfred, Mody, Rupal M, Ganesan, Anuradha, Colombo, Rhonda E, Colombo, Christopher J, Lindholm, David A, Madar, Cristian, Chi, Sharon, Huprikar, Nikhil, Larson, Derek T, Bazan, Samantha E, English, Caroline, Parmelee, Edward, Mende, Katrin, Laing, Eric D, Broder, Christopher C, Blair, Paul W, Chenoweth, Josh G, Simons, Mark P, Tribble, David R, Agan, Brian K, Burgess, Timothy H

Volltext

Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic von Dokhanchi, Adel, Amor, Heni Ben, Deshmukh, Jyotirmoy V., Fainekos, Georgios

Volltext

Online and Offline Stream Runtime Verification of Synchronous Systems von Sánchez, César

Volltext

Second School on Runtime Verification, as Part of the ArVi COST Action 1402: Overview and Reflections von Falcone, Yliès

Volltext

An Environment for the ParTraP Trace Property Language (Tool Demonstration) von Ben Cheikh, Ansem, Blein, Yoann, Chehida, Salim, Vega, German, Ledru, Yves, du Bousquet, Lydie

Volltext

Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond von Azzopardi, Shaun, Ellul, Joshua, Pace, Gordon J.

Volltext

Runtime Verification: From Propositional to First-Order Temporal Logic von Havelund, Klaus, Peled, Doron

Volltext

Verifying and Validating Autonomous Systems: Towards an Integrated Approach von Ferrando, Angelo, Dennis, Louise A., Ancona, Davide, Fisher, Michael, Mascardi, Viviana

Volltext

Anatomical Site, Viral Ribonucleic Acid Abundance, and Time of Sampling Correlate With Molecular Detection of Severe Acute Respiratory Syndrome Coronavirus 2 During Infection von Lantry, F Julian, Epsi, Nusrat J, Pollett, Simon D, Simons, Mark P, Lindholm, David A, Colombo, Rhonda E, Fries, Anthony C, Maves, Ryan C, Ganesan, Anuradha, Utz, Gregory C, Lalani, Tahaniyat, Smith, Alfred G, Mody, Rupal M, Colombo, Christopher J, Chi, Sharon W, Madar, Cristian, Huprikar, Nikhil, Larson, Derek T, Bazan, Samantha, Broder, Christopher C, Laing, Eric D, English, Caroline, Lanteri, Charlotte, Mende, Katrin, Tribble, David R, Agan, Brian K, Burgess, Timothy H, Richard, Stephanie A

Volltext