-
1تقرير
-
2تقرير
المؤلفون: Lime, Didier, Roux, Olivier H., Seidner, Charlotte
المصدر: Fundamenta Informaticae, Volume 183, Issues 1-2: Petri Nets 2019 (December 23, 2021) fi:8464
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory
الوصول الحر: http://arxiv.org/abs/2109.03658Test
-
3تقرير
المؤلفون: André, Étienne, Lime, Didier, Roux, Olivier H.
المصدر: Logical Methods in Computer Science, Volume 18, Issue 1 (February 9, 2022) lmcs:6312
مصطلحات موضوعية: Computer Science - Logic in Computer Science, D.2.4, F.4.3
الوصول الحر: http://arxiv.org/abs/2004.09171Test
-
4دورية أكاديمية
المؤلفون: Frapard, Thomas, Amaddeo, Giuliana, Decavele, Maxens, Abback, Paer-Selim, Gaillet, Antoine, Bouzbib, Charlotte, Vanlemmens, Claire, Younan, Romy, Canet, Emmanuel, Moreau, Anne Sophie, Neuville, Mathilde, Azoulay, Elie, Sitbon, Alexandre, Mokart, Djamel, Radenne, Sylvie, Abergel, Armand, Guichon, Céline, Roux, Olivier, Bonadona, Agnes, Mekontso Dessap, Armand, De Jong, Audrey, Dumortier, Jerome, de Prost, Nicolas, VOIRIOT, Guillaume, SCHMIDT, Julien, QUENOT, Jean Pierre, DECAVELE, Maxens, AUDIBERT, uliette, CANET, Emmanuel, UHEL, Fabrice, LESIEUR, Olivier, YOUNAN, Romy, MOREAU, Anne Sophie, DE JOND, Audrey, MOKART, Djamel, NEUVILLE, Mathilde, AZOULAY, Elie, AMADDEO, Giuliana, ABBACK, Paer-Selim, BOUZBIB, Charlotte, VANLEMMENS, Claire, DUMORTIER, Jerome, RADENNE, Sylvie, ABERGEL, Armand, GUICHON, Céline, ROUX, Olivier, BONADONA, Agnes, CARBONELL, Nicolas, SILVAIN, Christine, MONTIALOUX, Helene
المصدر: Open Forum Infectious Diseases ; volume 10, issue 11 ; ISSN 2328-8957
مصطلحات موضوعية: Infectious Diseases, Oncology
الإتاحة: https://doi.org/10.1093/ofid/ofad484Test
https://academic.oup.com/ofid/article-pdf/10/11/ofad484/53898792/ofad484.pdfTest -
5مؤتمر
المؤلفون: Spriet, Anthony, Lime, Didier, Roux, Olivier, H.
المساهمون: STR (LS2N - équipe STR ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), ANR-19-CE25-0015,ProMiS,Mitigation formelle d'attaques via canaux auxiliaires par vérification paramétrée(2019)
المصدر: 21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2023)
https://hal.science/hal-04312271Test
21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2023), Sep 2023, Antwerp, Belgium. pp.122-137, ⟨10.1007/978-3-031-42626-1_8⟩مصطلحات موضوعية: Non-interference, Timed Automata, Partial observability, [INFO]Computer Science [cs]
العلاقة: hal-04312271; https://hal.science/hal-04312271Test; https://hal.science/hal-04312271/documentTest; https://hal.science/hal-04312271/file/SLR-FORMATS23.pdfTest
الإتاحة: https://doi.org/10.1007/978-3-031-42626-1_8Test
https://hal.science/hal-04312271Test
https://hal.science/hal-04312271/documentTest
https://hal.science/hal-04312271/file/SLR-FORMATS23.pdfTest -
6مؤتمر
المؤلفون: Leclercq, Loriane, Lime, Didier, Roux, Olivier, H
المساهمون: STR (LS2N - équipe STR ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), ANR-19-CE25-0015,ProMiS,Mitigation formelle d'attaques via canaux auxiliaires par vérification paramétrée(2019)
المصدر: 44th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2023)
https://hal.science/hal-04312254Test
44th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2023), Jun 2023, Caparica, Lisbon, Portugal. pp.393-414, ⟨10.1007/978-3-031-33620-1_21⟩مصطلحات موضوعية: Time Petri nets, state classes, timed games, controller synthesis, [INFO]Computer Science [cs]
العلاقة: hal-04312254; https://hal.science/hal-04312254Test; https://hal.science/hal-04312254/documentTest; https://hal.science/hal-04312254/file/leclercq-ICATPN-23.pdfTest
الإتاحة: https://doi.org/10.1007/978-3-031-33620-1_21Test
https://hal.science/hal-04312254Test
https://hal.science/hal-04312254/documentTest
https://hal.science/hal-04312254/file/leclercq-ICATPN-23.pdfTest -
7مؤتمر
المؤلفون: Spriet, Anthony, Lime, Didier, Roux, Olivier-H
المساهمون: NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ), CNRS
المصدر: Modélisation des Systèmes Réactifs (MSR'23) ; https://hal.science/hal-04465311Test ; Modélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France
مصطلحات موضوعية: Non interférence, Automates Temporisés, Observation partielle, [PHYS]Physics [physics]
العلاقة: hal-04465311; https://hal.science/hal-04465311Test; https://hal.science/hal-04465311/documentTest; https://hal.science/hal-04465311/file/main.pdfTest
-
8دورية أكاديمية
المؤلفون: Bernabeu, Antoine, Briday, Mikaël, Faucou, Sébastien, Béchennec, Jean-Luc, Roux, Olivier, H.
المساهمون: NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, STR (LS2N - équipe STR ), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Cominlabs. Projet NOP, ANR-10-LABX-0007,COMIN Labs,Digital Communication and Information Sciences for the Future Internet(2010)
المصدر: ISSN: 0924-6703.
مصطلحات موضوعية: Optimization, Scheduling, Petri net Intermittent computing Optimization Scheduling, Petri net, Intermittent computing, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
العلاقة: hal-03952467; https://hal.science/hal-03952467Test; https://hal.science/hal-03952467/documentTest; https://hal.science/hal-03952467/file/jdeds.pdfTest
الإتاحة: https://doi.org/10.1007/s10626-022-00372-6Test
https://hal.science/hal-03952467Test
https://hal.science/hal-03952467/documentTest
https://hal.science/hal-03952467/file/jdeds.pdfTest -
9دورية أكاديمية
المؤلفون: Haur, Imane, Béchennec, Jean-Luc, H. Roux, Olivier
المساهمون: Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), STR (LS2N - équipe STR ), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)
المصدر: ISSN: 0963-9314.
مصطلحات موضوعية: High-Level Colored Time Petri Nets, Model-checking, Real-Time Operating System (RTOS), AUTOSAR OS verification, [INFO]Computer Science [cs]
العلاقة: hal-04304216; https://hal.science/hal-04304216Test; https://hal.science/hal-04304216/documentTest; https://hal.science/hal-04304216/file/sqj2023.pdfTest
الإتاحة: https://doi.org/10.1007/s11219-023-09626-4Test
https://hal.science/hal-04304216Test
https://hal.science/hal-04304216/documentTest
https://hal.science/hal-04304216/file/sqj2023.pdfTest -
10دورية أكاديمية
المؤلفون: Chouik, Yasmina, Francoz, Claire, de Martin, Eleonora, Guillaud, Olivier, Abergel, Armand, Altieri, Mario, Barbier, Louise, Besch, Camille, Chazouillères, Olivier, Conti, Filomena, Corpechot, Christophe, Dharancy, Sébastien, Durand, François, Duvoux, Christophe, Gugenheim, Jean, Hardwigsen, Jean, Hilleret, Marie-Noëlle, Houssel-Debry, Pauline, Kamar, Nassim, Minello, Anne, Neau-Cransac, Martine, Pageaux, Georges-Philippe, Radenne, Sylvie, Roux, Olivier, Saliba, Faouzi, Samuel, Didier, Vanlemmens, Claire, Woehl-Jaegle, Marie-Lorraine, Leroy, Vincent, Duclos-Vallée, Jean-Charles, Dumortier, Jérôme
المساهمون: Hôpital Edouard Herriot CHU - HCL, Hospices Civils de Lyon (HCL), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon, Hôpital de la Croix-Rousse CHU - HCL, Hôpital Beaujon AP-HP, Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP), Centre de recherche sur l'Inflammation (CRI (UMR_S_1149 / ERL_8252 / U1149)), Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Physiopathologie et traitement des maladies du foie, Hôpital Paul Brousse-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université Paris-Saclay, Centre Hépato-Biliaire Hôpital Paul Brousse (CHB), Hôpital Paul Brousse-Assistance Publique - Hôpitaux de Paris, CHU Estaing Clermont-Ferrand, CHU Clermont-Ferrand, Institut Pascal (IP), Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Hôpital Côte de Nacre CHU Caen, CHU Caen, Normandie Université (NU)-Tumorothèque de Caen Basse-Normandie (TCBN)-Normandie Université (NU)-Tumorothèque de Caen Basse-Normandie (TCBN), Hôpital Trousseau, Centre Hospitalier Régional Universitaire de Tours (CHRU Tours), Hôpital de Hautepierre Strasbourg, Centre de Recherche Saint-Antoine (CRSA), Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Sorbonne Université (SU), Centre de référence des Maladies Vasculaires du Foie Paris (FILFOIE), CHU Saint-Antoine AP-HP, Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU), CHU Pitié-Salpêtrière AP-HP, Hôpital Claude Huriez Lille, Centre Hospitalier Régional Universitaire CHU Lille (CHRU Lille), Institute for Translational Research in Inflammation - U 1286 (INFINITE (Ex-Liric)), Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Lille-Centre Hospitalier Régional Universitaire CHU Lille (CHRU Lille), CHU Henri Mondor Créteil, Centre Hospitalier Universitaire de Nice (CHU Nice), Université de Nice Sophia-Antipolis (UNSA), Hôpital de la Timone CHU - APHM (TIMONE), Institute for Advanced Biosciences / Institut pour l'Avancée des Biosciences (Grenoble) (IAB), Centre Hospitalier Universitaire CHU Grenoble (CHUGA)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Etablissement français du sang - Auvergne-Rhône-Alpes (EFS)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), Centre Hospitalier Universitaire CHU Grenoble (CHUGA), Centre Hospitalier Universitaire de Rennes CHU Rennes = Rennes University Hospital Ponchaillou, Département de Néphrologie et Transplantation d'organes CHU Toulouse, Pôle Urologie - Néphrologie - Dialyse - Transplantations - Brûlés - Chirurgie plastique - Explorations fonctionnelles et physiologiques CHU Toulouse, Centre Hospitalier Universitaire de Toulouse (CHU Toulouse)-Centre Hospitalier Universitaire de Toulouse (CHU Toulouse), Service d'Hépato-Gastro-Entérologie (CHU de Dijon), Centre Hospitalier Universitaire de Dijon - Hôpital François Mitterrand (CHU Dijon), Equipe EPICAD (LNC - U1231), Lipides - Nutrition - Cancer Dijon - U1231 (LNC), Université de Bourgogne (UB)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut Agro Dijon, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Bourgogne (UB)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut Agro Dijon, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Hôpital Haut-Lévêque CHU Bordeaux, CHU Bordeaux, Hôpital Saint Eloi (CHRU Montpellier), Centre Hospitalier Régional Universitaire Montpellier (CHRU Montpellier), CHU de Besançon - Hôpital Jean Minjoz, Fondation Léon Bouchut
المصدر: ISSN: 1478-3223.
مصطلحات موضوعية: early infection, fulminant hepatitis, immunosuppression, sepsis, survival, MESH: Humans, MESH: Female, MESH: Adult, MESH: Liver Transplantation, MESH: Hepatitis, Autoimmune, MESH: Massive Hepatic Necrosis, MESH: Retrospective Studies, MESH: Sepsis, [SDV.MHEP.HEG]Life Sciences [q-bio]/Human health and pathology/Hépatology and Gastroenterology
العلاقة: info:eu-repo/semantics/altIdentifier/pmid/36577700; hal-04166795; https://hal.science/hal-04166795Test; PUBMED: 36577700