JUICE: a data management system that facilitates the analysis of large volumes of information in an EST project workflow. - Mariano Latorre; Herman Silva; Juan Saba; Carito Guziolowski; Paula Vizoso; Veronica Martinez; Jonathan Maldonado; Andrea Morales; Rodrigo Caroca; Veronica Cambiazo; Reinaldo Campos-Vargas; Mauricio Gonzalez; et al. (BMC Bioinform., 2006)

Mapping sequences by parts. - Gilles Didier; Carito Guziolowski (Algorithms Mol. Biol., 2007)

Curating a Large-Scale Regulatory Network by Evaluating Its Consistency with Expression Datasets. - Carito Guziolowski; Jeremy Gruel; Ovidiu Radulescu; Anne Siegel (CIBB, 2008)

Inferring the role of transcription factors in regulatory networks. - Philippe Veber; Carito Guziolowski; Michel Le Borgne; Ovidiu Radulescu; Anne Siegel (BMC Bioinform., 2008)

Method for Relating Inter-patient Gene Copy Numbers Variations with Gene Expression via Gene Influence Networks. - Sylvain Blachon; Gautier Stoll; Carito Guziolowski; Andrei Yu. Zinovyev; Emmanuel Barillot; Anne Siegel; Ovidiu Radulescu (AIAI (Workshops), 2009)

Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. - Martin Gebser; Carito Guziolowski; Mihail Ivanchev; Torsten Schaub; Anne Siegel; Sven Thiele; Philippe Veber (KR, 2010)

Analysis of Large-Scale Biological Networks with Constraint-Based Approaches over Static Models. - Carito Guziolowski (2010)

Designing Logical Rules to Model the Response of Biomolecular Networks with Complex Interactions: An Application to Cancer Modeling. - Carito Guziolowski; Sylvain Blachon; Tatiana Baumuratova; Gautier Stoll; Ovidiu Radulescu; Anne Siegel (IEEE ACM Trans. Comput. Biol. Bioinform., 2011)

Revisiting the Training of Logic Models of Protein Signaling Networks with ASP. - Santiago Videla; Carito Guziolowski; Federica Eduati; Sven Thiele; Niels Grabe; Julio Saez-Rodriguez; Anne Siegel (CMSB, 2012)

Revisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach based on Answer Set Programming - Santiago Videla; Carito Guziolowski; Federica Eduati; Sven Thiele; Niels Grabe; Julio Saez-Rodriguez; Anne Siegel (CoRR, 2012)

Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming. - Carito Guziolowski; Santiago Videla; Federica Eduati; Sven Thiele; Thomas Cokelaer; Anne Siegel; Julio Saez-Rodriguez (Bioinform., 2013)

Boolean Network Identification from Multiplex Time Series Data. - Max Ostrowski; Loïc Paulevé; Torsten Schaub; Anne Siegel; Carito Guziolowski (CMSB, 2015)

Integrating Time-Series Data in Large-Scale Discrete Cell-Based Models. - Louis Fippo Fitime; Christian Schuster; Peter Angel; Olivier Roux 001; Carito Guziolowski (HSB, 2015)

Extended notions of sign consistency to relate experimental data to signaling and regulatory network topologies. - Sven Thiele; Luca Cerone; Julio Saez-Rodriguez; Anne Siegel; Carito Guziolowski; Steffen Klamt (BMC Bioinform., 2015)

Learning Boolean logic models of signaling networks with ASP. - Santiago Videla; Carito Guziolowski; Federica Eduati; Sven Thiele; Martin Gebser; Jacques Nicolas; Julio Saez-Rodriguez; Torsten Schaub; Anne Siegel (Theor. Comput. Sci., 2015)

Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming. - Max Ostrowski; Loïc Paulevé; Torsten Schaub; Anne Siegel; Carito Guziolowski (Biosyst., 2016)

Deciphering transcriptional regulations coordinating the response to environmental changes. - Vicente Acuña; Andrés Aravena; Carito Guziolowski; Damien Eveillard; Anne Siegel; Alejandro Maass (BMC Bioinform., 2016)

Constraints On Signaling Networks Logic Reveal Functional Subgraphs On Multiple Myeloma OMIC Data. - Bertrand Miannay; Stéphane Minvielle; Olivier Roux 001; Florence Magrangeas; Carito Guziolowski (BCB, 2017)

Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming. - Louis Fippo Fitime; Olivier F. Roux; Carito Guziolowski; Loïc Paulevé (Algorithms Mol. Biol., 2017)

caspo: a toolbox for automated reasoning on the response of logical signaling networks families. - Santiago Videla; Julio Saez-Rodriguez; Carito Guziolowski; Anne Siegel (Bioinform., 2017)

Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data. - Misbah Razzaq; Roland Kaminski; Javier Romero 003; Torsten Schaub; Jérémie Bourdon; Carito Guziolowski (CMSB, 2018)

Discriminate the response of Acute Myeloid Leukemia patients to treatment by using proteomics data and Answer Set Programming. - Lokmane Chebouba; Bertrand Miannay; Dalila Boughaci; Carito Guziolowski (BMC Bioinform., 2018)

Constraints on signaling network logic reveal functional subgraphs on Multiple Myeloma OMIC data. - Bertrand Miannay; Stéphane Minvielle; Florence Magrangeas; Carito Guziolowski (BMC Syst. Biol., 2018)

Proteomics Versus Clinical Data and Stochastic Local Search Based Feature Selection for Acute Myeloid Leukemia Patients' Classification. - Lokmane Chebouba; Dalila Boughaci; Carito Guziolowski (J. Medical Syst., 2018)

Computational discovery of dynamic cell line specific Boolean networks from multiplex time-course data. - Misbah Razzaq; Loïc Paulevé; Anne Siegel; Julio Saez-Rodriguez; Jérémie Bourdon; Carito Guziolowski (PLoS Comput. Biol., 2018)

Logic and Linear Programs to Understand Cancer Response. - Misbah Razzaq; Lokmane Chebouba; Pierre Le Jeune; Hanen Mhamdi; Carito Guziolowski; Jérémie Bourdon (Automated Reasoning for Systems Biology and Medicine, 2019)

Comparing Probabilistic and Logic Programming Approaches to Predict the Effects of Enzymes in a Neurodegenerative Disease Model. - Sophie Le Bars; Jérémie Bourdon; Carito Guziolowski (CMSB, 2020)

A pipeline to create predictive functional networks: application to the tumor progression of hepatocellular carcinoma. - Maxime Folschette; Vincent Legagneux; Arnaud Poret; Lokmane Chebouba; Carito Guziolowski; Nathalie Théret (BMC Bioinform., 2020)

Large-scale regulatory and signaling network assembly through linked open data. - Marie Lefebvre; Alban Gaignard; Maxime Folschette; Jérémie Bourdon; Carito Guziolowski (Database J. Biol. Databases Curation, 2021)

Inferring Boolean Networks from Single-Cell Human Embryo Datasets. - Mathieu Bolteau; Jérémie Bourdon; Laurent David; Carito Guziolowski (ISBRA, 2023)

Predicting weighted unobserved nodes in a regulatory network using answer set programming. - Sophie Le Bars; Mathieu Bolteau; Jérémie Bourdon; Carito Guziolowski (BMC Bioinform., 2023)

Modeling Biological Networks as Logic Programs. (Modélisation de réseaux biologiques à l'aide des programmes logiques). - Carito Guziolowski (2024)

Boolean Network Models of Human Preimplantation Development. - Mathieu Bolteau; Lokmane Chebouba; Laurent David; Jérémie Bourdon; Carito Guziolowski (J. Comput. Biol., 2024)