Filtrer vos résultats
- 56
- 18
- 8
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 79
- 16
- 15
- 14
- 13
- 12
- 11
- 11
- 10
- 8
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 61
- 57
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 31
- 30
- 18
- 13
- 7
- 7
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 93
- 83
- 81
- 81
- 79
- 79
- 61
- 61
- 61
- 39
- 34
- 21
- 19
- 19
- 17
- 14
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 87
- 6
- 1
- 53
- 41
- 2
- 1
- 2
- 1
- 2
- 3
- 1
- 4
- 4
- 5
- 10
- 4
- 5
- 1
- 6
- 5
- 5
- 4
- 6
- 4
- 3
- 6
- 3
- 7
94 résultats
|
Occurrence counting analysis for the pi-calculusGEometry and Topology in COncurrency theory (Satellite Workshop from CONCUR 2000), Eric Goubault, Aug 2000, University Park, United States. pp.1--18, ⟨10.1016/S1571-0661(05)01155-2⟩
Communication dans un congrès
inria-00527933v1
|
||
|
Reachability analysis of biological signalling pathways by abstract interpretationthe International Conference of Computational Methods in Sciences and Engineerin - ICCMSE2007, T.E. Simos, Sep 2007, Corfu, Greece. pp.619 - 622, ⟨10.1063/1.2836158⟩
Communication dans un congrès
inria-00528358v1
|
||
Confidentiality Analysis of Mobile Systemshe 7th International Symposium on Static Analysis (SAS'00), J. Palsberg, Jun 2000, Santa Barbara, United States. pp.135--154, ⟨10.1007/978-3-540-45099-3_8⟩
Communication dans un congrès
istex
inria-00527941v1
|
|||
Abstract Interpretation-Based Static Analysis of Mobile Ambientsthe 8th International Symposium on Static Analysis (SAS'01), Jul 2001, Paris, France. pp.413--431, ⟨10.1007/3-540-47764-0_24⟩
Communication dans un congrès
istex
inria-00527929v1
|
|||
Abstract Interpretation of Mobile SystemsJournal of Logic and Algebraic Programming, 2004, special issue on the pi-calcucus, 63 (1), pp.59--130. ⟨10.1016/j.jlap.2004.01.005⟩
Article dans une revue
istex
inria-00527910v1
|
|||
|
Analyse des systèmes mobiles par interprétation abstraite.Informatique mobile. Ecole Polytechnique X, 2005. Français. ⟨NNT : ⟩
Thèse
pastel-00001303v1
|
||
|
Static Analysis of Digital Filtersthe 13th European Symposium on Programming - ESOP 2004, David A. Schmidt, Mar 2004, Barcelona, Spain. pp.33-48, ⟨10.1007/978-3-540-24725-8_4⟩
Communication dans un congrès
inria-00528447v1
|
||
|
An Algebraic Approach for Inferring and Using Symmetries in Rule-based ModelsStatic Analysis and Systems Biology, Heinz Koeppl; Loïc Paulevé, Sep 2014, Munich, Germany. pp.20, ⟨10.1016/j.entcs.2015.06.010⟩
Communication dans un congrès
hal-01098556v1
|
||
|
KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models CMSB 2017 - 15th Conference on Computational Methods in Systems Biology, Heinz Koeppl, Sep 2017, Darmstadt, Germany. pp.291-299, ⟨10.1007/978-3-319-67471-1_18⟩
Communication dans un congrès
hal-01613600v1
|
||
|
Dependency analysis of Mobile Systemsthe European Symposium on Programming (ESOP'02), Apr 2002, Grenoble, France. pp.314--330, ⟨10.1007/3-540-45927-8_22⟩
Communication dans un congrès
inria-00527924v1
|
||
|
Using alternated sums to express the occurrence number of extended patterns in site-graphsSASB 2017 - The Eighth International Workshop on Static Analysis for Systems Biology, Aug 2017, New York, United States. pp.18
Communication dans un congrès
hal-01613603v1
|
||
|
Local traces: an over-approximation of the behaviour of the proteins in rule-based modelsCMSB 2016 - Fourteenth Conference on Computational Method in Systems Biology, Sep 2016, Cambridge, United Kingdom. pp.116-131, ⟨10.1007/978-3-319-45177-0_8⟩
Communication dans un congrès
hal-01379897v1
|
||
|
Reachability analysis via orthogonal sets of patterns7th International Workshop on Static Analysis and Systems Biology, (SASB 2016), David Safranek; Guido Sanguinetti, Sep 2016, Edinburgh, United Kingdom
Communication dans un congrès
hal-01379902v1
|
||
|
Internal coarse-graining of molecular systemsProceedings of the National Academy of Sciences of the United States of America, 2009, 106 (16), ⟨10.1073/pnas.0809908106⟩
Article dans une revue
inria-00528330v1
|
||
Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012)Jérôme Feret and Andre Levchenko. 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012), Sep 2012, Deauville, France. 313, Elsevier, pp.78, 2015, Electronic Notes in Theoretical Computer Science
Proceedings/Recueil des communications
hal-01147670v1
|
|||
Stochastic FragmentsInternational Journal of Software and Informatics (IJSI), 2014, Special Issue on DCM09, 7 (4), pp.527-604
Article dans une revue
hal-01098561v1
|
|||
|
Formal Model ReductionStatic Analysis Symposium, Sep 2011, Venice, Italy. pp.6, ⟨10.1007/978-3-642-23702-7_5⟩
Communication dans un congrès
inria-00626640v1
|
||
Fragments-based model reduction: some case studiesFirst International Workshop on Interactions between Computer Science and Biology - CS2Bio 2010, Jun 2010, Amsterdam, Netherlands
Communication dans un congrès
inria-00527960v1
|
|||
Rule-based modelling, symmetries, refinementsthe 1st International Workshop, Formal Methods in Systems Biology - FMSB 2008, Jasmin Fisher, Jun 2008, Cambridge, United Kingdom. pp.103-122, ⟨10.1007/978-3-540-68413-8_8⟩
Communication dans un congrès
istex
inria-00528339v1
|
|||
|
Formal reduction for rule-based modelsthe 27th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2011, May 2011, Pittsburgh, United States. pp.29-59, ⟨10.1016/j.entcs.2011.09.014⟩
Communication dans un congrès
inria-00636850v1
|
||
|
The Arithmetic-Geometric Progression Abstract Domainthe 6th International Conference on Verification, Model Checking and Abstract Interpretation - VMCAI 2005, Radhia Cousot, Jan 2005, Paris, France. pp.42-58, ⟨10.1007/978-3-540-30579-8_3⟩
Communication dans un congrès
inria-00528450v1
|
||
|
Computational Methods in Systems BiologySpringer, 10545, pp.332, 2017, Lecture Notes in Bioinformatics, 978-3-319-67470-4. ⟨10.1007/978-3-319-67471-1⟩
Ouvrage (y compris édition critique et traduction)
hal-01613596v1
|
||
Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology (SASB 2011)Jérôme Feret and Andre Levchenko. Elsevier, 284, pp.137, 2012, Electronic Notes in Theoretical Computer Science
Ouvrage (y compris édition critique et traduction)
hal-00722482v1
|
|||
Local Traces: An Over-Approximation of the Behavior of the Proteins in Rule-Based ModelsIEEE/ACM Transactions on Computational Biology and Bioinformatics, 2018, 15 (4), pp.1124-1137. ⟨10.1109/TCBB.2018.2812195⟩
Article dans une revue
hal-01967635v1
|
|||
Reconstructing Species-Based Dynamics from Reduced Stochastic Rule-Based Models.WSC - Winter Simulation Conference - 2012, Dec 2012, Berlin, Germany
Communication dans un congrès
hal-00734483v1
|
|||
|
Tropical Abstraction of Biochemical Reaction Networks with GuaranteesSASB'18 - Static Analysis in Systems Biology, affiliated with Static Analysis Symposium, Aug 2018, Freiburg, Germany
Communication dans un congrès
hal-01962674v1
|
||
Lumpability Abstractions of Rule-based SystemsThe 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi - MeCBIC 2010, Ciobanu, G. and Koutny, M., Aug 2010, Jena, Germany
Communication dans un congrès
inria-00527971v1
|
|||
Proceedings of the 1st International Workshop on Static Analysis and Systems Biology (SASB 2010)Jérôme Feret and Andre Levchenko. Elsevier, 272, pp.56, 2011, Electronic Notes in Theoretical Computer Science
Ouvrage (y compris édition critique et traduction)
hal-00722483v1
|
|||
|
Lumpability Abstractions of Rule-based SystemsTheoretical Computer Science, 2012, Modelling and Analysis of Biological Systems -- Based on papers presented at the Workshop on Membrane Computing and Bio-logically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena), 431, pp.137-164. ⟨10.1016/j.tcs.2011.12.059⟩
Article dans une revue
hal-00677894v1
|
||
|
Combination of Abstractions in the ASTRÉE Static Analyzerthe 11th Annual Asian Computing Science Conference - ASIAN'06, Okada, Mitsu and Satoh, Ichir, Dec 2006, Tokyo, Japan. pp.272-300, ⟨10.1007/978-3-540-77505-8_23⟩
Communication dans un congrès
inria-00528571v1
|