Zum Inhalt springen

  1. Abate, Alessandro [VerfasserIn]; Blom, Henk [VerfasserIn]; Cauchi, Nathalie [VerfasserIn]; Degiorgio, Kurt [VerfasserIn]; Fränzle, Martin [VerfasserIn]; Hahn, Ernst Moritz [VerfasserIn]; Haesaert, Sofie [VerfasserIn]; Ma, Hao [VerfasserIn]; Oishi, Meeko M. K. [VerfasserIn]; Pilch, Carina [VerfasserIn]; Remke, Anne [VerfasserIn]; Salamati, Mahmoud [VerfasserIn]; Sougjani, Sadegh [VerfasserIn]; Huijgevoort, Birgit van [VerfasserIn]; Vinod, Abraham P. [VerfasserIn]

    ARCH-COMP19 Category Report : Stochastic Modelling

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2019

    Erschienen in: International Workshop on Applied Verification of Continuous and Hybrid Systems (6. : 2019 : Montréal): ARCH19 ; (2019), Seite 62-102

  3. Cauchi, Nathalie; Abate, Alessandro

    Tools and Algorithms for the Construction and Analysis of Systems: $$\mathsf {StocHy}$$ : Automated Verification and Synthesis of Stochastic Processes

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2019

    Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems

  5. Abate, Alessandro; Budde, Carlos E.; Cauchi, Nathalie; van Harmelen, Arnaud; Hoque, Khaza Anuarul; Stoelinga, Mariëlle

    Computer Performance Engineering: Modelling Smart Buildings Using Fault Maintenance Trees

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2018

    Erschienen in: Computer Performance Engineering

  6. Khiter, Fethi; Kherrouche, Zoulika; Dubois, Violaine; Slupek, Stéphanie; Petit, Emmanuelle; Debrie, Anne-Sophie; Cauchi, Stéphane; Barois, Nicolas; Rouanet, Carine; Mielcarek, Nathalie

    Combined regulation of pro-inflammatory cytokines production by STAT3 and STAT5 in a model of B. pertussis infection of alveolar macrophages

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Frontiers Media SA, 2023

    Erschienen in: Frontiers in Immunology

  7. Thierry, Xavier; Geay, Bertrand; Pailhé, Ariane; Berthomier, Nathalie; Camus, Jérôme; Cauchi-Duval, Nicolas; Lanoë, Jean-Louis; Octobre, Sylvie; Pagis, Julie; Panico, Lidia; Siméon, Thierry; Solaz, Anne; SAPRIS

    Les enfants à l’épreuve du premier confinement

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    CAIRN, 2021

    Erschienen in: Population & Sociétés

  8. Rose, Angela M. C.; Pozo, Francisco; Martínez‐Baz, Iván; Mazagatos, Clara; Bossuyt, Nathalie; Cauchi, John Paul; Petrović, Goranka; Loghin, Isabela I.; Vaikutyte, Roberta; Buda, Silke; Machado, Ausenda; Duffy, Róisín; Oroszi, Beatrix; Howard, Jennifer; Echeverria, Aitziber; Andreu, Cristina; Barbezange, Cyril; Džiugytė, Aušra; Nonković, Diana; Popescu, Corneliu‐Petru; Majauskaite, Fausta; Tolksdorf, Kristin; Gomez, Verónica; Domegan, Lisa; [...]

    Vaccine effectiveness against influenza hospitalisation in adults during the 2022/2023 mixed season of influenza A(H1N1)pdm09, A(H3N2) and B circulation, Europe: VEBIS SARI VE hospital network

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Wiley, 2024

    Erschienen in: Influenza and Other Respiratory Viruses

  9. Rose, Angela MC; Nicolay, Nathalie; Sandonis Martín, Virginia; Mazagatos, Clara; Petrović, Goranka; Baruch, Joaquin; Denayer, Sarah; Seyler, Lucie; Domegan, Lisa; Launay, Odile; Machado, Ausenda; Burgui, Cristina; Vaikutyte, Roberta; Niessen, F Annabel; Loghin, Isabela I; Husa, Petr; Aouali, Nassera; Panagiotakopoulos, George; Tolksdorf, Kristin; Horváth, Judit Krisztina; Howard, Jennifer; Pozo, Francisco; Gallardo, Virtudes; Nonković, Diana; [...]

    Vaccine effectiveness against COVID-19 hospitalisation in adults (≥ 20 years) during Omicron-dominant circulation: I-MOVE-COVID-19 and VEBIS SARI VE networks, Europe, 2021 to 2022

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    European Centre for Disease Control and Prevention (ECDC), 2023

    Erschienen in: Eurosurveillance

  10. Carbone, David; Sharpnack, Michael; He, Kai; Butterfield, Lisa H.; Eggermont, Alexander M. M.; Gonzalez-Cao, Maria; Karachaliou, Niki; Crespo, Guillermo; Aldeguer, Erika; Drozdowskyj, Ana; Giménez-Capitán, Ana; Teixidó, Cristina; Molina-Vila, Miguel Angel; Ramírez, Santiago Viteri; Algarra, Salvador Martin; Pérez-Ruiz, Elisabeth; Márquez-Rodas, Iván; Rodriguez-Abreu, Delvys; Blanco, Remei; Puértolas, Teresa; Royo, Maria Angeles; Rosell, Rafael; Ascierto, Maria Libera; Hamm, Svetlana; [...]

    Immunotherapy Bridge 2017 and Melanoma Bridge 2017: meeting abstracts

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2018

    Erschienen in: Journal of Translational Medicine

  11. Wood, Andrew R; Esko, Tonu; Yang, Jian; Vedantam, Sailaja; Pers, Tune H; Gustafsson, Stefan; Chu, Audrey Y; Estrada, Karol; Luan, Jian'an; Kutalik, Zoltán; Amin, Najaf; Buchkovich, Martin L; Croteau-Chonka, Damien C; Day, Felix R; Duan, Yanan; Fall, Tove; Fehrmann, Rudolf; Ferreira, Teresa; Jackson, Anne U; Karjalainen, Juha; Lo, Ken Sin; Locke, Adam E; Mägi, Reedik; Mihailov, Evelin; [...]

    Defining the role of common variation in the genomic and biological architecture of adult human height

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2014

    Erschienen in: Nature Genetics