Verifying and Optimizing the HMCS Lock for Arm Servers von Oberhauser, Jonas, Oberhauser, Lilith, Paolillo, Antonio, Behrens, Diogo, Fu, Ming, Vafeiadis, Viktor

Volltext

METHOD FOR INSPECTING CODE UNDER WEAK MEMORY ORDER ARCHITECTURE, AND CORRESPONDING DEVICE von FU, Ming, OBERHAUSER, Jonas, BEHRENS, Diogo, WEN, Yuzhong

Volltext bestellen

Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models von Paolillo, Antonio, Ponce-de-León, Hernán, Haas, Thomas, Behrens, Diogo, Chehab, Rafael, Fu, Ming, Meyer, Roland

Volltext bestellen

CODE INSPECTION METHOD UNDER WEAK MEMORY ORDERING ARCHITECTURE AND CORRESPONDING DEVICE von FU, Ming, OBERHAUSER, Jonas, BEHRENS, Diogo, WEN, Yuzhong

Volltext bestellen

METHOD FOR INSPECTING CODE UNDER WEAK MEMORY ORDER ARCHITECTURE, AND CORRESPONDING DEVICE von FU, Ming, OBERHAUSER, Jonas, BEHRENS, Diogo, WEN, Yuzhong

Volltext bestellen

VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report) von Oberhauser, Jonas, Chehab, Rafael Lourenco de Lima, Behrens, Diogo, Fu, Ming, Paolillo, Antonio, Oberhauser, Lilith, Bhat, Koustubha, Wen, Yuzhong, Chen, Haibo, Kim, Jaeho, Vafeiadis, Viktor

Volltext bestellen

Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models von Paolillo, Antonio, Ponce-de-León, Hernán, Haas, Thomas, Behrens, Diogo, Chehab, Rafael, Fu, Ming, Meyer, Roland

Volltext

Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments von Behrens, Diogo

Volltext bestellen

Error isolation in distributed systems von Behrens, Diogo

Volltext bestellen

Automatically Tolerating Arbitrary Faults in Non-malicious Settings von Behrens, D., Weigert, S., Fetzer, C.

Volltext bestellen

METHOD FOR INSPECTING CODE UNDER WEAK MEMORY ORDER ARCHITECTURE, AND CORRESPONDING DEVICE von FU, Ming, OBERHAUSER, Jonas, BEHRENS, Diogo, WEN, Yuzhong

Volltext bestellen

VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report) von Oberhauser, Jonas, Rafael Lourenco de Lima Chehab, Behrens, Diogo, Fu, Ming, Paolillo, Antonio, Oberhauser, Lilith, Bhat, Koustubha, Wen, Yuzhong, Chen, Haibo, Kim, Jaeho, Vafeiadis, Viktor

Volltext

Effectiveness and safety of opicapone in Parkinson's disease patients with motor fluctuations: the OPTIPARK open-label study von Reichmann, Heinz, Lees, Andrew, Rocha, José-Francisco, Magalhães, Diogo, Soares-da-Silva, Patrício

Volltext

TYK2 protein-coding variants protect against rheumatoid arthritis and autoimmunity, with no evidence of major pleiotropic effects on non-autoimmune complex traits von Diogo, Dorothée, Bastarache, Lisa, Liao, Katherine P, Graham, Robert R, Fulton, Robert S, Greenberg, Jeffrey D, Eyre, Steve, Bowes, John, Cui, Jing, Lee, Annette, Pappas, Dimitrios A, Kremer, Joel M, Barton, Anne, Coenen, Marieke J H, Franke, Barbara, Kiemeney, Lambertus A, Mariette, Xavier, Richard-Miceli, Corrine, Canhão, Helena, Fonseca, João E, de Vries, Niek, Tak, Paul P, Crusius, J Bart A, Nurmohamed, Michael T, Kurreeman, Fina, Mikuls, Ted R, Okada, Yukinori, Stahl, Eli A, Larson, David E, Deluca, Tracie L, O'Laughlin, Michelle, Fronick, Catrina C, Fulton, Lucinda L, Kosoy, Roman, Ransom, Michael, Bhangale, Tushar R, Ortmann, Ward, Cagan, Andrew, Gainer, Vivian, Karlson, Elizabeth W, Kohane, Isaac, Murphy, Shawn N, Martin, Javier, Zhernakova, Alexandra, Klareskog, Lars, Padyukov, Leonid, Worthington, Jane, Mardis, Elaine R, Seldin, Michael F, Gregersen, Peter K, Behrens, Timothy, Raychaudhuri, Soumya, Denny, Joshua C, Plenge, Robert M

