Aurélien Rizk
Aurélien Rizk
Dirección de correo verificada de psi.ch
TítuloCitado porAño
Segmentation and quantification of subcellular structures in fluorescence microscopy images using Squassh
A Rizk, G Paul, P Incardona, M Bugarski, M Mansouri, A Niemann, ...
Nature protocols 9 (3), 586, 2014
1282014
A general computational method for robustness analysis with applications to synthetic gene networks
A Rizk, G Batt, F Fages, S Soliman
Bioinformatics 25 (12), i169-i178, 2009
1142009
On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology
A Rizk, G Batt, F Fages, S Soliman
International Conference on Computational Methods in Systems Biology, 251-268, 2008
1102008
Competing G protein‐coupled receptor kinases balance G protein and β‐arrestin signaling
D Heitzler, G Durand, N Gallay, A Rizk, S Ahn, J Kim, JD Violin, L Dupuy, ...
Molecular systems biology 8 (1), 2012
642012
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
A Rizk, G Batt, F Fages, S Soliman
Theoretical Computer Science 412 (26), 2827-2839, 2011
502011
On the analysis of numerical data time series in temporal logic
F Fages, A Rizk
International Conference on Computational Methods in Systems Biology, 48-63, 2007
492007
Highly efficient baculovirus-mediated multigene delivery in primary cells
M Mansouri, I Bellon-Echeverria, A Rizk, Z Ehsaei, CC Cosentino, ...
Nature communications 7, 11529, 2016
482016
On temporal logic constraint solving for analyzing numerical data time series
F Fages, A Rizk
Theoretical Computer Science 408 (1), 55-65, 2008
412008
Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic …
E De Maria, F Fages, A Rizk, S Soliman
Theoretical Computer Science 412 (21), 2108-2127, 2011
182011
From model-checking to temporal logic constraint solving
F Fages, A Rizk
International Conference on Principles and Practice of Constraint …, 2009
172009
BioCham 3.2 reference manual
F Fages, D Jovanovska, A Rizk, S Soliman, EPI Contraintes
Available on http://contraintes. inria. fr/BIOCHAM/DOC/manual. html 6, 2010
72010
Subcellular object quantification with Squassh3C and SquasshAnalyst
A Rizk, M Mansouri, K Ballmer-Hofer, P Berger
BioTechniques 59 (5), 309-312, 2015
42015
The Biochemical abstract machine BIOCHAM
NCFC Fages, S Soliman
42004
Efficient synthesis of a class of Boolean programs from IO data: Application to genetic networks
R Charney, J Cohen, A Rizk
Discrete Applied Mathematics 159 (6), 410-419, 2011
12011
Un concours de «legos» génétiques
D Bikard, F Képès
Médecine/Science 24 (5), 2008
12008
Arrestin-1 engineering facilitates complex stabilization with native rhodopsin
RS Haider, F Wilhelm, A Rizk, E Mutt, X Deupi, C Peterhans, J Mühle, ...
Scientific reports 9 (1), 439, 2019
2019
Comprehensive Analysis of the Role of Arrestin Residues in Receptor Binding
RS Haider, A Rizk, GFX Schertler, MK Ostermaier
The Structural Basis of Arrestin Functions, 83-102, 2017
2017
BIOCHAM 3.7. 3 Reference Manual
F Fages, FM Floch, S Gay, D Jovanovska, A Rizk, S Soliman, P Traynard, ...
2015
The Society of Biomolecular Imaging and Informatics Second Annual Conference
DL Wu, M Mercola, C Wahlquist, A Rojas-Muñoz, AR Colas, ...
ASSAY and Drug Development Technologies 13 (7), 428-434, 2015
2015
Computational Molecular Biology
J Aracena, E Fanchon, M Montalva, M Noual, R Charney, J Cohen, A Rizk, ...
Discrete Applied Mathematics 159 (6), 2011
2011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20