Istituto di Analisi dei Sistemi ed Informatica "Antonio Ruberti" (Publications)

Publications

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year 2016, with author ALL, in the category Articles in Journals, Collections and Proceedings (or show them all): (Items found: 78)

2016 [top]

Giovanni Abramo, Ciriaco Andrea D'Angelo: A farewell to the MNCS and like size-independent indicators: Rejoinder, Journal of Informetrics 10, 679-683, 2016
Giovanni Abramo, Ciriaco Andrea D'Angelo: A farewell to the MNCS and like size-independent indicators, Journal of Informetrics 10, 646-651, 2016
Giovanni Abramo, Ciriaco Andrea D'Angelo: A comparison of university performance scores and ranks by MNCS and FSS, Journal of Informetrics 10, 889-901, 2016
Giovanni Abramo, Ciriaco Andrea D'Angelo: Refrain from adopting the combination of citation and journal metrics to grade publications, as used in the Italian national research assessment exercise (VQR 2011–2014), Scientometrics 109, 2053-2065, 2016
Giovanni Abramo, Ciriaco Andrea D'Angelo, Di Costa F.: The effect of a country’s name in the title of a publication on its visibility and citability, Scientometrics 109, 1895-1909, 2016
Giovanni Abramo, Ciriaco Andrea D'Angelo, Grilli L.: From rankings to funnel plots: The question of accounting for uncertainty when assessing university research performance, Journal of Informetrics 10, 854-862, 2016
Giovanni Abramo, Ciriaco Andrea D'Angelo, Murgia G.: The combined effects of age and seniority on research performance of full professors, Science & Public Policy 43, 301-319, 2016
Giovanni Abramo, D'Angelo C.A., Rosati F.: A methodology to measure the effectiveness of academic recruitment and turnover, Journal of Informetrics 10(1), 31-42, 2016
Giovanni Abramo, D'Angelo C.A., Rosati F.: Gender bias in academic recruitment, Scientometrics 106(1), 119-141, 2016
Giovanni Abramo, Ciriaco Andrea D'Angelo, Rosati F.: The north–south divide in the Italian higher education system, Scientometrics 109, 2093-2117, 2016
Giovanni Abramo, Ciriaco Andrea D'Angelo, Soldatenkova A.: The ratio of top scientists to the academic staff as an indicator of the competitive strength of universities, Journal of Informetrics 10, 596-605, 2016
Giovanni Abramo, Ciriaco Andrea D'Angelo, Soldatenkova A.: The dispersion of the citation distribution of top scientists’ publications, Scientometrics 109, 1711-1724, 2016
Addis B., Carello G., Sara Mattia: Energy-aware survivable networks, in the Proceedings of INOC 2015, Electronic Notes in Discrete Mathematics, 52, pp. 133--140, 2016
Alawad N, Anagnostopoulos A, Leonardi S, Ida Mele, Silvestri F: Network-Aware Recommendations of Novel Tweets, ACM-SIGIR Conference, 2016
Aliannejadi M, Ida Mele, Crestani F: User Model Enrichment for Venue Recommendation, 2016
Aliannejadi M, Ida Mele, Crestani F: Venue Appropriateness Prediction for Contextual Suggestion, Proceedings of The Twenty-Fifth Text REtrieval Conference (TREC), 2016
Arbib C., Giovanni Felici, Servilio M, Paolo Ventura: Optimum Solution of the Closest String Problem via Rank Distance, Lecture Notes in Computer Science 9849, 297-307, 2016
Arbib C., Marinelli F., Paolo Ventura: One-dimensional cutting stock with a limited number of open stacks: bounds and solutions from a new integer linear programming model, International Transactions in Operational Research 23, 47-63, 2016
Baruah S., Vincenzo Bonifaci, Bruni R., Marchetti Spaccamela A.: ILP-based approaches to partitioning recurrent workloads upon heterogeneous multiprocessors, in the Proceedings of Euromicro Conference on Real-Time Systems, IEEE Computer Society Press, 2016
Paola Bertolazzi, Giovanni Felici, Festa P., Giulia Fiscon, Weitschek E.: Integer programming models for feature selection: new extensions and a randomized solution algorithm, European Journal of Operational Research 250(2), 389-399, 2016
Bertuzzi A., Conte F, Mingrone G., Federico Papa, Salinari S., Carmela Sinisgalli: Insulin Signaling in Insulin Resistance States and Cancer: A Modeling Analysis, Plos One, http://dx.doi.org/10.1371/journal.pone.0154415, 2016
Biega J, Gummadi K, Ida Mele, Milchevski D, Tryfonopoulos C, Weikum G: R-Susceptibility: An IR-Centric Approach to Assessing Privacy Risks for Users in Online Communities, ACM-SIGIR Conference, 2016
Vincenzo Bonifaci, Brandenburg B., D'Angelo G., Marchetti Spaccamela A.: Multiprocessor real-time scheduling with hierarchical processor affinities, in the Proceedings of Euromicro Conference on Real-Time Systems, IEEE Computer Society Press, 2016
Borri A, Francesco Carravetta, Pasquale Palumbo: Cubification of Nonlinear Stochastic Differential Equations and Approximate Moments Calculation of the Langevin Equation, 55th IEEE Conference on Decision and Control (CDC16), 2016
Borri A, Pasquale Palumbo, Singh A: The impact of negative feedback in metabolic noise propagation, IET Systems Biology 10, 179-186, 2016
Borri A, Pasquale Palumbo, Singh A: Noise reduction for enzymatic reactions: a case study for stochastic product clearance, 55th IEEE Conference on Decision and Control (CDC16), 2016
Borri A, Simona Panunzi, Pasquale Palumbo, Manes C., De Gaetano A.: Glucose control with incomplete information, IEEE Conference on Systems, Man and Cybernetics, 2016
Borri A., Francesco Carravetta, Gabriella Mavelli, Pasquale Palumbo: Block-tridiagonal state-space realization of Chemical Master Equations: a tool to compute explicit solutions, Journal of computational methods in applied mathematics 296, 410-426, 2016
Alessandro Borri, Francesco Carravetta, Gabriella Mavelli, Pasquale Palumbo: Block-tridiagonal state-space realization of Chemical Master Equations: A tool to compute explicit solutions, Journal of Computational and Applied Mathematics vol. 296, pp. 410–426, 2016
Alessandro Borri, Francesco Carravetta, Pasquale Palumbo: Stochastic Differential Equations and Approximate Moments Calculation of the Langevin Equation, Proceedings of the 55th IEEE Conference on Decision and Control (CDC 2016), Las Vegas, USA, pp. 4540-4545, 2016
Alessandro Borri, Dimopoulos C., Simona Panunzi, Brancaleoni R., Gaz C., Gui D., Magalini S., De Gaetano A.: Modelling trauma physiology for large crisis management, 15th International Conference on Modeling and Applied Simulation (MAS 2016), Larnaca, Cipro, pp. 78-84, 2016
Alessandro Borri, Pasquale Palumbo, Singh A: Noise reduction for enzymatic reactions: a case study for stochastic product clearance, Proceedings of the 55th IEEE Conference on Decision and Control (CDC 2016), Las Vegas, USA, pp. 5851-5856, 2016
Alessandro Borri, Pasquale Palumbo, Singh A: Impact of negative feedback in metabolic noise propagation, IET Systems Biology 10 (5), 179-186, 2016
Alessandro Borri, Simona Panunzi, Brancaleoni R., Gui D., Magalini S., Gaz C., De Gaetano A.: Simulation of trauma incidents - Modelling the evolution of patients and resources, Journal of Medical Systems Vol. 40 (11): 234, Springer US, 2016
Alessandro Borri, Simona Panunzi, De Gaetano A.: A glycemia-structured population model, Journal of Mathematical Biology vol. 73(1): pp. 39-62, 2016
Alessandro Borri, Simona Panunzi, Pasquale Palumbo, Manes C., De Gaetano A.: Glucose control with incomplete information, Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016), Budapest, Ungheria, pp. 1780-1784, 2016
Cacace F., Valerio Cusimano, Germani A., Pasquale Palumbo: A state predictor for continuous-time stochastic systems, Systems & Control Letters 98, 37-43, 2016
Cacace F., Valerio Cusimano, Germani A., Pasquale Palumbo: Carleman discretization of impulsive systems: application to the optimal control problem of anti-angiogenic tumor therapies, 55th IEEE Conference on Decision and Control (CDC16), 2016
Campana E.F., Diez M., Iemma U., Liuzzi G., Lucidi S., Rinaldi F., Serani A.: Derivative-free global ship design optimization using global/local hybridization of the DIRECT algorithm, Optimization and Engineering 17(1), 127-156, 2016
Francesco Carravetta: A Brief and some Further Insight on the Exact Quadratization of Nonlinear Control Systems, 55th IEEE Conference on Decision and Control (CDC16), 2016
Cestarelli V, Giulia Fiscon, Giovanni Felici, Paola Bertolazzi, Weitschek E.: CAMUR: Knowledge extraction from RNA-seq cancer data through equivalent classification rules, Bioinformatics 32 (5), 697-704, 2016
D'Ambrosio C., Frangioni A., Claudio Gentile: Strengthening Convex Relaxations of Mixed Integer Non Linear Programming Problems with Separable Non Convexities, in the Proceedings of XIII Global Optimization Workshop GOW'16, XIII Global Optimization Workshop GOW'16, 2016
Dal Santo S, Palliotti A, Zenoni S, Tornielli GB, Fasoli M, Paola Paci, Tombesi S, Frioni T, Silvestroni O, Bellincontro A, d'Onofrio C, Matarese F, Gatti M, Poni S, Pezzotti M: Distinct transcriptome responses to water limitation in isohydric and anisohydric grapevine cultivars, BMC Genomics, 2016
Davis R., Bertogna M., Vincenzo Bonifaci: On the compatibility of exact schedulability tests for global fixed priority pre-emptive scheduling with Audsley's optimal priority assignment algorithm, Real-Time Systems 52, 113-122, 2016
Emanuele De Angelis, Fioravanti F., Meo M.C., Alberto Pettorossi, Maurizio Proietti: Verification of Time-Aware Business Processes using Constrained Horn Clauses, in the Proceedings of the International Symposium on Logic-based Program Transformation and Synthesis (LOPSTR 2016), 2016
Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Horn Clause Transformation for Program Verification, Newsletter of the Association for Logic Programming, https://www.cs.nmsu.edu/ALP/2016/09, 2016
Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Relational Verification Through Horn Clause Transformation, Lecture Notes in Computer Science 9837, 147-169, 2016
Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Removing unnecessary variables from Horn clause verification conditions, in the Proceedings of 3rd International Workshop on Horn Clauses for Verification and Synthesis, Electronic Proceedings in Theoretical Computer Science, 219, 2016
Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Semantics-based generation of verification conditions via program specialization, Science of Computer Programming, http://www.scopus.com/record/display.url?eid=2-s2.0-85007497655&origin=inward, 2016
Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying relational program properties by transforming constrained Horn clauses, in the Proceedings of Proceedings of the 31st Italian Conference on Computational Logic, CEUR-WS, 1645, 2016
De Santis M., Festa P., Liuzzi G., Lucidi S., Rinaldi F.: A nonmonotone GRASP, Mathematical Programming Computation 8(3), 271-309, 2016
Di Pillo G., Liuzzi G., Lucidi S., Piccialli V., Rinaldi F.: A DIRECT-type approach for derivative-free constrained global optimization, Computational Optimization and Applications 65(2), 361-397, 2016
Giulia Fiscon, Iannello G, Paola Paci: A perspective on the algorithms predicting and evaluating the RNA secondary structure, Journal of Genetics and Genome Research, 3, 2016
Giulia Fiscon, Weitschek E., Ciccozzi M., Paola Bertolazzi, Giovanni Felici: A novel feature selection method to extract multiple adjacent solutions for viral genomic sequences classification, BMC Bioinformatics, 2016
Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Bayesian Approach for Weighted Ontologies and Semantic Search, Filipe Joaquim, Fred Ana, Dietz Jan, Aveiro David, Liu Kecheng, Bernardino Jorge eds., 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management-KEOD 2016, p. 171-178, ISBN: 978-989-758-203-5, 2016
Frangioni A., Furini F., Claudio Gentile: Approximated Perspective Relaxations: a Project&Lift Approach, Computational Optimization and Applications 63, 705-735, 2016
Anna Galluccio, Claudio Gentile: The stable set polytope of icosahedral graphs, Discrete Mathematics 339, 614-625, 2016
Gandolfi A., Iannelli M., Marinoschi G.: The steady state of epidermis: mathematical modeling and numerical simulations, Journal of Mathematical Biology, DOI 10.1007/s00285-016-1006-4, 2016
Garbuglia A, Visco-Comandini U, Lionetti R, Lapa D, Castiglione F, D’Offizi G, Taibi C, Montalbano M, Capobianchi MR, Paola Paci: Ultrasensitive HCV RNA quantification in antiviral triple therapy: new insight on viral clearance dynamics and treatment outcome predictors, Plos One, 11, 2016
Giachanou A, Ida Mele, Crestani F: Explaining Sentiment Spikes in Twitter, ACM International Conference on Information and Knowledge Management, 2016
Gurtner A, Garibaldi F, Falcone E, Trisciuoglio D, Colombo T, Lisek K, Walerych D, Dal Sal G, Paola Paci, Bossi G, Piaggio G: Mutant p53 inhibits miRNA biogenesis by interfering with the Microprocessor com- plex, Oncogene - Nature, 35, 2016
Krell J, Stebbing J, Carissimi C, Dabrowska A, de Giorgio A, Frampton A.E., Harding V, Fulci V, Macino G., Colombo T, Castellano L: TP53 regulates miRNA association with AGO2 to remodel the miRNA-mRNA interaction network, Genome Research, 2016
Liuzzi G., Lucidi S., Piccialli V.: Exploiting derivative-free local searches in DIRECT-type algorithms for global optimization, Computational Optimization and Applications 65(2), 449-475, 2016
Liuzzi G., Lucidi S., Rinaldi F.: A derivative-free approach to constrained multiobjective nonsmooth optimization, SIAM Journal on Optimization 26(4), 2744-2774, 2016
Sara Mattia: Benders decomposition for capacitated network design, in the Proceedings of ISCO 2016, Lecture Notes in Computer Science, 9849, pp. 71--80, 2016
Pasquale Palumbo, Vanoni M., Valerio Cusimano, Busti S, Marano M., Manes C., Alberghina L.: Whi5 phosphorylation embedded in the G1/S network dynamically controls critical cell size and cell fate, Nature Communications, 2016
Pecoraro Fabrizio, Luzi Daniela, Pourabbas E., Ricci F: A Conceptual Model for Integrating Social and Health Care Services At Home: The H@H Project, IEEE 18th International Conference on E-health Networking, Applications & Services (Healthcom'16), p. 375-380, 14-17 September 2016, Munich-Germany, 2016
Pola G., Alessandro Borri, Di Benedetto M. D.: On Symbolic Control Design of Nonlinear Systems with State Quantized Measurements, Proceedings of the 55th IEEE Conference on Decision and Control (CDC 2016), Las Vegas, USA, pp. 6571-6576, 2016
Puszynski K., Gandolfi A., d'Onofrio A.: The role of stochastic gene switching in determining the pharmacodynamics of certain drugs: basic mechanisms, Journal of Pharmacokinetics and Pharmacodynamics, DOI 10.1007/s10928-016-9480-2, 2016
Daniele Santoni, Giovanni Felici, Vergni D: Natural vs. Random Protein Sequences: Discovering Combinatorics Properties on Amino Acid Words, Journal of Theoretical Biology 391, 13-20, 2016
Daniele Santoni, Paola Paci, Di Paola L, Giuliani A: Are proteins just coiled cords? Local and Global analysis of Contact Maps reveals the backbone-dependent nature of proteins, Current Protein & Peptide Science, 17:26-29, 2016
Daniele Santoni, Pourabbas E.: Automatic Detection of Words Associations in Texts based on Joint Distribution of Words Occurrence, Computational Intelligence 32(4), 535-560, 2016
Daniele Santoni, Weitschek E., Giovanni Felici: Optimal discretization and selection of features by association rates of joint dstributions, Rairo-Operations Research 50, 437-449, 2016
Serani A., Fasano G., Liuzzi G., Lucidi S., Iemma U., Campana E.F., Stern F., Diez M.: Ship hydrodynamic optimization by local hybridization of deterministic derivative-free global algorithms, Applied Ocean Research 59, 115-128, 2016
Valeriani F, Biagini T, Giampaoli S, Crognale S, Daniele Santoni, Romano-Spica V: Draft Genome Sequence of Tepidimonas taiwanensis Strain VT154-175, Genome Announcements 4(5): e00942-16., 2016
van Ackoij W., Frangioni A., de Oliveira W.: Inexact Stabilized Benders' Decomposition Approaches, with Application to Chance-Constrained Problems with Finite Support, Computational Optimization and Applications 65, 637-669, 2016
Vergni D, Daniele Santoni: Nullomers and high order nullomers in genomic sequences., Plos One 11(12) - e0164540, 2016
Weitschek E., Cumbo F, Cappelli E, Giovanni Felici: Genomic data integration: A case study on next generation sequencing of cancer, DEXA - Database and Expert Systems Applications, 2016