A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation by Finkbeiner, Bernd, Fränzle, Martin, Kohn, Florian, Kröger, Paul

Get full text

Dynamic Conflict Resolution Using Justification Based Reasoning by Damm, Werner, Fränzle, Martin, Hagemann, Willem, Kröger, Paul, Rakow, Astrid

Get full text

Verification of Sigmoidal Artificial Neural Networks using iSAT by Grundt, Dominik, Jurj, Sorin Liviu, Hagemann, Willem, Kröger, Paul, Fränzle, Martin

Get full text

On the Existence of Reactive Strategies Resilient to Delay by Fränzle, Martin, Kröger, Paul, Winter, Sarah, Zimmermann, Martin

Get full text

Verification of Sigmoidal Artificial Neural Networks using iSAT by Grundt, Dominik, Sorin Liviu Jurj, Hagemann, Willem, Kröger, Paul, Fränzle, Martin

Get full text

In memory of Oded Maler: automatic reachability analysis of hybrid-state automata by Fränzle, Martin, Chen, Mingshuai, Kröger, Paul

Get full text

Dynamic Conflict Resolution Using Justification Based Reasoning by Damm, Werner, Fränzle, Martin, Hagemann, Willem, Kröger, Paul, Rakow, Astrid

Get full text

Justification Based Reasoning in Dynamic Conflict Resolution by Damm, Werner, Fränzle, Martin, Hagemann, Willem, Kröger, Paul, Rakow, Astrid

Get full text

siRNA-mediated gene silencing: a global genome view by Semizarov, Dimitri, Kroeger, Paul, Fesik, Stephen

Get full text

The Characteristics and Biological Relevance of Inorganic Amorphous Calcium Carbonate (ACC) Precipitated from Seawater by Evans, David, Webb, Paul B, Penkman, Kirsty, Kröger, Roland, Allison, Nicola

Get full text

Effects of mindfulness exercises as stand-alone intervention on symptoms of anxiety and depression: Systematic review and meta-analysis by Blanck, Paul, Perleth, Sarah, Heidenreich, Thomas, Kröger, Paula, Ditzen, Beate, Bents, Hinrich, Mander, Johannes

Get full text

Expert review on soft‐tissue plasmacytomas in multiple myeloma: definition, disease assessment and treatment considerations by Rosiñol, Laura, Beksac, Meral, Zamagni, Elena, Van de Donk, Niels W. C. J., Anderson, Kenneth C., Badros, Ashraf, Caers, Jo, Cavo, Michele, Dimopoulos, Meletios‐Athanasios, Dispenzieri, Angela, Einsele, Hermann, Engelhardt, Monika, Fernández de Larrea, Carlos, Gahrton, Gösta, Gay, Francesca, Hájek, Roman, Hungria, Vania, Jurczyszyn, Artur, Kröger, Nicolaus, Kyle, Robert A., Leal da Costa, Fernando, Leleu, Xavier, Lentzsch, Suzanne, Mateos, Maria V., Merlini, Giampaolo, Mohty, Mohamad, Moreau, Philippe, Rasche, Leo, Reece, Donna, Sezer, Orhan, Sonneveld, Pieter, Usmani, Saad Z., Vanderkerken, Karin, Vesole, David H., Waage, Anders, Zweegman, Sonja, Richardson, Paul G., Bladé, Joan

Get full text

Haploidentical transplantation and posttransplant cyclophosphamide for treating aplastic anemia patients: a report from the EBMT Severe Aplastic Anemia Working Party by Prata, Pedro H., Eikema, Dirk-Jan, Afansyev, Boris, Bosman, Paul, Smiers, Frans, Diez-Martin, José L., Arrais-Rodrigues, Celso, Koc, Yener, Poiré, Xavier, Sirvent, Anne, Kröger, Nicolaus, Porta, Fulvio, Holter, Wolfgang, Bloor, Adrian, Jubert, Charlotte, Ganser, Arnold, Tanase, Alina, Ménard, Anne-Lise, Pioltelli, Pietro, Pérez-Simón, José A., Ho, Aloysius, Aljurf, Mahmoud, Russell, Nigel, Labussiere-Wallet, Helene, Kerre, Tessa, Rocha, Vanderson, Socié, Gérard, Risitano, Antonio, Dufour, Carlo, Peffault de Latour, Régis

Get full text

