Filter your results
- 52
- 17
- 7
- 4
- 4
- 1
- 1
- 1
- 75
- 16
- 15
- 14
- 13
- 12
- 11
- 11
- 10
- 8
- 7
- 6
- 6
- 5
- 5
- 5
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 56
- 56
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 31
- 26
- 18
- 13
- 7
- 7
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 86
- 77
- 76
- 76
- 75
- 57
- 57
- 57
- 38
- 30
- 21
- 18
- 17
- 17
- 13
- 13
- 12
- 12
- 12
- 12
- 9
- 9
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 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
- 3
- 3
- 3
- 3
- 3
- 3
- 82
- 4
- 1
- 52
- 35
- 1
- 3
- 6
- 3
- 3
- 6
- 4
- 5
- 5
- 6
- 1
- 5
- 4
- 10
- 5
- 4
- 4
- 1
- 3
- 2
- 1
- 2
- 1
- 2
87 Results
|
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⟩
Journal articles
inria-00527910v1
|
||
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⟩
Conference papers
istex
inria-00528339v1
|
|||
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⟩
Conference papers
istex
inria-00527929v1
|
|||
|
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⟩
Journal articles
inria-00528330v1
|
||
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.1.1.28.4507⟩
Conference papers
inria-00527941v1
|
|||
|
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⟩
Conference papers
inria-00528358v1
|
||
|
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⟩
Conference papers
inria-00527933v1
|
||
|
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⟩
Conference papers
inria-00527924v1
|
||
|
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⟩
Conference papers
hal-01098556v1
|
||
|
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⟩
Conference papers
inria-00528447v1
|
||
|
Analyse des systèmes mobiles par interprétation abstraite.Informatique mobile. Ecole Polytechnique X, 2005. Français. ⟨NNT : ⟩
Theses
pastel-00001303v1
|
||
|
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
Conference papers
hal-01613603v1
|
||
Stochastic FragmentsInternational Journal of Software and Informatics (IJSI), 2014, Special Issue on DCM09, 7 (4), pp.527-604
Journal articles
hal-01098561v1
|
|||
|
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⟩
Conference papers
inria-00528450v1
|
||
|
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⟩
Conference papers
inria-00636850v1
|
||
Fragments-based model reduction: some case studiesFirst International Workshop on Interactions between Computer Science and Biology - CS2Bio 2010, Jun 2010, Amsterdam, Netherlands
Conference papers
inria-00527960v1
|
|||
|
Formal Model ReductionStatic Analysis Symposium, Sep 2011, Venice, Italy. pp.6, ⟨10.1007/978-3-642-23702-7_5⟩
Conference papers
inria-00626640v1
|
||
|
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⟩
Conference papers
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
Conference papers
hal-01379902v1
|
||
|
Tropical Abstraction of Biochemical Reaction Networks with GuaranteesSASB'18 - Static Analysis in Systems Biology, affiliated with Static Analysis Symposium, Aug 2018, Freiburg, Germany
Conference papers
hal-01962674v1
|
||
|
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⟩
Books
hal-01613596v1
|
||
|
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⟩
Conference papers
hal-01613600v1
|
||
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
hal-01147670v1
|
|||
|
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⟩
Journal articles
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⟩
Conference papers
inria-00528571v1
|
||
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⟩
Journal articles
hal-01967635v1
|
|||
Reconstructing Species-Based Dynamics from Reduced Stochastic Rule-Based Models.WSC - Winter Simulation Conference - 2012, Dec 2012, Berlin, Germany
Conference papers
hal-00734483v1
|
|||
|
Combining Model Reductionsthe 26th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2010, May 2010, Ottawa, Canada. pp.73--96, ⟨10.1016/j.entcs.2010.08.006⟩
Conference papers
inria-00527536v1
|
||
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
Conference papers
inria-00527971v1
|
|||
Automatic reduction of stochastic rules-based models in a nutshellInternational Conference of Numerical Analysis and Applied Mathematics - ICNAAM 2010, Sep 2010, Rhodos, Greece. pp.1330-1334, ⟨10.1063/1.3497965⟩
Conference papers
inria-00527548v1
|