Renato BRUNI

Professore associato


email: renato.bruni@uniroma1.it
telefono: +39 06 77274089
edificio: DIAG
stanza: A119

Renato Bruni è attualmente Professore Associato presso il “Dipartimento di Ingegneria Informatica Automatica e Gestionale” dell’Università di Roma “Sapienza” e docente nel corso di Laurea in “Ingegneria Gestionale”.

Temi di Ricerca L’attività scientifica svolta si colloca nell’ambito dell’Ottimizzazione Discreta, della Programmazione Logica e della Bioinformatica, e risulta focalizzata su aspetti sia algoritmici, sia computazionali, sia modellistici. In particolare, si individuando i seguenti argomenti di ricerca: Satisfiability e studio di Formule Logiche, Data Mining e Ricostruzione di Informazione corrotta, Ottimizzazione di Portafoglio, Biologia computazionale, Problemi di Instradamento, Problemi di Scheduling. È autore di più di 80 pubblicazioni su riviste internazionali o atti di conferenze internazionali e di un brevetto.

Istruzione, Abilitazioni ed Esiti di Valutazioni Comparative • Abilitato come Professore di seconda fascia nella Repubblica Italiana per effetto della procedura di Abilitazione Scientifica Nazionale 2013 per il settore concorsuale 01/A6 (Ricerca Operativa) • Vincitore di procedura di selezione comparativa indetta dall’Università degli Studi di Roma “Sapienza” per 1 posto di Ricercatore a tempo indeterminato SSD MAT/09 (Ricerca Operativa), Nov. 2011. • Dichiarato idoneo nella procedura di selezione comparativa indetta dal CNR con bando 364.96 per ricercatore III livello professionale Area Scientifica A.1 “scienze matematiche”, Luglio 2011. • Vincitore di procedura di selezione comparativa indetta dell’Istituto Nazionale di Statistica (Istat) per il profilo di Tecnologo III livello professionale Area Informatica, Apr. 2010. • Abilitato come “Maître de Conférence” nella Repubblica Francese per le sezioni (i)“Mathématiques appliquées et applications des mathématiques”; (ii) “Informatique”; (iii) “Génie informatique, automatique et traitement du signal” nel 2007. • Vincitore di procedura di selezione comparativa indetta dall’Università degli Studi di Perugia per 1 posto di Ricercatore a tempo determinato SSD MAT/09 (Ricerca Operativa), Dic. 2004. • Conseguito il Dottorato di Ricerca in “Ricerca Operativa” presso l’Università di Roma "Sapienza" nel 2001. • Completato il Corso di Perfezionamento post-lauream “Metodi matematici per l’analisi, il controllo e l’ottimizzazione dei Sistemi” presso l’Università di Roma "Sapienza", nel 1998. • Abilitato per la professione di Ingegnere nel 1997. • Conseguito la Laurea in Ingegneria Informatica presso l’Università di Roma "Sapienza" nel 1996.

Posizioni Ricoperte e Attività Professionale • Responsabile scientifico della Ricerca “Tecniche di Ottimizzazione Combinatoria per la risoluzione di problemi di Data Mining in campo Economico-Gestionale”, Progetto di Ricerca medio dell’Università di Roma "Sapienza", iniziato nel Gennaio 2017. • Responsabile scientifico del Progetto di Ricerca di Ateneo Sapienza dal titolo “Tecniche di Data Mining efficienti, robuste e basate sull’ottimizzazione per la risoluzione di problemi di Classificazione e Selezione di Investimenti”, Dic. 2014 - Mag. 2016. • Responsabile scientifico del Progetto di Ricerca di Ateneo Sapienza dal titolo “Modelli Robusti di Ottimizzazione Lineare e Intera per Problemi di Data Mining”, Dic. 2013 - Mag. 2015. • Coordinatore della ricerca nel corso di tre convenzioni per attività di ricerca stipulate tra Istat e Univ. Sapienza dal 2001 al 2012. L’attività di tale gruppo ha portato allo sviluppo di tecniche innovative basate sulla Programmazione Lineare Intera che sono state utilizzate per il trattamento di dati del Censimento della Popolazione Italiana 2001, del Censimento dell’Agricoltura Italiana 2010, del Censimento della Popolazione Italiana 2011. • Titolare di Assegno di Ricerca presso il “Dipartimento di Metodi e Modelli per l’Economia, il Territorio e la Finanza” dell’Università di Roma “Sapienza” nel 2011. • Consulente per la Teletu S.p.A. sui temi di Data Mining e apprendimento automatico per problemi inerenti alla gestione delle linee, Giu. 2011 - Nov. 2011. • Collaboratore scientifico dell’Office of Telecommunications Adjudicator Italiano (OTA-Italia) istituito dall’Autorità per le Garanzie nelle Comunicazioni (AGCOM) per svolgere attività di ricerca metodologica avente lo scopo di definire e proporre algoritmi di classificazione automatica specifici per i dati relativi alla gestione delle linee, Gen. 2011 - Giu. 2011. • Titolare di diversi incarichi di collaborazione su attività di ricerca con il “Dipartimento di Informatica e Sistemistica A. Ruberti” dell’Università di Roma “Sapienza” nel periodo dal 2001 al 2010. • Ricercatore a tempo determinato presso il “Dipartimento di Ingegneria Elettronica e dell'Informazione” dell'Università degli Studi di Perugia, dal 2005 al 2009. • Titolare di Assegno di Ricerca presso il Dipartimento di Informatica e Sistemistica “A. Ruberti” dell’Università di Roma “Sapienza” dal 2002 al 2004.

