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 IASI Research Reports
(or show them all): (Items found: 13)
2016 [top]
- Antonio Frangioni, Claudio Gentile, Hungerford J.: Decompositions of Semidefinite Matrices and the Perspective Reformulation of Nonseparable Quadratic Programs, IASI-CNR, R. 16-10, 2016
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Semantics-based generation of verification conditions via program specialization, IASI-CNR, R. 16-09, 2016
- Emanuele De Angelis, Fioravanti F., Meo M.C., Alberto Pettorossi, Maurizio Proietti: Verifying Controllability of Time-Aware Business Processes, IASI-CNR, R. 16-08, 2016
- Pirillo G.: Some recent results of Fibonacci numbers, Fibonacci words and Sturmian words, IASI-CNR, R. 16-07, 2016
- Bruni C., Federica Conte, Federico Papa, Carmela Sinisgalli: Optimal number and sizes of the doses in fractionated radiotherapy, IASI-CNR, R. 16-06, 9/2016
- Federico Papa, Binda F, Giovanni Felici, Franzetti M, Gandolfi A., Carmela Sinisgalli, Balotta C: A simple model of HIV epidemic in Italy: the role of the anti-retroviral treatment, IASI-CNR, R. 16-05, 9/2016
- Vincenzo Bonifaci, Brandenburg B., D'Angelo G., Marchetti Spaccamela A.: Multiprocessor Real-Time Scheduling with Hierarchical Processor Affinities, IASI-CNR, R. 16-04, 5/2016
- Pola G., Alessandro Borri, Di Benedetto M. D.: A study on Symbolic Control Design with Quantized State Measurements, IASI-CNR, R. 16-03, 4/2016
- Pola G., Alessandro Borri, Di Benedetto M. D.: A study on Symbolic Control Design with Quantized State Measurements, IASI-CNR, R. 16-03, 2016
- Alessandro Borri, Simona Panunzi, Palumbo P., Costanzo Manes, De Gaetano A.: Preliminary results on glucose control with sampled information, IASI-CNR, R. 16-02, 4/2016
- Alessandro Borri, Simona Panunzi, Palumbo P., Costanzo Manes, De Gaetano A.: Preliminary results on glucose control with sampled information, IASI-CNR, R. 16-02, 2016
- Alessandro Borri, Francesco Carravetta, Palumbo P.: A Cubification Approach for the Approximate Moments Computation in Stochastic Differential Equations: Application to the Chemical Langevin Equation, IASI-CNR, R. 16-01, 4/2016
- Alessandro Borri, Francesco Carravetta, Palumbo P.: A Cubification Approach for the Approximate Moments Computation in Stochastic Differential Equations: Application to the Chemical Langevin Equation, IASI-CNR, R. 16-01, 2016
|
