The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Loïc Paulevé" ( http://dblp.L3S.de/Authors/Loïc_Paulevé )

URL (Homepage):  http://loicpauleve.name/  Author page on DBLP  Author page in RDF  Community of Loïc Paulevé in ASPL-2

Publication years (Num. hits)
2010-2013 (16) 2014-2016 (16) 2017-2019 (17)
Publication types (Num. hits)
article(31) inproceedings(17) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 50 publication records. Showing 49 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Hugues Mandon, Cui Su, Jun Pang 0001, Soumya Paul, Stefan Haar, Loïc Paulevé Algorithms for the Sequential Reprogramming of Boolean Networks. Search on Bibsonomy IEEE/ACM Trans. Comput. Biology Bioinform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jérôme Feret, Loïc Paulevé, David Safránek Preface. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé Parameter space abstraction and unfolding semantics of discrete regulatory networks. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stéphanie Chevalier, Christine Froidevaux, Loïc Paulevé, Andrei Zinovyev Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar Concurrency in Boolean networks. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Hugues Mandon, Cui Su, Stefan Haar, Jun Pang 0001, Loïc Paulevé Sequential Reprogramming of Boolean Networks Made Practical. Search on Bibsonomy CMSB The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefan Haar, Juraj Kolcák, Loïc Paulevé Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé Unfolding of Parametric Boolean Networks. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis. Search on Bibsonomy IEEE/ACM Trans. Comput. Biology Bioinform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Haar, Juraj Kolcák, Loïc Paulevé Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Thomas Chatain, Stefan Haar, Loïc Paulevé Most Permissive Semantics of Boolean Networks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Thomas Chatain, Stefan Haar, Loïc Paulevé Boolean Networks: Beyond Generalized Asynchronicity. Search on Bibsonomy Automata The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Louis Fippo Fitime, Olivier F. Roux, Carito Guziolowski, Loïc Paulevé Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming. Search on Bibsonomy Algorithms for Molecular Biology The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Chatain, Loïc Paulevé Goal-Driven Unfolding of Petri Nets. Search on Bibsonomy CONCUR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hugues Mandon, Stefan Haar, Loïc Paulevé Temporal Reprogramming of Boolean Networks. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé, Nathalie Théret Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming. Search on Bibsonomy Biosystems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hugues Mandon, Stefan Haar, Loïc Paulevé Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Loïc Paulevé Goal-Oriented Reduction of Automata Networks. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Chatain, Loïc Paulevé Goal-Driven Unfolding of Petri Nets. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Adrien Rougny, Christine Froidevaux, Laurence Calzone, Loïc Paulevé Qualitative dynamics semantics for SBGN process description. Search on Bibsonomy BMC Systems Biology The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lukas Studer, Loïc Paulevé, Christoph Zechner, Matthias Reumann, María Rodríguez Martínez, Heinz Koeppl Marginalized Continuous Time Bayesian Networks for Network Reconstruction from Incomplete Observations. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Hugues Mandon, Stefan Haar, Loïc Paulevé Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph. Search on Bibsonomy HSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé Goal-Oriented Reduction of Automata Networks. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Patrick Amar, Loïc Paulevé HSIM: A Hybrid Stochastic Simulation System for Systems Biology. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé, Heinz Koeppl Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé, Maxime Folschette, Morgan Magnin, Olivier F. Roux Analyses statiques de la dynamique des réseaux d'automates indéterministes. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux Sufficient conditions for reachability in automata networks with priorities. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux Identification of biological regulatory networks from Process Hitting models. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski Boolean Network Identification from Multiplex Time Series Data. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon Characterization of Reachable Attractors Using Petri Net Unfoldings. Search on Bibsonomy CMSB The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux Under-approximation of Reachability in Multivalued Asynchronous Networks. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé, Gheorghe Craciun, Heinz Koeppl Dynamical Properties of Discrete Reaction Networks Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl Under-approximating Cut Sets for Reachability in Large Scale Automata Networks Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Klann, Loïc Paulevé, Tatjana Petrov, Heinz Koeppl Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models. Search on Bibsonomy CMSB The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé, Adrien Richard Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé, Morgan Magnin, Olivier F. Roux Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthew R. Lakin, Loïc Paulevé, Andrew Phillips Stochastic simulation of multiple process calculi for biology. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux Concretizing the Process Hitting into Biological Regulatory Networks. Search on Bibsonomy CMSB The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé, Morgan Magnin, Olivier F. Roux Abstract Interpretation of Dynamics of Biological Regulatory Networks. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé, Morgan Magnin, Olivier F. Roux Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework. Search on Bibsonomy Trans. Computational Systems Biology The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé, Morgan Magnin, Olivier F. Roux Tuning Temporal Features within the Stochastic π-Calculus. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé Modélisation, Simulation et Vérification des Grands Réseaux de Régulation Biologique. (Modelling, Simulation and Verification of Large Biological Regulatory Networks). Search on Bibsonomy 2011   RDF
1Loïc Paulevé, Hervé Jégou, Laurent Amsaleg Locality sensitive hashing: A comparison of hash function types and querying mechanisms. Search on Bibsonomy Pattern Recognition Letters The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andrew Phillips, Matthew R. Lakin, Loïc Paulevé Stochastic Simulation of Process Calculi for Biology Search on Bibsonomy MeCBIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips A generic abstract machine for stochastic process calculi. Search on Bibsonomy CMSB The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #49 of 49 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license