Anne Siegel

Orcid: 0000-0001-6542-1568

According to our database1, Anne Siegel authored at least 51 papers between 2004 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Regulus infers signed regulatory relations from few samples' information using discretization and likelihood constraints.
PLoS Comput. Biol., January, 2024

SPARTA: Interpretable functional classification of microbiomes and detection of hidden cumulative effects.
PLoS Comput. Biol., 2024

A rule-based multiscale model of hepatic stellate cell plasticity: Critical role of the inactivation loop in fibrosis progression.
PLoS Comput. Biol., 2024

CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2022
Discrete modeling for integration and analysis of large-scale signaling networks.
PLoS Comput. Biol., 2022

Improving reusability along the data life cycle: a regulatory circuits case study.
J. Biomed. Semant., 2022

Addressing <i>barriers in comprehensiveness, accessibility, reusability, interoperability and reproducibility of computational models in systems biology</i>.
Briefings Bioinform., 2022

2021
Cyanorak v2.1: a scalable information system dedicated to the visualization and expert curation of marine and brackish picocyanobacteria genomes.
Nucleic Acids Res., 2021

Constructing xenobiotic maps of metabolism to predict enzymes catalyzing metabolites capable of binding to DNA.
BMC Bioinform., 2021

PAX2GRAPHML: a python library for large-scale regulation network analysis using BioPAX.
Bioinform., 2021

Learning Boolean Controls in Regulated Metabolic Networks: A Case-Study.
Proceedings of the Computational Methods in Systems Biology, 2021

2019
Hybrid metabolic network completion.
Theory Pract. Log. Program., 2019

Increasing Life Science Resources Re-Usability using Semantic Web Technologies.
Proceedings of the 15th International Conference on eScience, 2019

2018
Computational discovery of dynamic cell line specific Boolean networks from multiplex time-course data.
PLoS Comput. Biol., 2018

Traceability, reproducibility and wiki-exploration for "à-la-carte" reconstructions of genome-scale metabolic models.
PLoS Comput. Biol., 2018

Scalable and exhaustive screening of metabolic functions carried out by microbial consortia.
Bioinform., 2018

2017
Meneco, a Topology-Based Gap-Filling Tool Applicable to Degraded Genome-Wide Metabolic Networks.
PLoS Comput. Biol., 2017

A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks.
J. Comput. Biol., 2017

caspo: a toolbox for automated reasoning on the response of logical signaling networks families.
Bioinform., 2017

2016
Deciphering transcriptional regulations coordinating the response to environmental changes.
BMC Bioinform., 2016

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

2015
Learning Boolean logic models of signaling networks with ASP.
Theor. Comput. Sci., 2015

Extended notions of sign consistency to relate experimental data to signaling and regulatory network topologies.
BMC Bioinform., 2015

Decidability Problems for Self-induced Systems Generated by a Substitution.
Proceedings of the Machines, Computations, and Universality - 7th International Conference, 2015

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

2014
Connectedness of fractals associated with Arnoux-Rauzy substitutions.
RAIRO Theor. Informatics Appl., 2014

Multivariate Normal Approximation for the Stochastic Simulation Algorithm: Limit Theorem and Applications.
Proceedings of the 5th International Workshop on Static Analysis and Systems Biology, 2014

A combinatorial approach to products of Pisot substitutions.
CoRR, 2014

Using a large-scale knowledge database on reactions and regulations to propose key upstream regulators of various sets of molecules participating in cell metabolism.
BMC Syst. Biol., 2014

Exploring metabolism flexibility in complex organisms through quantitative study of precursor sets for system outputs.
BMC Syst. Biol., 2014

Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2013
Minimal intervention strategies in logical signaling networks with ASP.
Theory Pract. Log. Program., 2013

Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming.
Bioinform., 2013

Extending the Metabolic Network of <i>Ectocarpus Siliculosus</i> Using Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

An ASP Application in Integrative Biology: Identification of Functional Gene Units.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Generating Discrete Planes with Substitutions.
Proceedings of the Combinatorics on Words - 9th International Conference, 2013

2012
Revisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach based on Answer Set Programming
CoRR, 2012

Revisiting the Training of Logic Models of Protein Signaling Networks with ASP.
Proceedings of the Computational Methods in Systems Biology, 2012

2011
Genetically Regulated Metabolic Networks: Gale-Nikaido Modules and Differential Inequalities.
Trans. Comp. Sys. Biology, 2011

Designing Logical Rules to Model the Response of Biomolecular Networks with Complex Interactions: An Application to Cancer Modeling.
IEEE ACM Trans. Comput. Biol. Bioinform., 2011

Integrating Quantitative Knowledge into a Qualitative Gene Regulatory Network.
PLoS Comput. Biol., 2011

Substitutive Arnoux-Rauzy sequences have pure discrete spectrum
CoRR, 2011

2010
Testing, Diagnosing, Repairing, and Predicting from Regulatory Networks and Datasets.
ERCIM News, 2010

Localizing potentially active post-transcriptional regulations in the Ewing's sarcoma gene regulatory network.
BMC Syst. Biol., 2010

Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2009
Method for Relating Inter-patient Gene Copy Numbers Variations with Gene Expression via Gene Influence Networks.
Proceedings of the Workshops of the 5th IFIP Conference on Artificial Intelligence Applications & Innovations (AIAI-2009), 2009

2008
Preface.
RAIRO Theor. Informatics Appl., 2008

Inferring the role of transcription factors in regulatory networks.
BMC Bioinform., 2008

Curating a Large-Scale Regulatory Network by Evaluating Its Consistency with Expression Datasets.
Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2008

Analyse de systèmes dynamiques par discrétisation. Exemples d'applications en théorie des nombres et en biologie moléculaire. (Analyzing dynamical system with discrete approaches. Application in number theory and molecular biology).
, 2008

2004
Two-dimensional iterated morphisms and discrete planes.
Theor. Comput. Sci., 2004


  Loading...