Attività Didattica • Docente dal 2011 ad oggi del corso di “Ottimizzazione Combinatoria” per il corso di Laurea in Ingegneria Gestionale dell’Università di Roma "Sapienza". • Docente dal 2003 al 2012 del corso di “Ricerca Operativa” per il corso di Laurea in Ingegneria dell’Informazione dell’Università di Roma "Sapienza". • Docente dal 2004 al 2009 del corso di “Metodi di Supporto alle Decisioni” per il corso di Laurea in Ingegneria Gestionale dell’Università di Perugia e dal 2003 al 2008 del corso di “Ricerca Operativa” per lo stesso corso di Laurea. • Docente dal 2011 al 2012 oggi del corso di “Ottimizzazione Combinatoria 2” per il corso di Laurea Magistrale in Ingegneria Gestionale dell’Università di Roma "Sapienza". • Membro dal 2005 del Collegio dei Docenti del Dottorato in “Ricerca Operativa” dell’Università di Roma “La Sapienza”, attualmente Dottorato in "Automatica, Bioingegneria e Ricerca Operativa".

Altro • Editor della monografia “Mathematical Approaches to Polymer Sequence Analysis and Related Problems”, pubblicato da Springer, New York, attività svolta da Apr. 2009 a Gen. 2011. • Referee per numerose riviste internazionali. • Visiting presso la Rutgers University, Piscataway, New Jersey, per attività di ricerca su Orthogonalization of a Boolean Function, in collaborazione con i proff. P. L. Hammer ed E. Boros. • Membro di Program Committee in varie occasioni. • Relatore invitato, Session Chair e/o Organizer in diverse occasioni. • Ingegnere iscritto dal 1998 all’Ordine degli ingegneri di Roma sezione A (senior) per i settori: (i) civile e ambientale; (ii) industriale; (iii) dell’informazione.

Produzione scientifica

11573/1675245 - 2023 - Hyperparameter Black-Box Optimization to Improve the Automatic Classification of Support Tickets
Bruni, R; Bianchi, G; Papa, P - 01a Articolo in rivista
rivista: ALGORITHMS (Molecular Diversity Preservation Int. (Basel, Switzerland)) pp. 46- - issn: 1999-4893 - wos: WOS:000914272900001 (1) - scopus: 2-s2.0-85146648912 (1)

11573/1685471 - 2023 - An integrated dataset providing a landscape of the Italian Universities
Bruni, Renato; Daraio, Cinzia; Di Leo, Simone; Ghamiloo, Omid; Bianchi, Gianpiero - 01a Articolo in rivista
rivista: DATA IN BRIEF (New York : Elsevier Inc.) pp. 109163- - issn: 2352-3409 - wos: WOS:000989060700001 (0) - scopus: 2-s2.0-85153277849 (0)

11573/1484860 - 2021 - Optimization methods for the imputation of missing values in Educational Institutions Data
Aureli, D.; Bruni, R.; Daraio, C. - 01a Articolo in rivista
rivista: METHODSX (AMSTERDAM) (Amsterdam : Elsevier B.V.) pp. - - issn: 2215-0161 - wos: WOS:000707188200002 (0) - scopus: 2-s2.0-85098952593 (0)

11573/1466366 - 2021 - Information reconstruction in educational institutions data from the European tertiary education registry
Bruni, Renato; Daraio, Cinzia; Aureli, Davide - 01a Articolo in rivista
rivista: DATA IN BRIEF (New York : Elsevier Inc.) pp. - - issn: 2352-3409 - wos: WOS:000617525400006 (1) - scopus: 2-s2.0-85097759109 (1)

