Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Voisin, Laurent
375  Ergebnisse:
Personensuche X
?
1

Semantics Formalisation – From Event-B Contexts to Theories:

, In: Lecture Notes in Computer Science; Rigorous State-Based Methods,
Hoang, Thai Son ; Voisin, Laurent ; Wright, Karla Vanessa Morris.. - p. 208-214 , 2024
Link: https://doi.org/10.1007/..
 
?
2

CDKN1A is a target for phagocytosis-mediated cellular immun..:

Allouch, Awatef ; Voisin, Laurent ; Zhang, Yanyan...
Nature Communications.  13 (2022)  1 - p. , 2022
Link: https://doi.org/10.1038/..
 
?
3

Soft strain-insensitive bioelectronics featuring brittle ma..:

Zhao, Yichao ; Wang, Bo ; Tan, Jiawei...
Science.  378 (2022)  6625 - p. 1222-1227 , 2022
Link: https://doi.org/10.1126/..
 
?
4

Emerging use of senolytics and senomorphics against aging a..:

Martel, Jan ; Ojcius, David M. ; Wu, Cheng‐Yeu...
Medicinal Research Reviews.  40 (2020)  6 - p. 2114-2131 , 2020
Link: https://doi.org/10.1002/..
 
?
5

Cover Image, Volume 40, Issue 6:

Martel, Jan ; Ojcius, David M. ; Wu, Cheng‐Yeu...
Medicinal Research Reviews.  40 (2020)  6 - p. , 2020
Link: https://doi.org/10.1002/..
 
?
6

Domain-Specific Developments Using Rodin Theories:

, In: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems,
Hoang, Thai Son ; Voisin, Laurent ; Butler, Michael - p. 19-37 , 2020
Link: https://doi.org/10.1007/..
 
?
7

The First Twenty-Five Years of Industrial Use of the B-Meth..:

, In: Lecture Notes in Computer Science; Formal Methods for Industrial Critical Systems,
Butler, Michael ; Körner, Philipp ; Krings, Sebastian... - p. 189-209 , 2020
Link: https://doi.org/10.1007/..
 
?
8

HIV-1 Envelope Overcomes NLRP3-Mediated Inhibition of F-Act..:

Paoletti, Audrey ; Allouch, Awatef ; Caillet, Marina...
Cell Reports.  28 (2019)  13 - p. 3381-3394.e7 , 2019
Link: https://doi.org/10.1016/..
 
?
9

Anticancer chemotherapy and radiotherapy trigger both non-c..:

Martins, Isabelle ; Raza, Syed Qasim ; Voisin, Laurent...
Cell Death & Disease.  9 (2018)  7 - p. , 2018
Link: https://doi.org/10.1038/..
 
?
10

Correct‐by‐construction specification to verified code:

Ge, Ning ; Dieumegard, Arnaud ; Jenn, Eric.
Journal of Software: Evolution and Process.  30 (2018)  10 - p. , 2018
Link: https://doi.org/10.1002/..
 
?
11

Entosis: The emerging face of non-cell-autonomous type IV p..:

Martins, Isabelle ; Raza, Syed Qasim ; Voisin, Laurent...
Biomedical Journal.  40 (2017)  3 - p. 133-140 , 2017
Link: https://doi.org/10.1016/..
 
?
12

NOX2-dependent ATM kinase activation dictates pro-inflammat..:

Wu, Qiuji ; Allouch, Awatef ; Paoletti, Audrey...
Cell Death & Differentiation.  24 (2017)  9 - p. 1632-1644 , 2017
Link: https://doi.org/10.1038/..
 
?
13

Integrating SMT solvers in Rodin:

Déharbe, David ; Fontaine, Pascal ; Guyot, Yoann.
Science of Computer Programming.  94 (2014)  - p. 130-143 , 2014
Link: https://doi.org/10.1016/..
 
?
14

Editorial: Pannexin-1—the hidden gatekeeper for HIV-1:

Paoletti, Audrey ; Raza, Syed Qasim ; Voisin, Laurent...
Journal of Leukocyte Biology.  94 (2013)  3 - p. 390-392 , 2013
Link: https://doi.org/10.1189/..
 
?
15

Multifaceted roles of purinergic receptors in viral infecti..:

Paoletti, Audrey ; Raza, Syed Qasim ; Voisin, Laurent...
Microbes and Infection.  14 (2012)  14 - p. 1278-1283 , 2012
Link: https://doi.org/10.1016/..
 
1-15