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 2013, with author ALL, in the category ALL (or show them all): (Items found: 116)

2013 [top]

Giovanni Abramo: Research evaluation: Improvisation or Science?, International Symposium on Bibliometrics: Use and Abuse in the Review of Research Performance, Stockholm, Sweden, 23-25 May 2013, 2013
Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: The impact of non-productive and top scientists on overall university research performance, Journal of Informetrics 7, 166-175, 2013
Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: National peer-review research assessment exercises for the hard sciences can be a complete waste of money: the Italian case. Scientometrics, 95(1), 311-324, Scientometrics 95, 311-324, 2013
Giovanni Abramo, Cicero T., Ciriaco Andrea D'Angelo: Individual research performance: a proposal for comparing apples to oranges., Journal of Informetrics 7, 528-539, 2013
Giovanni Abramo, Ciriaco Andrea D'Angelo: Rethinking research evaluation indicators and methods from an economic perspective: the FSS indicator as a proxy of productivity, in the Proceedings of ISSI 14th International Society of Scientometrics and Informetrics Conference, Vienna, 15 July, 2013, Gorraiz J. ed., ISSI 14th International Society of Scientometrics and Informetrics Conference, 2013
Giovanni Abramo, Ciriaco Andrea D'Angelo, Murgia G.: The collaboration behaviors of scientists in Italy: a field level analysis., Journal of Informetrics 7, 442-454, 2013
Giovanni Abramo, Ciriaco Andrea D'Angelo, Murgia G.: Gender differences in research collaboration, Journal of Informetrics 7, 811-822, 2013
Giovanni Abramo, Ciriaco Andrea D'Angelo, Rosati F.: The importance of accounting for the number of co-authors and their order when assessing research performance at the individual level in the life sciences., Journal of Informetrics 7, 198-208, 2013
Giovanni Abramo, Ciriaco Andrea D'Angelo, Rosati F.: Measuring institutional research productivity for the life sciences: the importance of accounting for the order of authors in the byline., Scientometrics 97, 779-795, 2013
Giovanni Abramo, Ciriaco Andrea D'Angelo, Viel F.: Selecting competent referees to assess research projects proposals: a study of referees, Research Evaluation 22, 41-51, 2013
Giovanni Abramo, Ciriaco Andrea D'Angelo, Viel F.: Assessing the accuracy of the h- and g-indexes for measuring researchers' productivity., Journal of the American Society for Information Science and Technology. 64, 1224-1234, 2013
Amoretti M, Grazioli A, Senni V., Tiezzi F, Zanichelli F: Towards a Formal Approach to Mobile Cloud Computing., in the Proceedings of Proccedings of PDP - Session on Formal Approaches to Parallel and Distributed Systems 2014, IEEE Computer Society Press, 2013
Ardito F., Bianco G., Vellone M., Sarno G., Ranucci G, Giovannini I., Giuliante F.: Long-term outcome after laparoscopic fenestration of simple liver cysts., Surgical Endoscopy and Other Interventional Techniques 27, 4670-4674, 2013
Ardito F., Vellone M., Barbaro B., Grande G., Clemente G., Giovannini I., Federico B., Bonomo L., Nuzzo G., Giuliante F.: Right and extended-right hepatectomies for unilobar colorectal metastases: Impact of portal vein embolization on long-term outcome and liver recurrence, Surgery 153, 801-810, 2013
Ardito F., Vellone M., Cassano A., De Rose AM, Pozzo C., Coppola A., Federico B., Giovannini I., Barone C., Nuzzo G., Giuliante F.: Chance of cure following liver resection for initially unresectable colorectal metastases: analysis of actual 5-year survival, Journal of Gastrointestinal Surgery 17, 352-359, 2013
Avella P., Boccia M., Sara Mattia: Mixed Integer Lifted Cover Inequalities for Knapsack Problems with a Single Continuous Variable, in the Proceedings of 5th International Conference on Modeling, Simulation and Applied Optimization (ICMSAO) 2013, IEEEXplore, DOI 10.1109/ICMSAO.2013.6552649, 2013
Avella P., Boccia M., Sara Mattia: A Branch-and-Cut algorithm for the Single Source Capacitated Facility Location problem, in the Proceedings of Advanced Logistics and Transport (ICALT), 2013 International Conference on, IEEEXplore, DOI 10.1109/ICAdLT.2013.6568456, 2013
Becchetti L., Vincenzo Bonifaci, Dirnberger M., Karrenbauer A., Mehlhorn K.: Physarum Can Compute Shortest Paths: Convergence Proofs and Complexity Bounds, in the Proceedings of the 40th Int. Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, 2013
Paola Bertolazzi, Bock M.E., Guerra C.: On the functional and structural characterization of hubs in protein-protein interaction networks, Biotechnology Advances 31, 274-286, 2013
Paola Bertolazzi, Bock M.E., Guerra C., Paola Paci, Daniele Santoni: On the integration of protein-protein interaction networks with gene expression and 3d structural data: what can be gained?, IASI-CNR, R. 13-07, 2013
Paola Bertolazzi, Guerra C., Giampaolo Liuzzi: Predicting protein-ligand and protein-peptide interfaces, IASI-CNR, R. 13-02, 3/2013
Alessandro Bertuzzi, Bruni C., Federico Papa, Carmela Sinisgalli: Optimal solution for a cancer radiotherapy problem, Journal of Mathematical Biology 66, 311-349, 2013
Alessandro Bertuzzi, Fasano A., Gandolfi A., Carmela Sinisgalli: Modeling the evolution of a tumoral multicellular spheroid as a two-fluid Bingham-like system, Mathematical Models & Methods in Applied Sciences 23, 2561-2602, 2013
Bhullar G., Neil M., Michele Missikoff, Smith F. eds.: Short Paper Proceedings of the Second Workshop on New Generation Enterprise and Business Innovation Systems, CEUR-WS, 1006, 2013
Vincenzo Bonifaci: Physarum Can Compute Shortest Paths: A Short Proof, Information Processing Letters 113, 4-7, 2013
Vincenzo Bonifaci, Demetrescu C., Marchetti Spaccamela A. eds.: Experimental Algorithms - 12th International Symposium, SEA 2013, Lecture Notes in Computer Science, Springer Berlin, 2013
Vincenzo Bonifaci, Leonardi S.: Algorithms for Auctions and Games, in: The Power of Algorithms, Petreschi R., Ausiello G. eds., Springer Berlin, 207-234, 2013
Vincenzo Bonifaci, Marchetti Spaccamela A., Stiller S., Wiese A.: Feasibility Analysis in the Sporadic DAG Task Model, in the Proceedings of Euromicro Conference on Real-Time Systems, IEEE Computer Society Press, 2013
Bopardikar S. D., Alessandro Borri, Hespanha J. P., Prandini M., Di Benedetto M. D.: Randomized Sampling for Large Zero-Sum Games, Automatica 49(5), 1184-1194, 2013
Alessandro Borri, Bianchi D., Di Benedetto M. D., Di Gennaro S.: Vehicle Attitude Control with Saturating Actuators: Workload Balancing and Reference Adaptation, Proceedings of the 52nd IEEE Conference on Decision and Control (CDC 2013), Florence, Italy, pp. 1558-1563, 2013
Alessandro Borri, Francesco Carravetta, Gabriella Mavelli, Palumbo P.: Chemical Master Equations: a mathematical scheme for the multi-site phosphorylation case, Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), Reykjavik, Iceland, pp. 681-688, 2013
Alessandro Borri, Francesco Carravetta, Gabriella Mavelli, Palumbo P.: Some Results on the structural properties and the solution of the Chemical Master Equation, Proceedings of the 2013 American Control Conference (ACC 2013), Washington, DC, USA, pp. 3777-3782, 2013
Alessandro Borri, Dimarogonas D. V., Johansson K. H., Di Benedetto M. D., Pola G.: Decentralized symbolic control of interconnected systems with application to vehicle platooning, Proceedings of the 4th IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys 2013), Koblenz, Germany, pp. 285-292, 2013
Borsi I, Farina A, Fasano A.: The effect of osmotic pressure on the flow of solutions through semi-permeable hollow fibers, Applied Mathematical Modelling 37, 5814-5827, 2013
Bruni C., Koch G., Federico Papa: Estimate accuracy versus measurement cost saving in continuous time linear filtering problems, Journal of the Franklin Institute-Engineering and Applied Mathematics 350, 1051-1074, 2013
Filippo Cacace, Valerio Cusimano, Alfredo Germani, Palumbo P.: The Observer Follower Filter for stochastic differential systems with sampled measurements, 52nd IEEE Conference on Decision and Control (CDC'13), 2013
Filippo Cacace, Alfredo Germani, Costanzo Manes: A chain approach for state observation of a class of MIMO nonlinear systems with time-varying output delays, in the Proceedings of 11th IFAC Workshop on Time-Delay Systems, Grenoble, France, February 4-6, Sename O., Wintrant E., Seuret A., Fridman E., Dugard L. eds., 11th IFAC Workshop on Time-Delay Systems, 2013
Filippo Cacace, Alfredo Germani, Costanzo Manes: Partial Spectrum Assignment for Systems with Delayed State Feedback, in the Proceedings of 11th Workshop on Time-Delay Systems, Dugard L., Wintrant E., Seuret A., Fridman E., Sename O. eds., 11th IFAC Workshop on Time-Delay Systems, 2013
Filippo Cacace, Alfredo Germani, Costanzo Manes: Stable Internally Positive Representations of Continuous Time Systems, IEEE Transactions on Automatic Control, http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6613530, 2013
Filippo Cacace, Alfredo Germani, Palumbo P.: The Observer Follower Filter: a new approach to nonlinear suboptimal filtering, Automatica 49(2), 548-553, 2013
Francesco Carravetta: Quadratic Embedding into Algebras and Global Stabilization for a Class of Nonlinear Control Systems, Nawrocka A, Petras I, Podlubny I, Kacur J, Sapinski B eds., Proceedings of the 14-th International Carpathian Control Conference (ICCC - 2013), 2013
Francesco Carravetta: Proportional Nonlinear Systems: A Liable Class for Global Exponential State-Feedback Stabilization, in the Proceedings of ASME 2013 Dynamic Systems and Control Conference, ASME 2013 Dynamic Systems and Control Conference, 2013
Francesco Carravetta, Palumbo P., Pepe P.: Memoryless solution to the optimal control problem for linear systems with delayed input, Kybernetika 49, 568-589, 2013
Francesco Carravetta, Sorge M.M.: Model reference adaptive expectations in Markov-switching economies, Economic Modelling 32, 551-559, 2013
Carlo Chiarla, Giovannini I.: Citrulline and metabolomics in acute kidney injury, Journal of Chromatography B 913-914, 137-137, 2013
Ciriaco Andrea D'Angelo, Viel F., Giovanni Abramo: The suitability of h and g indexes for measuring the research performance of institutions., Scientometrics 97, 555-570, 2013
d'Onofrio A., Gandolfi A.: Bounded stochastic perturbations may induce nongenetic resistance to antitumor chemotherapy, in: Bounded Noises in Physics, Biology, and Engineering, d'Onofrio A ed., Modeling and Simulation in Science, Engineering and Technology, Birkhauser New York, 171-187, 2013
Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Programs via Iterated Specialization, in the Proceedings of Partial Evaluation and Program Manipulation (PEPM '13), ACM-SIGPLAN, 2013
Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Specialization with Constrained Generalization for Software Model Checking, Lecture Notes in Computer Science Vol. 7844, pp. 51-70, 2013
Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of Imperative Programs through Transformation of Constraint Logic Programs, in the Proceedings of First International Workshop on Verification and Program Transformation (VPT 2013), EasyChair Proceedings in Computing (EPiC) series, Vol. 16, pp. 30-41, 2013
Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of Imperative Programs by Transforming Constraint Logic Programs, in the Proceedings of the 28th Italian Conference on Computational Logic (CILC 2013), CEUR-WS, Vol. 1068, pp. 83-98, 2013
Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of Imperative Programs by Constraint Logic Program Transformation, in the Proceedings of SAIRP 2013, Festschrift for Dave Schmidt, Electronic Proceedings in Theoretical Computer Science, Vol 129, pp. 186-210, 2013
Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification via Iterated Specialization, IASI-CNR, R. 13-11, 2013
Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Array Programs by Transforming Verification Conditions, IASI-CNR, R. 13-12, 2013
De Gaetano A., Claudio Roberto Gaz, Gori Giorgi C., Palumbo P.: An islet population model of pancreatic insulin production, 52nd IEEE Conference on Decision and Control (CDC'13), 2013
De Giovanni L., Massi G., Pezzella F., Pfetsch M.E., Giovanni Rinaldi, Paolo Ventura: A heuristic and an exact method for the gate matrix connection cost minimization problem, International Transactions in Operational Research 20, 627-643, 2013
De Rose AM, Cucchetti A., Clemente G., Ardito F., Giovannini I., Ercolani G., Giuliante F., Pinna A.D., Nuzzo G.: Prognostic significance of tumor doubling time in mass-forming type cholangiocarcinoma, Journal of Gastrointestinal Surgery 17, 739-747, 2013
Caterina De Simone, Anna Galluccio: Edge-colouring of joins of regular graphs II, Journal of Combinatorial Optimization 25, 78-90, 2013
Di Paola L, De Ruvo M, Paola Paci, Daniele Santoni, Giuliani A: Proteins Contact Networks: an emerging paradigm in chemistry, Chemical Reviews 113(3), 1598-1613, 2013
Diamantini C., Michele Missikoff, Potena D., Smith F., Storti E., Francesco Taglino: Knowledge-Based Business Innovation Support, in the Proceedings of the 21st Italian Symposium on Advanced Database Systems (SEBD 2013), 2013
Diamantini C., Potena D., Maurizio Proietti, Smith F., Storti E., Francesco Taglino: A Semantic Framework for Knowledge Management in Virtual Innovation Factories, International Journal of Information System Modeling and Design Vol 4(4), 70-92, 2013
Fasano A., Gandolfi A.: The steady state of multicellular tumour spheroids: a modelling challenge, in: Mathematical Methods and Models in Biomedicine,, Friedman A., Ledzewicz U., Schaettler H., Kashdan E. eds., Lecture Notes on Mathematical Modelling in the Life Sciences, 1, Springer New York, 179-202, 2013
Fasano G., Giampaolo Liuzzi, Lucidi S., Rinaldi F.: A Linesearch-based Derivative-free Approach for Nonsmooth Optimization, IASI-CNR, R. 13-01, 1/2013
Federici M, Bruno Luigi Martino: A Computer Cluster System for Pseudo-Parallel execution of Geant4 serial application, 2013
Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Generalization Strategies for the Verification of Infinite State Systems, Theory and Practice of Logic Programming 13, 175-199, 2013
Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Controlling Polyvariance for Specialization-based Verification, Fundamenta Informaticae 124, 483-502, 2013
Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Proving Theorems by Program Transformation, Fundamenta Informaticae 127 (1-4), 115-134, 2013
Fioravanti F., Maurizio Proietti, Senni V.: Efficient Generation of Test Data Structures Using Constraint Logic Programming and Program Transformation, IASI-CNR, R. 13-10, 2013
Giulia Fiscon, Paola Paci, Colombo T, Iannello G: Structural Analysis of Long Non-coding RNAs, IASI-CNR, R. 13-21, 12/2013
Giulia Fiscon, Paola Paci, Colombo T, Iannello G: Development of an algorithm to identify RNA secondary structures., Poster - FEBS Workshop. Translating the epigenomes into function: a next-generation challenge for human disease. October 13-16, Capri, Italy, 2013
Anna Formica: Similarity Reasoning for the Semantic Web based on Fuzzy Concept Lattices: an informal approach, Information Systems Frontiers 15 (3), 511-520, 2013
Anna Formica, Missikoff M, Elaheh Pourabbas, Francesco Taglino: Supporting Customer Choice with Semantic Similarity Search and Explanation, Lecture Notes in Business Information Processing 148, 317-328, 2013
Anna Formica, Missikoff M, Elaheh Pourabbas, Francesco Taglino: A Linked Data Based Approach to Similarity Reasoning, Short Paper Proceedings of the Second Workshop on New Generation Enterprise and Business Innovation Systems, 2013
Anna Formica, Michele Missikoff, Elaheh Pourabbas, Francesco Taglino: Semantic search for matching user requests with profiled enterprises, Computers in Industry 64 (3), 191-202, 2013
Anna Formica, Elaheh Pourabbas, Maurizio Rafanelli: Constraint Relaxation of the Polygon-Polyline Topological Relation for Geographic Pictorial Query Languages, Computer Science and Information Systems 10 (3), 1053-1075, 2013
Antonio Frangioni, Gorgone E.: A Library for Continuous Convex Separable Quadratic Knapsack Problems, European Journal of Operational Research 229(1), 37-40, 2013
Anna Galluccio, Claudio Gentile, Paolo Ventura: 2-clique-bond of stable set polyhedra, Discrete Applied Mathematics 161, 1988-2000, 2013
Gandolfi A., Iannelli M., Marinoschi G.: Time evolution for a model of epidermis growth, Journal of Evolution Equations 13, 509-533, 2013
Gandolfi A., Pugliese A., Carmela Sinisgalli: Epidemic dynamics and host immune response: a nested approach, IASI-CNR, R. 13-08, 2013
Graefe G., Nica A., Stolze K., Neumann T., Eavis T., Petrov I., Elaheh Pourabbas, Fekete D.: Elasticity in Cloud Databases and Their Query Processing, International Journal of Data Warehousing and Mining 9(2), 1-20, 2013
Gui D., Magalini S., De Gaetano A., Simona Panunzi: Observational study on preoperative surgical field disinfection: Povidone-iodine and Chlorhexidine-alcohol, European review for medical and pharmacological sciences 17, 3367-3375, 2013
Hoffman K.L., Padberg M., Giovanni Rinaldi: Traveling Salesman Problem, in: Encyclopedia of Operations Research and Management Science - 3rd Edition, Gass S.I., Fu M.C. eds., Encyclopedia of Operations Research and Management Science, Springer New York Heidelberg Dordrecht London, 1573-1578, 2013
Juagwon K, Lenbury Y., De Gaetano A., Palumbo P.: Application of modified Watanabe's approach for reconstruction of insulin secretion rate during OGTT under non-constant fraction of hepatic insulin extraction, International Journal of Mathematics and Computers in Simulation 7, 304-313, 2013
Juagwon K, Lenbury Y., De Gaetano A., Palumbo P.: Reconstruction of insulin secretion under the effects of hepatic extraction during OGTT: a modelling and convolution approach, 13rd WSEAS American Conference on Applied Mathematics (AMERICAN-MATH'13), 2013
Kolesnichenko A, Pourranjabar A, Senni V.: Applying Mean-field Approximation to Continuous Time Markov Chains., IMT Advanced Studies Lucca, 13000, 2013
Ludovici V, Smith F., Francesco Taglino: Collaborative Ontology Building in Virtual Innovation Factories, in the Proceedings of 2013 International Conference on Collaboration Technologies and Systems, IEEE Computer Society Press, 2013
Sara Mattia: The Robust Network Loading Problem with Dynamic Routing, Computational Optimization and Applications 54(3), 619-643, 2013
Sara Mattia: A Polyhedral Study of the Capacity Formulation of the Multilayer Network Design Problem, Networks 62(1), 17-26, 2013
Sara Mattia: The Cut Condition for Robust Network Design, in the Proceedings of INOC 2013, Electronic Notes in Discrete Mathematics, 41, pp. 303--310, 2013
Mauro Mazzei: Automatic exploration of changes in land use in urban areas by multivariate analysis of bi-temporal remote sensing images, 2013
Mauro Mazzei, Palma A.L.: Spatial Statistical Models for the Evaluation of the Landscape, Lecture Notes in Computer Science 7974, 2013
Ida Mele: Web usage mining for enhancing search-result delivery and helping users to find interesting web content, ACM International Conference on Web Search and Data Mining, 2013
Nobile M.S., Besozzi D, Cazzaniga P, Mauri G., Pescini D.: cupSODA: a CUDA-powered simulator of mass-action kinetics, in the Proceedings of Proceedings of 12th International Conference on Parallel Computing Technologies (PaCT 2013), Malyshkin V. ed., Lecture Notes in Computer Science, 7979, 2013
Palumbo P., Ditlevsen S., Alessandro Bertuzzi, De Gaetano A.: Mathematical modeling of the glucose-insulin system: a review, Mathematical Biosciences 244, 69-81, 2013
Palumbo P., Pepe P., Kong J.D., Kumar S.S., Simona Panunzi, De Gaetano A.: Regulation of the human plasma glycemia by means of glucose measurements and subcutaneous insulin administration, 3rd IFAC International Conference on Intelligent Control and Automation Science (ICONS13), 2013
Palumbo P., Pepe P., Simona Panunzi, De Gaetano A.: Closed-loop glucose control: application to the Euglycemic Hyperinsulinemic Clamp, 52nd IEEE Conference on Decision and Control (CDC'13), 2013
Palumbo P., Pepe P., Simona Panunzi, De Gaetano A.: Observer-based closed-loop control for the glucose-insulin system: local Input-to-State Stability with respect to unknown meal disturbances, American Control Conference (ACC13), 2013
Federico Papa, Conte Federica: Minimal value of the maximal dose fraction in the optimization of the radiotherapy scheduling, Dipartimento di Ingegneria Informatica, Automatica e Gestionale ``A. Ruberti'', Sapienza UniversitÃ di Roma, 13000, 2013
Alberto Pettorossi, Maurizio Proietti: Program Transformation for Program Verification, in the Proceedings of First International Workshop on Verification and Program Transformation (VPT 2013), EasyChair Proceedings in Computing (EPiC) series, Vol. 16, pp. 13-14, 2013
Alberto Pettorossi, Maurizio Proietti: First Order Predicate Calculus and Logic Programming, Third Edition, Aracne Editrice Roma, 2013
Pirillo G., Justin J.: Repetitivity of semigroups and a result of Cassaigne, Currie, Schaeffer and Shallit, IASI-CNR, R. 13-13, 2013
Salinari S., Alessandro Bertuzzi, Guidone C., Previti E., Rubino F., Mingrone G.: Insulin sensitivity and secretion changes after gastric bypass in normotolerant and diabetic obese subjects, Annals of Surgery 257, 462-468, 2013
Salinari S., Carr R.D., Guidone C., Alessandro Bertuzzi, Cercone S., Riccioni M.E., Manto A., Ghirlanda G., Mingrone G.: Nutrient infusion bypassing duodenum - jejunum reverses insulin resistance in normotolerant and diabetic obese subjects, American Journal of Physiology-Endocrinology and Metabolism 305, E59-E66, 2013
Salinari S., Debard C., Alessandro Bertuzzi, Durand C., Zimmet P., Vidal H., Mingrone G.: Jejunal proteins secreted by db/db mice or insulin-resistant humans impair the insulin signaling and determine insulin resistance, Plos One 8(2) e56258, 2013
Daniele Santoni, Castiglione F, Paola Paci: Identifying Correlations between Chromosomal Proximity of Genes and Distance of their Products in Protein-Protein Interaction Networks of Yeast, Plos One, 8(3):e57707, 2013
Smith F., De Sanctis D., Maurizio Proietti: A Platform for Managing Business Process Knowledge Bases via Logic Programming, in the Proceedings of the 28th Italian Conference on Computational Logic (CILC 2013), CEUR-WS, Vol. 1068, pp. 247-251, 2013
Smith F., Maurizio Proietti: Rule-Based Behavioural Reasoning on Semantic Business Processes, in the Proceedings of 5th International Conference on Agents and Artificial Intelligence, ICAART, pp. 130-143, 2013
Weitschek E., Arisi I., Giovanni Felici, Paola Bertolazzi: Knowledge extraction in clinical data, IASI-CNR, R. 13-20, 12/2013
Weitschek E., Cunial F, Giovanni Felici: Discovering genome-wide k-mer compositional rules using logic formulas, IASI-CNR, R. 13-19, 12/2013
Weitschek E., Giovanni Felici, Paola Bertolazzi: Clinical data mining: problems, pitfalls and solutions, Wagner R.R., Tjoa A.M., Morvan F eds., DEXA - Database and Expert Systems Applications, 2013
Weitschek E., Giovanni Felici, Paola Bertolazzi: Microarray Logic Analyzer Software, IASI-CNR, R. 13-18, 12/2013
Weitschek E., Giulia Fiscon, Giovanni Felici: Supervised Learning Meets DNA Barcoding Species Classification, IASI-CNR, R. 13-16, 12/2013
Weitschek E., Polychronopoulos D, Almirantis Y, Giovanni Felici: Conserved non coding elements classification, IASI-CNR, R. 13-15, 12/2013
Weitschek E., Daniele Santoni, De Cola M C, Giovanni Felici: About similarity of DNA reads, IASI-CNR, R. 13-17, 12/2013
Weitschek E., Van Velzen R, Giovanni Felici, Paola Bertolazzi: BLOG 2.0: a software system for character-based species classification with DNA Barcode sequences. What it does, how to use it, Molecular Ecology Resources, 2013
Wiese A., Vincenzo Bonifaci, Baruah S.: Partitioned EDF Scheduling on a Few Types of Unrelated Multiprocessors, Real-Time Systems 49, 219-238, 2013