E-LIB Suche - Ergebnisse für: Boutillier, Pierre

1

Sporadic occurrence of recent selective sweeps from standin..:

Laval, Guillaume ; Patin, Etienne ; Boutillier, Pierre..
Genetics. 219 (2021) 4 - p. , 2021

2

Proving the Absence of Unbounded Polymers in Rule-based Mod..:

Boutillier, Pierre ; Faure de Pebeyre, Aurélie ; Feret, Jérôme
Electronic Notes in Theoretical Computer Science. 350 (2020) - p. 33-56 , 2020

Link: https://doi.org/10.1016/..

3

Integrative Models for TGF-β Signaling and Extracellular Ma..:

, In: Extracellular Matrix Omics; Biology of Extracellular Matrix,

Théret, Nathalie ; Feret, Jérôme ; Hodgkinson, Arran... - p. 209-225 , 2020

Link: https://doi.org/10.1007/..

4

Counters in Kappa: Semantics, Simulation, and Static Analys..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Boutillier, Pierre ; Cristescu, Ioana ; Feret, Jérôme - p. 176-204 , 2019

Link: https://doi.org/10.1007/..

5

RuleVis: Constructing Patterns and Rules for Rule-Based Mod..:

, In: 2019 IEEE Visualization Conference (VIS),

Abramov, David ; Otto, Jasmine ; Dubey, Mahika... - p. 191-195 , 2019

Link: https://doi.org/10.1109/..

6

The Kappa Simulator Made Interactive:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,

Boutillier, Pierre - p. 296-301 , 2019

Link: https://doi.org/10.1007/..

7

A Trace Query Language for Rule-Based Models:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,

Laurent, Jonathan ; Medina-Abarca, Hector F. ; Boutillier, Pierre.. - p. 220-237 , 2018

Link: https://doi.org/10.1007/..

8

Dynamic Influence Networks for Rule-Based Models:

Forbes, Angus G. ; Burks, Andrew ; Lee, Kristine...
IEEE Transactions on Visualization and Computer Graphics. 24 (2018) 1 - p. 184-194 , 2018

Link: https://doi.org/10.1109/..

9

KaSa: A Static Analyzer for Kappa:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,

Boutillier, Pierre ; Camporesi, Ferdinanda ; Coquet, Jean... - p. 285-291 , 2018

Link: https://doi.org/10.1007/..

10

The Kappa platform for rule-based modeling:

Boutillier, Pierre ; Maasha, Mutaamba ; Li, Xing...
Bioinformatics. 34 (2018) 13 - p. i583-i592 , 2018

Link: https://doi.org/10.1093/..

11

New equations for neutral terms : a sound and complete d..:

, In: Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming,

Allais, Guillaume ; McBride, Conor ; Boutillier, Pierre - p. 13-24 , 2013

Link: https://dl.acm.org/doi/1..

12

The rule-based model approach. A Kappa model for hepatic st..:

Bouguéon, Matthieu ; Boutillier, Pierre ; Feret, Jérôme..
ISBN: 978-1-119-71653-2. , 2022

Link: https://inria.hal.scienc..

13

The rule-based model approach. A Kappa model for hepatic st..:

Bouguéon, Matthieu ; Boutillier, Pierre ; Feret, Jérôme..
ISBN: 978-1-119-71653-2. , 2022

Link: https://inria.hal.scienc..

14

The rule-based model approach. A Kappa model for hepatic st..:

Bouguéon, Matthieu ; Boutillier, Pierre ; Feret, Jérôme..
ISBN: 978-1-119-71653-2. , 2022

Link: https://inria.hal.scienc..

15

The rule-based model approach. A Kappa model for hepatic st..:

Bouguéon, Matthieu ; Boutillier, Pierre ; Feret, Jérôme..
ISBN: 978-1-119-71653-2. , 2022

Link: https://inria.hal.scienc..