Loïc Paulevé

According to our database1, Loïc Paulevé authored at least 41 papers between 2010 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis.
IEEE/ACM Trans. Comput. Biology Bioinform., 2018

Unfolding of Parametric Boolean Networks.
Electr. Notes Theor. Comput. Sci., 2018

Most Permissive Semantics of Boolean Networks.
CoRR, 2018

Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks.
CoRR, 2018

Boolean Networks: Beyond Generalized Asynchronicity.
Proceedings of the Cellular Automata and Discrete Complex Systems, 2018

2017
Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming.
Algorithms for Molecular Biology, 2017

Goal-Driven Unfolding of Petri Nets.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface.
Proceedings of the Computational Methods in Systems Biology, 2017

Temporal Reprogramming of Boolean Networks.
Proceedings of the Computational Methods in Systems Biology, 2017

2016
Preface.
Electr. Notes Theor. Comput. Sci., 2016

Goal-Oriented Reduction of Automata Networks.
CoRR, 2016

Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph.
CoRR, 2016

Goal-Driven Unfolding of Petri Nets.
CoRR, 2016

Qualitative dynamics semantics for SBGN process description.
BMC Systems Biology, 2016

Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming.
Biosystems, 2016

Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Goal-Oriented Reduction of Automata Networks.
Proceedings of the Computational Methods in Systems Biology, 2016

Marginalized Continuous Time Bayesian Networks for Network Reconstruction from Incomplete Observations.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Analyses statiques de la dynamique des réseaux d'automates indéterministes.
Technique et Science Informatiques, 2015

Sufficient conditions for reachability in automata networks with priorities.
Theor. Comput. Sci., 2015

Identification of biological regulatory networks from Process Hitting models.
Theor. Comput. Sci., 2015

Preface.
Electr. Notes Theor. Comput. Sci., 2015

HSIM: A Hybrid Stochastic Simulation System for Systems Biology.
Electr. Notes Theor. Comput. Sci., 2015

Boolean Network Identification from Multiplex Time Series Data.
Proceedings of the Computational Methods in Systems Biology, 2015

2014
Characterization of Reachable Attractors Using Petri Net Unfoldings.
Proceedings of the Computational Methods in Systems Biology, 2014

2013
Under-approximation of Reachability in Multivalued Asynchronous Networks.
Electr. Notes Theor. Comput. Sci., 2013

Under-approximating Cut Sets for Reachability in Large Scale Automata Networks
CoRR, 2013

Dynamical Properties of Discrete Reaction Networks
CoRR, 2013

Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models.
Proceedings of the Computational Methods in Systems Biology, 2013

Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Stochastic simulation of multiple process calculi for biology.
Theor. Comput. Sci., 2012

Static analysis of Biological Regulatory Networks dynamics using abstract interpretation.
Mathematical Structures in Computer Science, 2012

Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey.
Electr. Notes Theor. Comput. Sci., 2012

Concretizing the Process Hitting into Biological Regulatory Networks.
Proceedings of the Computational Methods in Systems Biology, 2012

2011
Modélisation, Simulation et Vérification des Grands Réseaux de Régulation Biologique. (Modelling, Simulation and Verification of Large Biological Regulatory Networks).
PhD thesis, 2011

Tuning Temporal Features within the Stochastic π-Calculus.
IEEE Trans. Software Eng., 2011

Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework.
Trans. Computational Systems Biology, 2011

Abstract Interpretation of Dynamics of Biological Regulatory Networks.
Electr. Notes Theor. Comput. Sci., 2011

2010
Locality sensitive hashing: A comparison of hash function types and querying mechanisms.
Pattern Recognition Letters, 2010

Stochastic Simulation of Process Calculi for Biology
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

A generic abstract machine for stochastic process calculi.
Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010


  Loading...