| Imputation techniques for the reconstruction of missing interconnected data from higher Educational Institutions | 0 | 0.34 | 2021 |
| Website categorization: A formal approach and robustness analysis in the case of e-commerce detection. | 0 | 0.34 | 2020 |
| A Patient-specific Approach for Short-term Epileptic Seizures Prediction through the Analysis of EEG synchronization. | 2 | 0.50 | 2019 |
| Combining Global and Local Strategies to Optimize Parameters in Magnetic Spacecraft Control via Attitude Feedback | 0 | 0.34 | 2019 |
| European Tertiary Education Register (ETER) - Evolution of the Data Quality Approach. | 0 | 0.34 | 2019 |
| Logical Analysis of Data as a tool for the analysis of Probabilistic Discrete Choice Behavior | 1 | 0.35 | 2019 |
| ILP models for the allocation of recurrent workloads upon heterogeneous multiprocessors. | 4 | 0.43 | 2019 |
| Anticipating epileptic seizures through the analysis of EEG synchronization as a data classification problem. | 0 | 0.34 | 2018 |
| A Robust Optimization Approach for Magnetic Spacecraft Attitude Stabilization. | 1 | 0.36 | 2017 |
| On exact and approximate stochastic dominance strategies for portfolio selection. | 6 | 0.47 | 2017 |
| A min-cut approach to functional regionalization, with a case study of the Italian local labour market areas | 2 | 0.38 | 2016 |
| ILP-Based Approaches to Partitioning Recurrent Workloads Upon Heterogeneous Multiprocessors | 6 | 0.48 | 2016 |
| A linear risk-return model for enhanced indexation in portfolio optimization | 5 | 0.45 | 2015 |
| Balancing of agricultural census data by using discrete optimization. | 0 | 0.34 | 2014 |
| A Logic-Based Approach to Polymer Sequence Analysis | 0 | 0.34 | 2010 |
| New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability | 1 | 0.36 | 2008 |
| Solving peptide sequencing as satisfiability | 1 | 0.36 | 2008 |
| A Combinatorial Optimization Approach for Determining Composition and Sequence of Polymers | 0 | 0.34 | 2008 |
| Reformulation of the support set selection problem in the logical analysis of data | 1 | 0.37 | 2007 |
| Error correction for massive datasets | 4 | 0.52 | 2005 |
| On Exact Selection of Minimally Unsatisfiable Subformulae | 12 | 0.72 | 2005 |
| On the orthogonalization of arbitrary Boolean formulae | 1 | 0.39 | 2005 |
| Discrete models for data imputation | 4 | 0.53 | 2004 |
| Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers | 3 | 0.41 | 2004 |
| Solving Error Correction for Large Data Sets by Means of a SAT Solver | 0 | 0.34 | 2003 |
| Approximating minimal unsatisfiable subformulae by means of adaptive core search | 30 | 1.40 | 2003 |
| A complete adaptive algorithm for propositional satisfiability | 0 | 0.34 | 2003 |
| Restoring Satisfiability or Maintaining Unsatisfiability by finding small Unsatisfiable Subformulae | 27 | 1.95 | 2001 |
| Errors Detection and Correction in Large Scale Data Collecting | 13 | 1.29 | 2001 |
| Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances | 3 | 0.71 | 2000 |