Volltext

ACTN2 Mutant Causes Proteopathy in Human iPSC-Derived Cardiomyocytes von Zech, Antonia T. L., Prondzynski, Maksymilian, Singh, Sonia R., Pietsch, Niels, Orthey, Ellen, Alizoti, Erda, Busch, Josefine, Madsen, Alexandra, Behrens, Charlotta S., Meyer-Jens, Moritz, Mearini, Giulia, Lemoine, Marc D., Krämer, Elisabeth, Mosqueira, Diogo, Virdi, Sanamjeet, Indenbirken, Daniela, Depke, Maren, Salazar, Manuela Gesell, Völker, Uwe, Braren, Ingke, Pu, William T., Eschenhagen, Thomas, Hammer, Elke, Schlossarek, Saskia, Carrier, Lucie

Volltext

Thrombectomy With the pRESET vs Solitaire Stent Retrievers as First-Line Large Vessel Occlusion Stroke Treatment: A Randomized Clinical Trial von Nogueira, Raul G, Lobsien, Donald, Klisch, Joachim, Pielenz, Daniel, Lobsien, Elmar, Sauvageau, Eric, Aghaebrahim, Nima, Möhlenbruch, Markus, Vollherbst, Dominik, Ulfert, Christian, Bozorgchami, Hormozd, Clark, Wayne, Priest, Ryan, Samaniego, Edgar A, Ortega-Gutierrez, Santiago, Ghannam, Malik, Lopes, Demetrius, Billingsley, Joshua, Keigher, Kiffon, Haussen, Diogo C, Al-Bayati, Alhamza R, Siddiqui, Adnan, Levy, Elad, Chen, Michael, Munich, Stephan, Schramm, Peter, Boppel, Tobias, Narayanan, Sandra, Gross, Bradley A, Roth, Christian, Boeckh-Behrens, Tobias, Hassan, Ameer, Fifi, Johanna, Budzik, Ron F, Tarpley, Jason, Starke, Robert M, Raz, Eytan, Brogan, Gary, Liebeskind, David S, Hanel, Ricardo A

Volltext

Abstract 24: Primary Results Of The Preset For Occlusive Stroke Treatment (prost) Randomized Clinical Trial von Nogueira, Raul G, Hanel, Ricardo, Klisch, Joachim, Moehlenbruch, Markus, Bozorgchami, Hormozd, Samaniego, Edgar A, Liebeskind, David S, Lobsien, Donald, Pielenz, Daniel, Sauvageau, Eric, Aghaebrahim, Amin N, Clark, Wayne M, Priest, Ryan, Ortega-Gutierrez, Santiago, Lopes, Demetrius, Billingsley, Joshua, Haussen, Diogo C, Al-Bayati, Alhamza R, Siddiqui, Adnan H, Chen, Michael, Schramm, Peter, Narayanan, Sandra, Roth, Christian, Boeckh-Behrens, Tobias, Hassan, Ameer E, Fifi, Johanna T, Budzik, Ronald, Tarpley, Jason W, Starke, Robert, Raz, Eytan

Volltext

Effectiveness and safety of opicapone in Parkinson's disease patients with motor fluctuations: the OPTIPARK open-label study von Reichmann, Heinz, Lees, Andrew, Rocha, José-Francisco, Magalhães, Diogo, Soares-da-Silva, Patrício

Volltext

A Semantic Web management model for integrative biomedical informatics von Deus, Helena F, Stanislaus, Romesh, Veiga, Diogo F, Behrens, Carmen, Wistuba, Ignacio I, Minna, John D, Garner, Harold R, Swisher, Stephen G, Roth, Jack A, Correa, Arlene M, Broom, Bradley, Coombes, Kevin, Chang, Allen, Vogel, Lynn H, Almeida, Jonas S

Volltext

IACTN2/I Mutant Causes Proteopathy in Human iPSC-Derived Cardiomyocytes von Zech, Antonia T. L, Prondzynski, Maksymilian, Singh, Sonia R, Pietsch, Niels, Orthey, Ellen, Alizoti, Erda, Busch, Josefine, Madsen, Alexandra, Behrens, Charlotta S, Meyer-Jens, Moritz, Mearini, Giulia, Lemoine, Marc D, Krämer, Elisabeth, Mosqueira, Diogo, Virdi, Sanamjeet, Indenbirken, Daniela, Depke, Maren, Salazar, Manuela Gesell, Völker, Uwe, Braren, Ingke, Pu, William T, Eschenhagen, Thomas, Hammer, Elke, Schlossarek, Saskia, Carrier, Lucie

Volltext