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 Articles in Proceedings (or show them all):   (Items found: 35)


2013  [top]
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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: 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
  • 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
  • Federici M, Bruno Luigi Martino: A Computer Cluster System for Pseudo-Parallel execution of Geant4 serial application, 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
  • 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
  • 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 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
  • 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., 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
  • 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
  • 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., 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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -