Anne Siegel
Orcid: 0000-0001-6542-1568
According to our database1,
Anne Siegel
authored at least 49 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Regulus infers signed regulatory relations from few samples' information using discretization and likelihood constraints.
PLoS Comput. Biol., January, 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
PLoS Comput. Biol., 2022
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
Proceedings of the Computational Methods in Systems Biology, 2021
2019
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
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
Theor. Comput. Sci., 2015
Extended notions of sign consistency to relate experimental data to signaling and regulatory network topologies.
BMC Bioinform., 2015
Proceedings of the Machines, Computations, and Universality - 7th International Conference, 2015
Proceedings of the Computational Methods in Systems Biology, 2015
2014
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
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
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
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
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
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
PLoS Comput. Biol., 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
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