A BSP algorithm for on-the-fly checking CTL formulas on security protocols von Gava, Frédéric, Pommereau, Franck, Guedj, Michaël

Volltext

A refined molecular taxonomy of breast cancer: molecular classification of breast cancer von Guedj, Michael, Marisa, Laëtitia, de Reynies, Aurélien, Orsetti, Béatrice, Schiappa, Renaud, Bibeau, Frédéric, Macgrogan, Gaëtan, Lerebours, Florence, Finetti, Pascal, Longy, Michel, Bertheau, Philippe, Bertrand, Françoise, Bonnet, Françoise, Martin, Anne-Laure, Feugeas, Jean-Paul, Bièche, Ivan, Lehmann-Che, Jacqueline, Lidereau, Rosette, Birnbaum, Daniel, Bertucci, François, de Thé, Hugues, Theillet, Charles

Volltext

BSP algorithms for LTL & CTL model checking of security protocols von Guedj, Michaël

Volltext bestellen

A BSP Algorithm for the State Space Construction of Security Protocols von Gava, Frédéric, Guedj, Michaël, Pommereau, Franck

Volltext bestellen

A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols von Gava, F., Guedj, M., Pommereau, F.

Volltext

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings von Johnsen, Einar Broch, Petre, Luigia

Volltext

Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols von Gava, F., Guedj, M., Pommereau, F.

Volltext

BACLOFEN AND ACAMPROSATE BASED THERAPY OF NEUROLOGICAL DISORDERS von ILYA CHUMAKOV, MICHAEL GUEDJ, SERGUEI NABIROCHKIN, DANIEL COHEN, EMMANUEL VIAL

Volltext bestellen

ChEBI: a database and ontology for chemical entities of biological interest von Degtyarenko, Kirill, de Matos, Paula, Ennis, Marcus, Hastings, Janna, Zbinden, Martin, McNaught, Alan, Alcántara, Rafael, Darsow, Michael, Guedj, Mickaël, Ashburner, Michael

Volltext

Quantifying the relationship between SARS-CoV-2 viral load and infectiousness von Marc, Aurélien, Kerioui, Marion, Blanquart, François, Bertrand, Julie, Mitjà, Oriol, Corbacho-Monné, Marc, Marks, Michael, Guedj, Jeremie

Volltext

Abstract 11645: Virutal Simulation-Based Continuing Medical Education Improves Diagnosis and Management of Atrial Fibrillation von Harris, Margaret, Lacouture, Michael, Guedj, Philippe, Hakkarainen, Jennifer

Volltext

Polytherapy with a combination of three repurposed drugs (PXT3003) down-regulates Pmp22 over-expression and improves myelination, axonal and functional parameters in models of CMT1... von Chumakov, Ilya, Milet, Aude, Cholet, Nathalie, Primas, Gwenaël, Boucard, Aurélie, Pereira, Yannick, Graudens, Esther, Mandel, Jonas, Laffaire, Julien, Foucquier, Julie, Glibert, Fabrice, Bertrand, Viviane, Nave, Klaus-Armin, Sereda, Michael W, Vial, Emmanuel, Guedj, Mickaël, Hajj, Rodolphe, Nabirotchkin, Serguei, Cohen, Daniel

Volltext

Early administration of tecovirimat shortens the time to mpox clearance in a model of human infection von Nguyen, Bach Tran, Marc, Aurélien, Suñer, Clara, Marks, Michael, Ubals, Maria, Hernández-Rodríguez, Águeda, Melendez, María Ángeles, Hruby, Dennis E, Russo, Andrew T, Mentré, France, Mitjà, Oriol, Grosenbach, Douglas W, Guedj, Jérémie

Volltext

Association of a Schizophrenia-Risk Nonsynonymous Variant With Putamen Volume in Adolescents: A Voxelwise and Genome-Wide Association Study von Luo, Qiang, Chen, Qiang, Wang, Wenjia, Desrivières, Sylvane, Quinlan, Erin Burke, Jia, Tianye, Macare, Christine, Robert, Gabriel H, Cui, Jing, Guedj, Mickaël, Palaniyappan, Lena, Kherif, Ferath, Banaschewski, Tobias, Bokde, Arun L. W, Büchel, Christian, Flor, Herta, Frouin, Vincent, Garavan, Hugh, Gowland, Penny, Heinz, Andreas, Ittermann, Bernd, Martinot, Jean-Luc, Artiges, Eric, Paillère-Martinot, Marie-Laure, Nees, Frauke, Orfanos, Dimitri Papadopoulos, Poustka, Luise, Fröhner, Juliane H, Smolka, Michael N, Walter, Henrik, Whelan, Robert, Callicott, Joseph H, Mattay, Venkata S, Pausova, Zdenka, Dartigues, Jean-François, Tzourio, Christophe, Crivello, Fabrice, Berman, Karen F, Li, Fei, Paus, Tomáš, Weinberger, Daniel R, Murray, Robin M, Schumann, Gunter, Feng, Jianfeng

Volltext

A 7-month cigarette smoke inhalation study in C57BL/6 mice demonstrates reduced lung inflammation and emphysema following smoking cessation or aerosol exposure from a prototypic mo... von Phillips, Blaine, Veljkovic, Emilija, Peck, Michael J., Buettner, Ansgar, Elamin, Ashraf, Guedj, Emmanuel, Vuillaume, Gregory, Ivanov, Nikolai V., Martin, Florian, Boué, Stéphanie, Schlage, Walter K., Schneider, Thomas, Titz, Bjoern, Talikka, Marja, Vanscheeuwijck, Patrick, Hoeng, Julia, Peitsch, Manuel C.