11573/1540199 - 2021 - Minimum-Time Spacecraft Attitude Motion Planning Using Objective Alternation in Derivative-Free Optimization
Celani, F.; Bruni, R. - 01a Articolo in rivista
rivista: JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS (Plenum Press:Book Customer Service, 233 Spring Street:New York, NY 10013:(212)620-8471, (212)620-8000, EMAIL: info@plenum.com, INTERNET: http://www.plenum.com, Fax: (212)807-1047) pp. 1-18 - issn: 0022-3239 - wos: WOS:000626813100001 (5) - scopus: 2-s2.0-85102345247 (6)

11573/1466378 - 2020 - Exploring the Potentialities of Automatic Extraction of University Webometric Information
Bianchi, Gianpiero; Bruni, Renato; Daraio, Cinzia; Laureti Palma, Antonio; Perani, Giulio; Scalfati, Francesco - 01a Articolo in rivista
rivista: JOURNAL OF DATA AND INFORMATION SCIENCE (Warsaw: De Gruyter Poland) pp. 43-55 - issn: 2543-683X - wos: WOS:000595040100005 (2) - scopus: 2-s2.0-85097864869 (3)

11573/1328415 - 2020 - Website categorization: A formal approach and robustness analysis in the case of e-commerce detection
Bruni, R.; Bianchi, G. - 01a Articolo in rivista
rivista: EXPERT SYSTEMS WITH APPLICATIONS (Oxford, United Kingdom: Elsevier Science Limited) pp. - - issn: 0957-4174 - wos: WOS:000498755200012 (18) - scopus: 2-s2.0-85073557026 (27)

11573/1466370 - 2020 - Studying the heterogeneity of European higher education institutions
Bruni, R.; Catalano, G.; Daraio, C.; Gregori, M.; Moed, H. F. - 01a Articolo in rivista
rivista: SCIENTOMETRICS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 1117-1144 - issn: 0138-9130 - wos: WOS:000582830200003 (9) - scopus: 2-s2.0-85094672544 (11)

11573/1466386 - 2020 - Imputation techniques for the reconstruction of missing interconnected data from higher Educational Institutions
Bruni, R.; Daraio, C.; Aureli, D. - 01a Articolo in rivista
rivista: KNOWLEDGE-BASED SYSTEMS (Butterworth Heinemann Publishers:Linacre House Jordan Hill, Oxford OX2 8DP United Kingdom:011 44 1865 314569, EMAIL: bhmarketing@repp.co.uk, INTERNET: http://www.laxtonsprices.co.uk, Fax: 011 44 1865 314569) pp. 106512- - issn: 0950-7051 - wos: WOS:000604529100008 (6) - scopus: 2-s2.0-85095841506 (10)

11573/1466374 - 2020 - A Tailor-made Data Quality Approach for Higher Educational Data
Daraio, C.; Bruni, R.; Catalano, G.; Daraio, A.; Matteucci, G.; Scannapieco, M.; Wagner-Schuster, D.; Lepori, B. - 01a Articolo in rivista
rivista: JOURNAL OF DATA AND INFORMATION SCIENCE (Warsaw: De Gruyter Poland) pp. 129-160 - issn: 2543-683X - wos: WOS:000559380200010 (9) - scopus: 2-s2.0-85088580660 (11)

11573/1282547 - 2019 - ILP models for the allocation of recurrent workloads upon heterogeneous multiprocessors
Baruah, S. K.; Bonifaci, V.; Bruni, R.; Marchetti-Spaccamela, A. - 01a Articolo in rivista
rivista: JOURNAL OF SCHEDULING (DORDRECHT:SPRINGER. Chichester, England: Wiley.) pp. 195-209 - issn: 1094-6136 - wos: WOS:000467126900006 (14) - scopus: 2-s2.0-85058638695 (17)

11573/1384366 - 2019 - The corporate identity of Italian Universities on the Web: A webometrics approach
Bianchi, G.; Bruni, R.; Palma, A. L.; Perani, G.; Scalfati, F. - 04b Atto di convegno in volume
congresso: 17th International Conference on Scientometrics and Informetrics, ISSI 2019 (Roma; Italy)
libro: 17th International Conference on Scientometrics and Informetrics, ISSI 2019 - Proceedings - ()

11573/1350529 - 2019 - Characterizing the heterogeneity of European higher education institutions combining cluster and efficiency analyses
Bruni, R.; Catalano, G.; Daraio, C.; Gregori, M.; Moed, H. F. - 04b Atto di convegno in volume
congresso: 17th International Conference on Scientometrics and Informetrics, ISSI 2019 (Sapienza University of Rome, ita)
libro: 17th International Conference on Scientometrics and Informetrics, ISSI 2019. With a Special STI Indicators Conference Track - (978-88-3381-118-5)

11573/1282530 - 2019 - Combining Global and Local Strategies to Optimize Parameters in Magnetic Spacecraft Control via Attitude Feedback
Bruni, R.; Celani, F. - 01a Articolo in rivista
rivista: JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS (Plenum Press:Book Customer Service, 233 Spring Street:New York, NY 10013:(212)620-8471, (212)620-8000, EMAIL: info@plenum.com, INTERNET: http://www.plenum.com, Fax: (212)807-1047) pp. 997-1014 - issn: 0022-3239 - wos: WOS:000468278800014 (5) - scopus: 2-s2.0-85062031214 (5)

11573/1119174 - 2019 - Logical analysis of data as a tool for the analysis of probabilistic discrete choice behavior
Bruni, Renato; Bianchi, Gianpiero; Dolente, Cosimo; Leporelli, Claudio - 01a Articolo in rivista
rivista: COMPUTERS & OPERATIONS RESEARCH (Elsevier Science Limited:Oxford Fulfillment Center, PO Box 800, Kidlington Oxford OX5 1DX United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: asianfo@elsevier.com, tcb@elsevier.co.UK, INTERNET: http://www.elsevier.com, http://www.elsevier.com/locate/shpsa/, Fax: 011 44 1865 843010) pp. 191-201 - issn: 0305-0548 - wos: WOS:000466620800017 (10) - scopus: 2-s2.0-85046864071 (13)

11573/1381740 - 2019 - European Tertiary Education Register (ETER): Evolution of the data quality approach
Daraio, C.; Bruni, R.; Catalano, G.; Daraio, A.; Matteucci, G.; Scannapieco, M.; Wagner-Schuster, D.; Lepori, B. - 04b Atto di convegno in volume
congresso: 17th International Conference on Scientometrics and Informetrics, ISSI 2019 (Roma; Italy)
libro: 17th International Conference on Scientometrics and Informetrics, ISSI 2019 - Proceedings - ()

11573/1180287 - 2019 - A Patient-specific Approach for Short-term Epileptic Seizures Prediction through the Analysis of EEG synchronization
Detti, Paolo; Zabalo Manrique De Lara, Garazi; Bruni, Renato; Pranzo, Marco; Sarnari, Francesco; Vatti, Giampaolo - 01a Articolo in rivista
rivista: IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 1494-1504 - issn: 0018-9294 - wos: WOS:000468432000001 (32) - scopus: 2-s2.0-85054670490 (41)

11573/1164997 - 2018 - Identifying e-Commerce in Enterprises by means of Text Mining and Classification Algorithms
Bianchi, Gianpiero; Bruni, Renato; Scalfati, Francesco - 01a Articolo in rivista
rivista: MATHEMATICAL PROBLEMS IN ENGINEERING (Hindawi Publishing Corporation:PO Box 3079:Cuyahoga Falls, OH 44223:EMAIL: orders@hindawi.com, INTERNET: http://www.hindawi.com, Fax: (215)893-4392 Editore precedente:Gordon and Breach Publishers.) pp. 1-8 - issn: 1024-123X - wos: WOS:000441922900001 (9) - scopus: 2-s2.0-85053072197 (14)

11573/934460 - 2017 - Stock Market Index Data and indicators for Day Trading as a Binary Classification problem
Bruni, Renato - 01a Articolo in rivista
rivista: DATA IN BRIEF (New York : Elsevier Inc.) pp. 569-575 - issn: 2352-3409 - wos: WOS:000453159700094 (13) - scopus: 2-s2.0-85013848193 (16)

11573/1072513 - 2017 - A robust optimization approach for magnetic spacecraft attitude stabilization
Bruni, Renato; Celani, Fabio - 01a Articolo in rivista
rivista: JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS (Plenum Press:Book Customer Service, 233 Spring Street:New York, NY 10013:(212)620-8471, (212)620-8000, EMAIL: info@plenum.com, INTERNET: http://www.plenum.com, Fax: (212)807-1047) pp. 994-1012 - issn: 0022-3239 - wos: WOS:000401933000014 (9) - scopus: 2-s2.0-84995532234 (15)

11573/1091776 - 2017 - On exact and approximate stochastic dominance strategies for portfolio selection
Bruni, Renato; Cesarone, Francesco; Scozzari, Andrea; Tardella, Fabio - 01a Articolo in rivista
rivista: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 322-329 - issn: 0377-2217 - wos: WOS:000393530000026 (48) - scopus: 2-s2.0-85006078287 (50)

11573/901327 - 2016 - ILP-based approaches to partitioning recurrent workloads upon heterogeneous multiprocessors
Baruah, Sanjoy K.; Bonifaci, Vincenzo; Bruni, Renato; Marchetti Spaccamela, Alberto - 04b Atto di convegno in volume
congresso: 28th Euromicro Conference on Real-Time Systems, ECRTS 2016 (Toulouse, France)
libro: 2016 28th Euromicro conference on real-time systems (ECRTS 2016). Toulouse, France 5-8 July 2016 - (9781509028115; 978-1-5090-2812-2)

11573/838497 - 2016 - A min-cut approach to functional regionalization, with a case study of the Italian local labour market areas
Bianchi, Gianpiero; Bruni, Renato; Reale, Alessandra; Sforzi, Fabio - 01a Articolo in rivista
rivista: OPTIMIZATION LETTERS (Springer Berlin Heidelberg) pp. 955-973 - issn: 1862-4472 - wos: WOS:000377434900005 (5) - scopus: 2-s2.0-84951923070 (7)

11573/782218 - 2016 - A Combinatorial Optimization Approach to the Selection of Statistical Units
Bruni, Renato; Bianchi, Gianpiero; Reale, Alessandra - 01a Articolo in rivista
rivista: JOURNAL OF INDUSTRIAL AND MANAGEMENT OPTIMIZATION (AIMS,American Institute of Mathematical Sciences) pp. 515-527 - issn: 1547-5816 - wos: WOS:000363541400007 (0) - scopus: 2-s2.0-84955249301 (0)

11573/1094551 - 2016 - Determining optimal parameters in magnetic spacecraft stabilization via attitude feedback
Bruni, Renato; Celani, Fabio - 04b Atto di convegno in volume
congresso: 2nd International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2016 (Pizzo Calabro; Italy)
libro: AIP Conference Proceedings - (9780735414389)

11573/901431 - 2016 - Real-world datasets for portfolio selection and solutions of some stochastic dominance portfolio models
Bruni, Renato; Cesarone, Francesco; Scozzari, Andrea; Tardella, Fabio - 01a Articolo in rivista
rivista: DATA IN BRIEF (New York : Elsevier Inc.) pp. 858-862 - issn: 2352-3409 - wos: WOS:000453168700129 (27) - scopus: 2-s2.0-84978379624 (26)

11573/936183 - 2016 - Logical Analysis of data as an exploratory tool to characterize individual use of the Internet in Italy
Bruni, Renato; Dolente, Cosimo; Leporelli, Claudio - 04a Atto di comunicazione a congresso
congresso: ITS Europe 2016 (Anglia Ruskin University, Cambridge (UK))
libro: ITS Europe 2016 - ()

11573/870138 - 2016 - Optimal feedback gains for spacecraft attitude stabilization using magnetorquers
Celani, Fabio; Bruni, Renato - 04a Atto di comunicazione a congresso
congresso: 3rd IAA Conference on University Satellite Missions & CubeSat Workshop (Rome, Italy)
libro: Proceedings of the 3rd IAA Conference on University Satellite Missions & CubeSat Workshop - (978-2-917761-47-2)

11573/622189 - 2015 - A Linear Risk-Return Model for Enhanced Indexation in Portfolio Optimization
Bruni, Renato; Cesarone, Francesco; Scozzari, Andrea; Tardella, Fabio - 01a Articolo in rivista
rivista: OR SPECTRUM (Heidelberg ; Berlin : Springer) pp. 735-759 - issn: 1436-6304 - wos: WOS:000356732400008 (35) - scopus: 2-s2.0-84940717685 (39)

11573/782215 - 2015 - Effective Classification using a small Training Set based on Discretization and Statistical Analysis
Bruni, Renato; G., Bianchi - 01a Articolo in rivista
rivista: IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 2349-2361 - issn: 1041-4347 - wos: WOS:000359226000004 (23) - scopus: 2-s2.0-84939232773 (30)

11573/659448 - 2014 - A flexible discrete optimization approach to the physician scheduling problem
Bruni, Renato; Paolo, Detti - 01a Articolo in rivista
rivista: OPERATIONS RESEARCH FOR HEALTH CARE (elservier) pp. - - issn: 2211-6923 - wos: (0) - scopus: 2-s2.0-84907264611 (44)

11573/526264 - 2014 - Balancing of agricultural census data by using discrete optimization
Gianpiero, Bianchi; Bruni, Renato; Alessandra, Reale - 01a Articolo in rivista
rivista: OPTIMIZATION LETTERS (Springer Berlin Heidelberg) pp. 1553-1565 - issn: 1862-4472 - wos: WOS:000339819900026 (2) - scopus: 2-s2.0-84897453743 (3)

11573/516653 - 2013 - No arbitrage and a linear portfolio selection model
Bruni, Renato; F., Cesarone; A., Scozzari; Tardella, Fabio - 01a Articolo in rivista
rivista: ECONOMICS BULLETIN ([Nashville, Tenn.]: Economics Bulletin, [2001]-) pp. 1247-1258 - issn: 1545-2921 - wos: (0) - scopus: 2-s2.0-84883184704 (7)

11573/725899 - 2013 - A Linear Risk-Return Model for Enhanced Indexation
Bruni, Renato; Francesco, Cesarone; Andrea, Scozzari; Tardella, Fabio - 02a Capitolo o Articolo
libro: Social Science Research Network - ()

11573/526273 - 2013 - Classification using small Training Sets based on Boolean Logic and Statistical Analysis
Bruni, Renato; G., Bianchi - 04a Atto di comunicazione a congresso
congresso: International Conference EURO-INFORMS 2013 (Rome, Italy)
libro: Proceedings of 26th European Conference on Operational Research - ()

11573/498797 - 2013 - Open Source Integer Linear Programming Solvers for Error Localization in Numerical Data
Gianpiero, Bianchi; Bruni, Renato; Alessandra, Reale - 02a Capitolo o Articolo
libro: Advances in Theoretical and Applied Statistics - (9783642355875; 9783642355882)

11573/443395 - 2012 - A Linear Risk-Return Model for Enhanced Indexation
Bruni, Renato; F., Cesarone; A., Scozzari; Tardella, Fabio - 04a Atto di comunicazione a congresso
congresso: XIII Workshop on Quantitative Finance (L'Aquila, Italy)
libro: Proceedings of XIII Workshop on Quantitative Finance - ()

11573/443398 - 2012 - A Linear Programming Model for Enhanced Indexation based on Strong Stochastic Dominance
Bruni, Renato; F., Cesarone; A., Scozzari; Tardella, Fabio - 04a Atto di comunicazione a congresso
congresso: 25th European Conference of Operational Research (Vilnius, Lithuania)
libro: Proceedings of the 25th European Conference of Operational Research - ()

11573/497512 - 2012 - A New LP Model for Enhanced Indexation
Bruni, Renato; F., Cesarone; A., Scozzari; Tardella, Fabio - 02a Capitolo o Articolo
libro: Departmental Working Papers of Economics - ()

11573/499419 - 2012 - A Linear Risk-Return Approach to Enhanced Indexation
Bruni, Renato; F., Cesarone; A., Scozzari; Tardella, Fabio - 04a Atto di comunicazione a congresso
congresso: 25th European Conference on Operational Research (Vilnius, Lituania)
libro: Proceedings of 25th European Conference on Operational Research - ()

11573/506873 - 2012 - A new stochastic dominance approach to enhanced index tracking problems
Bruni, Renato; F., Cesarone; A., Scozzari; Tardella, Fabio - 01a Articolo in rivista
rivista: ECONOMICS BULLETIN ([Nashville, Tenn.]: Economics Bulletin, [2001]-) pp. 3460-3470 - issn: 1545-2921 - wos: (0) - scopus: 2-s2.0-84873431794 (18)

11573/483219 - 2012 - A formal procedure for finding contradictions into a set of rules
Bruni, Renato; G., Bianchi - 01a Articolo in rivista
rivista: APPLIED MATHEMATICAL SCIENCES (Ruse : Hikari Ltd, 2007- Bulgaria, EU: HIKARI LTD,) pp. 6253-6271 - issn: 1312-885X - wos: (0) - scopus: 2-s2.0-84867324887 (6)

11573/483218 - 2012 - Information reconstruction via discrete optimization for agricultural census data
G., Bianchi; Bruni, Renato; A., Reale - 01a Articolo in rivista
rivista: APPLIED MATHEMATICAL SCIENCES (Ruse : Hikari Ltd, 2007- Bulgaria, EU: HIKARI LTD,) pp. 6241-6251 - issn: 1312-885X - wos: (0) - scopus: 2-s2.0-84867320806 (2)

11573/497495 - 2011 - Mathematical Approaches to Polymer Sequence Analysis and Related Problems
Bruni, Renato - 03a Saggio, Trattato Scientifico
libro: Mathematical Approaches to Polymer Sequence Analysis and Related Problems - (9781441967992; 9781441968005)

11573/497504 - 2011 - Complete and Exact Peptide Sequence Analysis Based on Propositional Logic
Bruni, Renato - 02a Capitolo o Articolo
libro: Mathematical Approaches to Polymer Sequence Analysis and Related Problems - (9781441967992; 9781441968005)

11573/499430 - 2011 - Programmazione Lineare Intera per Ricostruzione di Informazione Corrotta
Bruni, Renato; G., Bianchi; A., Reale - 02a Capitolo o Articolo
libro: Matematica e Impresa - ()

11573/483217 - 2010 - A logic-based approach to polymer sequence analysis
Bruni, Renato - 01a Articolo in rivista
rivista: JOURNAL OF MATHEMATICAL MODELLING AND ALGORITHMS (Kluwer Academic Publishers London ; Dordrecht ; Boston) pp. 213-232 - issn: 1570-1166 - wos: (0) - scopus: 2-s2.0-77955413373 (0)

11573/498786 - 2010 - On Open Source Integer Linear Programming Solvers for Error Localization in Numerical Data
G., Bianchi; Bruni, Renato; A., Reale - 02a Capitolo o Articolo
libro: Proceedings of SIS 2010 - (9788861295667)

11573/443281 - 2009 - A Logic-based Approach to Peptide Sequencing
Bruni, Renato - 04a Atto di comunicazione a congresso
congresso: Bio-Logical 2009, workshop of the AI*IA 2009 Conference (Reggio Emilia, Italy)

11573/443533 - 2009 - Using the Power of Formal Languages and SAT Solvers for effective Polymer Sequence Analysis
Bruni, Renato - 04a Atto di comunicazione a congresso
congresso: AW International Conference (Belluno, Italy)
libro: Proceedings of the AW International Conference - ()

11573/443883 - 2008 - Logic-Based Approach to Polymer Sequence Analysis
Bruni, Renato - 04a Atto di comunicazione a congresso
congresso: EURO conference on Computational Biology, Bioinformatics and Medicine (Roma, Italy)
libro: Proceedings of EURO conference on Computational Biology, Bioinformatics and Medicine - ()

11573/483215 - 2008 - Solving peptide sequencing as satisfiability
Bruni, Renato - 01a Articolo in rivista
rivista: COMPUTERS & MATHEMATICS WITH APPLICATIONS (Kidlington Oxford: Elsevier Science Limited Oxford: Pergamon Press) pp. 912-923 - issn: 0898-1221 - wos: WOS:000253801800006 (2) - scopus: 2-s2.0-38349145098 (3)

11573/483216 - 2008 - A Combinatorial Optimization Approach for Determining Composition and Sequence of Polymers
Bruni, Renato - 01a Articolo in rivista
rivista: ALGORITHMIC OPERATIONS RESEARCH (Open journal system (OJS) supported by: Public Knowledge Project (PKP) Preeminent Academic Facets 17048 57th AVE Surrey, BC, Canada V3S 8M9) pp. 97-109 - issn: 1718-3235 - wos: (0) - scopus: (0)

11573/483214 - 2008 - New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability
Bruni, Renato; Andrea, Santori - 01a Articolo in rivista
rivista: DISCRETE OPTIMIZATION (Elsevier) pp. 569-583 - issn: 1572-5286 - wos: WOS:000257362200002 (3) - scopus: 2-s2.0-43849106077 (4)

11573/443889 - 2008 - Cutting Planes for Surveying Italian Agriculture and Industry
Bruni, Renato; F., Bianchi; G., Bianchi; A., Reale - 04a Atto di comunicazione a congresso
congresso: annual conference AIRO (Ischia, Italy)
libro: Proceedings of the annual conference AIRO - ()

11573/499439 - 2008 - Criteri e metodi per la determinazione ex-ante del campo di osservazione del Censimento dell’Agricoltura 2010
G., Bianchi; F., Bianchi; Bruni, Renato; N., Esposito; F., Lorenzini; A., Reale; G., Rocco - 04a Atto di comunicazione a congresso
congresso: IX Conferenza Nazionale di Statistica (Roma)
libro: IX Conferenza Nazionale di Statistica - ()

11573/498781 - 2008 - A methodological approach for determining eligible units in the 2010 Italian Agricultural Census
G., Bianchi; F., Bianchi; Bruni, Renato; N., Esposito; F., Lorenzini; A., Reale; G., Ruocco - 02a Capitolo o Articolo
libro: Proceedings of SIS 2008 - (9788861292284)

11573/443531 - 2007 - Fast and Accurate Classification using Discretization and Binary Knapsack
Bruni, Renato - 04a Atto di comunicazione a congresso
congresso: AW International Conference (Belluno, Italy)
libro: Proceedings of the AW International Conference - ()

11573/483213 - 2007 - Reformulation of the support set selection problem in the logical analysis of data
Bruni, Renato - 01a Articolo in rivista
rivista: ANNALS OF OPERATIONS RESEARCH (Switzerland: Springer Nature Dordrecht: Kluwer Academic Publishers. Amsterdam; Bussum: Baltzer Science Publishers.) pp. 79-92 - issn: 0254-5330 - wos: WOS:000244090600007 (5) - scopus: 2-s2.0-33846853766 (7)

11573/443538 - 2006 - Clustering for improving Information Reconstruction
Bruni, Renato - 04a Atto di comunicazione a congresso
congresso: annual conference AIRO (Cesena, Italy)
libro: Proceedings of the annual conference AIRO - ()

11573/498868 - 2006 - On Accurate and Automatic Peptide De Novo Sequencing
Bruni, Renato - 04a Atto di comunicazione a congresso
congresso: Perspectives of Metabonomics and Proteomics Investigations in Clinical Science (Roma)

11573/498872 - 2006 - De Novo Peptide Sequencing via Tandem Mass Spectometry and Propositional Satisfiability
Bruni, Renato - 04a Atto di comunicazione a congresso
congresso: FIMA International Conference “Models and Methods for Human Genomics” (Aosta)
libro: Proceedings of 1st FIMA International Conference “Models and Methods for Human Genomics” - ()

11573/443276 - 2005 - Error Correction for Massive Data Sets
Bruni, Renato - 01a Articolo in rivista
rivista: OPTIMIZATION METHODS & SOFTWARE (Basingstoke, United Kingdom: Taylor & Francis Limited Reading: Gordon & Breach Science Publishers) pp. 295-314 - issn: 1055-6788 - wos: WOS:000226534100009 (11) - scopus: 2-s2.0-12444250037 (16)

11573/483210 - 2005 - On Exact Selection of Minimally Unsatisfiable Subformulae
Bruni, Renato - 01a Articolo in rivista
rivista: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE (Basel: J.C. Baltzer AG) pp. 35-50 - issn: 1012-2443 - wos: WOS:000225469000002 (21) - scopus: 2-s2.0-10344223023 (25)

11573/483211 - 2005 - On the orthogonalization of arbitrary Boolean formulae
Bruni, Renato - 01a Articolo in rivista
rivista: JOURNAL OF APPLIED MATHEMATICS & DECISION SCIENCES (New York: Hindawi Journal of Applied Mathematics & Decision Sciences:Massey University, Mathematics Department, Palmerston North New Zealand:011 64 6 3505039, Fax: 011 64 6 3505611 Dal 2000 by Lawrence Erlbaum Associates, Inc., CA USA) pp. 61-74 - issn: 1173-9126 - wos: (0) - scopus: 2-s2.0-34547557621 (3)

11573/498862 - 2005 - Solving De Novo Peptide Sequencing via Propositional Logic
Bruni, Renato - 04a Atto di comunicazione a congresso
congresso: annual conference AIRO (Camerino, Italy)
libro: Proceedings of the annual conference AIRO - ()

11573/483212 - 2005 - On peptide de novo sequencing: a new approach
Bruni, Renato; Gianluigi, Gianfranceschi; Giorgio, Koch - 01a Articolo in rivista
rivista: JOURNAL OF PEPTIDE SCIENCE (John Wiley & Sons Limited:1 Oldlands Way, Bognor Regis, P022 9SA United Kingdom:011 44 1243 779777, EMAIL: cs-journals@wiley.co.uk, INTERNET: http://www.wiley.co.uk, Fax: 011 44 1243 843232) pp. 225-234 - issn: 1075-2617 - wos: WOS:000228760000003 (28) - scopus: 2-s2.0-17444411912 (30)

11573/498685 - 2005 - Data Clustering for Improving the Selection of Donors for Data Imputation
G., Bianchi; Bruni, Renato; R., Nucara; A., Reale - 02a Capitolo o Articolo
libro: Classification and Data Analysis 2005 - (887847066X)

11573/443274 - 2004 - Discrete models for data imputation
Bruni, Renato - 01a Articolo in rivista
rivista: DISCRETE APPLIED MATHEMATICS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 59-69 - issn: 0166-218X - wos: WOS:000224595900006 (10) - scopus: 2-s2.0-4544368051 (15)

11573/487865 - 2004 - Solving error correction for large data sets by means of a SAT solver
Bruni, Renato - 04b Atto di convegno in volume
congresso: 6th International Conference on Theory and Applications of Satisfiability Testing (Santa Margherita Ligure, ITALY)
libro: Theory and Applications of Satisfiability Testing - (9783540208518; 9783540246053)

11573/498859 - 2004 - BrChaff: a Chaff-like DPLL Solver using RAS Heuristic
Bruni, Renato - 04a Atto di comunicazione a congresso
congresso: SAT Competition 2004 (Vancouver, Canada)
libro: SAT Competition 2004 - Solver Descriptions, 3rd International Competition on Satisfiability Testing - ()

11573/498861 - 2004 - Real-time Classification of Large Data Sets using Binary Knapsack
Bruni, Renato - 04a Atto di comunicazione a congresso
congresso: annual conference AIRO (Lecce)
libro: Proceedings of the annual conference AIRO - ()

11573/498856 - 2004 - Adding a New Conflict Based Branching Heuristic in two evolved DPLL SAT Solvers
Bruni, Renato; A., Santori - 04a Atto di comunicazione a congresso
congresso: Seventh International Conference on Theory and Applications of Satisfiability Testing (Vancouver, Canada)
libro: Proceedings of Seventh International Conference on Theory and Applications of Satisfiability Testing - ()

11573/443090 - 2003 - Approximating minimal unsatisfiable subformulae by means of adaptive core search
Bruni, Renato - 01a Articolo in rivista
rivista: DISCRETE APPLIED MATHEMATICS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 85-100 - issn: 0166-218X - wos: WOS:000185121500002 (34) - scopus: 2-s2.0-0042014224 (44)
congresso: CMMSE 2002 (Alicante)

11573/498848 - 2003 - Solving Error Correction for Large Data Sets as Propositional Satisfiability
Bruni, Renato - 04a Atto di comunicazione a congresso
congresso: Sixth International Conference on Theory and Applications of Satisfiability Testing (Portofino, Italy)
libro: Proceedings of Sixth International Conference on Theory and Applications of Satisfiability Testing - ()

11573/498850 - 2003 - Data Mining for Error Correction of Real World Massive Data Sets
Bruni, Renato - 04a Atto di comunicazione a congresso
congresso: annual conference AIRO (Venezia)
libro: Proceedings of the annual conference AIRO - ()

11573/498876 - 2003 - An Innovative Approach to Peptide De Novo Sequencing
Bruni, Renato; G., Gianfranceschi; G., Koch - 04a Atto di comunicazione a congresso
congresso: Congresso della Sezione Italiana Human Proteome Organization (IHUPO) (Napoli)
libro: Congresso della Sezione Italiana Human Proteome Organization (IHUPO) - ()

11573/427909 - 2003 - A Complete Adaptive Algorithm for Propositional Satisfiability
Bruni, Renato; Sassano, Antonio - 01a Articolo in rivista
rivista: DISCRETE APPLIED MATHEMATICS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 523-534 - issn: 0166-218X - wos: WOS:000182966600009 (0) - scopus: 2-s2.0-84868002713 (0)

11573/497537 - 2003 - Study of Chromatin Peptides Structure by Mass/Mass Spectrometry
G. L., Gianfranceschi; F., Giavarini; Bruni, Renato; I., Calzuola; L., De Angelis; G., Koch; V., Marsili - 01a Articolo in rivista
rivista: JOURNAL OF PEPTIDE SCIENCE (John Wiley & Sons Limited:1 Oldlands Way, Bognor Regis, P022 9SA United Kingdom:011 44 1243 779777, EMAIL: cs-journals@wiley.co.uk, INTERNET: http://www.wiley.co.uk, Fax: 011 44 1243 843232) pp. - - issn: 1075-2617 - wos: (0) - scopus: (0)

11573/255900 - 2002 - Global optimal image reconstruction from blurred noisy data by a Bayesian approach
Bruni, Carlo; Bruni, Renato; De Santis, Alberto; Iacoviello, Daniela; G., Koch - 01a Articolo in rivista
rivista: JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS (Plenum Press:Book Customer Service, 233 Spring Street:New York, NY 10013:(212)620-8471, (212)620-8000, EMAIL: info@plenum.com, INTERNET: http://www.plenum.com, Fax: (212)807-1047) pp. 67-96 - issn: 0022-3239 - wos: WOS:000177248200006 (7) - scopus: 2-s2.0-0036341249 (7)

11573/498231 - 2002 - Discrete Mathematics for Data Imputation
Bruni, Renato - 04a Atto di comunicazione a congresso
congresso: Second SIAM International Conference on Data Mining, Worksop on Discrete Mathematics and Data Mining (Arlington, Virginia, USA)
libro: Proceedings of Second SIAM International Conference on Data Mining, Worksop on Discrete Mathematics and Data Mining - ()

11573/498240 - 2002 - Exact Selection of Minimal Unsatisfiable Subformulae for Special Classes of Propositional Formulae
Bruni, Renato - 04a Atto di comunicazione a congresso
congresso: Fifth International Symposium on Theory and Applications of Satisfiability Testing (Cincinnati, Ohio, USA)
libro: Proceeding of Fifth International Symposium on Theory and Applications of Satisfiability Testing - ()

11573/498731 - 2002 - DIESIS: a New Software System for Editing and Imputation
Bruni, Renato; A., Reale; R., Torelli - 02a Capitolo o Articolo
libro: Proceedings SIS 2002 Conference - (8871785894)

11573/498840 - 2002 - Error Correction Models
Bruni, Renato; A., Reale; R., Torelli - 04a Atto di comunicazione a congresso
congresso: annual conference AIRO (L'Aquila)
libro: Proceedings of the annual conference AIRO - ()

11573/498829 - 2002 - Detection of Outliers in Large Databases
Bruni, Renato; S., Canale; Sassano, Antonio - 04a Atto di comunicazione a congresso
congresso: International Workshop on Mathematical Diagnostics (Erice, Italy)
libro: Proceedings of International Workshop on Mathematical Diagnostics - ()

11573/498833 - 2002 - Automated Learning Approaches
Bruni, Renato; S., Canale; Sassano, Antonio - 04a Atto di comunicazione a congresso
congresso: annual conference AIRO (L'Aquila)
libro: Proceedings of the annual conference AIRO - ()

11573/498843 - 2002 - Case Study: Course Timetabling in “La Sapienza”
Bruni, Renato; Sassano, Antonio - 04a Atto di comunicazione a congresso
congresso: annual conference AIRO (L'Aquila)
libro: Proceedings of the annual conference AIRO - ()

11573/498661 - 2001 - Elementi di programmazione logica
Bruni, Renato - 01a Articolo in rivista
rivista: BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. A (Bologna: Zanichelli) pp. 415-418 - issn: 0392-4033 - wos: (0) - scopus: 2-s2.0-0041917119 (0)

11573/440317 - 2001 - Restoring satisfiability or maintaining unsatisfiability by finding small unsatisfiable subformulae
Bruni, Renato; Sassano, Antonio - 01a Articolo in rivista
rivista: ELECTRONIC NOTES IN DISCRETE MATHEMATICS (Amsterdam : Elsevier) pp. 162-173 - issn: 1571-0653 - wos: (0) - scopus: 2-s2.0-4444276081 (24)

11573/497519 - 2001 - Errors Detection and Correction in Large Scale Data Collecting
Bruni, Renato; Sassano, Antonio - 02a Capitolo o Articolo
libro: Advances of Intelligent Data Analysis - ()

11573/1467668 - 2000 - Finding minimal unsatisfiable subformulae in satisfiability instances
Bruni, R.; Sassano, A. - 02a Capitolo o Articolo
libro: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-540-41053-9; 978-3-540-45349-9)

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma