Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances. - Renato Bruni; Antonio Sassano (CP, 2000)

Errors Detection and Correction in Large Scale Data Collecting. - Renato Bruni; Antonio Sassano (IDA, 2001)

Restoring Satisfiability or Maintaining Unsatisfiability by finding small Unsatisfiable Subformulae. - Renato Bruni; Antonio Sassano (Electron. Notes Discret. Math., 2001)

Solving Error Correction for Large Data Sets by Means of a SAT Solver. - Renato Bruni (SAT, 2003)

Approximating minimal unsatisfiable subformulae by means of adaptive core search. - Renato Bruni (Discret. Appl. Math., 2003)

A Complete Adaptive Algorithm for Propositional Satisfiability. - Renato Bruni; Antonio Sassano (Discret. Appl. Math., 2003)

Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers. - Renato Bruni; Andrea Santori (SAT, 2004)

Discrete models for data imputation. - Renato Bruni (Discret. Appl. Math., 2004)

On exact selection of minimally unsatisfiable subformulae. - Renato Bruni (Ann. Math. Artif. Intell., 2005)

On the orthogonalization of arbitrary Boolean formulae. - Renato Bruni (Adv. Decis. Sci., 2005)

Error correction for massive datasets. - Renato Bruni (Optim. Methods Softw., 2005)

Reformulation of the support set selection problem in the logical analysis of data. - Renato Bruni (Ann. Oper. Res., 2007)

A Combinatorial Optimization Approach for Determining Composition and Sequence of Polymers. - Renato Bruni (Algorithmic Oper. Res., 2008)

Solving peptide sequencing as satisfiability. - Renato Bruni (Comput. Math. Appl., 2008)

New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability. - Renato Bruni; Andrea Santori (Discret. Optim., 2008)

A Logic-Based Approach to Polymer Sequence Analysis. - Renato Bruni (J. Math. Model. Algorithms, 2010)

Complete and Exact Peptide Sequence Analysis Based on Propositional Logic. - Renato Bruni (Mathematical Approaches to Polymer Sequence Analysis and Related Problems, 2011)

Balancing of agricultural census data by using discrete optimization. - Gianpiero Bianchi; Renato Bruni; Alessandra Reale (Optim. Lett., 2014)

A linear risk-return model for enhanced indexation in portfolio optimization. - Renato Bruni; Francesco Cesarone; Andrea Scozzari; Fabio Tardella (OR Spectr., 2015)

Effective Classification Using a Small Training Set Based on Discretization and Statistical Analysis. - Renato Bruni; Gianpiero Bianchi (IEEE Trans. Knowl. Data Eng., 2015)

ILP-Based Approaches to Partitioning Recurrent Workloads Upon Heterogeneous Multiprocessors. - Sanjoy K. Baruah; Vincenzo Bonifaci; Renato Bruni; Alberto Marchetti-Spaccamela (ECRTS, 2016)

A min-cut approach to functional regionalization, with a case study of the Italian local labour market areas. - Gianpiero Bianchi; Renato Bruni; Alessandra Reale; Fabio Sforzi (Optim. Lett., 2016)

On exact and approximate stochastic dominance strategies for portfolio selection. - Renato Bruni; Francesco Cesarone; Andrea Scozzari; Fabio Tardella (Eur. J. Oper. Res., 2017)

A Robust Optimization Approach for Magnetic Spacecraft Attitude Stabilization. - Renato Bruni; Fabio Celani (J. Optim. Theory Appl., 2017)

Anticipating epileptic seizures through the analysis of EEG synchronization as a data classification problem. - Paolo Detti; Garazi Zabalo Manrique de Lara; Renato Bruni; Marco Pranzo; Francesco Sarnari (CoRR, 2018)

The corporate identity of Italian Universities on the Web: a webometrics approach. - Gianpiero Bianchi; Renato Bruni; Antonio Laureti Palma; Giulio Perani; Francesco Scalfati (ISSI, 2019)

Characterizing the Heterogeneity of European Higher Education Institutions Combining Cluster and Efficiency Analyses. - Renato Bruni; Giuseppe Catalano; Cinzia Daraio; Martina Gregori; Henk F. Moed (ISSI, 2019)

European Tertiary Education Register (ETER): Evolution of the Data Quality Approach. - Cinzia Daraio; Renato Bruni; Giuseppe Catalano; Giorgio Matteucci; Alessandro Daraio; Monica Scannapieco; Daniel Wagner-Schuster; Benedetto Lepori (ISSI, 2019)

Logical Analysis of Data as a tool for the analysis of Probabilistic Discrete Choice Behavior. - Renato Bruni; Gianpiero Bianchi; Cosimo Dolente; Claudio Leporelli (Comput. Oper. Res., 2019)

Combining Global and Local Strategies to Optimize Parameters in Magnetic Spacecraft Control via Attitude Feedback. - Renato Bruni; Fabio Celani (J. Optim. Theory Appl., 2019)

ILP models for the allocation of recurrent workloads upon heterogeneous multiprocessors. - Sanjoy K. Baruah; Vincenzo Bonifaci; Renato Bruni; Alberto Marchetti-Spaccamela (J. Sched., 2019)

A Patient-Specific Approach for Short-Term Epileptic Seizures Prediction Through the Analysis of EEG Synchronization. - Paolo Detti; Garazi Zabalo Manrique de Lara; Renato Bruni; Marco Pranzo; Francesco Sarnari; Giampaolo Vatti (IEEE Trans. Biomed. Eng., 2019)

Website categorization: A formal approach and robustness analysis in the case of e-commerce detection. - Renato Bruni; Gianpiero Bianchi (Expert Syst. Appl., 2020)

Exploring the Potentialities of Automatic Extraction of University Webometric Information. - Gianpiero Bianchi; Renato Bruni; Cinzia Daraio; Antonio Laureti Palma; Giulio Perani; Francesco Scalfati (J. Data Inf. Sci., 2020)

A Tailor-made Data Quality Approach for Higher Educational Data. - Cinzia Daraio; Renato Bruni; Giuseppe Catalano; Alessandro Daraio; Giorgio Matteucci; Monica Scannapieco; Daniel Wagner-Schuster; Benedetto Lepori (J. Data Inf. Sci., 2020)

Studying the heterogeneity of European higher education institutions. - Renato Bruni; Giuseppe Catalano; Cinzia Daraio; Martina Gregori; Henk F. Moed (Scientometrics, 2020)

Minimum-Time Spacecraft Attitude Motion Planning Using Objective Alternation in Derivative-Free Optimization. - Fabio Celani; Renato Bruni (J. Optim. Theory Appl., 2021)

Imputation techniques for the reconstruction of missing interconnected data from higher Educational Institutions. - Renato Bruni; Cinzia Daraio; Davide Aureli (Knowl. Based Syst., 2021)

Hyperparameter Black-Box Optimization to Improve the Automatic Classification of Support Tickets. - Renato Bruni; Gianpiero Bianchi; Pasquale Papa (Algorithms, 2023)

Flexible Techniques to Detect Typical Hidden Errors in Large Longitudinal Datasets. - Renato Bruni; Cinzia Daraio; Simone Di Leo (Symmetry, 2024)