Allogeneic hematopoietic cell transplant for hairy cell leukemia: EBMT experience by Chihara, Dai, Gras, Luuk, Zinger, Nienke, Kröger, Nicolaus, Mayer, Jiri, Passweg, Jakob, De Latour, Régis Peffault, Byrne, Jenny, Krüger, William, Bohn, Jan-Paul, Platzbecker, Uwe, Blau, Igor Wolfgang, Bonifazi, Francesca, Helbig, Grzegorz, McDonald, Andrew, Mistrik, Martin, Mohty, Mohamad, Ram, Ron, Sanz, Jaime, Llamas, Carlos Vallejo, Kreitman, Robert J, Hayden, Patrick J, McLornan, Donal, Tournilhac, Olivier, Van Gelder, Michel, Yakoub-Agha, Ibrahim

Get full text

Association of Plasma Phospholipid n-3 and n-6 Polyunsaturated Fatty Acids with Type 2 Diabetes: The EPIC-InterAct Case-Cohort Study by Forouhi, Nita G, Imamura, Fumiaki, Sharp, Stephen J, Koulman, Albert, Schulze, Matthias B, Zheng, Jusheng, Ye, Zheng, Sluijs, Ivonne, Guevara, Marcela, Huerta, José María, Kröger, Janine, Wang, Laura Yun, Summerhill, Keith, Griffin, Julian L, Feskens, Edith J M, Affret, Aurélie, Amiano, Pilar, Boeing, Heiner, Dow, Courtney, Fagherazzi, Guy, Franks, Paul W, Gonzalez, Carlos, Kaaks, Rudolf, Key, Timothy J, Khaw, Kay Tee, Kühn, Tilman, Mortensen, Lotte Maxild, Nilsson, Peter M, Overvad, Kim, Pala, Valeria, Palli, Domenico, Panico, Salvatore, Quirós, J Ramón, Rodriguez-Barranco, Miguel, Rolandsson, Olov, Sacerdote, Carlotta, Scalbert, Augustin, Slimani, Nadia, Spijkerman, Annemieke M W, Tjonneland, Anne, Tormo, Maria-Jose, Tumino, Rosario, van der A, Daphne L, van der Schouw, Yvonne T, Langenberg, Claudia, Riboli, Elio, Wareham, Nicholas J

Get full text

The Effects of a Sanquinarine Mouthrinse after Periodontal Surgery by Kroger, Paul W

Request full text

Azacitidine, lenalidomide and donor lymphocyte infusions for relapse of myelodysplastic syndrome, acute myeloid leukemia and chronic myelomonocytic leukemia after allogeneic transp... by Schroeder, Thomas, Stelljes, Matthias, Christopeit, Maximilian, Esseling, Eva, Scheid, Christoph, Mikesch, Jan-Henrik, Rautenberg, Christina, Jäger, Paul, Cadeddu, Ron-Patrick, Drusenheimer, Nadja, Holtick, Udo, Klein, Stefan, Trenschel, Rudolf, Haas, Rainer, Germing, Ulrich, Kröger, Nicolaus, Kobbe, Guido

Get full text

Silicanin-1 is a conserved diatom membrane protein involved in silica biomineralization by Kotzsch, Alexander, Gröger, Philip, Pawolski, Damian, Bomans, Paul H H, Sommerdijk, Nico A J M, Schlierf, Michael, Kröger, Nils

Get full text

Analyzing the Fretting Fatigue of Bolt Joints by Experiments and Finite Element Analysis by Szlosarek, Robert, Holzmüller, Paul, Kröger, Matthias

Get full text

Author Correction: Testing quantum electrodynamics in extreme fields using helium-like uranium by Loetzsch, R., Beyer, H. F., Duval, L., Spillmann, U., Banaś, D., Dergham, P., Kröger, F. M., Glorius, J., Grisenti, R. E., Guerra, M., Gumberidze, A., Heß, R., Hillenbrand, P.-M., Indelicato, P., Jagodzinski, P., Lamour, E., Lorentz, B., Litvinov, S., Litvinov, Yu. A., Machado, J., Paul, N., Paulus, G. G., Petridis, N., Santos, J. P., Scheidel, M., Sidhu, R. S., Steck, M., Steydli, S., Szary, K., Trotsenko, S., Uschmann, I., Weber, G., Stöhlker, Th, Trassinelli, M.

Get full text