Volltext

An Open Resource for Non-human Primate Imaging von Milham, Michael P., Ai, Lei, Koo, Bonhwang, Xu, Ting, Amiez, Céline, Balezeau, Fabien, Baxter, Mark G., Blezer, Erwin L.A., Brochier, Thomas, Chen, Aihua, Croxson, Paula L., Damatac, Christienne G., Dehaene, Stanislas, Everling, Stefan, Fair, Damian A., Fleysher, Lazar, Freiwald, Winrich, Froudist-Walsh, Sean, Griffiths, Timothy D., Guedj, Carole, Hadj-Bouziane, Fadila, Ben Hamed, Suliann, Harel, Noam, Hiba, Bassem, Jarraya, Bechir, Jung, Benjamin, Kastner, Sabine, Klink, P. Christiaan, Kwok, Sze Chai, Laland, Kevin N., Leopold, David A., Lindenfors, Patrik, Mars, Rogier B., Menon, Ravi S., Messinger, Adam, Meunier, Martine, Mok, Kelvin, Morrison, John H., Nacef, Jennifer, Nagy, Jamie, Rios, Michael Ortiz, Petkov, Christopher I., Pinsk, Mark, Poirier, Colline, Procyk, Emmanuel, Rajimehr, Reza, Reader, Simon M., Roelfsema, Pieter R., Rudko, David A., Rushworth, Matthew F.S., Russ, Brian E., Sallet, Jerome, Schmid, Michael Christoph, Schwiedrzik, Caspar M., Seidlitz, Jakob, Sein, Julien, Shmuel, Amir, Sullivan, Elinor L., Ungerleider, Leslie, Thiele, Alexander, Todorov, Orlin S., Tsao, Doris, Wang, Zheng, Wilson, Charles R.E., Yacoub, Essa, Ye, Frank Q., Zarco, Wilbert, Zhou, Yong-di, Margulies, Daniel S., Schroeder, Charles E.

Volltext

Abstract 12131: Improved Knowledge and Confidence of Antiarrhythmic Drugs in Atrial Fibrillation via Online Educational Intervention von Harris, Margaret, Amara, Walid, Chang, Lih-Fan, Lacouture, Michael, Guedj, Philippe

Volltext

Abstract 12074: Rhythm Control Strategy in Recent Atrial Fibrillation: An Online Educational Intervention Improved Physician Knowledge, Competence, and Confidence von Harris, Margaret, Amara, Walid, Chang, Lih-Fan, Lacouture, Michael, Guedj, Philippe

Volltext

Frequency of the C9orf72 hexanucleotide repeat expansion in patients with amyotrophic lateral sclerosis and frontotemporal dementia: a cross-sectional study von Majounie, Elisa, PhD, Renton, Alan E, PhD, Mok, Kin, MSc, Dopper, Elise GP, Waite, Adrian, PhD, Rollinson, Sara, PhD, Chiò, Adriano, MD, Restagno, Gabriella, MD, Nicolaou, Nayia, MSc, Simon-Sanchez, Javier, PhD, van Swieten, John C, Prof, Abramzon, Yevgeniya, Johnson, Janel O, PhD, Sendtner, Michael, Prof, Pamphlett, Roger, MD, Orrell, Richard W, MD, Mead, Simon, MD, Sidle, Katie C, MD, Houlden, Henry, Prof, Rohrer, Jonathan D, MD, Morrison, Karen E, Prof, Pall, Hardev, MD, Talbot, Kevin, Prof, Ansorge, Olaf, MD, Hernandez, Dena G, MSc, Arepalli, Sampath, MS, Sabatelli, Mario, MD, Mora, Gabriele, MD, Corbo, Massimo, MD, Giannini, Fabio, MD, Calvo, Andrea, MD, Englund, Elisabet, MD, Borghero, Giuseppe, MD, Floris, Gian Luca, MD, Remes, Anne M, Prof, Laaksovirta, Hannu, MD, McCluskey, Leo, MD, Trojanowski, John Q, Prof, Van Deerlin, Vivianna M, MD, Schellenberg, Gerard D, Prof, Nalls, Michael A, PhD, Drory, Vivian E, MD, Lu, Chin-Song, Prof, Yeh, Tu-Hsueh, MD, Ishiura, Hiroyuki, MD, Takahashi, Yuji, MD, Tsuji, Shoji, Prof, Le Ber, Isabelle, MD, Brice, Alexis, Prof, Drepper, Carsten, PhD, Williams, Nigel, PhD, Kirby, Janine, PhD, Shaw, Pamela, Prof, Hardy, John, Prof, Tienari, Pentti J, MD, Heutink, Peter, Prof, Morris, Huw R, MD, Pickering-Brown, Stuart, Prof, Traynor, Bryan J, Dr

Volltext

Preparation, characterization, and safety evaluation of poly(lactide-co-glycolide) nanoparticles for protein delivery into macrophages von Guedj, Anne-Sophie, Kell, Arnold J, Barnes, Michael, Stals, Sandra, Gonçalves, David, Girard, Denis, Lavigne, Carole

Volltext