Items where Subject is "Q Science > QA Mathematics > QA75 Electronic computers. Computer science"

2022

Mazzoni, Leonardo and Costa, Gabriele Value creation mechanisms of cloud computing: a conceptual framework. CSA Technical Report #12/2022 IMT School for Advanced Studies Lucca

2018

Sopasakis, Pantelis and Sampathirao, Ajay Kumar and Bemporad, Alberto and Patrinos, Panagiotis Uncertainty-aware demand management of water distribution networks in deregulated energy markets. Environmental Modelling & Software, 101. pp. 10-22. ISSN 1364-8152 (2018)

2017

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele A Behavioural Theory for Interactions in Collective-Adaptive Systems. Working Paper arXiv (Submitted)

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. Working Paper arXiv (Submitted)

Abdelsamea, Mohammed M. and Gnecco, Giorgio and Medhat Gaber, Mohamed A SOM-based Chan–Vese model for unsupervised image segmentation. Soft Computing. A Fusion of Foundations, Methodologies and Applications, 21 (8). pp. 2047-2067. ISSN 1432-7643 (2017)

Barbi, Roberta and Buravlev, Vitaly and Mezzina, Claudio Antares and Schiavoni, Valerio Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report). In: Distributed Applications and Interoperable Systems - 17th IFIP WG 6.1 International Conference, DAIS 2017. Lecture Notes in Computer Science, 10320 . Springer, pp. 67-82. ISBN 978-3-319-59664-8 (2017)

Berardone, Irene and Gagliardi, Mariacristina and Lenarda, Pietro and Paggi, Marco Computational and experimental characterization of thermo-oxidative and corrosion phenomena in photovoltaic modules. In: The PhotoVoltaic Technical Conference - From advanced materials and processes to innovate applications 2017, 26-28 April 2017, Marseille (Unpublished) (2017)

Borrelli, Francesco and Bemporad, Alberto and Morari, Manfred Predictive Control for Linear and Hybrid Systems. Cambridge University Press. ISBN 9781107652873 (2017)

Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. In: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2017. Lecture Notes in Computer Science (10206). Springer, Berlin, pp. 310-328. ISBN 978-3-662-54580-5 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Mazzanti, Franco Verifying Properties of Systems Relying on Attribute-Based Communication. In: ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, 10500 . Springer, pp. 169-190. ISBN 978-3-319-68270-9 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang at Work. In: SOFSEM 2017: Theory and Practice of Computer Science. International Conference on Current Trends in Theory and Practice of Informatics. Lecture Notes in Computer Science, 10139 . Springer, pp. 485-497. ISBN 978-3-319-51963-0 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang: Empowering Erlang with Attribute-Based Communication. In: Coordination Models and Languages. International Conference on Coordination Languages and Models. Lecture Notes in Computer Science, 10319 . Springer, pp. 21-39. ISBN 978-3-319-59746-1 (2017)

Del Vicario, Michela and Scala, Antonio and Caldarelli, Guido and Stanley, H. Eugene and Quattrociocchi, Walter Modeling confirmation bias and polarization. Scientific Reports, 7. p. 40391. ISSN 2045-2322 (2017)

Gagliardi, Mariacristina and Berardone, Irene and Paggi, Marco Experimental characterization and numerical simulation of humidity-induced damage in PV cells. In: EU PVSEC 2017, 25 - 29 September 2017, Amsterdam (Unpublished) (2017)

Gagliardi, Mariacristina and Paggi, Marco Long-term EVA degradation simulation: climatic zones comparison and possible revision of accelerated tests. Solar Energy, 164. pp. 93-106. ISSN 0038-092X (In Press) (2017)

Gnecco, Giorgio and Bemporad, Alberto and Gori, Marco and Sanguineti, Marcello LQG Online Learning. Neural Computation, 29 (8). pp. 2203-2291. ISSN 0899-7667 (2017)

Graf Plessen, M. and Bernardini, Daniele and Esen, Hasan and Bemporad, Alberto Spatial-based predictive control and geometric corridor planning for adaptive cruise control coupled with obstacle avoidance. IEEE Transactions on Control Systems Technology. ISSN 1063-6536 (In Press) (2017)

Khakimova, Albina and Kusatayeva, Aliya and Shamshimova, Akmaral and Sharipova, Dana and Bemporad, Alberto and Familiant, Yakov and Shintemirov, Almas and Ten, Viktor and Rubagotti, Matteo Optimal energy management of a small-size building via hybrid model predictive control. Energy and Buildings, 140. pp. 1-8. ISSN 0378-7788 (2017)

Kolykhalova, Ksenia and Gnecco, Giorgio and Sanguineti, Marcello and Camurri, Antonio and Volpe, Gualtiero Graph-restricted Game Approach for Investigating Human Movement Qualities. In: Proceedings of the 4th International Conference on Movement Computing, June 28-30, 2017, London, United Kingdom 30:1-30:4. ISBN 978-1-4503-5209-3. (2017)

Labella, Anna and De Nicola, Rocco Initial Algebra for a System of Right-Linear Functors. Acta Cybernetica, 23 (1). pp. 191-201. ISSN 0324-721X (2017)

Lanese, Ivan and Lafuente, Alberto Lluch and Knight, Sophia and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2015. Journal of Logical and Algebraic Methods in Programming, 86 (1). p. 1. ISSN 2352-2208 (2017)

Minervini, Massimo and Giuffrida, Mario Valerio and Perata, Pierdomenico and Tsaftaris, Sotirios A. Phenotiki: an open software and hardware platform for affordable and easy image-based phenotyping of rosette-shaped plants. Plant Journal, 90 (1). pp. 204-216. ISSN 0960-7412 (2017)

Plessen, Mogens M. Graf and Bemporad, Alberto Reference trajectory planning under constraints and path tracking using linear time-varying model predictive control for agricultural machines. Biosystems Engineering, 153. 28 - 41. ISSN 1537-5110 (2017)

Quattrociocchi, Walter Inside the Echo Chamber. Scientific American, 316 (4). pp. 60-63. ISSN 0036-8733 (2017)

Saracco, Fabio and Straka, Mika J. and Di Clemente, Riccardo and Gabrielli, Andrea and Caldarelli, Guido and Squartini, Tiziano Inferring monopartite projections of bipartite networks: an entropy-based approach. New Journal of Physics, 19 (5). 053022. ISSN 1367-2630 (2017)

Sebastio, Stefano and Gnecco, Giorgio and Bemporad, Alberto Optimal distributed task scheduling in volunteer clouds. Computers and operations research, 81. 231 - 246. ISSN 0305-0548 (2017)

Squartini, Tiziano and Cimini, Giulio and Gabrielli, Andrea and Garlaschelli, Diego Network reconstruction via density sampling. Applied Network Science, 2 (1). p. 3. ISSN 2364-8228 (2017)

Suinesiaputra, A. and Ablin, P. and Alba, X. and Alessandrini, M. and Allen, J. and Bai, W. and Cimen, S. and Claes, P. and Cowan, B. R. and D'hooge, J. and Duchateau, N. and Ehrhardt, J. and Frangi, A. F. and Gooya, A. and Grau, V. and Lekadir, K. and Lu, A. and Mukhopadhyay, A. and Oksuz, Ilkay and Pennec, X. and Pereanez, M. and Pinto, C. and Piras, P. and Rohe, M. M. and Rueckert, D. and Sermesant, M. and Siddiqi, K. and Tabassian, M. and Teresi, L. and Tsaftaris, S. A. and Wilms, M. and Young, A. A. and Zhang, X. and Medrano-Gracia, P. Statistical shape modeling of the left ventricle: myocardial infarct classification challenge. IEEE Journal of Biomedical and Health Informatics, PP (99). p. 1. ISSN 2168-2194 (In Press) (2017)

Tognazzi, Stefano and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea EGAC: a genetic algorithm to compare chemical reaction networks. In: Proceedings of the Genetic and Evolutionary Computation Conference on - GECCO '17. ACM, pp. 833-840. ISBN 978-1-4503-4920-8 (2017)

Vincenzo, Scoca and Uriarte, Rafael Brundo and De Nicola, Rocco Smart Contract Negotiation in Cloud Computing. In: 10th International Conference on Cloud Computing (CLOUD), September 11, 2017, Honolulu, CA, USA pp. 592-599. ISBN 978-1-5386-1993-3. (2017)

Zanon, Mario and Boccia, Andrea and Palma, Vryan Gil S. and Parenti, Sonja and Xausa, Ilaria Direct Optimal Control and Model Predictive Control. In: Optimal Control: Novel Directions and Applications. Lecture Notes in Mathematics (2180). Springer, pp. 263-382. ISBN 978-3-319-60771-9 (2017)

2016

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele Programming of CAS Systems by Relying on Attribute-Based Communication. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer, pp. 539-553. ISBN 978-3-319-47166-2 (2016)

Bacigalupo, Andrea and Gnecco, Giorgio and Lepidi, Marco and Gambarotta, Luigi Design of acoustic metamaterials through nonlinear programming. In: Machine Learning, Optimization, and Big Data. Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016, Revised Selected Papers. Lecture Notes in Computer Science (10122). Springer, pp. 170-181. ISBN 978-3-319-51468-0 (2016)

Bacigalupo, Andrea and Gnecco, Giorgio and Lepidi, Marco and Gambarotta, Luigi Optimal design of low-frequency band gaps in anti-tetrachiral lattice meta-materials. Composites Part B: Engineering, 115. pp. 341-359. ISSN 1359-8368 (2016)

Bacigalupo, Andrea and Lepidi, Marco and Gnecco, Giorgio and Gambarotta, Luigi Optimal design of auxetic hexachiral metamaterials with local resonators. Smart Materials and Structures, 25 (5). ISSN 0964-1726 (2016)

Bartoletti, Massimo and Henrio, Ludovic and Knight, Sophia and Torres Vieira, Hugo (edited by) Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. Electronic Proceedings in Theoretical Computer Science, 223. ISSN 2075-2180 (2016)

Bemporad, Alberto A Quadratic Programming Algorithm Based on Nonnegative Least Squares with Applications to Embedded Model Predictive Control. IEEE Transactions on Automatic Control, 61 (4). pp. 1111-1116. ISSN 0018-9286 (2016)

Bortolussi, Luca and Tschaikowski, Max Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model. In: Analytical and Stochastic Modelling Techniques and Applications. ASMTA 2016. Lecture Notes in Computer Science (9845). Springer, pp. 92-106. ISBN 978-3-319-43904-4 (2016)

Breschi, Valentina and Piga, Dario and Bemporad, Alberto Piecewise affine regression via recursive multiple least squares and multicategory discrimination. Automatica, 73. 155 - 162. ISSN 0005-1098 (2016)

Caldarelli, Guido and Chessa, Alessandro Data Science and Complex Networks. Real Case Studies with Python. Oxford University press. ISBN 9780199639601 (2016)

Cardelli, Luca and Csikász-Nagy, Attila and Dalchau, Neil and Tribastone, Mirco and Tschaikowski, Max Noise Reduction in Complex Biological Switches. Scientific Reports (20214). pp. 1-12. ISSN 2045-2322 (2016)

Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Comparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective. In: Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), July 5-8, 2016, New York, USA (In Press) (2016)

Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Efficient Syntax-Driven Lumping of Differential Equations. In: Tools and Algorithms for the Construction and Analysis of Systems. 22nd International Conference, TACAS 2016. Lecture Notes in Computer Science (9636). Springer, pp. 93-111. ISBN 978-3-662-49673-2 (2016)

Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Symbolic Computation of Differential Equivalences. In: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 20 - 22, 2016, St. Petersburg, FL, USA pp. 137-150. ISBN 978-1-4503-3549-2. (2016)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello Congestion-aware forwarding strategies for intermittently connected networks. Working Paper (Submitted)

Coletto, Mauro and Lucchese, Claudio and Orlando, Salvatore and Perego, Raffaele Polarized User and Topic Tracking in Twitter. In: Proceedings of the 39th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2016, New York, USA pp. 945-948. ISBN 978-1-4503-4069-4. (2016)

Dardard, Floriane and Gnecco, Giorgio and Glowinski, Donald Automatic Classification of Leading Interactions in a String Quartet. ACM Transactions on Interactive Intelligent Systems (TiiS), 6 (1). ISSN 2160-6455 (In Press) (2016)

De Nicola, Rocco and Melgratti, Hernán Multiparty Testing Preorders. In: Trustworthy Global Computing. 0th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers. Lecture Notes in Computer Science (9533). Springer International Publishing, Cham, pp. 16-31. ISBN 978-3-319-28766-9 (2016)

El Ouardighi, F. and Kogan, K. and Gnecco, Giorgio and Sanguineti, Marcello Transboundary pollution control and environmental absorption efficiency management. Working Paper (Submitted)

Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo Dynamic role authorization in multiparty conversations. Formal Aspects of Computing, 28 (4). pp. 643-667. ISSN 0934-5043 (2016)

Giuffrida, Mario Valerio and Minervini, Massimo and Tsaftaris, Sotirios A. Learning to Count Leaves in Rosette Plants. In: Proceedings of the Computer Vision Problems in Plant Phenotyping (CVPPP), 7-10 September, 2015, Swansea, UK 1.1-1.13. (2016)

Gnecco, Giorgio On the Curse of Dimensionality in the Ritz Method. Journal of Optimization Theory and Applications, 168 (2). pp. 488-509. ISSN 0022-3239 (2016)

Gnecco, Giorgio Symmetric and antisymmetric properties of solutions to kernel-based machine learning problems. Working Paper (Submitted)

Gnecco, Giorgio Symmetry and antisymmetry properties of optimal solutions to regression problems. Working Paper (Submitted)

Gnecco, Giorgio and Bemporad, Alberto and Gori, Marco and Sanguineti, Marcello Linear Quadratic Gaussian (LQG) online learning. Working Paper arXiv (Submitted)

Gnecco, Giorgio and Gori, Marco and Melacci, Stefano and Sanguineti, Marcello Learning with hard constraints as a limit case of learning with soft constraints. In: 24 th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (ESANN), April 27-29, 2016, Bruges, Belgium (In Press) (2016)

Gnecco, Giorgio and Morisi, Rita and Roth, Giorgio and Sanguineti, Marcello and Taramasso, Angela Celeste Supervised and semi-supervised classifiers for the detection of flood-prone areas. Soft Computing. A Fusion of Foundations, Methodologies and Applications. pp. 1-13. ISSN 1432-7643 (In Press) (2016)

Gnecco, Giorgio and Pammolli, Fabio and Tuncay, Berna Welfare effects of uniform and differential pricing schemes: an analysis through quadratic programming. Working Paper (Submitted)

Gnecco, Giorgio and Sanguineti, Marcello On the approximation of the optimal control functions in stochastic optimal control problems. Working Paper (Submitted)

Gramegna, Laura Ludovica and Testa, Claudia and Morisi, Rita and Zanigni, Stefano and Gnecco, Giorgio and Lanconelli, Nico and Manners, David Neil and Evangelisti, Stefania and Cortelli, Pietro and Tonon, Caterina and Lodi, Raffaele Binary and multi-class classification of parkinsonian disorders with support vector machines based on quantitative brain MR and graph-based features. In: ISMRM 2016 - Italian Chapter. Risonanza magnetica in medicina: dalla ricerca tecnologica avanzata alla pratica clinica, February 4-5, 2016, Bologna (2016)

Gros, Sébastien and Zanon, Mario and Quirynen, Rien and Bemporad, Alberto and Diehl, Moritz From linear to nonlinear MPC: bridging the gap via the real-time iteration. International Journal of Control. pp. 1-19. ISSN 0020-7179 (In Press) (2016)

Gros, Sébastien and Zanon, Mario and Quirynen, Rien and Bemporad, Alberto and Diehl, Moritz From linear to nonlinear MPC: bridging the gap via the real-time iteration. International Journal of Control. pp. 1-19. ISSN 0020-7179 (In Press) (2016)

Huttel, Hans and Lanese, Ivan and Vasconcelos, Vasco Thudichum and Caires, Luis and Carbone, Marco and Deniélou, Pierre-Malo and Mostrous, Dimitris and Padovani, Luca and Ravara, Antonio and Tuosto, Emilio and Torres Vieira, Hugo and Zavattaro, Gianluigi Foundations of Session Types and Behavioural Contracts. ACM Computing Surveys, 49 (1). pp. 1-36. ISSN 0360-0300 (2016)

Lanese, Ivan and Lafuente, Alberto Lluch and Sokolova, Ana and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2014. Journal of Logical and Algebraic Methods in Programming, 85 (3). p. 367. ISSN 2352-2208 (2016)

Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard Reversibility in the higher-order \(π\)-calculus. Theoretical Computer Science, 625. pp. 25-84. ISSN 0304-3975 (2016)

Lin, Ying-Chia and Gili, Tommaso and Tsaftaris, Sotirios A. and Gabrielli, Andrea and Iorio, Mariangela and Spalletta, Gianfranco and Caldarelli, Guido Parcellation-based connectome assessment by using structural and functional connectivity. In: 24th Annual Meeting ISMRM, May 7-13, 2016, Singapore (In Press) (2016)

Lin, Ying-Chia and Gili, Tommaso and Tsaftaris, Sotirios A. and Gabrielli, Andrea and Iorio, Mariangela and Spalletta, Gianfranco and Caldarelli, Guido A cortical and sub-cortical parcellation clustering by intrinsic functional connectivity. In: 24th Annual Meeting ISMRM, May 7-13, 2016, Singapore (In Press) (2016)

Maulana, Asep and Gemmetto, Valerio and Garlaschelli, Diego and Yevesyeva, Iryna and Emmerich, Michael Modularities maximization in multiplex network analysis using Many-Objective Optimization. In: 2016 IEEE Symposium Series on Computational Intelligence (SSCI), December 6-9, 2016, Athens, Greece pp. 1-8. ISBN 978-1-5090-4240-1. (2016)

Medic, Doriana and Mezzina, Claudio Antares Static VS Dynamic Reversibility in CCS. In: Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Lecture Notes in Computer Science (9720). Springer, pp. 36-51. ISBN 978-3-319-40577-3 (2016)

Minervini, Massimo and Fischbach, Andreas and Scharr, Hanno and Tsaftaris, Sotirios A. Finely-grained annotated datasets for image-based plant phenotyping. Pattern Recognition Letters, 81. pp. 80-89. ISSN 0167-8655 (2016)

Minervini, Massimo and Giuffrida, Mario Valerio and Tsaftaris, Sotirios A. An interactive tool for semi-automated leaf annotation. In: Proceedings of the Computer Vision Problems in Plant Phenotyping (CVPPP), 7-10 September, 2015, Swansea, UK (2016)

Morisi, Rita and Gnecco, Giorgio and Bemporad, Alberto A hierarchical consensus method for the approximation of the consensus state, based on clustering and spectral graph theory. Engineering Applications of Artificial Intelligence, 56. 157 - 174. ISSN 0952-1976 (2016)

Morisi, Rita and Gnecco, Giorgio and Lanconelli, Nico and Zanigni, Stefano and Manners, David Neil and Testa, Claudia and Evangelisti, Stefania and Gramegna, Laura Ludovica and Bianchini, Claudio and Cortelli, Pietro and Tonon, Caterina and Lodi, Raffaele Binary and multi-class Parkinsonian disorders classification using Support Vector Machines with graph-based features. Working Paper (Submitted)

Mukhopadhyay, Anirban and Oksuz, Ilkay and Tsaftaris, Sotirios A. Supervised Learning of Functional Maps for Infarct Classification. In: Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges. Lecture Notes in Computer Science, 9534 . Springer, pp. 162-170. ISBN 978-3-319-28711-9 (2016)

Onofrey, John A. and Oksuz, Ilkay and Sarkar, Saradwata and Venkataraman, Rajesh and Staib, Lawrence H. and Papademetris, Xenophon MRI-TRUS Image Synthesis with Application to Image-Guided Prostate Intervention. In: Simulation and Synthesis in Medical Imaging. First International Workshop, SASHIMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings. Lecture Notes in Computer Science (9968). Springer International Publishing, pp. 157-166. ISBN 978-3-319-46630-9 (2016)

Rubagotti, Matteo and Patrinos, Panagiotis and Guiggiani, Alberto and Bemporad, Alberto Real-time model predictive control based on dual gradient projection: Theory and fixed-point FPGA implementation. International Journal of Robust and Nonlinear Control, 26 (15). pp. 3292-3310. ISSN 10498923 (2016)

Rubagotti, Matteo and Zaccarian, Luca and Bemporad, Alberto A Lyapunov method for stability analysis of piecewise-affine systems over non-invariant domains. International Journal of Control, 89 (5). pp. 950-959. ISSN 0020-7179 (2016)

Sampathirao, Ajay Kumar and Sopasakis, Pantelis and Bemporad, Alberto and Patrinos, Panagiotis GPU-accelerated stochastic predictive control of drinking water networks. IEEE Transactions on Control Systems Technology. ISSN 1063-6536 (Submitted) (2016)

Sebastio, Stefano and Gnecco, Giorgio A green policy to schedule tasks in a distributed cloud. Working Paper (Submitted)

Sebastio, Stefano and Gnecco, Giorgio and Bemporad, Alberto “Optimal distributed task scheduling in volunteer clouds. Working Paper (Submitted)

Themelis, A. and Villa, S. and Patrinos, Panagiotis and Bemporad, Alberto Stochastic gradient methods for stochastic model predictive control. In: 2016 European Control Conference (ECC), June 29 - July 1, 2016, Aalborg, Denmark pp. 154-159. ISBN 978-1-5090-2591-6. (2016)

Tsaftaris, Sotirios A. and Minervini, Massimo and Scharr, Hanno Machine Learning for Plant Phenotyping Needs Image Processing. Trends in Plant Science, 21 (12). pp. 989-991. ISSN 1360-1385 (2016)

Tschaikowski, Max and Tribastone, Mirco Approximate reduction of heterogenous nonlinear models with differential hulls. IEEE Transactions on Automatic Control, 61 (4). pp. 1099-1104. ISSN 0018-9286 (2016)

Vandin, Andrea and Tribastone, Mirco Quantitative Abstractions for Collective Adaptive Systems. In: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures. Lecture Notes in Computer Science (9700). Springer International Publishing, Cham, pp. 202-232. ISBN 978-3-319-34095-1 (2016)

ter Beek, Maurice H. and Melgratti, Hernán C. and Torres Vieira, Hugo (edited by) Proceedings of the 31st Annual ACM Symposium on Applied Computing, SAC 2016, Special track on service-oriented architectures and programming (SOAP). In: 31st Annual ACM Symposium on Applied Computing, SAC 2016, Special track on service-oriented architectures and programming (SOAP) pp. 1588-1589. ISBN 978-145033739-7. (2016)

2015

Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele On Expressiveness and Behavioural Theory of Attribute-based Communication. CSA Technical Report #10/2015 IMT Institute for Advanced Studies Lucca (Submitted)

Abdelsamea, Mohammed and Gnecco, Giorgio Robust local–global SOM-based ACM. Electronics Letters, 51 (2). pp. 142-143. ISSN 0013-5194 (2015)

Abdelsamea, Mohammed and Gnecco, Giorgio and Gaber, Mohamed Medhat A SOM-based Chan–Vese model for unsupervised image segmentation. Soft Computing. A Fusion of Foundations, Methodologies and Applications. pp. 1-21. ISSN 1432-7643 (In Press) (2015)

Abdelsamea, Mohammed and Gnecco, Giorgio and Gaber, Mohamed Medhat An efficient Self-Organizing Active Contour model for image segmentation. Neurocomputing, 149 (Part B). 820 - 835. ISSN 0925-2312 (2015)

Abdelsamea, Mohammed and Gnecco, Giorgio and Gaber, Mohamed Medhat and Elyan, Eyad On the Relationship between Variational Level Set-Based and SOM-Based Active Contours. Computational Intelligence and Neuroscience, 2015 (109029). ISSN 1687-5265 (2015)

Abeywickrama, Dhaminda B. and Combaz, Jacques and Horký, Jaroslav and Kofro\v and Vandin, Andrea and Vassev, Emil and Kofroň, Jan and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Mayer, Philip and Monreale, Giacoma Valentina and Montanari, Ugo and Pinciroli, Carlo and Tůma, Petr Software Engineering for Collective Autonomic Systems: The ASCENS Approach. In: Software Engineering for Collective Autonomic Systems. Lecture Notes in Computer Science, 19 (8998). Springer International Publishing, Cham, pp. 429-448. ISBN 978-3-319-16309-3 (2015)

Baldoni, Roberto and De Nicola, Rocco Il Futuro della Cyber Security in Italia. Un libro bianco per raccontare le principali sfide che il nostro Paese dovrà affrontare nei prossimi cinque anni. Consorzio Interuniversitario Nazionale per l'Informatica. ISBN 9788894137309 (2015)

Bartoletti, Massimo and Castellani, Ilaria and Deniélou, Pierre-Malo and Dezani-Ciancaglini, Mariangiola and Ghilezan, Silvia and Pantović, Jovanka and Pérez, Jorge A. and Thiemann, Peter and Toninho, Bernardo and Torres Vieira, Hugo Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 84 (6). pp. 763-780. ISSN 2352-2208 (2015)

Bellio, Ruggero and Coletto, Mauro Simple outlier labeling based on quantile regression, with application to the steelmaking process. Applied Stochastic Models in Business and Industry, 32 (2). pp. 228-242. ISSN 1524-1904, (2015)

Bemporad, Alberto Solving Mixed-Integer Quadratic Programs via Nonnegative Least Squares. IFAC-PapersOnLine, 48 (23). pp. 73-79. ISSN 24058963 (2015)

Bemporad, Alberto A multiparametric quadratic programming algorithm with polyhedral computations based on nonnegative least squares. IEEE Transactions on Automatic Control , 60 (11). pp. 2892-2903. ISSN 0018-9286 (2015)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica, 52 (1). pp. 61-106. ISSN 0001-5903 (2015)

Bessi, Alessandro and Petroni, Fabio and Del Vicario, Michela and Zollo, Fabiana and Anagnostopoulos, Aris and Scala, Antonio and Caldarelli, Guido and Quattrociocchi, Walter Viral Misinformation: The Role of Homophily and Polarization. In: Proceedings of the 24th International Conference on World Wide Web, May 18 - 22, 2015, Florence pp. 355-356. ISBN 978-1-4503-3473-0. (2015)

Bessi, Alessandro and Zollo, Fabiana and Del Vicario, Michela and Scala, Antonio and Caldarelli, Guido and Quattrociocchi, Walter Trend of Narratives in the Age of Misinformation. Working Paper ArXiv (Submitted)

Bessi, Alessandro and Zollo, Fabiana and Del Vicario, Michela and Scala, Antonio and Petroni, Fabio and Gonçalves, Bruno and Quattrociocchi, Walter Everyday the same picture: popularity and content diversity. Working Paper #7/2015 ArXiv (Submitted)

Betta, Monica and Laurino, Marco and Pugliese, Andrea and Guzzetta, Giorgio and Landi, Alberto and Manfredi, Piero Optimal Varicella immunization programs for both Varicella and Herpes Zoster Control. In: Erice MathCompEpi 2015, August 30 - September 5, 2015, Erice, Italy (2015)

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele CaSPiS: a calculus of sessions, pipelines and services. Mathematical Structures in Computer Science, 25 (3). pp. 666-709. ISSN 0960-1295 (2015)

Bortolussi, Luca and Hillston, Jane and Tribastone, Mirco Fluid performability analysis of nested automata models. Electronic Notes in Theoretical Computer Science, 310. pp. 27-47. ISSN 1571-0661 (2015)

Boschetto, Davide and Mirzaei, H. and Leong, R.W.L. and Grisan, Enrico Detection and density estimation of goblet cells in confocal endoscopy for the evaluation of celiac disease. In: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, August 25-29, 2015, Milan pp. 6248-6251. ISBN 978-1-4244-9270-1. (2015)

Boschetto, Davide and Mirzaei, H. and Leong, R.W.L. and Tarroni, Giacomo and Grisan, Enrico Semiautomatic detection of villi in confocal endoscopy for the evaluation of celiac disease. In: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, August 25-29, 2015, Milan pp. 8143-8146. ISBN 978-1-4244-9270-1. (2015)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Hölzl, Matthias and Lluch Lafuente, Alberto and Vandin, Andrea and Wirsing, Martin Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 163-184. ISBN 978-3-319-16309-3 (2015)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lafuente, Alberto Lluch and Vandin, Andrea Modelling and analyzing adaptive self-assembly strategies with Maude. Science of Computer Programming, 99. 75 - 94. ISSN 0167-6423 (2015)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch Lafuente, Alberto and Vandin, Andrea A White Box Perspective on Behavioural Adaptation. In: Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science (8950). Springer, pp. 552-581. ISBN 978-3-319-15544-9 (2015)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Modelling and analyzing adaptive self-assembling strategies with Maude. Science of Computer Programming, 99. pp. 75-94. ISSN 0167-6423 (2015)

Bulej, Lubomír and Bureš, Tomáš and Gerostathopoulos, Ilias and Horký, Vojtěch and Keznikl, Jaroslav and Marek, Lukáš and Tschaikowski, Max and Tribastone, Mirco and Tůma, Petr Supporting performance awareness in autonomous ensembles. In: Software Engineering for Collective Autonomic Systems : the ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 291-322. ISBN 978-3-319-16310-9 (2015)

Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Forward and Backward Bisimulations for Chemical Reaction Networks. In: 26th International Conference on Concurrency Theory (CONCUR 2015), September 1–4, 2015, Madrid, Spain pp. 226-239. ISSN 1868-8969. ISBN 978-3-939897-91-0. (2015)

Catini, Roberto and Karamshuk, Dmytro and Penner, Orion and Riccaboni, Massimo Identifying geographic clusters: A network analytic approach. Research Policy, 44 (9). pp. 1749-1762. ISSN 0048-7333 (2015)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello Narrowing the Search for Optimal Call-Admission Policies Via a Nonlinear Stochastic Knapsack Model. Journal of Optimization Theory and Applications, 164 (3). pp. 819-841. ISSN 0022-3239 (2015)

Coletto, Mauro and Lucchese, Claudio and Orlando, Salvatore and Perego, Raffaele Electoral predictions with Twitter: a machine-learning approach. In: 6th Italian Information Retrieval Workshop, 25-26 May 2015, Cagliari, Italy (2015)

De Nicola, Rocco A formal approach to autonomic systems programming: the SCEL language. In: Formal Aspects of Component Software. Lecture Notes in Computer Science . Springer, pp. 24-28. ISBN 978-3-319-15317-9 (2015)

De Nicola, Rocco and Hennicker, Rolf A homage to Martin Wirsing. In: Software, Services, and Systems. Lecture Notes in Computer Science (8950). Springer, pp. 1-12. ISBN 978-3-319-15545-6 (2015)

De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015)

Degiorgis, Massimiliano and Gnecco, Giorgio and Gorni, Silvia and Morisi, Rita and Roth, Giorgio and Sanguineti, Marcello and Taramasso, Angela Celeste Evaluating flood hazard at the catchment scale via machine-learning techniques. In: 8th Winter Conference of the Italian Operational Research Society (AIRO Winter 2015), January 25-30, 2015, Champoluc, Italy (2015)

Del Vicario, Michela and Zhang, Qian and Bessi, Alessandro and Zollo, Fabiana and Scala, Antonio and Caldarelli, Guido and Quattrociocchi, Walter Structural patterns of the occupy movement on Facebook. Working Paper # /2015 ArXiv (Submitted)

Eom, Young-Ho and Jo, Hang-Hyun Tail-scope: Using friends to estimate heavy tails of degree distributions in large-scale complex networks. Scientific Reports, 5 (09752). pp. 1-9. ISSN 2045-2322 (2015)

Gagliardi, Mariacristina Experimental and computational study of mechanical and transport properties of a polymer coating for drug-eluting stents. Therapeutic Delivery, 6 (11). pp. 1255-1268. ISSN 2041-5990 (2015)

Galam, Serge and Javarone, Marco Alberto and Squartini, Tiziano SEDNAM - Socio-Economic Dynamics: Networks and Agent-Based Models - Introduction. In: Social Informatics. SocInfo 2014 International Workshops, Barcelona, Spain, November 11, 2014, Revised Selected Papers. Lecture Notes in Computer Science, 8852 (8852). Springer, pp. 321-322. ISBN 978-3-319-15168-7 (2015)

Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo A Typed Model for Dynamic Authorizations. Electronic Proceedings in Theoretical Computer Science, 203. pp. 73-84. ISSN 2075-2180 (2015)

Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-Consistent Reversibility in a Tuple-Based Language. In: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015, 4-6 March, 2015, Turku, Finland pp. 467-475. ISBN 978-1-4799-8491-6. (2015)

Gilmore, Stephen and Hillston, Jane and Tribastone, Mirco Service composition for collective adaptive systems. In: Software, Services, and Systems. Lecture Notes in Computer Science (8950). Springer, pp. 490-505. ISBN 978-3-319-15545-6 (2015)

Gnecco, Giorgio and Bemporad, Alberto and Gori, Marco and Morisi, Rita and Sanguineti, Marcello Online learning as an LQG optimal control problem with random matrices. In: 14th European Control Conference (ECC), July 15-17, 2015, Linz, Austria pp. 2482-2489. ISBN 978-3-9524269-3-7. (2015)

Gnecco, Giorgio and El Ouardighi, F. and Kogan, K. and Sanguineti, Marcello A Two-Player Differential Game Model for the Management of Transboundary Pollution and Environmental Absorption. In: 45th Conference of Italian Operational Research Society (AIRO 2015), September 7-10, 2015, Pisa, Italy pp. 306-307. (2015)

Gnecco, Giorgio and Gori, Marco and Melacci, Stefano and Sanguineti, Marcello Foundations of Support Constraint Machines. Neural Computation, 27 (2). pp. 388-480. ISSN 0899-7667 (2015)

Gnecco, Giorgio and Gori, Marco and Melacci, Stefano and Sanguineti, Marcello Learning With Mixed Hard/Soft Pointwise Constraints. IEEE Transactions on Neural Networks and Learning Systems, 26 (9). pp. 2019-2032. ISSN 2162-237X (2015)

Gnecco, Giorgio and Gori, Marco and Melacci, Stefano and Sanguineti, Marcello Learning as Constraint Reactions. In: Artificial Neural Networks. Springer Series in Bio-/Neuroinformatics (4). Springer, pp. 245-270. ISBN 978-3-319-09903-3 (2015)

Gnecco, Giorgio and Morisi, Rita and Bemporad, Alberto Sparse Solutions to the Average Consensus Problem via Various Regularizations of the Fastest Mixing Markov-Chain Problem. IEEE Transactions on Network Science and Engineering, 2 (3). pp. 97-111. ISSN 2327-4697 (2015)

Hans, Christian and Sopasakis, Pantelis and Bemporad, Alberto and Jörg, Raisch and Reincke-Collon, Carsten Scenario-Based Model Predictive Operation Control of Islanded Microgrids. In: 54th IEEE Conference on Decision and Control, 15-18 December, 2015, Osaka, Japan pp. 3272-3277. ISBN 978-1-4799-7884-7. (2015)

Iacobelli, Giulio and Tribastone, Mirco and Vandin, Andrea Differential Bisimulation for a Markovian Process Algebra. In: Mathematical Foundations of Computer Science 2015. 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Lecture Notes in Computer Science (9234). Springer, pp. 293-306. ISBN 978-3-662-48056-4 (2015)

Jeliazkova, Nina and Chomenides, Haralambos and Doganis, Philip and Fadeel, Bengt and Grafström, Roland and Hardy, Barry and Hastings, Janna and Hegi, Markus and Jeliazkov, Vedrin and Kochev, Nikolay and Kohonen, Pekka and Munteanu, Cristian and Sarimveis, Haralambos and Smeets, Bart and Sopasakis, Pantelis and Tsiliki, Georgia and Vorgrimmler, David and Willighagen, Egon The eNanoMapper database for nanomaterial safety information. Beilstein Journal of Nanotechnology, 6. pp. 1609-1634. ISSN 2190-4286 (2015)

Knight, Sophia and Lanese, Ivan and Lafuente, Alberto Lluch and Torres Vieira, Hugo (edited by) Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. Electronic Proceedings in Theoretical Computer Science, 189. ISSN 2075-2180 (2015)

Kowal, Matthias and Tschaikowski, Max and Tribastone, Mirco and Schaefer, Ina Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T). In: 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), November 9-13, 2015, Lincoln, Nebraska pp. 407-417. ISBN 978-1-5090-0024-1. (2015)

Lin, Ying-Chia and Daducci, Alessandro and Meskaldji, Djalel-Eddine and Thiran, Jean-Philippe and Michel, Patrik and Meuli, Reto A and Krueger, Gunnar and Menegaz, Gloria and Granziera, Cristina Quantitative analysis of myelin and axonal remodeling in the uninjured motor network after stroke. Brain Connectivity, 5 (7). pp. 401-412. ISSN 2158-0014 (2015)

Lin, Ying-Chia and Gili, Tommaso and Tsaftaris, Sotirios A. and Gabrielli, Andrea and Iorio, Mariangela and Spalletta, Gianfranco and Caldarelli, Guido A Cortical and Sub-cortical Parcellation Clustering by Intrinsic Functional Connectivity. In: XXIII National Congress of the Italian Society of Psychophysiology, November 19-21, 2015, Lucca, Italy pp. 113-114. ISSN 1970-321X. (2015)

Minervini, Massimo and Rusu, Cristian and Damiano, Mario and Tucci, Valter and Bifone, Angelo and Gozzi, Alessandro and Tsaftaris, Sotirios A. Large-scale analysis of neuroimaging data on commercial clouds with content-aware resource allocation strategie. International Journal of High Performance Computing Applications, 29 (4). pp. 473-488. ISSN 1094-3420 (2015)

Minervini, Massimo and Rusu, Cristian and Tsaftaris, Sotirios A. Computationally efficient data and application driven color transforms for the compression and enhancement of images and video. In: Color Image and Video Enhancement. Springer, pp. 371-393. ISBN 978-3-319-09363-5 (2015)

Minervini, Massimo and Scharr, Hanno and Tsaftaris, Sotirios A. Image Analysis: The New Bottleneck in Plant Phenotyping [Applications Corner]. IEEE Signal Processing Magazine, 32 (4). pp. 126-131. ISSN 1053-5888 (2015)

Minervini, Massimo and Scharr, Hanno and Tsaftaris, Sotirios A. The significance of image compression in plant phenotyping applications. Functional Plant Biology, 42 (10). pp. 971-988. ISSN 1445-4408 (2015)

Minervini, Massimo and Tsaftaris, Sotirios A. Classification-aware distortion metric for HEVC intra coding. In: 2015 Visual Communications and Image Processing (VCIP), December 13-16, 2015, Singapore, Singapore (2015)

Morisi, Rita and Donini, Bruno and Lanconelli, Nico and Rosengarden, James and Morgan, John and Harden, Stephen and Curzen, Nick Semi-automated scar detection in delayed enhanced cardiac magnetic resonance images. International Journal of Modern Physics C, 26 (01). p. 1550011. ISSN 0129-1831 (2015)

Morisi, Rita and Gnecco, Giorgio and Lanconelli, Nico and Zanigni, Stefano and Manners, David Neil and Testa, Claudia and Evangelisti, Stefania and Gramegna, LauraLudovica and Bianchini, Claudio and Cortelli, Pietro and Tonon, Caterina and Lodi, Raffaele Binary and Multi-class Parkinsonian Disorders Classification Using Support Vector Machines. In: Pattern Recognition and Image Analysis. Lecture Notes in Computer Science, 9117 . Springer, pp. 379-386. ISBN 978-3-319-19389-2 (2015)

Mukhopadhyay, Anirban and Bevilacqua, Marco and Oksuz, Ilkay and Dharmakumar, Rohan and Tsaftaris, Sotirios A. Data Driven Feature Learning for Representation of Myocardial BOLD MR Images. In: ISMRM 23st Annual Meeting, 30 May - 5 Jun 2015, Toronto, Ontario, Canada (Unpublished) (2015)

Mukhopadhyay, Anirban and Oksuz, Ilkay and Bevilacqua, Marco and Dharmakumar, Rohan and Tsaftaris, Sotirios A. Unsupervised Myocardial Segmentation for Cardiac MRI. In: Medical Image Computing and Computer-Assisted Intervention. MICCAI 2015. Lecture Notes in Computer Science, 9351 . Springer, pp. 12-20. ISBN 978-3-319-24573-7 (2015)

Mukhopadhyay, Anirban and Oksuz, Ilkay and Bevilacqua, Marco and Tsaftaris, Sotirios A. Data-driven feature learning for myocardial segmentation of CP-BOLD MRI. In: Functional imaging and modeling of the heart. Springer, pp. 189-197. ISBN 978-3-319-20309-6 (2015)

Oksuz, Ilkay and Mukhopadhyay, Anirban and Bevilacqua, Marco and Dharmakumar, Rohan and Tsaftaris, Sotirios A. Dictionary Learning Based Image Descriptor for Myocardial Registration of CP-BOLD MR. In: Medical Image Computing and Computer-Assisted Intervention. MICCAI 2015. Lecture Notes in Computer Science, 9350 . Springer, pp. 205-213. ISBN 978-3-319-24570-6 (2015)

Oksuz, Ilkay and Mukhopadhyay, Anirban and Bevilacqua, Marco and Yang, Hsin-Jung and Dharmakumar, Rohan and Tsaftaris, Sotirios A. Effect of BOLD Contrast on Myocardial Registration. In: ISMRM 23st Annual Meeting, 30 May - 5 Jun 2015, Toronto, Ontario, Canada (Unpublished) (2015)

Patrinos, Panagiotis and Guiggiani, Alberto and Bemporad, Alberto A dual gradient-projection algorithm for model predictive control in fixed-point arithmetic. Automatica, 55. 226 - 235. ISSN 0005-1098 (2015)

Romascano, David and Meskaldji, Djalel-Eddine and Bonnier, Guillaume and Simioni, Samanta and Rotzinger, David and Lin, Ying-Chia and Menegaz, Gloria and Roche, Alexis and Schluep, Myriam and Pasquier, Renaud Du and Richiardi, Jonas and Van De Ville, Dimitri and Daducci, Alessandro and Sumpf, Tilman Johannes and Fraham, Jens and Thiran, Jean-Philippe and Krueger, Gunnar and Granziera, Cristina Multicontrast connectometry: a new tool to assess cerebellum alterations in early relapsing-remitting multiple sclerosis. Human Brain Mapping, 36 (4). pp. 1609-1619. ISSN 1065-9471 (2015)

Sampathirao, Ajay Kumar and Sopasakis, Pantelis and Bemporad, Alberto and Patrinos, Panagiotis Distributed solution of stochastic optimal control problems on GPUs. In: 54th IEEE Conference on Decision and Control, 15-18 December, 2015, Osaka, Japan (2015)

Sanguineti, Marcello and Gnecco, Giorgio and Gori, Marco and Melacci, Stefano Dealing with mixed hard/soft constraints via Support constraint Machines. In: 45th Conference of Italian Operational Research Society (AIRO 2015), September 7-10, 2015, Pisa, Italy pp. 218-219. (2015)

Sannino, Sara and Gozzi, Alessandro and Cerasa, Antonio and Piras, Fabrizio and Scheggia, Diego and Manago, Francesca and Damiano, Mario and Galbusera, Alberto and Erickson, Lucy C. and De Pietri Tonelli, Davide and Bifone, Angelo and Tsaftaris, Sotirios A. and Caltagirone, Carlo and Weinberger, Daniel R. and Spalletta, Gianfranco and Papaleo, Francesco COMT Genetic Reduction Produces Sexually Divergent Effects on Cortical Anatomy and Working Memory in Mice and Humans. Cerebral Cortex, 25 (9). pp. 2529-2541. ISSN 1047-3211 (2015)

Sopasakis, Pantelis and Bernardini, Daniele and Strauch, Hans and Bennani, Samir and Bemporad, Alberto Sloshing-aware attitude control of impulsively actuated spacecraft. In: European Control Conference, 15th-17th July 2015, Linz, Austria (In Press) (2015)

Sopasakis, Pantelis and Ntouskas, Sotiris and Sarimveis, Haralambos Robust model predictive control for discrete-time fractional-order systems. In: 23th Mediteranean Conference on Control and Automation, 16-19 june, 2015, Torremolinos, Spain pp. 384-389. ISBN 978-1-4799-9936-1. (2015)

Sopasakis, Pantelis and Patrinos, Panagiotis and Sarimveis, Haralambos and Bemporad, Alberto Model Predictive Control for Linear Impulsive Systems. IEEE Transactions on Automatic Control , 60 (8). pp. 2277-2282. ISSN 0018-9286 (2015)

Takapoui, Reza and Mohele, Nicholas and Boyd, Stephen and Bemporad, Alberto A Simple Effective Heuristic for Embedded Mixed-Integer Quadratic Programming. In: American Control Conference (ACC) 2016, July 6-8, 2016, Boston ISSN 2378-5861. ISBN 978-1-4673-8681-4. (2015)

Tschaikowski, Max and Tribastone, Mirco A unified framework for differential aggregations in Markovian process algebra. Journal of Logical and Algebraic Methods in Programming, 84 (2). pp. 238-258. ISSN 2352-2216 (2015)

Zanon, Mario Efficient Nonlinear Model Predictive Control Formulations for Economic Objectives with Aerospace and Automotive Applications. PhD Thesis thesis, KU Leuven. (2015)

Zollo, Fabiana and Bessi, Alessandro and Del Vicario, Michela and Scala, Antonio and Caldarelli, Guido and Shekhtman, Louis and Havlin, Shlomo and Quattrociocchi, Walter Debunking in a World of Tribes. Working Paper ArXiv (Submitted)

ter Beek, M.H. and Legay, Axel and Lluch-Lafuente, Alberto and Vandin, Andrea Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints. In: Proceedings of the 19th International Conference on Software Product Line, 2015, New York, USA pp. 11-15. ISBN 978-1-4503-3613-0. (2015)

ter Beek, Maurice H. and Legay, Axel and Lluch Lafuente, Alberto and Vandin, Andrea Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking. In: 6th Workshop on Formal Methods and Analysis in SPL Engineering, April 11, 2015, London, UK pp. 56-70. ISSN 2075-2180. (2015)

2014

Abdelsamea, Mohammed and Gnecco, Giorgio and Gaber, Mohamed Medhat A Concurrent SOM-Based Chan-Vese Model for Image Segmentation. In: Advances in Self-Organizing Maps and Learning Vector Quantization. Advances in Intelligent Systems and Computing, 295 . Springer, pp. 199-208. ISBN 978-3-319-07694-2 (2014)

Abdelsamea, Mohammed and Gnecco, Giorgio and Gaber, Mohamed Medhat A Survey of SOM-Based Active Contour Models for Image Segmentation. In: Advances in Self-Organizing Maps and Learning Vector Quantization. Advances in Intelligent Systems and Computing (295). Springer, pp. 293-302. ISBN 978-3-319-07695-9 (2014)

Amoretti, Michele and Grazioli, Alessandro and Zanichelli, Francesco and Senni, Valerio and Tiezzi, Francesco Towards a formal approach to mobile cloud computing. In: PDP 2014, 12-14 February 2014, University of Turin, Italy pp. 743-750. ISSN 1066-6192. (2014)

Andrikopoulos, Vasilios and Bucchiarone, Antonio and Gómez Sáez, Santiago and Karastoyanova, Dimka and Mezzina, Claudio Antares Towards modeling and execution of Collective Adaptive Systems. In: Service-Oriented Computing – ICSOC 2013 Workshops. Lecture Notes in Computer Science (8377). Springer, pp. 69-81. ISBN 978-3-319-06859-6 (2014)

Belzner, Lenz and De Nicola, Rocco and Vandin, Andrea and Wirsing, Martin Reasoning (on) service component ensembles in rewriting logic. In: Specification, Algebra, and Software. Lecture Notes in Computer Science (8373). Springer Berlin Heidelberg, pp. 188-211. ISBN 978-3-642-54623-5 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. In: Trustworthy Global Computing. Lecture Notes in Computer Science (8358). Springer, pp. 315-330. ISBN 978-3-319-05118-5 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theoretical Computer Science, 546. pp. 63-92. ISSN 0304-3975 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Logical Methods in Computer Science, 10 (1). pp. 1-42. ISSN 1860-5974 (2014)

Bessi, Alessandro and Caldarelli, Guido and Del Vicario, Michela and Scala, Antonio and Quattrociocchi, Walter Social Determinants of Content Selection in the Age of (Mis)Information. In: Social Informatics. Lecture Notes in Computer Science, 8851 . Springer, pp. 259-268. ISBN 978-3-319-13733-9 (2014)

Bessi, Alessandro and Coletto, Mauro and Davidescu, George Alexandru and Scala, Antonio and Quattrociocchi, Walter Misinformation in the loop: the emergence of narratives in Online Social Networks. In: XI Conference of the Italian Chapter of AIS Digital Innovation and Inclusive Knowledge in Times of Change, 21-22 November 2014, Genova, Italy pp. 1-14. ISBN 978-88-6685-008-3. (2014)

Bessi, Alessandro and Scala, Antonio and Rossi, Luc and Zhang, Qian and Quattrociocchi, Walter The economy of attention in the age of (mis)information. Journal of Trust Management, 1 (12). pp. 1-13. ISSN 2196-064X (2014)

Bevilacqua, Marco and Roumy, Aline and Guillemot, Christine and Alberi-Morel, Marie Line Single-image super-resolution via linear mapping of interpolated self-examples. IEEE Transactions on image processing, 23 (12). pp. 5334-5347. ISSN 1057-7149 (2014)

Bonnier, Guillaume and Roche, Alexis and Romascano, David and Simioni, Samanta and Meskaldji, Djalel-Eddine and Rotzinger, David and Lin, Ying-Chia and Menegaz, Gloria and Schluep, Myriam and Du Pasquier, Renaud and Sumpf, Tilman Johannes and Frahm, Jens and Thiran, Jean-Philippe and Krueger, Gunnar and Granziera, Cristina Advanced MRI unravels the nature of tissue alterations in early multiple sclerosis. Annals of Clinical and Translational Neurology, 1 (6). pp. 423-432. ISSN 2328-9503 (2014)

Bonnier, Guillaume and Roche, Alexis and Romascano, David and Simioni, Samanta and Meskaldji, Djalel-Eddine and Rotzinger, David and Lin, Ying-Chia and Menegaz, Gloria and Schluep, Myriam and Du Pasquier, Renaud and Sumpf, Tilman Johannes and Frahm, Jens and Thiran, Jean-Philippe and Krueger, Gunnar and Granziera, Cristina Multicontrast MRI quantification of focal inflammation and degeneration in multiple sclerosis. BioMed Research International, 25 (569123). pp. 1-10. ISSN 2314-6133 (2014)

Boschetto, Davide and Castellaro, M. and Di Prima, P. and Bertoldo, A. and Grisan, Enrico Reconstruction of DSC-MRI Data from Sparse Data Exploiting Temporal Redundancy and Contrast Localization. In: XIII Mediterranean Conference on Medical and Biological Engineering and Computing 2013. IFMBE Proceedings, 41 . Springer International Publishing, pp. 225-228. ISBN 978-3-319-00845-5 (2014)

Boschetto, Davide and Di Prima, P. and Castellaro, M. and Bertoldo, A. and Grisan, Enrico Baseline constrained reconstruction of DSC-MRI tracer kinetics from sparse fourier data. In: 2014 IEEE International Symposium on Biomedical Imaging, April 29-May 2, 2014, Beijing pp. 321-324. ISBN 978-1-4673-1961-4. (2014)

Bucchiarone, Antonio and Mezzina, Claudio Antares and Pistore, Marco and Raik, Heorhi and Valetto, Giuseppe Collective adaptation in process-based systems. In: Proceedings of Eighth International Conference on the Self-Adaptive and Self-Organizing Systems (SASO). IEEE, pp. 151-156. ISBN 978-1-4799-5367-7 (2014)

Bucchiarone, Antonio and Mezzina, Claudio Antares and Raik, Heorhi A goal model for collective adaptive systems. In: 2nd workshop of the fundamentals of collective adaptive systems , 8th September 2014, London, UK (Unpublished) (2014)

Bureš, Tomáš and De Nicola, Rocco and Gerostathopoulos, Ilias and Hoch, Nicklas and Kit, Michal and Koch, Nora and Monreale, Giacoma Valentina and Montanari, Ugo and Pugliese, Rosario and Serbedzija, Nikola and Wirsing, Martin and Zambonelli, Franco A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems (SASO), 9-13 September, 2013, Philadelphia, PA pp. 71-76. (2014)

Cabri, Giacomo and Capodieci, Nicola and Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Tiezzi, Francesco and Zambonelli, Franco Self-expression and Dynamic Attribute-Based Ensembles in SCEL. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 147-163. ISBN 978-3-662-45233-2 (2014)

Caldarelli, Guido and Chessa, Alessandro and Pammolli, Fabio and Pompa, Gabriele and Puliga, Michelangelo and Riccaboni, Massimo and Riotta, Gianni A multi-level geographical study of Italian political elections from Twitter Data. PloS One, 9 (5). e95809. ISSN 1932-6203 (2014)

Camurri, Antonio and Dardard, Floriane and Ghisio, Simone and Glowinski, Donald and Gnecco, Giorgio and Sanguineti, Marcello Exploiting the Shapley Value in the Estimation of the Position of a Point of Interest for a Group of Individuals. Procedia - Social and Behavioral Sciences, 108. 249 - 259. ISSN 1877-0428 (2014)

Canale, Massimo and Cerone, Vito and Piga, Dario and Regruto, Diego Approximation of model predictive control laws for polynomial systems. Asian Journal of Control , 16 (5). pp. 1425-1436. ISSN 1561-8625 (2014)

Casale, Giuliano and Tribastone, Mirco and Harrison, Peter G. Blending randomness in closed queueing network models. Performance Evaluation, 82. 15 - 38. ISSN 0166-5316 (2014)

Celestini, Alessandro and Costantino, Gianpiero and De Nicola, Rocco and Maamar, Zakaria and Martinelli, Fabio and Petrocchi, Marinella and Tiezzi, Francesco Reputation-Based Composition of Social Web Services. In: 28th International Conference on dvanced Information Networking and Applications (AINA). IEEE, pp. 735-742. ISBN 978-1-4799-3629-8 (2014)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello Average Packet Delivery Delay in Intermittently-Connected Networks. In: 44th Conference of Italian Operational Research Society (AIRO 2014), September 2-5, 2014, Como, Italy p. 102. (2014)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello Evaluation of the Average Packet Delivery Delay in Highly-Disrupted Networks: The DTN and IP-like Protocol Cases. IEEE Communications Letters, 18 (3). pp. 519-522. ISSN 1089-7798 (2014)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello Forwarding strategies for congestion control in intermittently connected networks. In: 20th Conference of the International Federation of Operational Research Societies (IFORS 2014), July 13-18, 2014, Barcelona, Spain (2014)

Cerone, Vito and Lasserre, Jean-Bernard and Piga, Dario and Regruto, Diego A unified framework for solving a general class of conditional and robust set-membership estimation problems. IEEE Transactions on Automatic Control , 59 (11). pp. 2897-2909. ISSN 0018-9286 (2014)

Cerone, Vito and Piga, Dario and Regruto, Diego Characteristic polynomial assignment for plants with semialgebraic uncertainty: a robust diophantine equation approach. International Journal of Robust and Nonlinear Control , 25 (16). pp. 2911-2921. ISSN 1049-8923 (2014)

Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Puviani, Mariachiara and Tiezzi, Francesco and Zambonelli, Franco Formalising adaptation patterns for autonomic ensembles. In: Formal aspects of component software: 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers. Lecture notes in computer science (8348). Springer, pp. 100-118. ISBN 978-3-319-07601-0 (2014)

Costantini, Alessandro and Gervasi, Osvaldo and Zollo, Fabiana and Caprini, Luca User Interaction and Data Management for Large Scale Grid Applications. Journal of Grid Computing, 12 (3). pp. 485-497. ISSN 1572-9184 (2014)

Daducci, Alessandro and Canales-Rodriguez, Erick Jorge and Descoteaux, Maxime and Garyfallidis, Eleftherios and Gur, Yaniv and Lin, Ying-Chia and Mani, Merry and Merlet, Sylvain and Paquette, Michael and Ramirez-Manzanares, Alonso and Reisert, Marco and Reis Rodrigues, Paulo and Sepehrband, Farshid and Caruyer, Emmanuel and Choupan, Jeiran and Deriche, Rachid and Jacob, Matthew and Menegaz, Gloria and Prckovska, Vesna and Rivera, Mariano and Wiaux, Yves and Thiran, Jean-Philippe Quantitative comparison of reconstruction methods for intra-voxel fiber recovery from diffusion MRI. IEEE Transactions on Medical Imaging, 33 (2). pp. 384-399. ISSN 0278-0062 (2014)

De Nicola, Rocco Editor's Note. Journal of Logical and Algebraic Methods in Programming, 83 (2). p. 83. ISSN 2352-2216 (2014)

De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco Dimming relations for the efficient analysis of concurrent systems via action abstraction. In: Formal techniques for distributed objects, components, and systems. Lecture Notes in Computer Science (8461). Springer , pp. 216-231. ISBN 978-3-662-43612-7 (2014)

De Nicola, Rocco and Lluch Lafuente, Alberto and Loreti, Michele and Morichetta, Andrea and Pugliese, Rosario and Senni, Valerio and Tiezzi, Francesco Programming and Verifying Component Ensembles. In: From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science (8415). Springer, pp. 69-83. ISBN 978-3-642-54847-5 (2014)

De Nicola, Rocco and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco A formal approach to autonomic systems programming: the SCEL Language. ACM Transactions on Autonomous and Adaptive Systems, 9 (2). pp. 1-29. ISSN 1556-4665 (2014)

Di Cairano, Stefano and Bernardini, Daniele and Bemporad, Alberto and Kolmanovsky, Ilya Stochastic MPC with learning for driver-predictive vehicle control and its application to HEV energy management. IEEE Transactions on Control Systems Technology , 22 (3). pp. 1018-1031. ISSN 1063-6536 (2014)

Di Cairano, Stefano and Heemels, W.P.M.H. and Lazar, Mircea and Bemporad, Alberto Stabilizing dynamic controllers for hybrid systems: a hybrid control Lyapunov function approach. IEEE Transactions on Automatic Control , 59 (10). 2629 -2643. ISSN 0018-9286 (2014)

Duijkers, René and Tóth, Roland and Piga, Dario and Laurain, Vincent Shrinking complexity of scheduling dependencies in LS-SVM based LPV system identification(I). In: 53rd IEEE Conference on Decision and Control, 15-17 December 2014, Los Angeles (USA) (Unpublished) (2014)

Esen, Hasan and Tashiro, Tsutomu and Bernardini, Daniele and Bemporad, Alberto Cabin heat thermal management in hybrid vehicles using model predictive control. In: 22nd Mediterranean Conference on Control and Automation, June 16-19, 2014, Palermo, Italy (Unpublished) (2014)

Gaggero, Mauro and Gnecco, Giorgio and Sanguineti, Marcello Approximate dynamic programming for stochastic N-stage optimization with application to optimal consumption under uncertainty. Computational Optimization and Applications, 58 (1). pp. 31-85. ISSN 0926-6003 (2014)

Gaggero, Mauro and Gnecco, Giorgio and Sanguineti, Marcello Suboptimal Policies for Stochastic N-Stage Optimization Problems: Accuracy Analysis and a Case Study from Optimal Consumption. In: Models and Methods in Economics and Management. International Series in Operations Research & Management Science (198). Springer, pp. 27-50. ISBN 978-3-319-00669-7 (2014)

Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo Dynamic role authorization in multiparty conversations. Electronic Proceedings in Theoretical Computer Science, 162. pp. 1-8. ISSN 2075-2180 (2014)

Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares Causal-consistent reversible debugging. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (8411). Springer, pp. 370-384. ISBN 978-3-642-54804-8 (2014)

Gilmore, Stephen and Tribastone, Mirco and Vandin, Andrea An analysis pathway for the quantitative evaluation of public transport systems. In: Integrated Formal Methods. Lecture Notes in Computer Science . Springer, pp. 71-86. ISBN 978-3-319-10181-1 (2014)

Gnecco, Giorgio Approximation and Estimation Bounds for Subsets of Reproducing Kernel Kreǐn Spaces. Neural Processing Letters, 39 (2). pp. 137-153. ISSN 1370-4621 (2014)

Gnecco, Giorgio and Gori, Marco and Melacci, Stefano and Sanguineti, Marcello A Machine-Learning Paradigm that Includes Pointwise Constraints. In: 20th Conference of the International Federation of Operational Research Societies (IFORS 2014), July 13-18, 2014, Barcelona, Spain (2014)

Gnecco, Giorgio and Gori, Marco and Melacci, Stefano and Sanguineti, Marcello Supervised Learning from Regions and Box Kernels. In: 44th Conference of Italian Operational Research Society (AIRO 2014), September 2-5, 2014, Como, Italy p. 67. (2014)

Gnecco, Giorgio and Gori, Marco and Melacci, Stefano and Sanguineti, Marcello A Theoretical Framework for Supervised Learning from Regions. Neurocomputing, 129. pp. 25-32. ISSN 0925-2312 (2014)

Gnecco, Giorgio and Morisi, Rita and Bemporad, Alberto Sparse solutions to the average consensus problem via L1-Norm regularization of the fastest mixing Markov-Chain problem. In: Proceedings of the 53rd Annual Conference on Decision and Control (CDC). IEEE, pp. 2228-2233. ISBN 978-1-4799-7746-8 (2014)

Kowal, Matthias and Prehofer, Christian and Schaefer, Ina and Tribastone, Mirco Model-based Development and Performance Analysis for Evolving Manufacturing Systems. at - Automatisierungstechnik, 62 (11). pp. 794-802. ISSN 0178-2312 (2014)

Kowal, Matthias and Schaefer, Ina and Tribastone, Mirco Family-based performance analysis of variant-rich software systems. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (8411). Springer, pp. 94-108. ISBN 978-3-642-54804-8 (2014)

Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-consistent reversibility. Bulletin of EATCS, 114. pp. 1-19. (2014)

Lanese , Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana and Torres Vieira, Hugo (edited by) Proceedings 7th Interaction and Concurrency Experience, ICE 2014 (Berlin, Germany, 6th June 2014). Electronic Proceedings in Theoretical Computer Science, 166. ISSN 2075-2180 (2014)

Lataire, John and Piga, Dario and Tóth, Roland Frequency-Domain Least-Squares Support Vector Machines to deal with correlated errors when identifying linear time-varying systems. In: Proceedings of the 19th IFAC World Congress. IFAC, pp. 10024-10029. (2014)

Latella, Diego and Loreti, Michele and Massink, Mieke and Senni, Valerio Stochastically timed predicate-based communication primitives for autonomic computing. Technical Report #3/2014 QUANTICOL Project

Margheri, Andrea and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation: A Practical Approach. In: Web Services and Formal Methods. 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Lecture Notes in Computer Science (8379). Springer, pp. 85-105. ISBN 978-3-319-08259-2 (2014)

Minervini, Massimo and Abdelsamea, Mohammed and Tsaftaris, Sotirios A. Image based plant phenotyping with incremental learning and active contours. Ecological Informatics, 23. pp. 35-48. ISSN 1574-9541 (2014)

Minervini, Massimo and Rusu, Cristian and Tsaftaris, Sotirios A. Unsupervised and supervised approaches to color space transformation for image coding. In: Proceedings of the IEEE International Conference on Image Processing (ICIP). IEEE, pp. 5576-5580. (2014)

Mocanu, Delia and Zhang, Qian and Karsai, Màrton and Quattrociocchi, Walter Collective attention in the age of (mis)information. Working Paper # /2014 (Submitted)

Mukhopadhyay, Anirban and Bhandarkar, Suchendra M. Biharmonic density estimate - a scale space signature for deformable surfaces. In: IEEE International Conference on Image Processing (ICIP), October 27-30 2014, Paris, France pp. 4737-4741. ISBN 978-1-4799-5751-4. (2014)

Necoara, Ion and Clipici, Dragos Nicolae and Patrinos, Panagiotis and Bemporad, Alberto MPC for power systems dispatch based on stochastic optimization. In: Proceedings of the 19th IFAC World Congress. IFAC, pp. 11147-11152. ISBN 978-3-902823-62-5 (2014)

Padovani, Luca and Vasconcelos, Vasco Thudichum and Torres Vieira, Hugo Typing liveness in multiparty communicating systems. In: Coordination Models and Languages. Lecture Notes in Computer Science . Springer, pp. 147-162. ISBN 978-3-662-43376-8 (2014)

Patrascu, Andrei - Mihai and Necoara, Ion and Patrinos, Panagiotis A proximal alternating minimization method for L0-Regularized nonlinear optimization problems: application to state estimation. In: 53rd IEEE Conference on Decision and Control, 15-17 December 2014, Los Angeles (USA) (Unpublished) (2014)

Patrinos, Panagiotis and Bemporad, Alberto An accelerated dual gradient-projection algorithm for embedded linear model predictive control. IEEE Transactions on Automatic Control , 59 (1). pp. 18-33. ISSN 0018-9286 (2014)

Patrinos, Panagiotis and Stella, Lorenzo and Bemporad, Alberto Douglas-Rachford splitting: complexity estimates and accelerated variants. Working Paper # /2014 ArXiv (Unpublished)

Patrinos, Panagiotis and Stella, Lorenzo and Bemporad, Alberto Douglas-rachford splitting: Complexity estimates and accelerated variants. In: IEEE 53rd Annual Conference on Decision and Control (CDC), 2014, 15-17 December, 2014, Los Angeles, CA pp. 4234-4239. ISBN 978-1-4799-7746-8. (2014)

Patrinos, Panagiotis and Stella, Lorenzo and Bemporad, Alberto Forward-backward truncated Newton methods for convex composite optimization. Working Paper # /2014 ArXiv (Unpublished)

Pianini, Danilo and Sebastio, Stefano and Vandin, Andrea Distributed statistical analysis of complex systems modeled through a chemical metaphor. In: 2014 International Conference on High Performance Computing Simulation (HPCS), July 21-25, 2014, Bologna pp. 416-423. ISBN 978-1-4799-5312-7. (2014)

Piga, Dario and Tóth, Roland A bias-corrected estimator for nonlinear systems with output-error type model structures. Automatica, 50 (9). 2373 - 2380. ISSN 0005-1098 (2014)

Puliga, Michelangelo and Caldarelli, Guido and Battiston, Stefano Credit Default Swaps networks and systemic risk. Scientific Reports, 4. p. 6822. ISSN 2045-2322 (2014)

Punta, Davide and Puri, Giulio and Tollini, Fabio and Gnecco, Giorgio Evaluation of Individual Contributions in a Group Estimate of the Position of a Moving Point of Common Interest. In: Proceedings of the Sixth International Conference of Students of Systematic Musicology (SysMus13). Casa Paganini-InfoMus Research Centre, pp. 23-32. ISBN 978-88-909096-1-0 (2014)

Quattrociocchi, Walter and Caldarelli, Guido and Scala, Antonio Self-healing networks: redundancy and structure. PloS One, 9 (2). pp. 1-7. ISSN 1932-6203 (2014)

Rubagotti, Matteo and Patrinos, Panagiotis and Bemporad, Alberto Stabilizing linear model predictive control under inexact numerical optimization. IEEE Transactions on Automatic Control , 59 (6). pp. 1660-1666. ISSN 0018-9286 (2014)

Rubagotti, Matteo and Poggi, Tomaso and Oliveri, Albert and Pascucci, Carlo A. and Bemporad, Alberto and Storace, Marco Low-complexity piecewise-affine virtual sensors: theory and design. International Journal of Control , 87 (3). pp. 622-632. ISSN 0020-7179 (2014)

Rudyanto, Rina D. and Kerkstra, Sjoerd and van Rikxoort, Eva M. and Fetita, Catalin and Brillet, Pierre-Yves and Lefevre, Christophe and Xue, Wenzhe and Zhu, Xiangjun and Liang, Jianming and Oksuz, Ilkay and Ünay, Devrim and Kadipasaoglu, Kamuran and Estépar, Raúl San José and Ross, James C. and Washko, George R. and Prieto, Juan-Carlos and Hoyos, Marcela Hernández and Orkisz, Maciej and Meine, Hans and Hüllebrand, Markus and Stöcker, Christina and Mir, Fernando Lopez and Naranjo, Valery and Villanueva, Eliseo and Staring, Marius and Xiao, Changyan and Stoel, Berend C. and Fabijanska, Anna and Smistad, Erik and Elster, Anne C. and Lindseth, Frank and Foruzan, Amir Hossein and Kiros, Ryan and Popuri, Karteek and Cobzas, Dana and Jimenez-Carretero, Daniel and Santos, Andres and Ledesma-Carbayo, Maria J. and Helmberger, Michael and Urschler, Martin and Pienn, Michael and Bosboom, Dennis G.H. and Campo, Arantza and Prokop, Mathias and de Jong, Pim A. and Ortiz-de-Solorzano, Carlos and Muñoz-Barrutia, Arrate and van Ginneken, Bram Comparing algorithms for automated vessel segmentation in computed tomography scans of the lung: the VESSEL12 study. Medical Image Analysis, 18 (7). pp. 1217-1232. ISSN 1361-8415 (2014)

Rusu, Cristian and Dumitrescu, Bogdan and Tsaftaris, Sotirios A. Explicit Shift-Invariant Dictionary Learning. IEEE Signal Processing Letters, 21 (1). pp. 6-9. ISSN 1070-9908 (2014)

Sampathirao, Ajay Kumar and Grosso Pérez, Juan Manuel and Sopasakis, Pantelis and Ocampo-Martinez, Carlos and Bemporad, Alberto and Puig, Vicenç Water demand forecasting for the optimal operation of large-scale drinking water networks: the Barcelona case study. In: Proceedings of the 19th IFAC World Congress. IFAC, pp. 10457-10462. ISBN 978-3-902823-62-5 (Unpublished) (2014)

Scharr, Hanno and Minervini, Massimo and Fischbach, Andreas and Tsaftaris, Sotirios A. Annotated image datasets of rosette plants. Technical Report #03837/2014 Forschungszentrum Julich

Sebastio, Stefano and Amoretti, Michele and Lluch-Lafuente, Alberto A Computational Field Framework for Collaborative Task Execution in Volunteer Clouds. Working Paper # /2014 (Submitted)

Sopasakis, Pantelis and Patrinos, Panagiotis and Sarimveis, Haralambos MPC for Sampled-Data Linear Systems: guaranteeing continuous-time positive invariance. IEEE Transactions on Automatic Control , 59 (4). pp. 1088-1093. ISSN 0018-9286 (2014)

Sopasakis, Pantelis and Patrinos, Panagiotis and Sarimveis, Haralambos Robust Model Predictive Control for optimal continuous drug administration. Computer Methods and Programs in Biomedicine, 116 (3). pp. 193-204. ISSN 0169-2607 (2014)

Sopasakis, Pantelis and Sarimveis, Haralambos Controlled drug administration by a fractional PID. In: Proceedings of the 19th IFAC World Congress. IFAC, pp. 8421-8426. ISBN 978-3-902823-62-5 (2014)

Tribastone, Mirco Behavioral relations in a process algebra for variants. In: Proceedings of the 18th International Software Product Line Conference on - SPLC '14. ACM, pp. 82-91. ISBN 978-1-4503-2740-4 (2014)

Tribastone, Mirco Efficient optimization of software performance models via parameter-space pruning. In: Proceedings of the 5th ACM/SPEC international conference on Performance engineering - ICPE '14. ACM, pp. 63-73. ISBN 978-1-4503-2733-6 (2014)

Tsaftaris, Sotirios A. and Casadio, Francesca and Andral, J.L. and Katsaggelos, Aggelos K. A novel visualization tool for art history and conservation: automated colorization of black and white archival photographs of works of art. Studies in Conservation, 59 (3). pp. 125-135. ISSN 0039-3630 (2014)

Tschaikowski, Max and Tribastone, Mirco Exact fluid lumpability in Markovian process algebra. Theoretical Computer Science, 538. 140 - 166. ISSN 0304-3975 (2014)

Tschaikowski, Max and Tribastone, Mirco Extended differential aggregations in process algebra for performance and biology. In: Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems. Electronic Proceedings in Theoretical Computer Science (154). Open Publishing Association, pp. 34-47. (2014)

Tschaikowski, Max and Tribastone, Mirco Tackling continuous state-space explosion in a Markovian process algebra. Theoretical Computer Science, 517. 1 - 33. ISSN 0304-3975 (2014)

Tschaikowski, Max and Tribastone, Mirco A partial-differential approximation for spatial stochastic process algebra. In: International Conference on Performance Evaluation Methodologies and Tools , December 9 - 11, 2014, Bratislava, Slovakia pp. 74-81. ISBN 978-1-63190-057-0. (2014)

Uriarte, Rafael B. and Tiezzi, Francesco and De Nicola, Rocco SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. In: IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC), 2014, 8-11 December, 2014, London pp. 419-426. ISBN 978-1-4799-7881-6. (2014)

Wirsing, Martin and De Nicola, Rocco and Hölzl, Matthias Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 96-98. ISBN 978-3-662-45233-2 (2014)

Yang, Hsin-Jung and Yumul, Roya and Tang, Richard and Cokic, Ivan and Klein, Michael and Kali, Avinash and Sobczyk, Olivia and Sharif, Behzad and Tang, Jun and Bi, Xiaoming and Tsaftaris, Sotirios A. and Li, Debiao and Conte, Antonio Hernandez and Fisher, Joseph A. and Dharmakumar, Rohan Assessment of myocardial reactivity to controlled hypercapnia with free-breathing T2-prepared cardiac blood oxygen level–dependent MR imaging. Radiology, 272 (2). pp. 397-406. ISSN 0033-8419 (2014)

2013

Abdelsamea, Mohammed and Tsaftaris, Sotirios A. Active Contour Model driven by Globally Signed Region Pressure Force. In: 18th International Conference On Digital Signal Processing, 1-3 July 2013, Santorini, Greece (Submitted) (2013)

Abdelsamea, Mohammed and Tsaftaris, Sotirios A. Active contour model driven by Globally Signed Region Pressure Force. In: 18th International Conference on Digital Signal Processing (DSP), 2013. IEEE, pp. 1-6. (2013)

Amblard, Frederic and Quattrociocchi, Walter Social networks and spatial distribution. In: Simulating social complexity: a handbook. Understanding Complex Systems . Springer , pp. 401-430. ISBN 978-3-540-93813-2 (2013)

Amoretti, Michele and Lluch-Lafuente, Alberto and Sebastio, Stefano A cooperative approach for distributed task execution in autonomic clouds. In: 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2013). IEEE, pp. 274-281. (2013)

Badino, Leonardo and Camurri, Antonio and D'Ausilio, Alessandro and Fadiga, Luciano and Glowinski, Donald and Gnecco, Giorgio and Sanguineti, Marcello and Varni, Giovanna and Volpe, Gualtiero Analysis of Music Ensemble Performance as a Test-bed for Social Interaction: Methods from Operations Research and Preliminary Results. In: AIRO Winter 2013, January 28th-February 1st, 2013, Champoluc, Italy (2013)

Baltazar, Pedro and Caires, Luis and Vasconcelos, Vasco Thudichum and Torres Vieira, Hugo A type system for flexible role assignment in multiparty communicating systems. In: Trustworthy Global Computing. Lecture Notes in Computer Science (8191). Springer, pp. 82-96. ISBN 978-3-642-41157-1 (2013)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. CSA Technical Report #04/2013 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. CSA Technical Report #06/2013 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Information and Computation, 225. 29 - 82. ISSN 0890-5401 (2013)

Bevilacqua, Marco and Roumy, Aline and Guillemot, Christine and Alberi-Morel, Marie Line Compact and coherent dictionary construction for example-based super-resolution. In: Proceedings of IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, pp. 2222-2226. (2013)

Bevilacqua, Marco and Roumy, Aline and Guillemot, Christine and Alberi-Morel, Marie Line K-WEB: Nonnegative dictionary learning for sparse image representations. In: Proceedings of the 20th IEEE International Conference on Image Processing (ICIP). IEEE, pp. 146-150. (2013)

Bevilacqua, Marco and Roumy, Aline and Guillemot, Christine and Alberi-Morel, Marie Line Super-resolution using neighbor embedding of back-projection residuals. In: Proceedings of the 18th International Conference on Digital Signal Processing (DSP). IEEE, pp. 1-8. (2013)

Bevilacqua, Marco and Roumy, Aline and Guillemot, Christine and Alberi-Morel, Marie Line Video super-resolution via sparse combinations of key-frame patches in a compression context. In: Picture Coding Symposium (PCS). IEEE, pp. 337-340. ISBN 978-1-4799-0292-7 (2013)

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele CaSPiS: A Calculus of Sessions, Pipelines and Services. CSA Technical Report #03/2013 IMT Institute for Advanced Studies Lucca

Bortolussi, Luca and Tribastone, Mirco Differential Analysis of Interacting Automata with Immediate Actions. In: Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 10-12 Decembre, 2013, Torino pp. 49-58. ISBN 978-1-936968-48-0. (2013)

Brunetti, Sara and Cordasco, Gennaro and Gargano, Luisa and Lodi, Elena and Quattrociocchi, Walter Minimum weight multicolor dynamos. In: ICTCS 2013 - 14th Italian Conference on Theoretical Computer Scienc, September 9-11, 2013, Palermo, Italy (Unpublished) (2013)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Adaptable transition systems. In: Proceedings fo the 21st International Workshop on Algebraic Development Techniques (WADT 2012). Lecture Notes in Computer science (7841). Springer, pp. 95-110. ISBN 978-3-642-37635-1 (2013)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Adaptation is a Game. Tiny Transactions on Computer Science, 2. (2013)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea A Conceptual Framework for Adaptation. Working Paper # /2013 (Unpublished)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo Constraint Design Rewriting. Science of Computer Programming. ISSN 0167-6423 (2013)

Bucchiarone, Antonio and Marconi, Annapaola and Mezzina, Claudio Antares and Pistore, Marco A conceptual framework for collective adaptive systems. In: Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13. ACM, pp. 1935-1936. ISBN 978-1-4503-1656-9 (2013)

Bucchiarone, Antonio and Marconi, Annapaola and Mezzina, Claudio Antares and Pistore, Marco and Raik, Heorhi On-the-fly adaptation of dynamic service-based systems: incrementality, reduction and reuse. In: Service-Oriented Computing. Lecture Notes in Computer Science (8274). Springer, pp. 146-161. ISBN 978-3-642-45005-1 (2013)

Bucchiarone, Antonio and Mezzina, Claudio Antares and Pistore, Marco CAptLang: a language for context-aware and adaptable business processes. In: Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '13. ACM, pp. 1-5. ISBN 978-1-4503-1541-8 (2013)

Casale, Giuliano and Tribastone, Mirco Modelling exogenous variability in cloud deployments. Performance Evaluation Review, 40 (4). pp. 73-82. ISSN 0163-5999 (2013)

Ceccarelli, Diego and Gordea, Sergiu and Lucchese, Claudio and Nardini, Franco Maria and Perego, Raffaele On Suggesting Entities as Web Search Queries. In: IIR 2013 Italian Information Retrieval Workshop (2013)

Ceccarelli, Diego and Gordea, Sergiu and Lucchese, Claudio and Nardini, Franco Maria and Perego, Raffaele When entities meet query recommender systems: semantic search shortcuts. In: Proceedings of the 28th Annual ACM symposium on applied computing. ACM, pp. 933-938. ISBN 978-1-4503-1656-9 (2013)

Ceccarelli, Diego and Lucchese, Claudio and Orlando, Salvatore and Perego, Raffaele and Trani, Salvatore Learning Relatedness Measures for Entity Linking. In: Proceedings of the 22nd ACM international conference on Conference on information & knowledge management. ACM, pp. 139-148. ISBN 978-1-4503-2263-8 (2013)

Ceccarelli, Diego and Lucchese, Claudio and Perego, Raffaele and Orlando, Salvatore and Trani, Salvatore Dexter: an open source framework for entity linking. In: ESAIR '13 Proceedings of the sixth international workshop on Exploiting semantic annotations in information retrieval. ACM, pp. 17-20. ISBN 978-1-4503-2413-7 (2013)

Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware Evaluation Environment for Reputation Systems. CSA Technical Report #05/2013 IMT Institute for Advanced Studies Lucca

Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware evaluation environment for reputation systems. In: Network-Aware Evaluation Environment for Reputation Systems. IFIP Advances in Information and Communication Technology, 401 . Springer, pp. 231-238. ISBN 978-3-642-38323-6 (2013)

Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Specifying and analysing reputation systems with coordination languages. In: Proceedings of the 28th Annual ACM symposium on applied computing. ACM, 1363-1368 . ISBN 978-1-4503-1656-9 (2013)

Cello, Marco and Gnecco, Giorgio and Marchese, Giorgio and Sanguineti, Marcello Optimality Conditions for Coordinate-Convex Policies in Call Admission Control via a Generalized Stochastic Knapsack Model. In: EURO 2013, July 1st-4th, 2013, Rome, Italy p. 132. (2013)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello Optimality conditions for coordinate-convex policies in CAC with nonlinear feasibility boundaries. IEEE/ACM Transactions on Networking, 21 (5). pp. 1363-1377. ISSN 1063-6692 (2013)

Cerone, Vito and Piga, Dario and Regruto, Diego Bounding the parameters of block-structured nonlinear feedback systems. International Journal of Robust and Nonlinear Control , 23 (1). pp. 33-47. ISSN 1049-8923 (2013)

Cerone, Vito and Piga, Dario and Regruto, Diego Computational load reduction in bounded error identification of Hammerstein systems. IEEE Transactions on Automatic Control , 58 (5). pp. 1317-1322. ISSN 0018-9286 (2013)

Cerone, Vito and Piga, Dario and Regruto, Diego Fixed-order FIR approximation of linear systems from quantized input and output data. Systems & Control Letters, 62 (12). 1136 - 1142. ISSN 0167-6911 (2013)

Cerone, Vito and Piga, Dario and Regruto, Diego A convex relaxation approach to set-membership identification of LPV systems. Automatica, 49 (9). 2853 - 2859. ISSN 0005-1098 (2013)

Chen, Zhaofu and Tsaftaris, Sotirios A. and Soyak, Eren and Katsaggelos, Aggelos K. Application-Aware approach to compression and transmission of H.264 Encoded Video for automated and centralized transportation surveillance. IEEE Transactions on Intelligent Transportation Systems, 14 (4). pp. 2002-2007. ISSN 1524-9050 (2013)

Dardard, Floriane and Gnecco, Giorgio and Glowinski, Donald Types of Leadership in a String Quartet. In: Sysmus13, September 12th-14th, 2013, Genoa, Italy pp. 16-17. ISBN 978-88-909096-0-3. (2013)

De Nicola, Rocco and Ferrari, GianLuigi and Loreti, Michele and Pugliese, Rosario A Language-Based Approach to Autonomic Computing. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science (7542). Springer , pp. 25-48. ISBN 978-3-642-35887-6 (2013)

De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. CSA Technical Report #9/2013 IMT Institute for Advanced Studies Lucca

De Nicola, Rocco and Julien, Christine (edited by) Coordination Models and Languages. Lecture Notes in Computer Science, 7890 . Springer. ISBN 978-3-642-38493-6 (2013)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. ACM Computing Surveys, 46 (1). pp. 1-35. ISSN 0360-0300 (2013)

Degiorgis, Massimiliano and Gnecco, Giorgio and Gorni, Silvia and Roth, Giorgio and Sanguineti, Marcello and Taramasso, Angela Celeste Flood hazard assessment via threshold binary classifiers: case study of the Tanaro River basin. Irrigation and Drainage, 62 (S2). pp. 1-10. ISSN 1531-0353 (2013)

Dodero, Luca and Damiano, Mario and Galbusera, Alberto and Bifone, Angelo and Tsaftaris, Sotirios A. and Scattoni, Maria Luisa and Gozzi, Alessandro Neuroimaging Evidence of Major Morpho-Anatomical and Functional Abnormalities in the BTBR T+TF/J Mouse Model of Autism. PloS One, 8 (10). e76655. ISSN 1932-6203 (2013)

Dodero, Luca and Sforazzini, Francesco and Galbusera, Alberto and Damiano, Mario and Tsaftaris, Sotirios A. and Bifone, Angelo and Scattoni, Maria Luisa and Gozzi, Alessandro Neuroimaging Evidence of Major Morpho-Anatomical and Functional Abnormalities in the BTBR T+TF/J Mouse Model of Autism. In: IMFAR 2013: International Meeting for Autism Research, 2 - 4 May 2013, Donostia / San Sebastián, Spain (Unpublished) (2013)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Controlling Polyvariance for Specialization-based Verification. Fundamenta Informaticae, 124 (4). pp. 483-502. ISSN 1875-8681 (2013)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Generalization strategies for the verification of infinite state systems. Theory and Practice of Logic Programming, 13 (2). pp. 175-199. ISSN 1471-0684 (2013)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Proving theorems by program transformation. Fundamenta Informaticae, 127 (1-4). pp. 115-134. ISSN 1875-8681 (2013)

Fioravanti, Fabio and Proietti, Maurizio and Senni, Valerio Efficient Generation of Test Data Structures using Constraint Logic Programming and Program Transformation. Journal of Logic and Computation. ISSN 0955-792X (2013)

Formentin, Simone and Piga, Dario and Tóth, Roland and Savaresi, Sergio M. Direct data-driven control of linear parameter-varying systems. In: Proceedings of the 52nd Annual Conference on Decision and Control (CDC), 2013. IEEE, pp. 4110-4115. ISBN 978-1-4673-5714-2 (2013)

Gaggero, Mauro and Gnecco, Giorgio and Sanguineti, Marcello Dynamic Programming and Value-Function Approximation in Sequential Decision Problems: Error Analysis and Numerical Results. Journal of Optimization Theory and Applications, 156 (2). pp. 380-416. ISSN 0022-3239 (2013)

Glowinski, Donald and Gnecco, Giorgio and Camurri, Antonio and Piana, Stefano Expressive Non-Verbal Interaction in String Quartet. In: 2013 Humaine Association Conference on Affective Computing and Intelligent Interaction (ACII). IEEE, pp. 233-238. (2013)

Gnecco, Giorgio and Badino, Leonardo and Camurri, Antonio and D’Ausilio, Alessandro and Fadiga, Luciano and Glowinski, Donald and Sanguineti, Marcello and Varni, Giovanna and Volpe, Gualtiero Towards Automated Analysis of Joint Music Performance in the Orchestra. In: Arts and Technology. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (116). Springer, pp. 120-127. (2013)

Gnecco, Giorgio and Gori, Marco and Melacci, Stefano and Sanguineti, Marcello Learning with Hard Constraints. In: Artificial Neural Networks and Machine Learning – ICANN 2013. Lecture notes in computer science (8131). Springer, pp. 146-153. ISBN 978-3-642-40728-4 (2013)

Gnecco, Giorgio and Gori, Marco and Sanguineti, Marcello Learning with Boundary Conditions. Neural Computation, 25 (4). pp. 1029-1106. ISSN 0899-7667 (2013)

Iacobelli, Giulio and Tribastone, Mirco Lumpability of fluid models with heterogeneous agent types. In: Proceedings of the 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, pp. 1-11. ISBN 978-1-4673-6471-3 (2013)

Kali, Avinash and Cokic, Ivan and Kumar, Andreas and Tsaftaris, Sotirios A. and Tang, Richard and Friedrich, Matthias G and Dharmakumar, Rohan Acute Hemorrhagic Myocardial Infarction Leads to Localized Chronic Iron Deposition: A CMR Study. In: ISMRM 21st Annual Meeting, 20-26 April 2013, Salt Lake City, USA (Unpublished) (2013)

Kali, Avinash and Cokic, Ivan and Kumar, Andreas and Tsaftaris, Sotirios A. and Tang, Richard and Friedrich, Matthias G and Dharmakumar, Rohan Acute reperfusion intramyocardial hemorrhage leads to regional chronic iron deposition in the heart. Journal of cardiovascular magnetic resonance, 15 (Suppl1). P174. ISSN 1532-429X (2013)

Kali, Avinash and Kumar, Andreas and Cokic, Ivan and Tang, Richard and Tsaftaris, Sotirios A. and Friedrich, Matthias G and Dharmakumar, Rohan Chronic Manifestation of Post-Reperfusion Intramyocardial Hemorrhage as Regional Iron Deposition: A Cardiovascular MR Study with Ex-vivo Validation. Circulation: Cardiovascular Imaging. ISSN 1941-9651 (2013)

Karamshuk, Dmytro and Boldrini, Chiara and Conti, Marco and Passarella, Andrea SPoT: Representing the Social, Spatial, and Temporal Dimensions of Human Mobility with a Unifying Framework. CSA Technical Report #7/2013 IMT Institute for Advanced Studies Lucca

Kirişli, H.A. and Schaap, M. and Metz, C.T. and Dharampal, A.S. and Meijboom, W.B. and Papadopoulou, S.L. and Dedic, A. and Nieman, K. and de Graaf, M.A. and Meijs, M.F.L. and Cramer, M.J. and Broersen, A. and Cetin, S. and Eslami, A. and Flórez-Valencia, L. and Lor, K.L. and Matuszewski, B. and Melki, I. and Mohr, B. and Oksuz, Ilkay and Shahzad, R. and Wang, C. and Kitslaar, P.H. and Unal, G. and Katouzian, A. and Orkisz, Maciej and Chen, C.M. and Precioso, F. and Najman, L. and Masood, S. and Unay, Devrim and van Vliet, L. and Moreno, R. and Goldenberg, R. and Vuçini, E. and Krestin, G.P. and Niessen, W.J. and van Walsum, T. Standardized evaluation framework for evaluating coronary artery stenosis detection, stenosis quantification and lumen segmentation algorithms in computed tomography angiography. Medical Image Analysis, 17 (8). pp. 859-876. ISSN 1361-8415 (2013)

Kolesnichenko, Anna and Pourranjabar, Alireza and Senni, Valerio Applying Mean-field Approximation to Continuous Time Markov Chains. CSA Technical Report #8/2013 IMT Institute for Advanced Studies Lucca

Kovács, Laura and Pugliese, Rosario and Silva, Josep and Tiezzi, Francesco Special issue on Automated Specification and Verification of Web Systems (Editorial). Journal of Logic and Algebraic Programming, 82 (8). pp. 241-242. ISSN 1567-8326 (2013)

Lanese, Ivan and Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Concurrent flexible reversibility. In: Programming Languages and Systems. Lecture Notes in Computer Science (7792). Springer, pp. 370-390. ISBN 978-3-642-37036-6 (2013)

Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard Controlled reversibility and compensations. In: Reversible Computation. Lecture Notes in Computer Science (7581). Springer, pp. 233-240. ISBN 978-3-642-36315-3 (2013)

Lara, Laura and Vera, Sergio and Perez, Frederic and Lanconelli, Nico and Morisi, Rita and Donini, Bruno and Turco, Dario and Corsi, Cristiana and Lamberti, Claudio and Gavidia, Giovana and Bordone, Maurizio and Soudah, Eduardo and Curzen, Nick and Rosengarten, James and Morgan, John and Herrero, Javier and González Ballester, Miguel A. Supervised Learning Modelization and Segmentation of Cardiac Scar in Delayed Enhanced MRI. In: Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges. Lecture Notes in Computer Science, 7746 . Springer, pp. 53-61. ISBN 978-3-642-36960-5 (2013)

Laurain, Vincent and Tóth, Roland and Piga, Dario An instrumental Least Squares Support Vector Machine for nonlinear system identification: enforcing zero-centering constraints. Technical Report #001/2013 University of Technology, Eindhoven , The Netherlands. (Unpublished)

Liu, Derong and Anderson, Charles and Azar, Ahmad Taher and Battistelli, Giorgio and Bayro-Corrochano, Eduardo and Cervellera, Cristiano and Elizondo, David and Filippone, Maurizio and Gnecco, Giorgio and Hu, Xiaolin and Huang, Tingwen and Liu, Weifeng and Lu, Wenlian and Madureira, Ana Maria and Skrjanc, Igor and Villmann, Thomas and Wu, Jonathan and Xie, Shengli and Xu, Dong Editorial: A Successful Change From TNN to TNNLS and a Very Successful Year. IEEE Transactions on Neural Networks and Learning Systems, 24 (1). pp. 1-7. ISSN 2162-237X (2013)

Margheri, Andrea and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data. In: HEALTHINF 2013 - Proceeding of 6th International Conference on Health Informatics (HEALTHINF). SciTePress, pp. 263-268. ISBN 978-989-8565-37-2 (2013)

Margheri, Andrea and Pugliese, Rosario and Tiezzi, Francesco Linguistic abstractions for programming and policing autonomic computing systems. In: Ubiquitous Intelligence and Computing, 2013 IEEE 10th International Conference on and 10th International Conference on Autonomic and Trusted Computing (UIC/ATC). IEEE, pp. 404-409. ISBN 978-1-4799-2481-3 (2013)

Mayer, Philip and Klarl, Annabelle and Hennicker, Rolf and Puviani, Mariachiara and Tiezzi, Francesco and Pugliese, Rosario and Bureš, Tomáš The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. In: Proceedings of the 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops (SASOW). IEEE, pp. 89-94. (2013)

Minervini, Massimo and Rusu, Cristian and Tsaftaris, Sotirios A. Learning Computationally Efficient Approximations of Complex Image Segmentation Metrics. In: 8th international symposium on Image and Signal Processing and Analysis (ISPA 2013), September 4-6, 2013, Trieste, Italy (2013)

Minervini, Massimo and Tsaftaris, Sotirios A. Application-Aware Image Compression for Low Cost and Distributed Plant Phenotyping. In: 18th International Conference On Digital Signal Processing, 1-3 July 2013, Santorini, Greece (2013)

Mukhopadhyay, Anirban and Lim, Chul Woo and Bhandarkar, Suchendra M. and Chen, Hanbo and Liu, Tianming and Rasheed, Khaled and Taha, Thiab Analysis of surface folding patterns of diccols using the GPU-Optimized geodesic field estimate. In: Workshop on Mesh Processing in Medical Image Analysis, September 26, 2013, Nagoya, Japan pp. 1-10. (2013)

Oksuz, Ilkay and Unay, Devrim and Kadipasaoglu, Kamuran Region growing on frangi vesselness values in 3-D CTA data. In: Proceedings of the 21st Signal Processing and Communications Applications Conference (SIU). IEEE, pp. 1-4. ISBN 978-1-4673-5561-2 (2013)

Patrinos, Panagiotis and Bemporad, Alberto Proximal Newton methods for convex composite optimization. In: 52nd IEEE Conference on Decision and Control. IEEE, pp. 2358-2363. ISBN 978-1-4673-5714-2 (2013)

Pianini, Danilo and Sebastio, Stefano and Vandin, Andrea Statistical analysis of chemical computational systems with MULTIVESTA and ALCHEMIST. Working Paper # /2013 (Submitted)

Piga, Dario and Tóth, Roland Data-driven LPV modeling of continuous pulp digesters. Technical Report #002/2013 University of Technology, Eindhoven (Unpublished)

Piga, Dario and Tóth, Roland LPV model order selection in an LS-SVM setting. In: Proceedings of the 52nd Annual Conference on Decision and Control (CDC), 2013. IEEE, pp. 4128-4133. ISBN 978-1-4673-5714-2 (2013)

Piga, Dario and Tóth, Roland An SDP approach for l0-minimization: application to ARX model segmentation. Automatica, 49 (12). 3646 - 3653. ISSN 0005-1098 (2013)

Puglia, Laura and Bemporad, Alberto and Jokic, Andrej and Virag, Ana A stochastic optimization approach to optimal bidding on dutch ancillary services markets. In: Proceedings of the 10th International Conference on the European Energy Market (EEM13). IEEE, pp. 1-8. (2013)

Puglia, Laura and Patrinos, Panagiotis and Bernardini, Daniele and Bemporad, Alberto Reliability and efficiency for market parties in power systems. In: Proceedings of the 10th International Conference on the European Energy Market (EEM13). IEEE, pp. 1-8. (2013)

Quattrociocchi, Walter and Caldarelli, Guido and Scala, Antonio Influence of media on collective debates. Working Paper # /2013 ArXiv (Submitted)

Riccaboni, Massimo and Rossi, Alessandro and Schiavo, Stefano Global networks of trade and bits. Journal of Economic Interaction and Coordination. pp. 33-56. ISSN 1860-711X (2013)

Roukny, Tarik and Bersini, Hugues and Pirotte, Hugues and Caldarelli, Guido and Battiston, Stefano Default Cascades in Complex Networks: Topology and Systemic Risk. Scientific Reports, 3 (2759). pp. 1-8. ISSN 2045-2322 (2013)

Rusu, Cristian and Dumitrescu, Bogdan Block Orthonormal Overcomplete Dictionary Learning. In: 21st European Signal Processing Conference (EUSIPCO), September 9th-13th, 2013, Marrakesh, Marocco pp. 1-5. (Unpublished) (2013)

Rusu, Cristian and Dumitrescu, Bogdan Stagewise K-SVD to Design Efficient Dictionaries for Sparse Representations. In: ICASSP 2013, May 26-31, 2013, Vancouver, Canada pp. 1-3. (Unpublished) (2013)

Rusu, Cristian and Tsaftaris, Sotirios A. Estimation of Scribble Placement for Painting Colorization. In: 8th International Symposium on Image and Signal Processing and Analysis (ISPA 2013), September 4-6, 2013, Trieste, Italy pp. 564-569. ISBN 978-953-184-194-8. (2013)

Sebastio, Stefano and Vandin, Andrea MultiVeStA: Statistical Model Checking for Discrete Event Simulators. Technical Report # /2013 (Unpublished)

Sebastio, Stefano and Vandin, Andrea MultiVeStA: Statistical Model Checking for Discrete Event Simulators. In: Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, December 10-12, 2013, Brussels, Belgium pp. 310-315. ISBN 978-1-936968-48-0. (2013)

Sopasakis, Pantelis and Bernardini, Daniele and Bemporad, Alberto Constrained Model Predictive Control Based on Reduced-Order Models. In: 52nd IEEE Conference on Decision and Control. IEEE, pp. 7071-7076. ISBN 978-1-4673-5717-3 (2013)

Sopasakis, Pantelis and Sarimveis, Haralambos JAQPOT RESTful Web Services: An Implementation of the OpenTox Application Programming Interface for On-line Prediction of Toxicological Properties. In: 4th International CEMEPE and SECOTOX Conference, June 24th-28th, 2013, Mykonos, Greece (Unpublished) (2013)

Sopasakis, Pantelis and Sarimveis, Haralambos ToxOtis: A Java Interface to the OpenTox Predictive Toxicology Network. In: 4th International CEMEPE and SECOTOX Conference, June 24th-28th, 2013, Mykonos, Greece (Unpublished) (2013)

Tetko, Igor V. and Sopasakis, Pantelis and Kunwar, Prakash and Brandmaier, Stefan and Novoratskyi, Sergii and Charochkina, Larisa and Prokopenko, Volodymyr and Peijnenburg, Willie J.G.M. Prioritisation of polybrominated diphenyl ethers (PBDEs) by using the QSPR-THESAURUS web tool. ATLA. Alternatives to laboratory animals, 41 (1). pp. 127-135. ISSN 0261-1929 (2013)

Tolomei, Gabriele and Orlando, Salvatore and Ceccarelli, Diego and Lucchese, Claudio Twitter anticipates bursts of requests for Wikipedia articles. In: Proceedings of the 2013 workshop on Data-driven user behavioral modelling and mining from social media. ACM, pp. 5-8. ISBN 978-1-4503-2417-5 (2013)

Torres Vieira, Hugo and Vasconcelos, Vasco Thudichum Typing progress in communication-centred systems. In: Coordination Models and Languages. Lecture Notes in Computer Science (7890). Springer, pp. 236-250. ISBN 978-3-642-38493-6 (2013)

Tribastone, Mirco A fluid model for layered queueing networks. IEEE Transactions on Software Engineering, 39 (6). pp. 744-756. ISSN 0098-5589 (2013)

Tsaftaris, Sotirios A. and Zhou, Xiangzhi and Tang, Richard and Li, Debiao and Dharmakumar, Rohan Detecting Myocardial Ischemia at Rest With Cardiac Phase-Resolved Blood Oxygen Level-Dependent Cardiovascular Magnetic Resonance. Circulation: Cardiovascular Imaging, 6 (2). pp. 311-319. ISSN 1941-9651 (2013)

Tschaikowski, Max and Tribastone, Mirco Insensitivity to service-time distributions for fluid queueing models. In: 7th International Conference on Performance Evaluation Methodologies and Tools, December 10–12, 2013, Turin, Italy pp. 273-281. ISBN 978-1-936968-48-0. (2013)

Tóth, Roland and Laurain, Vincent and Piga, Dario An instrumental Least Squares Support Vector Machine for system identification. In: Worshop on Machine Learning for System Identification, 20-21 June 2013, Atlanta, USA (Unpublished) (2013)

Unay, Devrim and Harmankaya, Ibrahim and Oksuz, Ilkay and Kadipasaoglu, Kamuran and Cubuk, Rahmi and Celik, Levent Automated aortic supravalvular sinus detection in conventional computed tomography image. In: Proceedings of the 21st Signal Processing and Communications Applications Conference (SIU). IEEE, pp. 1-4. ISBN 978-1-4673-5561-2 (2013)

Vandin, Andrea Towards the specification and verification of modal properties for structured systems. In: Graph Transformations. Lecture Notes in Computer Science (7562). Springer, pp. 423-425. ISBN 978-3-642-33654-6 (2013)

Wirsing, Martin and Hölzl, Matthias and Tribastone, Mirco and Zambonelli, Franco ASCENS: engineering autonomic service-component ensembles. In: Formal Methods for Components and Objects. Lecture notes in computer science (7542). Springer, pp. 1-24. ISBN 978-3-642-35887-6 (2013)

ter Beek, Maurice H. and Lluch-Lafuente, Alberto and Petrocchi, Marinella Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. In: 4th Int'l Workshop on Formal Methods and Analysis in Software Product Line Eng. (FMSPLE 2013) (2013)

2012

Abbate, Stefano and Avvenuti, Marco and Corsini, Paolo and Panicucci, Barbara and Passacantando, Mauro and Vecchio, Alessio An integer linear programming approach for radio-based localization of shipping containers in the presence of incomplete proximity information. IEEE Transactions on Intelligent Transportation Systems (99). 1 -16. ISSN 1524-9050 (2012)

Abbate, Stefano and Avvenuti, Marco and Light, Janet MIMS: A Minimally Invasive Monitoring Sensor Platform. IEEE Sensors Journal, 12 (3). 677 -684. ISSN 1530-437X (2012)

Bemporad, Alberto and Patrinos, Panagiotis Simple and Certifiable Quadratic Programming Algorithms for Embedded Linear Model Predictive Control. In: 4th IFAC Nonlinear Model Predictive Control Conference. IFAC, pp. 14-20. ISBN 978-3-902823-07-6 (2012)

Bernardini, Daniele and Bemporad, Alberto Energy-aware robust model predictive control based on noisy wireless sensors. Automatica, 48 (1). pp. 36-44. ISSN 0005-1098 (2012)

Bernardini, Daniele and Bemporad, Alberto Stabilizing model predictive control of stochastic constrained linear systems. IEEE Transactions on Automatic Control , 57 (6). 1468 -1480 . ISSN 0018-9286 (2012)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science (7213). Springer-Verlag, pp. 195-209. ISBN 978-3-642-28728-2 (2012)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modelling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. CSA Technical Report #02/2012 IMT Institute for Advanced Studies Lucca

Bevilacqua, Marco and Roumy, Aline and Guillemot, Christine and Alberi-Morel, Marie Line Low-complexity single-image super-resolution based on nonnegative neighbor embedding. In: Proceedings of the 23rd British Machine Vision Conference (BMVC). BMVA Press, 135.1-135.10. ISBN 1-901725-46-4 (2012)

Bevilacqua, Marco and Roumy, Aline and Guillemot, Christine and Alberi-Morel, Marie Line Neighbor embedding based single-image super-resolution using Semi-Nonnegative Matrix Factorization. In: Proceedings of IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, pp. 1289-1292. ISBN 978-1-4673-0044-5 (2012)

Binet, Giovanni and Krenn, Rainer and Bemporad, Alberto Model predictive control applications for planetary rovers. In: i‐SAIRAS International Symposium on Artificial Intelligence, Robotics and Automation in Space, 4-6 September 2012, Turin, Italy pp. 1-8. (Submitted) (2012)

Blanco, Roi and Ceccarelli, Diego and Lucchese, Claudio and Perego, Raffaele and Silvestri, Fabrizio You should read this! let me explain you why: explaining news recommendations to users. In: CIKM '12 Proceedings of the 21st ACM international conference on Information and knowledge management. ACM, New York, pp. 1995-1999. ISBN 978-1-4503-1156-4 (2012)

Bonchi, Filippo and Buscemi, Maria Grazia and Ciancia, Vincenzo and Gadducci, Fabio A Presheaf Environment for the Explicit Fusion Calculus. Journal of Automated Reasoning - Special issue on Binding, Substitution and Naming, 49 (2). pp. 161-183. ISSN 0168-7433 (2012)

Bordino, Ilaria and Battiston, Stefano and Caldarelli, Guido and Cristelli, Matthieu and Ukkonen, Antti and Weber, Ingmar Web Search Queries Can Predict Stock Market Volumes. PloS One, 7 (7). e40014. ISSN 1932-6203 (2012)

Boreale, Michele and Pampaloni, Francesca Quantitative Multirun Security under Active Adversaries. In: Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems (QEST), 2012. IEEE, pp. 158-167. ISBN 978-0-7695-4781-7 (2012)

Bortolussi, Luca and Tribastone, Mirco Fluid limits of queueing networks with batches. In: Proceedings of the third joint WOSP/SIPEW international conference on Performance Engineering - ICPE '12. ACM, pp. 45-56. ISBN 978-1-4503-1202-8 (2012)

Brunetti, Sara and Cordasco, Gennaro and Gargano, Luisa and Lodi, Elena and Quattrociocchi, Walter Minimum weight dynamo and fast opinion spreading. In: Graph-Theoretic concepts in computer science. Lecture Notes in Computer Science (7551). Springer , pp. 249-261. ISBN 978-3-642-34611-8 (2012)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch Lafuente, Alberto and Vandin, Andrea Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. In: Rewriting Logic and Its Applications. Lecture Notes in Computer Science (7571). Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 118-138. ISBN 978-3-642-34004-8 (2012)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea A Conceptual Framework for Adaptation. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (7212). Springer, pp. 240-254. ISBN 978-3-642-28872-2 (2012)

Buscemi, Maria Grazia and De Nicola, Rocco and Melgratti, Hernán C. Contractual Testing. Working Paper # /2012 (Unpublished)

Buscemi, Maria Grazia and Montanari, Ugo and Taneja, Sonia A Game-Theoretic Analysis of Grid Job Scheduling. Journal of Grid Computing, 10 (3). pp. 501-519. ISSN 1570-7873 (2012)

Bush, Marianne and Koch, Nora and Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Towards Model-Driven Development of Access Control Policies for Web Applications. In: Proceedings of 1st International Workshop on Model-Driven Security (MDsec). Springer. (2012)

Caires, Luis and Torres Vieira, Hugo Analysis of service oriented software systems with the conversation calculus. In: Formal Aspects of Component Software. Lecture Notes in Computer Science (6921). Springer, pp. 6-33. ISBN 978-3-642-27269-1 (2012)

Caires, Luis and Torres Vieira, Hugo SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science (7214). Springer, pp. 485-491. ISBN 978-3-642-28756-5 (2012)

Caldarelli, Guido and Catanzaro, Michele Networks: a very short introduction. Very Short Introductions . Oxford University Press, Oxford. ISBN 978-0-19-958807-7 (2012)

Campinas, Stephane and Perry, Thomas E. and Ceccarelli, Diego and Delbru, Renaud and Tummarello, Giovanni Introducing RDF Graph Summary with Application to Assisted SPARQL Formulation. In: Proceeding of the 23rd International Workshop on Database and Expert Systems Applications (DEXA). IEEE, 261 -266. ISBN 978-1-4673-2621-6 (2012)

Casalino, Gabriella and Del Buono, Nicoletta and Minervini, Massimo Nonnegative Matrix Factorizations Performing Object Detection and Localization. Applied Computational Intelligence and Soft Computing, 2012. pp. 1-19. ISSN 1687-9724 (2012)

Casteigts, Arnaud and Flocchini, Paola and Quattrociocchi, Walter and Santoro, Nicola Time-varying graphs and dynamic networks. International Journal of Parallel, Emergent and Distributed Systems, 27 (5). pp. 387-408. ISSN 1744-5760 (2012)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello An Application to Two-Hop Forwarding of a Model of Buffer Occupancy in ICNs. In: Proceedings of the 7th International Conference on System of Systems Engineering (SoSE), 2012. IEEE, pp. 491-496. ISBN 978-1-4673-2974-3 (2012)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello A Model of Buffer Occupancy for ICNs. IEEE Communications Letters, 16 (6). pp. 862-865. ISSN 1089-7798 (2012)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello Optimality Conditions For A Nonlinear Stochastic Knapsack Problem. In: AIRO 2012, September 4th-7th, 2012, Vietri sul Mare, Italy p. 16. (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego Bounded error identification of Hammerstein systems through sparse polynomial optimization. Automatica, 48 (10). 2693 - 2698. ISSN 0005-1098 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego Bounded-error identification of linear systems with input and output backlash. In: 16th IFAC Symposium on System Identification. IFAC, pp. 256-261. ISBN 978-3-902823-06-9 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego FIR approximation of linear systems from quantized records. In: 16th IFAC Symposium on System Identification. IFAC, pp. 1179-1184. ISBN 978-3-902823-06-9 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego Polytopic outer approximations of semialgebraic sets. In: Proceedings of the 51st Annual Conference on Decision and Control (CDC). IEEE, pp. 7793-7798. ISBN 978-1-4673-2064-1 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego Robust pole placement for plants with semialgebraic parametric uncertainty. In: Proceedings of American Control Conference (ACC), 2012. IEEE, pp. 5240-5245. ISBN 978-1-4577-1095-7 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego SM identification of input-output LPV models with uncertain time-varying parameters. In: Linear parameter-varying system identification: new developments and trends. Advanced Series in Electrical and Computer Engineering (14). World Scientific, pp. 41-64. ISBN 978-981-4355-44-5 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego Set-Membership Error-in-variables identification through convex relaxation techniques. IEEE Transactions on Automatic Control , 57 (2). pp. 517-522. ISSN 0018-9286 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego and Berehanu, Sintayehu LPV identification of the glucose-insulin dynamics in Type I Diabetes. In: 16th IFAC Symposium on System Identification. IFAC, pp. 559-564. ISBN 978-3-902823-06-9 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego and Tóth, Roland Fixed order LPV controller design for LPV models in input-output form. In: Proceedings of the 51st Annual Conference on Decision and Control (CDC). IEEE, pp. 6297-6302. ISBN 978-1-4673-2064-1 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego and Tóth, Roland Input-Output LPV Model identification with guaranteed quadratic stability. In: 16th IFAC Symposium on System Identification. IFAC, pp. 1767-1772. ISBN 978-3-902823-06-9 (2012)

Cerone, Vito and Piga, Dario and Regruto, Diego and Tóth, Roland Minimal LPV state-space realization driven set-membership identification. In: Proceedings of American Control Conference (ACC), 2012. IEEE, pp. 3421-3426. ISBN 978-1-4577-1095-7 (2012)

Chen, Zhaofu and Soyak, Eren and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Tracking-optimal error control schemes for H.264 compressed video for vehicle surveillance. In: Proceedings of the 20th European Signal Processing Conference (EUSIPCO), 2012. IEEE, pp. 1900-1904. ISBN 978-1-4673-1068-0 (2012)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. CSA Technical Report #01/2012 IMT Institute for Advanced Studies Lucca

De Nicola, Rocco and Margheri, Andrea and Tiezzi, Francesco Orchestrating Tuple-based Languages. In: Trustworthy Global Computing. Lecture Notes in Computer Science (7173). Springer, pp. 160-178. ISBN 978-3-642-30064-6 (2012)

Degiorgis, Massimiliano and Gnecco, Giorgio and Gorni, Silvia and Roth, Giorgio and Sanguineti, Marcello and Taramasso, Angela Celeste Classifiers for the Detection of Flood Prone Areas from Remote Sensed Elevation Data. In: 5th CNR-Princeton workshop (New Frontiers in Hydrology), January 9th-11th, 2012, Miami, USA p. 1. (2012)

Degiorgis, Massimiliano and Gnecco, Giorgio and Gorni, Silvia and Roth, Giorgio and Sanguineti, Marcello and Taramasso, Angela Celeste Classifiers for the Detection of Flood-Prone Areas Using Remote Sensed Elevation Data. Journal of Hydrology, 470-1. pp. 302-315. ISSN 0022-1694 (2012)

Dellino, Gabriella and Meloni, Carlo Metamodel variability in robust simulation-optimization: a bootstrap analysis. Working Paper # /2012 (Submitted)

Dharmakumar, Rohan and Tsaftaris, Sotirios A. and Li, Debiao Myocardial Blood-Oxygen-Level-Dependent Magnetic Resonance Imaging with Balanced Steady-State Free Precession Imaging Approaches. The Open Medical Imaging Journal , 6 (Suppl). pp. 31-38. ISSN 1874-3471 (2012)

Di Cairano, Stefano and Pascucci, Carlo A. and Bemporad, Alberto The rendezvous dynamics under linear quadratic optimal control. In: Proceedings of the IEEE 51st Annual Conference on Decision and Control (CDC), 2012. IEEE, 6554 -6559. ISBN 978-1-4673-2064-1 (2012)

Di Cairano, Stefano and Yanakiev, Diana and Bemporad, Alberto and Kolmanovsky, Ilya and Hrovat, Davor Model predictive idle speed control: design, analysis, and experimental evaluation. IEEE Transactions on Control Systems Technology , 20 (1). 84 -97. ISSN 1063-6536 (2012)

Fagiano, Lorenzo and Milanese, Mario and Piga, Dario Optimization of airborne wind energy generators. International Journal of Robust and Nonlinear Control , 22 (18). pp. 2055-2083. ISSN 1049-8923 (2012)

Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Logical Verification Methodology for Service-Oriented Computing. ACM Transactions on Software Engineering and Methodology, 21 (3). 16:01-16:46. ISSN 1049-331X (2012)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Improving Reachability Analysis of Infinite State Systems by Specialization. Fundamenta Informaticae, 119 (3-4). pp. 281-300. ISSN 1875-8681 (2012)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Using Real Relaxations during Program Specialization. In: Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science (7225). Springer-Verlag, pp. 106-122. ISBN 978-3-642-32210-5 (2012)

Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Counterpart Semantics for a Second-Order mu-Calculus. Fundamenta Informaticae, 118 (1-2). pp. 177-205. ISSN 1875-8681 (2012)

Gaggero, Mauro and Gnecco, Giorgio and Parisini, Thomas and Sanguineti, Marcello and Zoppoli, Riccardo Approximation Structures with Moderate Complexity in Functional Optimization and Dynamic Programming. In: Proceedings of the 51st IEEE International Conference on Decision and Control (IEEE CDC 2012). IEEE, pp. 1902-1908. ISBN 978-1-4673-2065-8 (2012)

Gaggero, Mauro and Gnecco, Giorgio and Sanguineti, Marcello and Zoppoli, Riccardo Dynamic Programming And Value-Function Approximation With Application To Optimal Consumption. In: AIRO 2012, September 4th-7th, 2012, Vietri sul Mare, Italy p. 159. (2012)

Giorgetti, Alain and Senni, Valerio Specification and Validation of Algorithms Generating Planar Lehman Words. In: GASCom'12, 8th International Conference on random generation of combinatorial structures, June 25-27, 2012, LaBRI, Bordeaux (Submitted) (2012)

Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco Modeling Adaptation with Klaim. SIGAPP Applied Computing Review, 12 (4). pp. 21-35. (2012)

Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco Modeling adaptation with a tuple-based coordination language. In: Proceedings of the 27th Symposium On Applied Computing (SAC). ACM Press, pp. 1522-1527. ISBN 978-1-4503-0857-1 (2012)

Gjondrekaj, Edmond and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco and Pinciroli, Carlo and Brambilla, Manuele and Birattari, Mauro and Dorigo, Marco Towards a Formal Verification Methodology for Collective Robotic Systems. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 54-70. ISBN 978-3-642-34280-6 (2012)

Gnecco, Giorgio A Comparison between Fixed-Basis and Variable-Basis Schemes for Function Approximation and Functional Optimization. Journal of Applied Mathematics, 2012. pp. 1-17. ISSN 1110-757X (2012)

Gnecco, Giorgio and Kůrková, Věra and Sanguineti, Marcello Accuracy of Approximations of Solutions to Fredholm Equations by Kernel Methods. Applied Mathematics and Computation, 218 (14). 7481 - 7497. ISSN 0096-3003 (2012)

Gnecco, Giorgio and Sanguineti, Marcello New insights into Witsenhausen’s counterexample. Optimization Letters, 6 (7). pp. 1425-1446. ISSN 1862-4472 (2012)

Gnecco, Giorgio and Sanguineti, Marcello and Gaggero, Mauro Suboptimal Solutions to Team Optimization Problems with Stochastic Information Structure. SIAM Journal on Optimization, 22 (1). pp. 212-243. ISSN 1052-6234 (2012)

Hermans, Ralph M. and Jokic, Andrej and Lazar, Mircea and Alessio, Alessandro and Van den bosch, Paul and Hiskens, Ian and Bemporad, Alberto Assessment of non-centralised model predictive control techniques for electrical power networks. International Journal of Control , 85 (8). pp. 1162-1177. ISSN 0020-7179 (2012)

Hillston, Jane and Tribastone, Mirco and Gilmore, Stephen Stochastic process algebras: from individuals to populations. The Computer Journal, 55 (7). pp. 866-881. ISSN 0010-4620 (2012)

Kali, Avinash and Kumar, Andreas and Cokic, Ivan and Tsaftaris, Sotirios A. and Friedrich, Matthias G and Dharmakumar, Rohan Chronic Iron Deposition following Acute Hemorrhagic Myocardial Infarction: A Cardiovascular Magnetic Resonance Study. Circulation: Cardiovascular Imaging, 126. A10912. ISSN 1941-9651 (2012)

Karamshuk, Dmytro and Boldrini, Chiara and Conti, Marco and Passarella, Andrea An arrival-based framework for human mobility modeling. In: Proceeding of the 13th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2012. IEEE, pp. 1-9. ISBN 978-1-4673-1237-0 (2012)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Using formal methods to develop WS-BPEL applications. Science of Computer Programming, 77 (3). pp. 189-213. ISSN 0167-6423 (2012)

Lataire, John and Piga, Dario and Tóth, Roland Dealing with correlated errors in Least-Squares Support Vector Machine Estimators. In: ERNSI Workshop 2012, European Research Network on System Identification, September 23 – 25, 2012, Maastricht, The Netherlands (Unpublished) (2012)

Lienhardt, Michael and Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard A reversible abstract machine and its space overhead. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science (7273). Springer, pp. 1-17. ISBN 978-3-642-30793-5 (2012)

Lluch-Lafuente, Alberto and Gadducci, Fabio and Vandin, Andrea Exploiting over- and under-approximations for infinite-state counterpart models. In: Graph Transformations. Lecture Notes in Computer Science (7562). Springer, pp. 51-65. ISBN 978-3-642-33654-6 (2012)

Lluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea State space c-reductions for concurrent systems in rewriting logic. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 430-446. ISBN 978-3-642-34281-3 (2012)

Lluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea State space c-reductions for concurrent systems in rewriting logic. Working Paper # /2012 (Unpublished)

Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Formalisation and Implementation of the XACML Access Control Mechanism. In: Engineering Secure Software and Systems. Lecture Notes in Computer Science (7159). Springer, pp. 60-74. ISBN 978-3-642-28165-5 (2012)

Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. Journal of Medical Systems, 36 (6). pp. 3695-3711. ISSN 0148-5598 (2012)

Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. In: E-Infrastructure and e-Services for Developing Countries},. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (92). Springer, pp. 187-196. ISBN 978-3-642-29092-3 (2012)

Milic, Vladimir and Bemporad, Alberto and Kasac, Josip and Situm, Zeljko Numerical algorithm for nonlinear state feedback ℌ∞ optimal control problem. In: 20th Mediterranean Conference on Control & Automation (MED), 2012. IEEE, 1253 -1258. ISBN 978-1-4673-2529-5 (2012)

Milic, Vladimir and Di Cairano, Stefano and Kasac, Josip and Bemporad, Alberto and Situm, Zeljko A numerical algorithm for nonlinear L2-gain optimal control with application to vehicle yaw stability control. In: Proceedings of the IEEE 51st Annual Conference on Decision and Control (CDC), 2012. IEEE, 5040 -5045. ISBN 978-1-4673-2064-1 (2012)

Minervini, Massimo and Damiano, Mario and Tucci, Valter and Bifone, Angelo and Gozzi, Alessandro and Tsaftaris, Sotirios A. Mouse neuroimaging phenotyping in the cloud. In: Proceedings of the 3rd International Conference on Image Processing Theory, Tools and Applications (IPTA), 2012. IEEE, pp. 55-60. ISBN 978-1-4673-2585-1 (2012)

Mukhopadhyay, Anirban and Qian, Zhen and Bhandarkar, Suchendra M. and Liu, Tianming and Rinehart, Sarah and Voros, Szilard Morphological analysis of the left ventricular endocardial surface and its clinical implications. In: Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012. Lecture Notes in Computer Science (7511). Springer, pp. 502-510. ISBN 978-3-642-33418-4 (2012)

New, Austin T. and Mukhopadhyay, Anirban and Arabnia, Hamid R. and Bhandarkar, Suchendra M. Non-rigid shape correspondence and description using geodesic field estimate distribution. In: SIGGRAPH 2012, August 5-9, 2012, Los Angeles, California p. 1. (2012)

Ocampo-Martinez, Carlos and Barcelli, Davide and Puig, Vicenç and Bemporad, Alberto Hierarchical and decentralised model predictive control of drinking water networks: application to Barcelona case study. IET Control Theory and Applications , 6 (1). p. 62. ISSN 1751-8644 (2012)

Oliveri, Alberto and Barcelli, Davide and Bemporad, Alberto and Genuit, Bart and Heemels, W.P.M.H. and Poggi, Tomaso and Rubagotti, Matteo and Storace, Marco MOBY-DIC: A MATLAB Toolbox for Circuit-Oriented Design of Explicit MPC. In: 4th IFAC Nonlinear Model Predictive Control Conference. IFAC, pp. 218-225. ISBN 978-3-902823-07-6 (2012)

Patrinos, Panagiotis and Bemporad, Alberto An accelerated dual gradient-projection algorithm for linear model predictive control. In: Proceedings of the IEEE 51st Annual Conference on Decision and Control (CDC), 2012. IEEE, 662 -667. ISBN 978-1-4673-2064-1 (2012)

Patrinos, Panagiotis and Bernardini, Daniele and Maffei, Alessandro and Jokic, Andrej and Bemporad, Alberto Two-time-scale MPC for economically optimal real-time operation of balance responsible parties. In: Proceedings of the IFAC 8th Power Plant and Power Systems Control Symposium. IFAC, pp. 741-746. ISBN 978-3-902823-24-3 (2012)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Constraint-based correctness proofs for logic program transformations. Formal Aspects of Computing, 24 (4-6). pp. 569-594. ISSN 0934-5043 (2012)

Piga, Dario A convex relaxation approach to set-membership identification. PhD Thesis thesis, Politecnico di Torino. (2012)

Piga, Dario and Tóth, Roland Segmentation of ARX systems through SDP-relaxation techniques. In: ERNSI Workshop 2012, European Research Network on System Identification, September 23 – 25, 2012, Maastricht, The Netherlands (Unpublished) (2012)

Poggi, Tomaso and Rubagotti, Matteo and Bemporad, Alberto and Storace, Marco High-Speed piecewise affine virtual sensors. IEEE Transactions on Industrial Electronics, 59 (2). 1228 -1237. ISSN 0278-0046 (2012)

Pugliese, Rosario and Tiezzi, Francesco A Calculus for Orchestration of Web Services. Journal of Applied Logic, 10 (1). pp. 2-31. ISSN 1570-8683 (2012)

Quattrociocchi, Walter and Amblard, Frederic and Galeota, Eugenia Selection in scientific networks. Social Network Analysis and Mining, 2 (3). pp. 229-237. ISSN 1869-5450 (2012)

Rubagotti, Matteo and Barcelli, Davide and Bemporad, Alberto Approximate Explicit MPC on Simplicial Partitions with Guaranteed Stability for Constrained Linear Systems. In: 4th IFAC Nonlinear Model Predictive Control Conference. IFAC, pp. 119-125. ISBN 978-3-902823-07-6 (2012)

Rubagotti, Matteo and Poggi, Tomaso and Bemporad, Alberto and Storace, Marco Piecewise affine direct virtual sensors with Reduced Complexity. In: Proceedings of the IEEE 51st Annual Conference on Decision and Control (CDC), 2012. IEEE, 656 -661. ISBN 978-1-4673-2064-1 (2012)

Rubagotti, Matteo and Zaccarian, Luca and Bemporad, Alberto Stability analysis of discrete-time piecewise-affine systems over non-invariant domains. In: Proceedings of the IEEE 51st Annual Conference on Decision and Control (CDC), 2012. IEEE, 4235 -4240. ISBN 978-1-4673-2064-1 (2012)

Rusu, Cristian Clustering before training large datasets - Case study: K-SVD. In: Proceedings of the 20th European Signal Processing Conference (EUSIPCO), 2012. IEEE, pp. 2188-2192. ISBN 978-1-4673-1068-0 (2012)

Rusu, Cristian Clustering large datasets - bounds and applications with K-SVD. UPB Scientific Bulletin, Series C: Electrical Engineering, 20 (10). pp. 1-10. ISSN 1454-234X (2012)

Rusu, Cristian Fast design of efficient dictionaries for sparse representations. In: IEEE International Workshop on Machine Learning for Signal Processing (MLSP), 2012. IEEE, pp. 1-5. ISBN 978-1-4673-1025-3 (2012)

Rusu, Cristian and Dumitrescu, Bogdan Iterative reweighted l1 design of sparse FIR filters. Signal Processing, 92 (4). pp. 905-911. ISSN 0165-1684 (2012)

Rusu, Cristian and Dumitrescu, Bogdan Stagewise K-SVD to Design Efficient Dictionaries for Sparse Representations. IEEE Signal Processing Letters, 19 (10). pp. 631-634. ISSN 1070-9908 (2012)

Senni, Valerio and Fioravanti, Fabio Generation of Test Data Structures Using Constraint Logic Programming. In: Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings. Lecture Notes in Computer Science (7305). Springer, pp. 115-131. ISBN 978-3-642-30472-9 (2012)

Silva, Josep and Tiezzi, Francesco Proceedings of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012). EPTCS. (2012)

Sopasakis, Pantelis and Patrinos, Panagiotis and Sarimveis, Haralambos and Bemporad, Alberto Model Predictive Control for Linear Impulsive Systems. In: Proceedings of the IEEE 51st Annual Conference on Decision and Control (CDC), 2012. IEEE, 5164 -5169. ISBN 978-1-4673-2064-1 (2012)

Sopasakis, Pantelis and Sarimveis, Haralambos An integer programming approach for optimal drug dose computation. Computer Methods and Programs in Biomedicine, 108 (3). pp. 1022-1035. ISSN 0169-2607 (2012)

Strebelow, Ronald and Tribastone, Mirco and Prehofer, Christian Performance modeling of design patterns for distributed computation. In: Proceedings of the 20th International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS). IEEE, pp. 251-258. ISBN 978-1-4673-2453-3 (2012)

Tribastone, Mirco and Ding, Jie and Gilmore, Stephen and Hillston, Jane Fluid rewards for a stochastic process algebra. IEEE Transactions on Software Engineering, 38 (4). pp. 861-874. ISSN 0098-5589 (2012)

Tribastone, Mirco and Gilmore, Stephen and Hillston, Jane Scalable differential analysis of process algebra models. IEEE Transactions on Software Engineering, 38 (1). pp. 205-219. ISSN 0098-5589 (2012)

Trimboli, Sergio and Di Cairano, Stefano and Bemporad, Alberto and Kolmanovsky, Ilya Model predictive control with delay compensation for air-to-fuel ratio control. In: Time delay systems: methods, applications and new trends. Lecture Notes in Information Sciences (423). Springer, Berlin, pp. 319-330. ISBN 978-3-642-25220-4 (2012)

Tsaftaris, Sotirios A. and Zhou, Xiangzhi and Tang, Richard and Li, Debiao and Dharmakumar, Rohan Detecting Myocardial Ischemia at Rest with Cardiac Phase-Resolved BOLD CMR. Circulation: Cardiovascular Imaging. ISSN 1941-9651 (2012)

Tsaftaris, Sotirios A. and Zhou, Xiangzhi and Tang, Richard and Min, J. and Li, Debiao and Dharmakumar, Rohan Detecting ACS and Identifying Acute Ischemic Territories with Cardiac Phase-Resolved BOLD MRI at Rest. In: 20th Meeting of the International Society for Magnetic Resonance in Medicine (ISMRM), 5-11 May 2012, Melbourne, Australia (Unpublished) (2012)

Tschaikowski, Max and Tribastone, Mirco Exact fluid lumpability for Markovian process algebra. In: CONCUR 2012 – Concurrency Theory. Lecture Notes in Computer Science (7454). Springer, pp. 380-394. ISBN 978-3-642-32939-5 (2012)

Tschaikowski, Max and Tribastone, Mirco Generalised communication for interacting agents. In: Proceedings of the 9th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, pp. 178-188. ISBN 978-0-7695-4781-7 (2012)

2011

Acciai, Lucia and Bodei, Chiara and Boreale, Michele and Bruni, Roberto and Torres Vieira, Hugo Static analysis techniques for session-oriented calculi. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 214-231. ISBN 978-3-642-20400-5 (2011)

Acciai, Lucia and Boreale, Michele and De Nicola, Rocco Linear-Time and May-Testing in a Probabilistic Reactive Setting. In: Formal Techniques for Distributed Systems (FMOODS/FORTE 2011). Lecture Notes in Computer Science, 6722 . Springer, pp. 29-43. (2011)

Agnetis, Alessandro and Dellino, Gabriella and Detti, Paolo and De Pascale, Gianluca and Innocenti, Giacomo and Vicino, Antonio Appliance operation scheduling for electricity consumption optimization. In: Proceeding of the Decision and Control and European Control Conference (CDC-ECC). IEEE, pp. 5899-5904. ISBN 978-1-61284-800-6 (2011)

Alessio, Alessandro and Barcelli, Davide and Bemporad, Alberto Decentralized model predictive control of dynamically coupled linear systems. Journal of Process Control, 21 (5). 705 - 714. ISSN 0959-1524 (2011)

Amblard, Frederic and Casteigts, Arnaud and Flocchini, Paola and Quattrociocchi, Walter and Santoro, Nicola On the temporal analysis of scientific network evolution. In: Proceedings of the International Conference on Computational Aspects of Social Networks (CASoN). IEEE, pp. 169-174. ISBN 978-1-4577-1132-9 (2011)

Arijo, Niaz and Heckel, Reiko and Tribastone, Mirco and Gilmore, Stephen Modular performance modelling for mobile applications. In: Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering - ICPE '11. ACM, pp. 329-334. ISBN 978-1-4503-0519-8 (2011)

Baltazar, Pedro and Vasconcelos, Vasco Thudichum and Torres Vieira, Hugo Typing dynamic roles in multiparty interaction. In: INForum - Simpósio de Informática , 8th-9th September 2011, Coimbra, Portugal pp. 1-12. (Unpublished) (2011)

Banti, Federico and Pugliese, Rosario and Tiezzi, Francesco An accessible verification environment for UML models of services. Journal of Symbolic Computation, 46 (2). pp. 119-149. ISSN 0747-7171 (2011)

Bartoletti, Massimo and Caires, Luis and Lanese, Ivan and Mazzanti, Franco and Sangiorgi, Davide and Torres Vieira, Hugo and Zunino, Roberto Tools and verification. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 408-427. ISBN 978-3-642-20400-5 (2011)

Bemporad, Alberto and Barcelli, Davide and Ripaccioli, Giulio Decentralized hierarchical multi-rate control of constrained linear systems. In: Proceedings of the 18th IFAC World Congress, 2011. IFAC, pp. 277-283. ISBN 978-3-902661-93-7 (2011)

Bemporad, Alberto and Bernardini, Daniele and Spinelli, Andrea and Cuzzola, Francesco Alessandro Optimization-based AFC automatic flatness control in cold tandem rolling : an integrated flatness optimization approach for the whole tandem mill. Technical Report # /2011

Bemporad, Alberto and Di Cairano, Stefano Model-predictive control of discrete hybrid stochastic automata. IEEE Transactions on Automatic Control , 56 (6). 1307 -1321. ISSN 0018-9286 (2011)

Bemporad, Alberto and Oliveri, Alberto and Poggi, Tomaso and Storace, Marco Ultra-fast stabilizing model predictive control via canonical piecewise affine approximations. IEEE Transactions on Automatic Control , 56 (12). 2883-2897 . ISSN 0018-9286 (2011)

Bemporad, Alberto and Rocchi, Claudio Decentralized hybrid model predictive control of a formation of unmanned aerial vehicles. In: Proceedings of the 18th IFAC World Congress, 2011. IFAC, pp. 11900-11906. ISBN 978-3-902661-93-7 (2011)

Bemporad, Alberto and Rocchi, Claudio Decentralized linear time-varying model predictive control of a formation of unmanned aerial vehicles. In: Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC). IEEE, 7488 -7493. ISBN 978-1-61284-800-6 (2011)

Bernardini, Daniele Model predictive control of stochastic and networked systems. PhD Thesis thesis, Università degli studi di Siena. (2011)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi. Electronic Proceedings in Theoretical Computer Science, 60. pp. 66-75. ISSN 2075-2180 (2011)

Boreale, Michele and Pampaloni, Francesca and Paolini, Michela Asymptotic information leakage under one-try attacks. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science, 6604 (6604). Springer, pp. 396-410. ISBN 978-3-642-19804-5 (2011)

Boreale, Michele and Pampaloni, Francesca and Paolini, Michela Quantitative information flow, with a view. In: Computer Security – ESORICS 2011. Lecture Notes in Computer Science, 6879 (6879). Springer, pp. 588-606. ISBN 978-3-642-23821-5 (2011)

Brunetti, Sara and Lodi, Elena and Quattrociocchi, Walter Dynamic monopolies in colored tori. In: IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW). IEEE, pp. 626-631. ISBN 978-0-7695-4577-6 (2011)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Montanari, Ugo Hierarchical models for service-oriented systems. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 349-368. ISBN 978-3-642-20400-5 (2011)

Bruni, Roberto and Foster, Howard and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio A formal support to business and architectural design for service-oriented systems. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 133-152. ISBN 978-3-642-20400-5 (2011)

Bruni, Roberto and Lluch-Lafuente, Alberto Evaluating the performance of model transformation styles in Maude. In: Formal Aspects of Component Software. Lecture Notes in Computer Science (7253). Springer, pp. 76-96. ISBN 978-3-642-35743-5 (2011)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo On structured model-driven transformations. International journal of software and informatics, 5 (1-2). pp. 185-206. ISSN 1673-7288 (2011)

Bullo, Daniele and Ferrara, Antonella and Rubagotti, Matteo Sliding mode observers for sensorless control of current-fed induction motors. In: Proceedings of the American Control Conference (ACC), 2011. IEEE, 763 -768. ISBN 978-1-4577-0080-4 (2011)

Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo Constraints for Service Contracts. Technical Report # /2011 Università di Pisa, Dipartimento di Informatica

Buscemi, Maria Grazia and Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Montanari, Ugo Constraints for Service Contracts. Working Paper # /2011 (Submitted)

Buscemi, Maria Grazia and Melgratti, Hernán C. Contracts for Abstract Processes in Service Composition. In: Proceedings Foundations for Interface Technologies (FIT’10). Electronic Proceedings in Theoretical Computer, 46 . Electronic Proceedings in Theoretical Computer Science, pp. 9-27. (2011)

Buscemi, Maria Grazia and Montanari, Ugo QoS Negotiation in Service Composition. Journal of Logic and Algebraic Programming, 80 (1). pp. 13-24. ISSN 1567-8326 (2011)

Caires, Luis and De Nicola, Rocco and Pugliese, Rosario and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi Core calculi for service-oriented computing. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 153-188. ISBN 978-3-642-20400-5 (2011)

Caires, Luis and Pérez, Jorge A. and Seco, João C. and Torres Vieira, Hugo and Ferrão, Lúcio Type-based access control in data-centric systems. In: Programming Languages and Systems. Lecture Notes in Computer Science (6602). Springer, pp. 136-155. ISBN 978-3-642-19718-5 (2011)

Campinas, Stephane and Ceccarelli, Diego and Perry, Thomas E. and Delbru, Renaud and Balog, Krisztian and Tummarello, Giovanni The Sindice-2011 Dataset for Entity-Oriented Search in the Web of Data. In: Proceedings of the 1st International Workshop on Entity-Oriented Search (EOS). ACM, pp. 26-32. ISBN 978-94-6186-000-2 (2011)

Canale, Massimo and Cerone, Vito and Piga, Dario and Regruto, Diego Fast implementation of model predictive control with guaranteed performance. In: Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC). IEEE, pp. 3375-3380. ISBN 978-1-61284-799-3 (2011)

Casale, Giuliano and Tribastone, Mirco Fluid analysis of queueing in two-stage random environments. In: Proceedings of the 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, pp. 21-30. ISBN 978-1-4577-0973-9 (2011)

Casteigts, Arnaud and Flocchini, Paola and Quattrociocchi, Walter and Santoro, Nicola Time-Varying graphs and dynamic networks. In: Ad-hoc, mobile, and wireless networks. Lecture Notes in Computer Science (6811). Springer , pp. 346-359. ISBN 978-3-642-22450-8 (2011)

Ceccarelli, Diego and Gordea, Sergiu and Lucchese, Claudio and Nardini, Franco Maria and Perego, Raffaele and Tolomei, Gabriele Discovering Europeana users’ search behavior. ERCIM news , 86 (July). ISSN 1564-0094 (2011)

Ceccarelli, Diego and Gordea, Sergiu and Lucchese, Claudio and Nardini, Franco Maria and Tolomei, Gabriele Improving Europeana Search Experience Using Query Logs. In: Research and Advanced Technology for Digital Libraries. Lecture Notes in Computer Science (6966). Springer, pp. 384-395. ISBN 978-3-642-24469-8 (2011)

Ceccarelli, Diego and Lucchese, Claudio and Orlando, Salvatore and Perego, Raffaele and Silvestri, Fabrizio Caching query-biased snippets for efficient retrieval. In: Proceedings of EDBT ’11: 14th International Conference on Extending Database Technology. EDBT/ICDT, pp. 93-104. ISBN 978-1-4503-0528-0 (2011)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello CAC with Nonlinearly-Constrained Feasibility Regions. IEEE Communications Letters, 15 (4). pp. 467-469. ISSN 1089-7798 (2011)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello A Generalized Stochastic Knapsack Problem with Application in Call Admission Control. In: CTW 2011 Conference Proceedings. CTW, pp. 105-108. (2011)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello A Stochastic Knapsack Problem with Nonlinear Capacity Constraint. In: AIRO 2011, September 6th-9th, 2011, Brescia, Italy p. 147. (2011)

Cerone, Vito and Piga, Dario and Regruto, Diego Computational burden reduction in set-membership Hammerstein system identification. In: Proceedings of the 18th IFAC World Congress. IFAC, pp. 13924-13929. ISBN 978-3-902661-93-7 (2011)

Cerone, Vito and Piga, Dario and Regruto, Diego Convex relaxation techniques for set-membership identification of LPV systems. In: Proceedings of American Control Conference (ACC), 2011. IEEE, pp. 171-176. ISBN 978-1-4577-0080-4 (2011)

Cerone, Vito and Piga, Dario and Regruto, Diego Enforcing stability constraints in set-membership identification of linear dynamic systems. Automatica, 47 (11). 2488 - 2494. ISSN 0005-1098 (2011)

Cerone, Vito and Piga, Dario and Regruto, Diego Hammerstein systems parameters bounding through sparse polynomial optimization. In: Proceedings of American Control Conference (ACC), 2011. IEEE, pp. 1247-1252. ISBN 978-1-4577-0080-4 (2011)

Cerone, Vito and Piga, Dario and Regruto, Diego Set-membership LPV model identification of vehicle lateral dynamics. Automatica, 47 (8). 1794 - 1799. ISSN 0005-1098 (2011)

Cerone, Vito and Piga, Dario and Regruto, Diego Set-membership identification of Hammerstein-Wiener systems. In: Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC). IEEE, pp. 2819-2824. ISBN 978-1-61284-799-3 (2011)

De Nicola, Rocco Behavioral Equivalences. In: Encyclopedia of Parallel Computing. Springer, pp. 120-127. ISBN 978-0-387-09765-7 (2011)

De Nicola, Rocco Process Algebras. In: Encyclopedia of Parallel Computing. Springer, pp. 1624-1636. ISBN 978-0-387-09765-7 (2011)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke SoSL: a service-oriented stochastic logic. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 447-466. ISBN 978-3-642-20400-5 (2011)

Dell’Agnello, Danilo and Fanelli, Anna and Mencar, Corrado and Minervini, Massimo Serendipitous Fuzzy Item Recommendation with ProfileMatcher. In: Fuzzy Logic and Applications. Lecture Notes in Computer Science (6857). Springer, pp. 220-227. ISBN 978-3-642-23712-6 (2011)

Ferreira, Carla and Lanese, Ivan and Ravara, Antonio and Torres Vieira, Hugo and Zavattaro, Gianluigi Advanced mechanisms for service combination and transactions. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 302-325. ISBN 978-3-642-20400-5 (2011)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Controlling Polyvariance for Specialization-based Verification. In: (ed. by F. Fioravanti) Proceedings of the 26th Italian Conference on Computational Logic (CILC'11). CEUR Workshop Proceedings (810). CEUR Workshop Proceedings, pp. 179-197. (2011)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Improving Reachability Analysis of Infinite State Systems by Specialization. In: Reachability Problems: Proceedings of the 5th International Workshop, RP 2011. Lecture Notes in Computer Science, 6945 . Springer, pp. 165-179. ISBN 978-3-642-24287-8 (2011)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. In: Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science (6564). Springer, pp. 164-183. ISBN 978-3-642-20550-7 (2011)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Program transformation for development, verification, and synthesis of programs. Intelligenza Artificiale, 5 (1). pp. 119-125. ISSN 1724-8035 (2011)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Reachability Analysis via Specialization of Constraint Logic Programs. APL Newsletter. (2011)

Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea A Lewisian approach to the verification of adaptive systems. Rivista Italiana di Filosofia Analitica Junior , 2 (2). ISSN 2037-4445 (2011)

Gagliardi, Mariacristina Computational models for the in silico analysis of drug delivery from drug-eluting stents. Therapeutic Delivery, 2 (1). pp. 1-3. ISSN 2041-5990 (2011)

Giardini, Francesca and Quattrociocchi, Walter and Conte, Rosaria Rooting opinions in the minds: a cognitive model and a formal account of opinions and their dynamics. Working Paper # /2011 ArXiv (Submitted)

Giardini, Francesca and Quattrociocchi, Walter and Conte, Rosaria Understanding opinions. A cognitive and formal account. Working Paper # /2011 ArXiv (Submitted)

Gilmore, Stephen and Gönczy, László and Koch, Nora and Mayer, Philip and Tribastone, Mirco and Varró, Dániel Non-functional properties in the model-driven development of service-oriented systems. Software & Systems Modeling, 10 (3). pp. 287-311. ISSN 1619-1366 (2011)

Gnecco, Giorgio Functional Optimization by Variable-Basis Approximation Schemes. 4OR: A Quarterly Journal of Operations Research, 9 (1). pp. 103-106. ISSN 1619-4500 (2011)

Gnecco, Giorgio and Kůrková, Věra and Sanguineti, Marcello Bounds for Approximate Solutions of Fredholm Integral Equations Using Kernel Networks. In: Artificial Neural Networks and Machine Learning – ICANN 2011. Lecture Notes in Computer Science (6791). Springer, pp. 126-133. ISBN 978-3-642-21734-0 (2011)

Gnecco, Giorgio and Kůrková, Věra and Sanguineti, Marcello Can Dictionary-Based Computational Models Outperform the Best Linear Ones? Neural Networks , 24 (8). 881 - 887. ISSN 0893-6080 (2011)

Gnecco, Giorgio and Kůrková, Věra and Sanguineti, Marcello Some Comparisons of Complexity in Dictionary-Based and Linear Computational Models. Neural Networks , 24 (2). pp. 171-182. ISSN 0893-6080 (2011)

Gnecco, Giorgio and Sanguineti, Marcello On a Variational Norm Tailored to Variable-Basis Approximation Schemes. IEEE Transactions on Information Theory, 57 (1). pp. 549-558. ISSN 0018-9448 (2011)

Gnecco, Giorgio and Sanguineti, Marcello Team Optimization Problems with Lipschitz Continuous Strategies. Optimization Letters, 5 (2). pp. 333-346. ISSN 1862-4472 (2011)

Gnecco, Giorgio and Sanguineti, Marcello and Gaggero, Mauro Approximate Dynamic Programming by Variable-Basis Schemes: Error Analysis and Numerical Results. In: AIRO Winter 2011, February 7th-12th, 2011, Cortina d'Ampezzo, Italy p. 1. (2011)

Gnecco, Giorgio and Sanguineti, Marcello and Zoppoli, Riccardo Functional Optimization in OR Problems with Very Large Numbers of Variables. In: AIRO 2011, September 6th-9th, 2011, Brescia, Italy p. 91. (2011)

Gnesi, Stefania and Pugliese, Rosario and Tiezzi, Francesco The Sensoria Approach Applied to the Finance Case Study. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science, 6582 (6582). Springer, pp. 698-718. ISBN 978-3-642-20400-5 (2011)

Jøsang, Audun and Quattrociocchi, Walter and Karabeg, Dino Taste and trust. In: Trust Management V. IFIP Advances in Information and Communication Technology (358). Springer, pp. 312-322. ISBN 978-3-642-22200-9 (2011)

Karamshuk, Dmytro and Boldrini, Chiara and Conti, Marco and Passarella, Andrea Human mobility models for opportunistic networks. IEEE Communications Magazine, 49 (12). pp. 157-165. (2011)

Kovács, Laura and Pugliese, Rosario and Tiezzi, Francesco Proceedings of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). EPTCS. (2011)

Lanese, Ivan and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Controlling reversibility in higher-order pi. In: CONCUR 2011 – Concurrency Theory. Lecture Notes in Computer Science (6901). Springer, pp. 297-311. ISBN 978-3-642-23217-6 (2011)

Lanese, Ivan and Ravara, Antonio and Torres Vieira, Hugo Behavioral theory for session-oriented calculi. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 189-213. ISBN 978-3-642-20400-5 (2011)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A WSDL-based type system for asynchronous WS-BPEL processes. Formal Methods in System Design, 38 (2). pp. 119-157. ISSN 0925-9856 (2011)

Light, Janet and Li, Xiaoyi and Abbate, Stefano Developing cognitive decline baseline for normal ageing from sleep-EEG monitoring using wireless neurosensor devices. In: Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering (CCECE). IEEE, 001527 -001531. ISBN 978-1-4244-9788-1 (2011)

Lluch-Lafuente, Alberto and Vandin, Andrea Towards a Maude tool for model checking temporal graph properties. Electronic Communications of the EASST, 41. ISSN 1863-2122 (2011)

Lu, Liang and Heemels, W.P.M.H. and Bemporad, Alberto Synthesis of low-complexity stabilizing piecewise affine controllers: a control-Lyapunov function approach. In: Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC). IEEE, 1227 -1232. ISBN 978-1-61284-800-6 (2011)

Marchese, Mario and Cello, Marco and Gnecco, Giorgio and Sanguineti, Marcello Structural Properties of Optimal Coordinate-Convex Policies for CAC with Nonlinearly-Constrained Feasibility Regions. In: Proceedings of IEEE INFOCOM 2011. IEEE, pp. 466-470. ISBN 978-1-4244-9919-9 (2011)

Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco A standard-driven communication protocol for disconnected clinics in rural areas. In: Proceedings of 13th IEEE International Conference on e-Health Networking, Application Services (Healthcom). IEEE, pp. 304-311. ISBN 978-1-61284-696-5 (2011)

Mukhopadhyay, Anirban and Qian, Zhen and Bhandarkar, Suchendra M. and Liu, Tianming and Voros, Szilard Shape analysis of the left ventricular endocardial surface and its application in detecting coronary artery disease. In: Functional Imaging and Modeling of the Heart. Lecture Notes in Computer Science (6666). Springer, pp. 275-283. ISBN 978-3-642-21027-3 (2011)

Paolucci, Mario and Picascia, Stefano and Quattrociocchi, Walter Causality in collective filtering. Working Paper #184657/2011 SSRN

Park, Kyeng Min and Kim, Choongik and Thomas III, Samuel W. and Yoon, Hyo Jae and Morrison, Greg and Mahadevan, L. and Whitesides, George M. New Encoding Schemes with Infofuses. Advanced Materials, 23 (42). pp. 4851-4856. ISSN 0935-9648 (2011)

Patrinos, Panagiotis and Sarimveis, Haralambos and Sopasakis, Pantelis A global piecewise smooth Newton method for fast large-scale model predictive control. Automatica, 47 (9). pp. 2016-2022. ISSN 0005-1098 (2011)

Patrinos, Panagiotis and Sopasakis, Pantelis and Sarimveis, Haralambos Stochastic model predictive control for constrained networked control systems with random time delay. In: Proceedings of the 18th IFAC World Congress, 2011. IFAC, pp. 12626-12631. ISBN 978-3-902661-93-7 (2011)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Constraint-Based Correctness Proofs for Logic Program Transformations. Technical Report #24/2011 IASI-CNR

Poggi, Tomaso and Trimboli, Sergio and Bemporad, Alberto and Storace, Marco Explicit hybrid model predictive control: discontinuous piecewise-affine approximation and FPGA implementation. In: Proceedings of the 18th IFAC World Congress, 2011. IFAC, pp. 1350-1355. ISBN 978-3-902661-93-7 (2011)

Puglia, Laura and Bernardini, Daniele and Bemporad, Alberto A multi-stage stochastic optimization approach to optimal bidding on energy markets. In: Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC). IEEE, 1509 -1514. ISBN 978-1-61284-800-6 (2011)

Quattrociocchi, Walter and Amblard, Frederic Emergence through selection: the evolution of a scientific challenge. Working Paper # /2011 ArXiv (Submitted)

Quattrociocchi, Walter and Conte, Rosaria Exploiting reputation in distributed virtual environments. Working Paper # /2011 ArXiv (Submitted)

Quattrociocchi, Walter and Conte, Rosaria and Lodi, Elena Opinions manipulation: Media, power and gossip. Advances in Complex Systems, 14 (04). pp. 567-586. ISSN 0219-5259 (2011)

Quattrociocchi, Walter and Conte, Rosaria and Lodi, Elena Opinions within media, power and gossip. Working Paper # /2011 ArXiv (Submitted)

Ringeissen, Christophe and Senni, Valerio Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. In: Frontiers of Combining Systems : Title Frontiers of Combining Systems : Proceedings of the 8th International Symposium, FroCoS 2011. Lecture Notes in Computer Science (6989). Springer, pp. 211-226. ISBN 978-3-642-24363-9 (2011)

Ringeissen, Christophe and Senni, Valerio Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. In: FTP 2011 - International Workshop on First-Order Theorem Proving , July 4, 2011, Bern, Switzerland pp. 1-16. (Submitted) (2011)

Rubagotti, Matteo and Della Vedova, Marco L. and Ferrara, Antonella Time-optimal sliding-mode control of a mobile robot in a dynamic environment. IET Control Theory and Applications, 5 (16). 1916 -1924. ISSN 1751-8644 (2011)

Rubagotti, Matteo and Estrada, Antonio and Castanos, Fernando and Ferrara, Antonella and Fridman, Leonid Integral sliding mode control for nonlinear systems with matched and unmatched perturbations. IEEE Transactions on Automatic Control, 56 (11). 2699 -2704. ISSN 0018-9286 (2011)

Rubagotti, Matteo and Raimondo, Davide Martino and Ferrara, Antonella and Magni, Lalo Robust model predictive control with integral sliding mode in continuous-time sampled-data nonlinear systems. IEEE Transactions on Automatic Control , 56 (3). 556 -570. ISSN 0018-9286 (2011)

Rusu, Cristian Classification of music genres using sparse representations in overcomplete dictionaries. Journal of Control Engineering and Applied Informatics, 13 (1). pp. 13-42. ISSN 1454-8658 (2011)

Santoro, Nicola and Quattrociocchi, Walter and Flocchini, Paola and Casteigts, Arnaud and Amblard, Frederic Time-varying graphs and social network analysis: temporal indicators and metrics. Working Paper # /2011 ArXiv (Submitted)

Setzu, Susanna and Chessa, Alessandro and Puliga, Michelangelo and Polo, Maria and Mereu, Maria Cristina SapRete: saperi in rete per il recupero delle competenze logico matematiche e scientifiche. In: E-learning con Moodle in Italia. Seneca edizioni. ISBN 978-88-6122-269-4 (2011)

Sopasakis, Pantelis and Patrinos, Panagiotis and Giannikou, Stefania and Sarimveis, Haralambos Physiologically based pharmacokinetic modeling and predictive control: an integrated approach for optimal drug administration. Computer Aided Chemical Engineering, 29. pp. 1490-1494. ISSN 1570-7946 (2011)

Soyak, Eren and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Channel protection for H.264 compression in transportation video surveillance applications. In: 18th IEEE International Conference on Image Processing (ICIP). IEEE, 2237 -2240. ISBN 978-1-4577-1302-6 (2011)

Soyak, Eren and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Low-complexity tracking-aware H.264 video compression for transportation surveillance. IEEE Transactions on circuits and systems for video technology, 21 (10). pp. 1378-1389. ISSN 1051-8215 (2011)

Soyak, Eren and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Tracking-Optimized quantization for H.264 compression in transportation video surveillance applications. In: International conference on image processing (ICIP 2011), September 11-14, 2011, Brussels, Belgium (Unpublished) (2011)

Tribastone, Mirco Approximate mean value analysis of process algebra models. In: Proceedings of the 19th International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS). IEEE, pp. 369-378. ISBN 978-1-4577-0468-0 (2011)

Tribastone, Mirco Scalable performance evaluation of computer systems. In: Software Engineering 2011, 21.–25. Februar 2011, Karlsruher (Germany) pp. 1-4. (Unpublished) (2011)

Tribastone, Mirco and Gilmore, Stephen Large-scale modelling with the PEPA eclipse plug-in. In: Operations Research Proceedings 2010. Operations Research Proceedings . Springer, pp. 169-174. ISBN 978-3-642-20009-0 (2011)

Tribastone, Mirco and Gilmore, Stephen Scaling performance analysis using fluid-flow approximation. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 486-505. ISBN 978-3-642-20401-2 (2011)

Trimboli, Sergio and Rubagotti, Matteo and Bemporad, Alberto Stability and invariance analysis of uncertain PWA systems based on linear programming. In: Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC). IEEE, 7398 -7403. ISBN 978-1-61284-800-6 (2011)

Tschaikowski, Max and Tribastone, Mirco Refined theory of packages. In: 10th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), September 2011, Ragusa, Italy pp. 1-7. (Unpublished) (2011)

Zollo, Fabiana and Caprini, Luca and Gervasi, Osvaldo and Costantini, Alessandro X3DMMS: An X3DOM Tool for Molecular and Material Sciences. In: Proceedings of the 16th International Conference on 3D Web Technology, June 20-22, 2011, Paris, France pp. 129-136. ISBN 978-1-4503-0774-1. (2011)

2010

Alessandri, Angelo and Gnecco, Giorgio and Sanguineti, Marcello Computationally Efficient Approximation Schemes for Functional Optimization. In: Computational Optimization: New Research Developments. Nova Publishers, pp. 169-205. ISBN 978-1-60692-671-0 (2010)

Alessandri, Angelo and Gnecco, Giorgio and Sanguineti, Marcello Minimizing Sequences for a Family of Functional Optimal Estimation Problems. Journal of Optimization Theory and Applications, 147 (2). pp. 243-262. ISSN 0022-3239 (2010)

Bacciu, Davide and Buscemi, Maria Grazia and Mkrtchyan, Lusine Adaptive Fuzzy-valued Service Selection. In: Proceedings of ACM Symposium in Applied Computing (SAC ’10). ACM Press, Sierre, Switzerland, pp. 2467-2471. ISBN 978-1-60558-639-7 (2010)

Banti, Federico and Pugliese, Rosario and Tiezzi, Francesco A criterion for separating process calculi. Proc. of 17th International Workshop on Expressiveness in Concurrency (EXPRESS 2010), Electronic Proceedings in Theoretical Computer Science, 41 . pp. 16-30. ISSN 20752180 (2010)

Barcelli, Davide and Bemporad, Alberto and Ripaccioli, Giulio Hierarchical multi-rate control design for constrained linear systems. In: Decision and Control Conference. IEEE, Hilton Atlanta Hotel, Atlanta, December 15-17, 2010, 5216 -5221. ISBN 978-1-4244-7745-6 (2010)

Barcelli, Davide and Bernardini, Daniele and Bemporad, Alberto Synthesis of networked switching linear decentralized controllers. In: 49th IEEE Conference on Decision and Control. IEEE, 2480 -2485. ISBN 978-1-4244-7745-6 (2010)

Barcelli, Davide and Ocampo-Martinez, Carlos and Cayuela, Vincenç Puig and Bemporad, Alberto Decentralized model predictive control of drinking water networks using an automatic subsystem decomposition approach. In: Symposium on large scale complex systems theory and applications. IFAC. ISBN 978-3-902661-91-3 (2010)

Bemporad, Alberto and Bernardini, Daniele and Cuzzola, Francesco Alessandro and Spinelli, Andrea Optimization-based feedback control of flatness in a cold tandem rolling. Journal of Process Control, 20 (4). pp. 396-407. ISSN 0959-1524 (2010)

Bemporad, Alberto and Di Cairano, Stefano and Henriksson, Erik and Johansson, Karl Henrik Hybrid model predictive control based on wireless sensor feedback: An experimental study. International Journal of Robust and Nonlinear Control , v.20. pp. 209-225. ISSN 1049-8923 (2010)

Bemporad, Alberto and Heemels, W.P.M.H. and Johansson, Mikael (edited by) Networked Control Systems. Lecture Notes in Control and Information Sciences, 406 . Springer-Verlag. ISBN 978-0-85729-032-8 (2010)

Bemporad, Alberto and Heemels, W.P.M.H. and Lazar, Mircea On the synthesis of piecewise affine control laws. In: Symposium on Circuits and Systems. IEEE, 30th May- 2nd June , 2010. ISBN 978-1-4244-5309-2 (2010)

Bemporad, Alberto and Oliveri, Alberto and Poggi, Tomaso and Storace, Marco Synthesis of stabilizing model predictive controllers via canonical piecewise affine approximations. In: Decision and Control Conference. IEEE, Hilton Atlanta Hotel, Atlanta, December 15-17, 2010, 5296 -5301. ISBN 978-1-4244-7745-6 (2010)

Bernardini, Daniele and Donkers, M.C.F. and Bemporad, Alberto and Heemels, W.P.M.H. A model predictive control approach for stochastic networked control systems. In: 2nd IFAC Workshop on Distributed Estimation and Control in Networked Systems. IFAC. ISBN 978-3-902661-82-1 (2010)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. In: Trustworthly Global Computing (TGC 2010). Lecture Notes in Computer Science, 6084 . Springer, pp. 35-56. ISBN 978-3-642-15639-7 (2010)

Bichi, M. and Ripaccioli, Giulio and Di Cairano, Stefano and Bernardini, Daniele and Bemporad, Alberto and Kolmanovsky, Ilya Stochastic model predictive control with driver behavior learning for improved powertrain control. In: 49th IEEE Conference on Decision and Control. IEEE, 6077 -6082. ISBN 978-1-4244-7745-6 (2010)

Bortolussi, Luca and Galpin, Vashti and Hillston, Jane and Tribastone, Mirco Hybrid semantics for PEPA. In: Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST). IEEE, pp. 181-190. ISBN 978-1-4244-8082-1 (2010)

Brunetti, Sara and Lodi, Elena and Quattrociocchi, Walter Multicolored dynamos on toroidal meshes. Working Paper # /2010 ArXiv (Submitted)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Montanari, Ugo On GS-Monoidal Theories for Graphs with Nesting. In: Graph Transformations and Model-Driven Engineering. Lecture Notes in Computer Science, 5765 . Springer, pp. 59-86. ISBN 978-3-642-17321-9 (2010)

Bruni, Roberto and Gadducci, Fabio and Lluch-Lafuente, Alberto An Algebra of Hierarchical Graphs and its Application to Structural Encoding. Scientific Annals in Computer Science, 20. pp. 53-96. ISSN 1843 - 8121 (2010)

Bruni, Roberto and Gadducci, Fabio and Lluch-Lafuente, Alberto An Algebra of Hierarchical Graphs. In: Trustworthly Global Computing (TCG 2010). Lecture Notes in Computer Science, 6084 . Springer, pp. 205-221. ISBN 978-3-642-15639-7 (2010)

Buscemi, Maria Grazia and Montanari, Ugo and Taneja, Sonia Toward a Game-Theoretic Model of Grid Systems. In: Post-proceedings of the 5th Symposium on Trustworthy Global Computing (TGC’10). Lecture Notes in Computer Science, 6084 . Springer, pp. 57-72. ISBN 978-3-642-15639-7 (2010)

Caires, Luis and Torres Vieira, Hugo Conversation types. Theoretical Computer Science, 411 (51–52). 4399 - 4440. ISSN 0304-3975 (2010)

Casale, Giuliano and Tribastone, Mirco Process-algebraic modelling of priority queueing networks. In: 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), September 2010, London, UK pp. 1-6. (Unpublished) (2010)

Cello, Marco and Gnecco, Giorgio and Marchese, Mario and Sanguineti, Marcello On Call Admission Control with Nonlinearly Constrained Feasibility Regions. In: EURO XXIV , July 11-14, 2010, Lisbon, Portugal p. 105. (2010)

Cerone, Vito and Piga, Dario and Regruto, Diego Bounded error identification of Hammerstein Systems with backlash. In: Block-oriented Nonlinear System Identification. Lecture Notes in Control and Information Sciences (404). Springer , pp. 367-382. ISBN 978-1-84996-513-2 (2010)

Cerone, Vito and Piga, Dario and Regruto, Diego Bounding the parameters of linear systems with stability constraints. In: Proceedings of American Control Conference (ACC), 2010. IEEE, pp. 2152-2157. ISBN 978-1-4244-7426-4 (2010)

Cerone, Vito and Piga, Dario and Regruto, Diego Improved parameter bounds for set-membership EIV problems. International Journal of Adaptive Control and Signal Processing, 25 (3). pp. 208-227. ISSN 08906327 (2010)

Cerone, Vito and Piga, Dario and Regruto, Diego Set-membership EIV identification through LMI relaxation techniques. In: Proceedings of American Control Conference (ACC), 2010. IEEE, pp. 2158-2163. ISBN 978-1-4244-7426-4 (2010)

Cesari, Luca and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A tool for rapid development of WS-BPEL applications. In: Proceedings of the 2010 ACM Symposium on Applied Computing. SAC '10 . ACM, pp. 2438-2442. ISBN 978-1-60558-639-7 (2010)

Cesari, Luca and Pugliese, Rosario and Tiezzi, Francesco A tool for rapid development of WS-BPEL applications. SIGAPP Applied Computing Review, 11 (1). pp. 27-40. (2010)

Chomenides, Haralambos and Sopasakis, Pantelis and Sarimveis, Haralambos Decibell: A novel approach to the ORM software in Java. In: 5th Conference of the Hellenic Free Open-Source Software (FOSS) Community, Athens, Greece (Unpublished) (2010)

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to static type systems for coordination languages. Science of Computer Programming, 75 (6). pp. 376-397. ISSN 0167-6423 (2010)

De Nicola, Rocco and Gorla, Daniele and Labella, Anna Tree-functors, determinacy and bisimulations. Mathematical Structures in Computer Science, 20 (3). pp. 319-358. ISSN 0960-1295 (2010)

Di Cairano, Stefano and Bemporad, Alberto Equivalent piecewise affine models of linear hybrid automata. IEEE Transactions on Automatic Control , 55 (2). pp. 498-502. ISSN 0018-9286 (2010)

Di Cairano, Stefano and Bemporad, Alberto Model predictive control tuning by controller matching. IEEE Transactions on Automatic Control , 55 (1). pp. 185-190. ISSN 0018-9286 (2010)

Di Cairano, Stefano and Tseng, H. E. and Bernardini, Daniele and Bemporad, Alberto Steering vehicle control by switched model predictive control. In: Advances in Automotive Control. IFAC. ISBN 978-3-902661-72-2 (2010)

Donkers, M.C.F. and Heemels, W.P.M.H. and Bernardini, Daniele and Bemporad, Alberto and Shneer, Vsevolod Stability analysis of stochastic networked control systems. In: American Control Conference. IEEE, 3684 -3689 . ISBN 978-1-4244-7426-4 (2010)

Fagiano, Lorenzo and Milanese, Mario and Piga, Dario High-Altitude wind power generation. IEEE Transactions on Energy Conversion, 25 (1). pp. 168-180. ISSN 0885-8969 (2010)

Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Counterpart semantics for a second-order mu-calculus. In: Graph Transformations (ICGT 2010). Lecture Notes in Computer Science, 6372 . Springer, pp. 282-297. ISBN 978-3-642-15927-5 (2010)

Gaggero, Mauro and Gnecco, Giorgio and Sanguineti, Marcello Decentralized Optimization Problems with Cooperating Decision Makers. In: AIRO 2010, September 7th-10th, 2010, VIlla San Giovanni, Italy p. 8. (2010)

Gaggero, Mauro and Gnecco, Giorgio and Sanguineti, Marcello Suboptimal Solutions to Team Optimization Problems with Statistical Information Structure. In: EURO XXIV , July 11th-14th, 2010, Lisbon, Portugal p. 105. (2010)

Giammatteo, P. and Donato, Debora and Zlatic, Vinko and Caldarelli, Guido A PageRank-based preferential attachment model for the evolution of the World Wide Web. EPL (Europhysics Letters), 91 (1). p. 18004. ISSN 0295-5075 (2010)

Gnecco, Giorgio and Cello, Marco and Sanguineti, Marcello On call admission control with nonlinearly constrained feasibility regions. In: EURO XXIV , July 11-14, 2010, Lisbon, Portugal p. 105. (2010)

Gnecco, Giorgio and Kůrková, Věra and Sanguineti, Marcello Some Comparisons of Model Complexity in Linear and Neural-Network Approximation. In: Artificial Neural Networks – ICANN 2010. Lecture Notes in Computer Science (6354). Springer, pp. 358-367. ISBN 978-3-642-15825-4 (2010)

Gnecco, Giorgio and Sanguineti, Marcello Editorial for the special issue: “Mathematical problems in engineering, aerospace and sciences”. Applied Mathematical Sciences, 4 (73). pp. 3621-3624. ISSN 1312-885X (2010)

Gnecco, Giorgio and Sanguineti, Marcello Error Bounds for Suboptimal Solutions to Kernel Principal Component Analysis. Optimization Letters, 4 (2). pp. 197-210. ISSN 1862-4472 (2010)

Gnecco, Giorgio and Sanguineti, Marcello Estimates of Variation with Respect to a Set and Applications to Optimization Problems. Journal of Optimization Theory and Applications, 145 (1). pp. 53-75. ISSN 0022-3239 (2010)

Gnecco, Giorgio and Sanguineti, Marcello Information Complexity of Functional Optimization Problems and Their Approximation Schemes. Mathematics in Engineering, Science and Aerospace (MESA), 1 (3). pp. 303-317. ISSN 2041-3165 (2010)

Gnecco, Giorgio and Sanguineti, Marcello On Spectral Windows In Supervised Learning From Data. Information Processing Letters, 110 (23). 1031 - 1036. ISSN 0020-0190 (2010)

Gnecco, Giorgio and Sanguineti, Marcello Regularization Techniques and Suboptimal Solutions to Optimization Problems in Learning from Data. Neural Computation, 22 (3). pp. 793-829. ISSN 0899-7667 (2010)

Gnecco, Giorgio and Sanguineti, Marcello Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations. In: SOFSEM 2010: Theory and Practice of Computer Science. Lecture Notes in Computer Science (5901). Springer, pp. 440-451. ISBN 978-3-642-11266-9 (2010)

Gnecco, Giorgio and Sanguineti, Marcello Suboptimal Solutions to Dynamic Optimization Problems via Approximations of the Policy Functions. Journal of Optimization Theory and Applications, 146 (3). pp. 764-794. ISSN 0022-3239 (2010)

Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard Reversing higher-order pi. In: CONCUR 2010 - Concurrency Theory. Lecture Notes in Computer Science (6269). Springer, pp. 478-493. ISBN 978-3-642-15375-4 (2010)

Lluch-Lafuente, Alberto and Bruni, Roberto and Boronat, Artur and Montanari, Ugo and Paolillo, Generoso Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. In: Formal Techniques for Distributed Systems (FMOODS/FORTE 2010). Lecture Notes in Computer Science, 6117 . Springer, pp. 2-16. ISBN 978-3-642-13463-0 (2010)

Melagraki, Georgia and Sopasakis, Pantelis and Afantitis, Antreas and Sarimveis, Haralambos Consensus QSAR modeling and domain of applicability: an integrated approach. In: 18th European Symposium on Quantitative Structure-Activity Relationships (EuroQSAR 2010, September 19–24, 2010, Rhodes, Greece (Unpublished) (2010)

Milanese, Mario and Fagiano, Lorenzo and Piga, Dario Control as a key technology for a radical innovation in wind energy generation. In: Proceedings of American Control Conference (ACC), 2010. IEEE, pp. 2361-2377. ISBN 978-1-4244-7426-4 (2010)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Deciding Full Branching Time Logic by Program Transformation. In: Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science (6037). Springer, pp. 5-21. ISBN 10.1007/978-3-642-12592-8_2 (2010)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio A Transformation Strategy for Verifying Logic Programs on Infinite Lists. In: Proceedings of the 25th Italian Conference on Computational Logic. CEUR Workshop Proceedings (598). CEUR Workshop Proceedings, pp. 1-17. (2010)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio The Transformational Approach to Program Development. In: A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. Lecture Notes in Computer Science (6125). Springer, pp. 112-135. ISBN 978-3-642-14308-3 (2010)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Transformations of logic programs on infinite lists. Theory and Practice of Logic Programming, 10 (4-6). pp. 383-399. ISSN 1471-0684 (2010)

Quattrociocchi, Walter and Conte, Rosaria and Lodi, Elena Simulating opinion dynamics in heterogeneous communication systems. In: ECCS'10 European Conference on Complex Systems, September 13-17, 2010, Lisbon, Portugal pp. 1-15. (Unpublished) (2010)

Quattrociocchi, Walter and Latorre, Daniela and Lodi, Elena and Nanni, Mirco Dealing with Interaction for Complex Systems Modelling and Prediction. International journal of artificial life research, 1 (1). pp. 1-11. ISSN 1947-3087 (2010)

Ripaccioli, Giulio and Bernardini, Daniele and Di Cairano, Stefano and Bemporad, Alberto and Kolmanovsky, Ilya A stochastic model predictive control approach for series hybrid electric vehicle power management. In: American Control Conference. IEEE, 5844 -5849. ISBN 978-1-4244-7427-1 (2010)

Rubagotti, Matteo and Raimondo, Davide Martino and Jones, Colin Neil and Magni, Lalo and Ferrara, Antonella and Morari, Manfred A nonlinear model predictive control scheme with multirate integral sliding mode. In: 8th IFAC Symposium on Nonlinear Control Systems. IFAC, pp. 232-237. (2010)

Sanguineti, Marcello and Gaggero, Mauro and Gnecco, Giorgio Suboptimal solutions to team optimization problems with statistical information structure. In: EURO XXIV , July 11-14, 2010, Lisbon, Portugal p. 105. (2010)

Soyak, Eren and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Content-aware H.264 encoding for traffic video tracking applications. In: International conference on acoustics speech and signal processing (ICASSP). IEEE, 730 -733. ISBN 978-1-4244-4295-9 (2010)

Soyak, Eren and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Tracking-optimal pre- and post-processing for H.264 compression in traffic video surveillance applications. In: 17th IEEE international conference on electronics, circuits, and systems (ICECS). IEEE, 375 -378. ISBN 978-1-4244-8155-2 (2010)

Torres Vieira, Hugo A calculus for modeling and analyzing conversations in service-oriented computing. PhD Thesis thesis, Universidade nova de Lisboa. (2010)

Tribastone, Mirco Relating layered queueing networks and process algebra models. In: Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering - WOSP/SIPEW '10. ACM, pp. 183-194. ISBN 978-1-60558-563-5 (2010)

Tribastone, Mirco Scalable differential analysis of large process algebra models. In: Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST). IEEE, p. 307. ISBN 978-1-4244-8082-1 (2010)

Tribastone, Mirco and Mayer, Philip and Wirsing, Martin Performance prediction of service-oriented systems with layered queueing networks. In: Leveraging Applications of Formal Methods, Verification, and Validation. Lecture Notes in Computer Science (6416). Springer, pp. 51-65. ISBN 978-3-642-16561-0 (2010)

2009

Abbate, Stefano and Avvenuti, Marco and Corsini, Paolo and Vecchio, Alessio Localization of Shipping Containers in Ports and Terminals Using Wireless Sensor Networks. In: Proceedings of the International Conference on Computational Science and Engineering (CSE '09). IEEE, 587 -592. ISBN 978-1-4244-5334-4 (2009)

Alessio, Alessandro and Bemporad, Alberto A survey on explicit model predictive control. In: Assessment and Future Directions of Nonlinear Model Predictive Control. Springer-Verlag, pp. 345-369. (2009)

Banti, Federico and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Specification and analysis of SOC systems using COWS: a finance case study. Electronic Notes in Theoretical Computer Science, 235. pp. 71-105. ISSN 1571-0661 (2009)

Barcelli, Davide and Bemporad, Alberto Decentralized model predictive control of dynamically-coupled linear systems: tracking under packet loss. In: Estimation and Control of Networked Systems. IFAC, 24th Sep. - 26th Sep. 2009, pp. 204-209. ISBN 978-3-902661-52-4 (2009)

Bemporad, Alberto Modeling and control of hybrid dynamical systems: the hybrid toolbox for MATLAB. In: MATHMOD Conference, 11th - 13th February 2009, Vienna, Austria pp. 82-100. (2009)

Bemporad, Alberto and Di Cairano, Stefano and Ferrari-Trecate, Giancarlo and Kvasnica, Michal and Morari, Manfred and Paoletti, Simone Tools for modeling, simulation, control, and verification of piecewise affine systems. In: Handbook of Hybrid Systems Control: Theory, Tools, and Applications. Cambridge University Press, Cambridge, pp. 297-324. ISBN 9780521765053 (2009)

Bemporad, Alberto and Muñoz de la Peña, David Multiobjective model predictive control. Automatica, 45 (12). pp. 2823-2830. (2009)

Bemporad, Alberto and Muñoz de la Peña, David Multiobjective model predictive control based on convex piecewise affine costs. In: European Control Conference, Budapest, Hungary, 23th -26th August 2009 pp. 2402-2407. (2009)

Bemporad, Alberto and Pascucci, Carlo A. and Rocchi, Claudio Hierarchical and hybrid model predictive control of quadcopter air vehicles. In: Analysis and Design of Hybrid Systems. IFAC, 16th Sep - 18th Sep 2009, pp. 14-19. ISBN 978-3-902661-59-3 (2009)

Bemporad, Alberto and Çamlıbel, M.Kanat and Heemels, W.P.M.H. and Van der Schaft, Arjan J. and Schumacher, J.M. and De Schutter, Bart Further switched systems. In: Handbook of hybrid systems control: theory, tools, and applications. Cambridge University Press, Cambridge, pp. 139-192. ISBN 9780521765053 (2009)

Benvenuti, Luca and Balluchi, Andrea and Bemporad, Alberto and Di Cairano, Stefano and Johansson, Bengt and Johansson, Rolf and Sangiovanni Vincentelli, Alberto and Tunest, Per Automotive control. In: Handbook of Hybrid Systems Control: Theory, Tools, and Applications. Cambridge University Press, Cambridge, pp. 439-470. ISBN 9780521765053 (2009)

Bernardini, Daniele and Bemporad, Alberto Energy-aware robust model predictive control with feedback from multiple noisy wireless sensors. In: European Control Conference , Budapest, Hungary, 23th -26th August 2009 pp. 4308-4313. (Unpublished) (2009)

Bocchi, Laura and Fiadeiro, Jose Luiz and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco From architectural to behavioural specification of services. Electronic Notes in Theoretical Computer Science, 253 (1). pp. 3-21. ISSN 1571-0661 (2009)

Boratto, Ludovico and Carta, Salvatore and Chessa, Alessandro and Agelli, Maurizio and Clemente, M. Laura Group Recommendation with Automatic Identification of Users Communities. In: Proceedings of the IEEE/WIC/ACM International Joint Conferences on eb Intelligence and Intelligent Agent Technologies, 2009. WI-IAT '09. IEEE, pp. 547-550. ISBN 978-1-4244-5331-3 (2009)

Bosnacki, Dragan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-order reduction for general state exploring algorithms. International Journal on Software Tools for Technology Transfer (STTT), 11 (1). pp. 39-51. ISSN 1433-2779 (2009)

Bracciali, Andrea and Bruni, Roberto and Lluch-Lafuente, Alberto On symbolic semantics for name-decorated contexts. Electronic Notes in Theoretical Computer Science, 229 (3). pp. 37-58. ISSN 1571-0661 (2009)

Bruni, Roberto and De Nicola, Rocco and Loreti, Michele and Mezzina, Leonardo Gaetano Provably Correct Implementations of Services. In: Trustworthy Global Computing (TGC 2008). Lecture Notes in Computer Science (5474). Springer, pp. 69-86. ISBN 978-3-642-00944-0 (2009)

Bruni, Roberto and Gadducci, Fabio and Lluch-Lafuente, Alberto A Graph Syntax for Processes and Services. In: Web Services and Formal Methods (WS-FM’09). Lecture Notes in Computer Science, 6194 . Springer, pp. 46-60. ISBN 978-3-642-14457-8 (2009)

Bruni, Roberto and Hölzl, Matthias and Koch, Nora and Lluch-Lafuente, Alberto and Mayer, Philip and Montanari, Ugo and Schroeder, Andreas and Wirsing, Martin A Service-Oriented UML Profile with Formal Support. In: Service-Oriented Computing (ICSOC/ServiceWave 2009). Lecture Notes in Computer Science, 5900 . Springer, pp. 455-469. ISBN 978-3-642-10382-7 (2009)

Bruni, Roberto and Lluch-Lafuente, Alberto Ten virtues of structured graphs. Electronic Communications of the EASST (ECEASST), 18. ISSN 1863-2122 (2009)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo Hierarchical design rewriting with Maude. Electronic Notes in Theoretical Computer Science, 238 (3). pp. 45-62. ISSN 1571-0661 (2009)

Bucchiarone, Antonio and Lluch-Lafuente, Alberto and Marconi, Annapaola and Pistore, Marco A Formalisation of Adaptable Pervasive Flows. In: Web Services and Formal Methods (WS-FM’09). Lecture Notes in Computer Science, 6194 . Springer, pp. 61-75. ISBN 978-3-642-14457-8 (2009)

Buscemi, Maria Grazia and Melgratti, Hernán C. Abstract Processes in Orchestration Languages. In: Proceedings of the 18th European Symposium on Programming (ESOP’09). Lecture Notes in Computer Science, 5502 . Springer, pp. 301-315. ISBN 978-3-642-00589-3 (2009)

Caires, Luis and Ferreira, Carla and Torres Vieira, Hugo A process calculus analysis of compensations. In: Trustworthy Global Computing. Lecture notes in computer science (5474). Springer, pp. 87-103. ISBN 978-3-642-00945-7 (2009)

Caires, Luis and Torres Vieira, Hugo Conversation types. In: Programming Languages and Systems. Lecture Notes in Computer Science (5502). Springer, pp. 285-300. ISBN 978-3-642-00590-9 (2009)

Caires, Luis and Torres Vieira, Hugo Spatial logic model checker user’s guide : version 1.15. Technical Report #04/2009 Departamento de Informática - Universidade nova de Lisboa (Unpublished)

Cerone, Vito and Piga, Dario and Regruto, Diego Parameter bounds evaluation for linear systems with output backlash. In: Proceedings of the 15th IFAC Symposium on System Identification. IFAC, pp. 575-580. ISBN 978-3-902661-47-0 (2009)

Cerone, Vito and Piga, Dario and Regruto, Diego Set-membership identification of block-structured nonlinear feedback systems. In: Proceedings of the 48th IEEE Conference on Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. IEEE, pp. 3643-3649. ISBN 978-1-4244-3872-3 (2009)

Clark, Allan and Gilmore, Stephen and Tribastone, Mirco Quantitative analysis of web services using SRMC. In: Formal Methods for Web Services. Lecture Notes in Computer Science (5569). Springer, pp. 296-339. ISBN 978-3-642-01918-0 (2009)

Clark, Allan and Gilmore, Stephen and Tribastone, Mirco Scalable analysis of scalable systems. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, 5503 (5503). Springer, pp. 1-17. ISBN 978-3-642-00593-0 (2009)

Clark, Allan and Gilmore, Stephen and Tribastone, Mirco Service-level agreements for service-oriented computing. In: Recent Trends in Algebraic Development Techniques. Lecture Notes in Computer Science (5486). Springer, pp. 21-36. ISBN 978-3-642-03429-9 (2009)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke MarCaSPiS: a Markovian Extension of a Calculus for Services. Electronic Notes in Theoretical Computer Science, 229 (4). pp. 11-26. ISSN 1571-0661 (2009)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke On a Uniform Framework for the Definition of Stochastic Process Languages. In: Formal Methods for Industrial Critical Systems (FMICS 2009). Lecture Notes in Computer Science, 5825 . Springer, pp. 9-25. ISBN 978-3-642-04569-1 (2009)

De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke Rate-Based Transition Systems for Stochastic Process Calculi. In: Automata, Languages and Programming (ICALP (2) 2009). Lecture Notes in Computer Science, 5556 . Springer, pp. 435-446. ISBN 978-3-642-02929-5 (2009)

Dellino, Gabriella and Lino, Paolo and Meloni, Carlo and Rizzo, Alessandro Kriging metamodel management in the design optimization of a CNG injection system. Mathematics and computers in simulation, 79 (8). 2345 - 2360. ISSN 0378-4754 (2009)

Di Cairano, Stefano and Bemporad, Alberto and Júlvez, Jorge Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics. Automatica, 45 (5). pp. 1243-1251. (2009)

Fagiano, Lorenzo and Milanese, Mario and Piga, Dario Kitenergy: a radical innovation in wind energy generation. In: Clean technology 2010: bioenergy, renewables, storage, grid, waste and sustainability: Technical Proceedings of the 2010 Clean Technology Conference and Expo. CRC Press, pp. 167-170. ISBN 978-1-4398-3419-0 (2009)

Ferrara, Antonella and Rubagotti, Matteo A dynamic obstacle avoidance strategy for a mobile robot based on sliding mode control. In: Proceedings of the Control Applications, (CCA) & Intelligent Control, (ISIC). IEEE, 1535 -1540. ISBN 978-1-4244-4601-8 (2009)

Ghoshal, Gourab and Zlatic, Vinko and Caldarelli, Guido and Newman, M.E.J. Random hypergraphs and their applications. Physical Review E, 79 (6). ISSN 1539-3755 (2009)

Gnecco, Giorgio and Sanguineti, Marcello Accuracy of Suboptimal Solutions to Kernel Principal Component Analysis. Computational Optimization and Applications, 42 (2). pp. 265-287. ISSN 0926-6003 (2009)

Gnecco, Giorgio and Sanguineti, Marcello Approximate Dynamic Programming by Value-Function Approximation via Variable-Basis Schemes. In: AIRO 2009, September 8th-11th, 2009, Siena, Italy p. 10. (2009)

Gnecco, Giorgio and Sanguineti, Marcello Lipschitz Continuity of the Solutions to Team Optimization Problems Revisited. In: International Conference on Mathematical Science and Engineering (ICMSE 09) , October 28th-30th, 2009, Venice, Italy (2009)

Gnecco, Giorgio and Sanguineti, Marcello Regularization and Suboptimal Solutions in Learning from Data. In: Innovations in Neural Information Paradigms and Applications. Studies in Computational Intelligence (247). Springer, pp. 113-154. ISBN 978-3-642-04002-3 (2009)

Gnecco, Giorgio and Sanguineti, Marcello Smoothness and Approximation of Optimal Decision Strategies in Team Optimization Problems. In: AIRO 2009, September 8th-11th, 2009, Siena, Italy p. 13. (2009)

Gnecco, Giorgio and Sanguineti, Marcello Structural Properties of Stochastic Dynamic Concave Optimization Problems and Approximations of the Value and Optimal Policy Functions. In: AIRO 2008, September 8th–11th, 2008, Ischia, Italy p. 16. (2009)

Gnecco, Giorgio and Sanguineti, Marcello Suboptimal Solutions to Network Team Optimization Problems. In: International Network Optimization Conference (INOC 2009), April 26th-29th, 2009, Pisa, Italy (2009)

Gnecco, Giorgio and Sanguineti, Marcello The Weight-Decay Technique in Learning from Data: An Optimization Point of View. Computational Management Science, 6 (1). pp. 53-79. ISSN 1619-697X (2009)

Jøsang, Audun and Quattrociocchi, Walter Advanced features in Bayesian reputation systems. In: Trust, Privacy and Security in Digital Business. Lecture Notes in Computer Science (5695). Springer , pp. 105-114. ISBN 978-3-642-03748-1 (2009)

Kwak, Haewoon and Choi, Yoonchan and Eom, Young-Ho and Jeong, Hawoong and Moon, Sue Mining communities in networks. In: Proceedings of the 9th ACM SIGCOMM conference on Internet measurement conference - IMC '09. ACM, pp. 301-314. ISBN 978-1-60558-771-4 (2009)

König, Stefan and Balke, Tina and Quattrociocchi, Walter and Paolucci, Mario and Eymann, Torsten On the effects of reputation in the Internet of Services. In: Proceedings of the First International Conference on Reputation: Theory and Technology - ICORE 09. CNR ; ISTC , pp. 200-214. ISBN 978-88-85059-27-6 (2009)

Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Typing component-based communication systems. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science (5522). Springer, pp. 167-181. ISBN 978-3-642-02137-4 (2009)

Masi, Massimiliano and Pugliese, Rosario and Tiezzi, Francesco On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. In: Information Systems Security (ICISS 2009). Lecture Notes in Computer Science, 5905 . Springer, pp. 55-70. ISBN 978-3-642-10771-9 (2009)

Perra, Nicola and Zlatic, Vinko and Chessa, Alessandro and Conti, Claudio and Donato, Debora and Caldarelli, Guido PageRank equation and localization in the WWW. EPL (Europhysics Letters), 88 (4). p. 48002. ISSN 0295-5075 (2009)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Transformational Verification of Linear Temporal Logic. In: CILC09, 24-esimo Convegno Italiano di Logica Computazionale, 24-26 Giugno 2009, Università di Ferrara, Italy pp. 1-17. (Submitted) (2009)

Plumbley, Mark D. and Bevilacqua, Marco Sparse reconstruction for compressed sensing using Stagewise Polytope Faces Pursuit. In: Proceedings of the 16th International Conference on Digital Signal Processing (DSP). IEEE, pp. 1-8. ISBN 978-1-4244-3298-1 (2009)

Pugliese, Rosario and Tiezzi, Francesco and Yoshida, Nobuko On Observing Dynamic Prioritised Actions in SOC. In: Automata, Languages and Programming (ICALP (2) 2009). Lecture Notes in Computer Science, 5556 . Springer, pp. 558-570. ISBN 978-3-642-02929-5 (2009)

Pugliese, Rosario and Tiezzi, Francesco and Yoshida, Nobuko A symbolic semantics for a clculus for service-oriented computing. Electronic Notes in Theoretical Computer Science, 241. pp. 135-164. ISSN 1571-0661 (2009)

Quattrociocchi, Walter and Paolucci, Mario Reputation and uncertainty : a fairly optimistic society when cheating is total. In: Proceedings of the First International Conference on Reputation: Theory and Technology - ICORE 09. CNR ; ISTC, pp. 215-226. ISBN 978-88-85059-27-6 (2009)

Quattrociocchi, Walter and Paolucci, Mario and Conte, Rosaria Image and reputation coping differently with massive informational cheating. In: Visioning and engineering the knowledge society. A web science perspective. Lectures Notes in Computer Science (5736). Springer , pp. 574-583. ISBN 978-3-642-04754-1 (2009)

Quattrociocchi, Walter and Paolucci, Mario and Conte, Rosaria On the effects of informational cheating on social evaluations: image and reputation through gossip. International journal of knowledge and learning, 5 (5). pp. 457-471. ISSN 1741-1009 (2009)

Sarimveis, Haralambos and Sopasakis, Pantelis and Afantitis, Antreas and Melagraki, Georgia A Model Predictive Control Approach for Optimal Drug Administration. In: Chemical Engineering Transactions, Series. AIDIC, pp. 1311-1316. ISBN 978-88-95608-01-3 (2009)

Senni, Valerio and Pettorossi, Alberto and Proietti, Maurizio A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs. Fundamenta Informaticae, 96 (3). pp. 373-393. ISSN 1875-8681 (2009)

Sopasakis, Pantelis and Golnas, A. and Apratzanis, N. and Charitides, C.A. Forecasting of the technological and market evolution of QDs using an ARIMA stochastic process. In: 7th Panhellenic Conference on Chemical Engineering, 3-5 June 2009, Patras, Greece (Unpublished) (2009)

Sopasakis, Pantelis and Patrinos, Panagiotis and Sarimveis, Haralambos Development of a methodology for the computation of a near-optimal explicit control law for nonlinear systems that are subject to constraints coupling fuzzy model predictive control and multi-parametric programming. In: 7th Panhellenic Conference on Chemical Engineering, 3-5 June 2009, Patras, Greece (Unpublished) (2009)

Sopasakis, Pantelis and Patrinos, Panagiotis and Sarimveis, Haralambos Explicit control for nonlinear constrained systems combining fuzzy model predictive control and multiparametric programming. In: 7th Panhellenic Conference on Chemical Engineering, 3-5 June 2009, Patras, Greece (Unpublished) (2009)

Sopasakis, Pantelis and Sarimveis, Haralambos Formulation and solution of an optimal control problem where the input values are restricted on a finite set. In: 7th Panhellenic Conference on Chemical Engineering, 3-5 June 2009, Patras, Greece (Unpublished) (2009)

Tribastone, Mirco Differential analysis of PEPA models. In: Proceedings of the 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA). Informatics Forum - University of Edinburgh, pp. 7-12. (2009)

Tribastone, Mirco and Duguid, Adam and Gilmore, Stephen The PEPA eclipse plugin. Performance Evaluation Review, 36 (4). pp. 28-33. ISSN 0163-5999 (2009)

Zlatic, Vinko and Ghoshal, Gourab and Caldarelli, Guido Hypergraph topological quantities for tagged social networks. Physical Review E, 80 (3). ISSN 1539-3755 (2009)

2008

Alessandri, Angelo and Gnecco, Giorgio and Sanguineti, Marcello Computationally Efficient Approximation Schemes for Functional Optimization. International Journal of Computer Research, 17 (1/2). pp. 153-189. ISSN 1535-6698 (2008)

Alessio, Alessandro and Bemporad, Alberto Stability conditions for decentralized model predictive control under packet drop communication. In: American Control Conference. IEEE, 11th - 13th June 2008, pp. 3577-3582. ISBN 978-1-4244-2078-0 (2008)

Argent-Katwala, Ashok and Clark, Allan and Foster, Howard and Gilmore, Stephen and Mayer, Philip and Tribastone, Mirco Safety and response-time analysis of an automotive accident assistance service. In: Leveraging Applications of Formal Methods, Verification and Validation. Communications in Computer and Information Science (17). Springer, pp. 191-205. (2008)

Barrat, Alain and Boccaletti, Stefano and Caldarelli, Guido and Chessa, Alessandro and Latora, Vito and Motter, Adilson E. Complex Networks: from Biology to Information Technology - Preface. Journal of Physics A: Mathematical and Theoretical, 41 (22). p. 220301. ISSN 1751-8113 (2008)

Bemporad, Alberto and Bianchini, Gianni and Brogi, Filippo Passivity analysis and passification of discrete-time hybrid systems. IEEE Transactions on Automatic Control , 54 (4). pp. 1004-1009. ISSN 0018-9286 (2008)

Bernardini, Daniele and Bemporad, Alberto Energy-aware robust model predictive control based on wireless sensor feedback. In: Decision and Control. IEEE, 9th - 11th December 2008, pp. 3342-3347. ISBN 978-1-4244-3123-6 (2008)

Bernardini, Daniele and Bemporad, Alberto Energy-aware robust model predictive control with feedback from multiple noisy wireless sensors. In: 47th IEEE Conference on Decision and Control. IEEE, pp. 4308-4313. ISBN 978-1-4244-3123-6 (2008)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Implementing Session Centered Calculi. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 17-32. ISBN 978-3-540-68264-6 (2008)

Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele Sessions and Pipelines for Structured Service Programming. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008). Lecture Notes in Computer Science, 5051 . Springer, pp. 19-38. ISBN 978-3-540-68862-4 (2008)

Borrelli, Francesco and Baotic, Mato and Bemporad, Alberto and Morari, Manfred Efficient on-line computation of constrained optimal control. In: Conference on Decision and Contml. Society for Industrial and Applied Mathematics:3600 University City Science Center:Philadelphia, PA 19104:(800)447-7426, (215)382-9800, EMAIL: service@siam.org, INTERNET: http://www.siam.org, Fax: (215)386-7999, pp. 2470-2489. ISBN 0-7803-7061-9 (2008)

Bravetti, Mario and Gilmore, Stephen and Guidi, Claudio and Tribastone, Mirco Replicating web services for scalability. In: Trustworthy Global Computing. Lecture Notes in Computer Science (4912). Springer, pp. 204-221. ISBN 978-3-540-78663-4 (2008)

Bruni, Roberto and Bucchiarone, Antonio and Gnesi, Stefania and Hirsch, Dan and Lluch-Lafuente, Alberto Graph-Based Design and Analysis of Dynamic Software Architectures. In: Concurrency, Graphs and Models ('08). Lecture Notes in Computer Science, 5065 . Springer, pp. 37-56. ISBN 978-3-540-68676-7 (2008)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio Architectural design rewriting as an architecture description language. In: The Rise and Rise of the Declarative Datacentre - Research Meeting, May 12-13, 2008, Cambridge, UK (Unpublished) (2008)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio Service Oriented Architectural Design. In: Trustworthy Global Computing (TGC '07). Lecture Notes in Computer Science, 4912 . Springer, pp. 186-203. ISBN 978-3-540-78662-7 (2008)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio Style-Based architectural reconfigurations. Bulletin of the European association for theoretical computer science, 94. pp. 161-180. ISSN 0252-9742 (2008)

Buscemi, Maria Grazia and Melgratti, Hernán C. Transactional Service Level Agreement. In: Post-proceedings of the 3rd Symposium on Trustworthy Global Computing (TGC’07). Lecture Notes in Computer Science, 4912 . Springer, pp. 124-139. ISBN 978-3-540-78662-7 (2008)

Buscemi, Maria Grazia and Montanari, Ugo Open Bisimulation for the Concurrent Constraint Pi-Calculus. In: Proceedings of the 17th European Symposium on Programming (ESOP’08). Lecture Notes in Computer Science, 4960 . Springer, pp. 254-268. ISBN 978-3-540-78738-9 (2008)

Buscemi, Maria Grazia and Montanari, Ugo A Survey of Constraint-based Programming Paradigms. Computer Science Review, 2 (3). pp. 137-141. ISSN 1574-0137 (2008)

Calzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco TAPAs: A Tool for the Analysis of Process Algebras. In: Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science, 1 . Springer, pp. 54-70. ISBN 978-3-540-89286-1 (2008)

Castagna, Giuseppe and De Nicola, Rocco and Varacca, Daniele Semantic subtyping for the pi-calculus. Theoretical Computer Science, 398 (1-3). pp. 217-242. ISSN 0304-3975 (2008)

Chun, Hyunwoo and Kwak, Haewoon and Eom, Young-Ho and Ahn, Yong-Yeol and Moon, Sue and Jeong, Hawoong Comparison of online social relations in volume vs interaction. In: Proceedings of the 8th ACM SIGCOMM conference on Internet measurement conference - IMC '08. ACM, pp. 57-69. ISBN 978-1-60558-334-1 (2008)

Clark, Allan and Duguid, Adam and Gilmore, Stephen and Tribastone, Mirco Partial evaluation of PEPA models for fluid-flow analysis. In: Computer Performance Engineering. Lecture Notes in Computer Science (5261). Springer, pp. 2-16. ISBN 978-3-540-87412-6 (2008)

Damoiseaux, Armand and Jokic, Andrej and Lazar, Mircea and Alessio, Alessandro and Van den bosch, Paul and Hiskens, Ian and Bemporad, Alberto Assessment of decentralized model predictive control techniques for power networks. In: 16th Power Systems Computation Conference, Glasgow, Scotland, 14th - 16th July 2008 (2008)

De Nicola, Rocco and Degano, Pierpaolo and Meseguer, José Ugo Montanari in a Nutshell. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer, pp. 1-8. ISBN 978-3-540-68676-7 (2008)

De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to Static Type Systems for Coordination Languages. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 100-116. ISBN 978-3-540-68264-6 (2008)

De Nicola, Rocco and Loreti, Michele Multiple-Labelled Transition Systems for nominal calculi and their logics. Mathematical Structures in Computer Science, 18 (1). pp. 107-143. ISSN 0960-1295 (2008)

Di Cairano, Stefano and Johasson, K.H. and Bemporad, Alberto and Murray, Richard M. Discrete and hybrid stochastic state estimation algorithms for Networked control systems. In: Hybrid Systems: Computation and Control. Springer-Verlag, pp. 144-157. ISBN 9783540789284 (2008)

Di Cairano, Stefano and Lazar, Mircea and Bemporad, Alberto and Heemels, W.P.M.H. A control Lyapunov approach to predictive control of hybrid systems. In: Hybrid Systems: Computation and Control. Springer-Verlag, pp. 130-143. ISBN 9783540789284 (2008)

Di Cairano, Stefano and Pasini, Alessandro and Bemporad, Alberto and Murray, Richard M. Convergence properties of dynamic agents consensus networks with broken links. In: American Control Conference. IEEE, 11th - 13th June 2008, pp. 1362-1367. ISBN 978-1-4244-2078-0 (2008)

Di Cairano, Stefano and Yanakiev, Diana and Bemporad, Alberto and Kolmanovsky, Ilya and Hrovat, Davor An MPC design flow for automotive control and applications to idle speed regulation. In: Decision and Control, 2008. CDC 2008. 47th IEEE Conference on. IEEE, pp. 5686-5691. ISBN 978-1-4244-3123-6 (2008)

Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Model Checking Approach for Verifying COWS Specifications. In: FASE. Lecture Notes in Computer Science, 4961 . Springer, pp. 230-245. ISBN 978-3-540-78742-6 (2008)

Ferrara, Antonella and Rubagotti, Matteo Second-order sliding-mode control of a mobile robot based on a harmonic potential field. IET Control Theory and Applications , 2 (9). 807 -818. ISSN 1751-8644 (2008)

Ferrara, Antonella and Rubagotti, Matteo A sub-optimal second order sliding mode controller for systems with saturating actuators. In: Proceedings of the American Control Conference, 2008. IEEE, 4715 -4720. ISBN 978-1-4244-2078-0 (2008)

Foschi, Rachele and Spizzichino, Fabio Semigroups of Semi-copulas and Evolution of Dependence at Increase of Age. Mathware & Soft Computing, 15 (1). pp. 95-111. ISSN 1134-5632 (2008)

Gnecco, Giorgio and Sanguineti, Marcello Approximation Error Bounds via Rademacher's Complexity. Applied Mathematical Sciences, 2 (4). pp. 153-176. ISSN 1312-885X (2008)

Gnecco, Giorgio and Sanguineti, Marcello Estimates of the Approximation Error Using Rademacher Complexity: Learning Vector-Valued Functions. Journal of Inequalities and Applications, 2008. pp. 1-16. ISSN 1025-5834 (2008)

Gnecco, Giorgio and Sanguineti, Marcello Value and Policy Function Approximations in Infinite-Horizon Optimization Problems. Journal of Dynamical Systems and Geometric Theories, 6 (2). pp. 123-147. ISSN 1726-037X (2008)

Koktzoglou, Ioannis and Tsaftaris, Sotirios A. and Zuehlsdorff, Sven and Li, Debiao and Katsaggelos, Aggelos K. and Dharmakumar, Rohan Automated tracking of a passive endomyocardial stiletto catheter with dephased FLAPS MRI: a feasibility study. In: 16th Meeting of the international society for magnetic resonance in medicine, 3-9 May 2008, Toronto, Canada p. 1205. (Submitted) (2008)

Koktzoglou, Ioannis and Tsaftaris, Sotirios A. and Zuehlsdorff, Sven and Li, Debiao and Katsaggelos, Aggelos K. and Dharmakumar, Rohan Automated tracking of a passive intramyocardial needle with off-resonance MRI: a feasibility study. Journal of cardiovascular magnetic resonance, 10 (1). A366. ISSN 1532-429X (2008)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A Formal Account of WS-BPEL. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 199-215. ISBN 978-3-540-68264-6 (2008)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Service discovery and negotiation with COWS. Electronic Notes in Theoretical Computer Science, 200 (3). pp. 133-154. ISSN 1571-0661 (2008)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Specifying and Analysing SOC Applications with COWS. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer, pp. 701-720. ISBN 978-3-540-68676-7 (2008)

Maani, Ehsan and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Local feature extraction for video copy detection in a database. In: IEEE International conference on image processing (ICIP 2008). IEEE, 1716 -1719. ISBN 978-1-4244-1765-0 (2008)

Perra, Nicola and Zlatic, Vinko and Chessa, Alessandro and Conti, Claudio and Donato, Debora and Caldarelli, Guido Schroedinger-like PageRank equation and localization in the WWW. Working Paper # /2008 ArXiv (Unpublished)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Program Transformation for Development, Verification, and Synthesis of Software. In: Il Milione (i.e. 2ˆ6, June 3rd 2008) A Journey in the Computational Logic in Italy. CEUR Workshop Proceedings (487). CEUR Workshop Proceedings, pp. 7-14. (2008)

Quattrociocchi, Walter Bruce Edmonds, Cesareo Hernandez, Klaus Troitzsch (eds): Social simulation technologies, advances and new discoveries. Journal of Management & Governance, 12 (2). pp. 219-223. ISSN 1385-3457 (2008)

Quattrociocchi, Walter and Paolucci, Mario and Conte, Rosaria Reputation and uncertainty reduction: simulating partner selection. In: Trust in Agent Societies. Lecture Notes in Computer Science (5396). Springer, pp. 308-325. ISBN 978-3-540-92802-7 (2008)

Sarimveis, Haralambos and Patrinos, Panagiotis and Tarantilis, Chris D. and Kiranoudis, Chris T. Dynamic modeling and control of supply chain systems: a review. Computers and operations research , 35 (11). pp. 3530-3561. ISSN 0305-0548 (2008)

Senni, Valerio Transformation techniques for constraint logic programs with applications to protocol verification. PhD Thesis thesis, Università degli studi di Roma "Tor Vergata". (2008)

Senni, Valerio and Pettorossi, Alberto and Proietti, Maurizio A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. In: Logic Programming. Lecture Notes in Computer Science (5366). Springer, pp. 284-300. ISBN 978-3-540-89981-5 (2008)

Senni, Valerio and Pettorossi, Alberto and Proietti, Maurizio Folding Transformation Rules for Constraint Logic Programs. In: CILC08, 23-esimo Convegno Italiano di Logica Computazionale , 10-12 Luglio 2008, Università di Perugia, Italy pp. 1-22. (Submitted) (2008)

Torres Vieira, Hugo and Caires, Luis and Seco, João C. The conversation calculus: a model of service-oriented computation. In: Programming Languages and Systems. Lecture notes in computer science (4960). Springer, pp. 269-283. ISBN 978-3-540-78739-6 (2008)

Tribastone, Mirco and Gilmore, Stephen Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. In: Proceedings of the 7th international workshop on Software and performance - WOSP '08. ACM, pp. 67-78. ISBN 978-1-59593-873-2 (2008)

Tribastone, Mirco and Gilmore, Stephen Automatic translation of UML sequence diagrams into PEPA models. In: Proceedings of the 5th International Conference on Quantitative Evaluation of Systems. QEST '08. IEEE, pp. 205-214. ISBN 978-0-7695-3360-5 (2008)

Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. The not so digital future of digital signal processing [point of view]. Proceedings of the IEEE, 96 (3). 375 -377. ISSN 0018-9219 (2008)

Tsaftaris, Sotirios A. and Zujovic, Jana and Katsaggelos, Aggelos K. Automated line flattening of Atomic Force Microscopy images. In: IEEE International conference on image processing (ICIP 2008). IEEE, 2968 -2971. ISBN 978-1-4244-1765-0 (2008)

Tsaftaris, Sotirios A. and Zujovic, Jana and Katsaggelos, Aggelos K. Restoration of the cantilever bowing distortion in Atomic Force Microscopy. In: 16th European signal processing conference, August 2008, Lausanne, Switzerland (2008)

Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008)

2007

Barbera, Mario and Lombardo, Alfio and Schembra, Giovanni and Tribastone, Mirco An analytical model of a BitTorrent peer. In: Proceedings of the 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing, 2007. PDP '07. IEEE, pp. 482-489. ISBN 0-7695-2784-1 (2007)

Bemporad, Alberto and Bernardini, Daniele and Cuzzola, Francesco Alessandro and Spinelli, Andrea Optimization-based feedback control of flatness in a cold tandem rolling. Technical Report #4/2007

Bemporad, Alberto and Bicchi, Antonio and Buttazzo, Giorgio (edited by) Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings. Lecture Notes in Computer Science, 4416 . Springer-Verlag, -. ISBN 3-540-71492-8 (2007)

Bemporad, Alberto and Di Cairano, Stefano and Henriksson, Erik and Johansson, Karl Henrik Hybrid model predictive control based on wireless sensor feedback: an experimental study. In: Decision and Control. IEEE, 12th-14th December 2007, 5062-5067 . ISBN 978-1-4244-1497-0 (2007)

Bemporad, Alberto and Gentile, F. and Mecocci, A. and Molendi, Francesco and Rossi, F. A wireless magneto-resistive sensor network for real-time vehicle detection. In: Fourth European conference, EWSN 2007, The Netherlands, Delft, 29-31 January 2007 pp. 13-14. (2007)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Loreti, Michele Implementing a distributed mobile calculus using the IMC framework. Electronic Notes in Theoretical Computer Science, 181. pp. 63-79. ISSN 1571-0661 (2007)

Bonomo, Claudia and Dellino, Gabriella and Fortuna, Luigi and Giannone, Pietro and Graziani, Salvatore and Lino, Paolo and Meloni, Carlo and Rizzo, Alessandro Optimization issues in modeling IPMC devices. In: EUROSIM 2007: proceedings of the 6th EUROSIM congress on modelling and simulation, 9-13 September, 2007, Ljubljana, Slovenia. Elsevier, pp. 1-8. ISBN 978-3-901608-32-2 (2007)

Buscemi, Maria Grazia and Ferrari, Laura and Moiso, Corrado and Montanari, Ugo Constraint-Based Policy Negotiation and Enforcement for Telco Services. In: Proceedings of the 1st IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE’07). IEEE Computer Society, pp. 463-472. ISBN 0-7695-2856-2 (2007)

Buscemi, Maria Grazia and Montanari, Ugo CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. In: Proceedings of the 16th European Symposium on Programming (ESOP’07). Lecture Notes in Computer Science, 4421 . Springer, pp. 18-32. ISBN 978-3-540-71314-2 (2007)

Buscemi, Maria Grazia and Montanari, Ugo A Compositional Coalgebraic Model of Fusion Calculus. Journal of Logic and Algebraic Programming, 72 (1). pp. 78-97. ISSN 1567-8326 (2007)

Caires, Luis and Costa Seco, João and Torres Vieira, Hugo Automotive and finance case studies in the conversation calculus. Technical Report #04/2007 Departamento de Informática - Universidade nova de Lisboa (Unpublished)

Caires, Luis and Tavares Sousa, David and Torres Vieira, Hugo Checking for choreography conformance using spatial logic model-checking. Technical Report #03/2007 Departamento de Informática - Universidade nova de Lisboa (Unpublished)

Caires, Luis and Torres Vieira, Hugo Extensionality of spatial observations in distributed systems. Electronic Notes in Theoretical Computer Science, 175 (3). 131 - 149. ISSN 1571-0661 (2007)

Caldarelli, Guido Scale-free networks : complex webs in nature and technology. Oxford finance . Oxford University Press, Oxford. ISBN 978-0-19-921151-7 (2007)

Caldarelli, Guido and Vespignani, Alessandro (edited by) Large scale structure and dynamics of complex networks: from information technology to finance and natural science. Complex systems and interdisciplinary science, 2 . World Scientific, New Jersey. ISBN 978-981-270-664-5 (2007)

Clark, Allan and Gilmore, Stephen and Hillston, Jane and Tribastone, Mirco Stochastic process algebras. In: Formal Methods for Performance Evaluation. Lecture Notes in Computer Science (4486). Springer, pp. 132-179. ISBN 78-3-540-72522-0 (2007)

De Nicola, Rocco Session Centered Calculi for Service Oriented Computing. In: THEORETICAL COMPUTER SCIENCE Proceedings of the 10th Italian Conference on (ICTCS '07I. World Scientific, pp. 6-10. ISBN 981-277-098-4 (2007)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Basic observables for a calculus for global computing. Information and Computation, 205 (10). pp. 1491-1525. ISSN 0890-5401 (2007)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Global computing in a dynamic network of tuple spaces. Science of Computer Programming, 64 (2). pp. 187-204. ISSN 0167-6423 (2007)

De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Loreti, Michele and Massink, Mieke Model checking mobile stochastic logic. Theoretical Computer Science, 382 (1). pp. 42-70. ISSN 0304-3975 (2007)

De Nicola, Rocco and Loreti, Michele Multi labelled transition systems: a semantic framework for nominal calculi. Electronic Notes in Theoretical Computer Science, 169. pp. 133-146. ISSN 1571-0661 (2007)

Dellino, Gabriella and Lino, Paolo and Meloni, Carlo and Rizzo, Alessandro Kriging metamodels in design optimization: an automotive engineering application. In: MASCOT06-6th meeting on applied scientific computing and tools- grid generation, approximated solutions and visualization. IMACS series in computational and applied mathematics, 11 . Elsevier. (2007)

Dellino, Gabriella and Lino, Paolo and Meloni, Carlo and Rizzo, Alessandro Models for the design and optimization of CNG injection systems. In: EUROSIM 2007: proceedings of the 6th EUROSIM congress on modelling and simulation, 9-13 September, 2007, Ljubljana, Slovenia. Elsevier. ISBN 978-3-901608-32-2 (2007)

Dellino, Gabriella and Lino, Paolo and Meloni, Carlo and Rizzo, Alessandro and Di Giambernardino, Paolo and Usai, Andrea Modeling and simulation study for the design of controlled IPMC actuators. In: MASCOT07-7th meeting on applied scientific computing and tools- grid generation, approximated solutions and visualization. IMACS series in computational and applied mathematics, 12 . Elsevier. (2007)

Dellino, Gabriella and Meloni, Carlo and Lino, Paolo and Rizzo, Alessandro Performance evaluation of the evolution control in design optimization assisted by Kriging surrogates. In: Industrial simulation conference 2007. ISI Proceedings . Eurosis, Delft, pp. 49-51. ISBN 978-90-77381-34-2 (2007)

Di Cairano, Stefano and Bemporad, Alberto and Caldelli, Angelita Moving target detection and tracking in wireless sensor networks. In: Proceedings of European Control Conference. EUCA, pp. 2218-2223. (2007)

Gadducci, Fabio and Lluch-Lafuente, Alberto Graphical Encoding of a Spatial Logic for the pi-Calculus. In: Algebra and Coalgebra in Computer Science (CALCO’07). Lecture Notes in Computer Science, 4624 . Springer, pp. 209-225. ISBN 978-3-540-73857-2 (2007)

Gnecco, Giorgio and Sanguineti, Marcello Deriving Approximation Error Bounds via Rademacher’s Complexity and Learning Theory. In: AIRO 2007, September 5th-8th, 2007, Genoa, Italy p. 25. (2007)

Gnecco, Giorgio and Sanguineti, Marcello and Zoppoli, Riccardo Exploiting Structural Results in Approximate Dynamic Programming. In: EURO XXII, July 8th-11th, 2007, Prague, Czech Republic p. 159. (2007)

Gnecco, Giorgio and Sanguineti, Marcello and Zoppoli, Riccardo Suboptimal Solutions to Dynamic Optimization Problems: Extended Ritz Method Versus Approximate Dynamic Programming. In: AIRO 2007, September 5th-8th, 2007, Genoa, Italy p. 10. (2007)

Ingimundarson, Ari and Ocampo-Martinez, Carlos and Bemporad, Alberto Suboptimal model predictive control of hybrid systems based on mode-switching constraints. In: Decision and Control. IEEE, 12th-14th December 2007, 5264-5269 . ISBN 978-1-4244-1497-0 (2007)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco COWS: A Timed Service-Oriented Calculus. In: Theoretical Aspects of Computing – ICTAC 2007. Lecture Notes in Computer Science, 4711 . Springer, pp. 275-290. ISBN 978-3-540-75290-5 (2007)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A Calculus for Orchestration of Web Services. In: Programming Languages and Systems (ESOP 2007). Lecture Notes in Computer Science, 4421 . Springer, pp. 33-47. ISBN 978-3-540-71314-2 (2007)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Regulating Data Exchange in Service Oriented Applications. In: International Symposium on Fundamentals of Software Engineering (FSEN 2007). Lecture Notes in Computer Science, 4767 . Springer, pp. 223-239. ISBN 978-3-540-75697-2 (2007)

Lluch-Lafuente, Alberto Towards Model Checking Spatial Properties with SPIN. In: Model Checking Software (SPIN'07). Lecture Notes in Computer Science, 4595 . Springer, pp. 223-242. ISBN 978-3-540-73369-0 (2007)

Palmeri, Maria Carla and De Nicola, Rocco and Massink, Mieke Basic Observables for Probabilistic May Testing. In: Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007). IEEE Computer Society, pp. 189-200. ISBN 0-7695-2883-X (2007)

Patrinos, Panagiotis and Sarimveis, Haralambos Robust optimal control: calculation of the explicit control law combining dynamic programming and multiparametric optimization. In: 6th Panhellenic Conference on Chemical Engineering, May 31 - June 2 2007, Athens, Greece (Unpublished) (2007)

Patrinos, Panagiotis and Sarimveis, Haralambos An explicit optimal control approach for mean-risk dynamic portfolio allocation. In: European Control Conference, 2-5 July 2007, Kos, Greece (Unpublished) (2007)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Automatic Correctness Proofs for Logic Program Transformations. In: Logic Programming. Lecture Notes in Computer Science (4670). Springer, pp. 364-379. ISBN 978-3-540-74608-9 (2007)

Quattrociocchi, Walter and Paolucci, Mario Cognition in information evaluation: the effect of reputation in decisions making and learning strategies for discovering good sellers in a base market. In: EUMAS '07 - 5th European Workshop on Multi-Agent Systems, December 13 - 14, 2007, Hammamet, Tunisia (Unpublished) (2007)

Tribastone, Mirco Bottom-up beats top-down hands down. In: Proceedings of the 6th Workshop on Process Algebra and Stochastically Timed Activities (PASTA). AESOP, pp. 97-104. (Unpublished) (2007)

Tribastone, Mirco The PEPA Plug-in Project. In: Proceedings of the 4th International Conference on the Quantitative Evaluation of Systems. QEST 2007. IEEE, pp. 53-54. ISBN 978-0-7695-2883-0 (2007)

2006

Alessio, Alessandro and Bemporad, Alberto Feasible mode enumeration and cost comparison for explicit quadratic model predictive control of hybrid systems. In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006. IFAQ, pp. 302-308. ISBN 978-3-902661-06-7 (2006)

Baldan, Paolo and Corradini, Andrea and König, Barbara and Lluch-Lafuente, Alberto A Temporal Graph Logic for Verification of Graph Transformation Systems. In: Recent Trends in Algebraic Development Techniques (WADT’06). Lecture Notes in Computer Science, 4409 . Springer, pp. 1-20. ISBN 978-3-540-71997-7 (2006)

Bemporad, Alberto Model predictive control Design: New Trends and Tools. In: Decision and Control. IEEE, 13th-15th December 2006, pp. 6678-6683. ISBN 1-4244-0171-2 (2006)

Bemporad, Alberto and Filippi, Carlo An algorithm for approximate multiparametric convex programming. Computational Optimization and Applications, 35 (1). pp. 87-108. ISSN 0926-6003 (2006)

Bemporad, Alberto and Giorgetti, Nicolò Logic-based solution methods for optimal control of hybrid systems. IEEE Transactions on Automatic Control, 51 (6). pp. 963-976. ISSN 0018-9286 (2006)

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Bosnacki, Dragan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-Order Reduction for General State Exploring Algorithms. In: Model Checking Software (SPIN 2006). Lecture Notes in Computer Science, 3925 . Springer, pp. 271-287. ISBN 3-540-33102-6 (2006)

Buscemi, Maria Grazia and Montanari, Ugo A compositional coalgebraic model of a fragment of fusion calculus. Electronic Notes in Theoretical Computer Science, 162. pp. 135-139. ISSN 1571-0661 (2006)

Capocci, Andrea and Servedio, Vito D. P. and Colaiori, Francesca and Buriol, Luciana and Donato, Debora and Leonardi, Stefano and Caldarelli, Guido Preferential attachment in the growth of social networks: the internet encyclopedia Wikipedia. Physical Review E, 74 (3). ISSN 1539-3755 (2006)

De Nicola, Rocco From Process Calculi to Klaim and Back. Electronic Notes in Theoretical Computer Science, 162. pp. 159-162. ISSN 1571-0661 (2006)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Confining data and processes in global computing applications. Science of Computer Programming, 63 (1). pp. 57-87. ISSN 0167-6423 (2006)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario On the expressive power of KLAIM-based calculi. Theoretical Computer Science, 356 (3). pp. 387-421. ISSN 0304-3975 (2006)

De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Massink, Mieke Towards a logic for performance and mobility. Electronic Notes in Theoretical Computer Science, 153 (2). pp. 161-175. ISSN 1571-0661 (2006)

Dellino, Gabriella and Lino, Paolo and Meloni, Carlo and Rizzo, Alessandro Multidisciplinary design optimization of a pressure controller for CNG injection systems. In: Conference on computer aided control system design. IEEE, Munich, Germany, October 4-6, 2006, 2689 -2694. ISBN 0-7803-9797-5 (2006)

Di Cairano, Stefano and Bemporad, Alberto An equivalence result between linear hybrid automata and piecewise affine systems. In: Decision and Control. IEEE, 13th-15th December 2006, pp. 2631-2636. ISBN 1-4244-0171-2 (2006)

Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto Heuristic Search for the Analysis of Graph Transition Systems. In: Graph Transformations (ICGT 2006). Lecture Notes in Computer Science, 4178 . Springer, pp. 414-429. ISBN 3-540-38870-2 (2006)

Ferrari, GianLuigi and Lluch-Lafuente, Alberto A Logic for Graphs with QoS. Electronic Notes in Theoretical Computer Science, 142. pp. 143-160. ISSN 1571-0661 (2006)

Gadducci, Fabio and Lluch-Lafuente, Alberto Graphical Verification of a Spatial Logic for the Graphical Verification of a Spatial Logic for the pi-calculus. Electronic Notes in Theoretical Computer Science, 154 (2). pp. 31-46. ISSN 1571-0661 (2006)

Gilmore, Stephen and Tribastone, Mirco Evaluating the scalability of a web service-based distributed e-learning and course management system. In: Web services and formal methods. Lecture Notes in Computer Science (4184). Springer, pp. 214-226. ISBN 978-3-540-38865-4 (2006)

Hirsch, Dan and Lluch-Lafuente, Alberto and Tuosto, Emilio A logic for application level QoS. Electronic Notes in Theoretical Computer Science, 153 (2). pp. 135-159. ISSN 1571-0661 (2006)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A WSDL-Based Type System for WS-BPEL. In: COORDINATION. Lecture Notes in Computer Science, 4038 . Springer, pp. 145-163. ISBN 3-540-34694-5 (2006)

Lazar, Mircea and Alessio, Alessandro and Bemporad, Alberto and Heemels, W.P.M.H. Squaring the circle: An algorithm for generating polyhedral invariant sets from ellipsoidal ones. In: American Control Conference. IEEE, 13th-15th December 2006, pp. 3007-3012. ISBN 1-4244-0209-3 (2006)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. In: Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany. (2006)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. In: Logic Programming. Lecture Notes in Computer Science (4079). Springer, pp. 179-195. ISBN 978-3-540-36635-5 (2006)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Transformational Verification of Parameterized Protocols Using Array Formulas. In: Logic Based Program Synthesis and Transformation. Lecture Notes in Computer Science (3901). Springer, pp. 23-43. ISBN 978-3-540-32654-0 (2006)

Seatzu, Carla and Corona, Daniele and Giua, Alessandro and Bemporad, Alberto Optimal control of continuous-time switched affine systems. IEEE Transactions on Automatic Control , 51 (5). pp. 726-741. ISSN 0018-9286 (2006)

Tribastone, Mirco The PEPA Plug-in project. In: 6th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), June 2010, London, UK (Unpublished) (2006)

Tsaftaris, Sotirios A. and Hatzimanikati, Vassily and Katsaggelos, Aggelos K. DNA as a medium for storing digital signals. In: Artificial life X: proceedings of the tenth international conference on the simulation and synthesis of living systems. The MIT Press , pp. 303-309. ISBN 9780262681629 (2006)

Tsaftaris, Sotirios A. and Hatzimanikati, Vassily and Katsaggelos, Aggelos K. DNA hybridization as a similarity criterion for querying digital signals stored in DNA databases. In: International conference on acoustics, speech and signal processing. IEEE , II-II. ISBN 1-4244-0469-X (2006)

Tuosto, Emilio and Torres Vieira, Hugo An observational model for spatial logics. Electronic Notes in Theoretical Computer Science, 142. pp. 229-254. ISSN 1571-0661 (2006)

Wang, Haohong and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Joint source-channel coding for wireless object-based video communications utilizing data hiding. IEEE Transactions on image processing, 15 (8). 2158 -2169. ISSN 1057-7149 (2006)

Wirsing, Martin and De Nicola, Rocco and Gilmore, Stephen and Hölzl, Matthias and Lucchi, Roberto and Tribastone, Mirco and Zavattaro, Gianluigi SENSORIA Process Calculi for Service-Oriented Computing. In: Trustworthy Global Computing (TGC 2006). Lecture Notes in Computer Science, 4661 . Springer, pp. 30-50. ISBN 978-3-540-75333-9 (2006)

2005

Alessio, Alessandro and Bemporad, Alberto and Addis, B. and Pasini, Alessandro An algorithm for PWL approximations of nonlinear functions. Technical Report # /2005 University of Siena (Unpublished)

Alexandridis, Alex and Patrinos, Panagiotis and Sarimveis, Haralambos and Tsekouras, George A two-stage evolutionary algorithm for variable selection in the development of RBF neural network models. Chemometrics and Intelligent Laboratory Systems, 75 (2). pp. 149-162. ISSN 0169-7439 (2005)

Barbera, Mario and Lombardo, Alfio and Schembra, Giovanni and Tribastone, Mirco A Markov model of a freerider in a BitTorrent P2P network. In: Global Telecommunications Conference. GLOBECOM '05. IEEE, pp. 985-989. ISBN 0-7803-9414-3 (2005)

Bemporad, Alberto and Bianchini, Gianni and Brogi, Filippo and Barbagli, Federico Passivity analysis and passification of discrete-time hybrid systems. In: 16th IFAC World Congress, 2005. IFAC. ISBN 978-3-902661-75-3 (2005)

Bemporad, Alberto and Bianchini, Gianni and Brogi, Filippo and Chesi, Graziano Passivity analysis of discrete-time hybrid systems using piecewise polynomial storage functions. In: Decision and Control and European Control Conf. IEEE, 12th-15th December 2005, pp. 5421-5426. ISBN 0-7803-9567-0 (2005)

Bemporad, Alberto and Di Cairano, Stefano Optimal control of discrete hybrid stochastic automata. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 3414 (3414). Springer-Verlag, pp. 151-167. ISBN 978-3-540-25108-8 (2005)

Bemporad, Alberto and Di Cairano, Stefano and Giorgetti, Nicolò Model predictive control of hybrid systems with applications to supply chain management. In: 49th ANIPLA National Congress “Automazione 2005”, 23-24 Novembre 2005, Napoli, Italy (Unpublished) (2005)

Bemporad, Alberto and Di Cairano, Stefano and Júlvez, Jorge Event-driven optimal control of integral continuous-time hybrid automata. In: Decision and Control and European Control Conf. IEEE, 12th-15th December 2005, pp. 1409-1414. ISBN 0-7803-9567-0 (2005)

Bettini, Lorenzo and De Nicola, Rocco Mobile Distributed Programming in X-Klaim. In: Formal Methods for Mobile Computing. Lecture Notes in Computer Science, 3465 . Springer, pp. 29-68. ISBN 3-540-25697-0 (2005)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Loreti, Michele A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. In: Distributed Applications and Interoperable Systems (DAIS 2005). Lecture Notes in Computer Science, 3543 . Springer, pp. 181-193. ISBN 3-540-26262-8 (2005)

Bianconi, Ginestra and Caldarelli, Guido and Capocci, Andrea Loops structure of the Internet at the autonomous system level. Physical Review E, 71 (6). 066116. ISSN 1539-3755 (2005)

Boreale, Michele and Buscemi, Maria Grazia A Method for Symbolic Analysis of Security Protocols. Theoretical Computer Science, 338 (1-3). pp. 393-425. ISSN 0304-3975 (2005)

Boreale, Michele and Buscemi, Maria Grazia and Montanari, Ugo A General Name Binding Mechanism. In: Proceedings of Symposium on Trustworthy Global Computing (TGC ’05). Lecture Notes in Computer Science, 3705 . Springer, pp. 61-74. ISBN 3-540-30007-4 (2005)

Borrelli, Francesco and Baotic, Mato and Bemporad, Alberto and Morari, Manfred Dynamic programming for constrained optimal control of discrete-time linear hybrid systems. Automatica, 41 (10). pp. 1709-1721. ISSN 0005-1098 (2005)

Buscemi, Maria Grazia and Montanari, Ugo A Compositional Coalgebraic Model of Monadic Fusion Calculus. Technical Report Università di Pisa, Dipartimento di Informatica

Capocci, Andrea and Servedio, Vito D. P. and Caldarelli, Guido and Colaiori, Francesca Detecting communities in large networks. Physica A: Statistical Mechanics and its Applications, 352 (2-4). pp. 669-676. ISSN 0378-4371 (2005)

Castagna, Giuseppe and De Nicola, Rocco and Varacca, Daniele Semantic Subtyping for the p-Calculus. In: Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on. IEEE Computer Society, pp. 92-101. ISBN 0-7695-2266-1 (2005)

De Nicola, Rocco Languages and Process Calculi for Network Aware Programming - Short Summary -. In: Theoretical Aspects of Computing (ICTAC 2005). Lecture Notes in Computer Science, 3722 . Springer, pp. 49-52. ISBN 3-540-29107-5 (2005)

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Process Calculus for QoS-Aware Applications. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 33-48. ISBN 3-540-25630-X (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Basic Observables for a Calculus for Global Computing. In: Automata, Languages and Programming (ICALP 2005). Lecture Notes in Computer Science, 3580 . Springer, pp. 1226-1238. ISBN 3-540-27580-0 (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Global Computing in a Dynamic Network of Tuple Spaces. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 157-172. ISBN 3-540-25630-X (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario On the Expressive Power of Klaim-based Calculi. Electronic Notes in Theoretical Computer Science, 128 (2). pp. 117-130. ISSN 1571-0661 (2005)

De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Pattern Matching over a Dynamic Network of Tuple Spaces. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 2005). Lecture Notes in Computer Science, 3535 . Springer, pp. 1-14. ISBN 3-540-26181-8 (2005)

De Nicola, Rocco and Latella, Diego and Massink, Mieke Formal modeling and quantitative analysis of KLAIM-based mobile systems. In: Proceedings of the 2005 ACM symposium on Applied computing. SAC '05 . ACM, pp. 428-435. ISBN 1-58113-964-0 (2005)

De Nicola, Rocco and Sangiorgi, Davide Types in concurrency. Acta Informatica, 42 (2-3). pp. 79-81. ISSN 0001-5903 (2005)

Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto Action planning for graph transition systems. In: ICAPS'05 Workshop on verification and validation of model-based planning and scheduling systems, 5th-10th June 2005, Monterey, California, USA (Unpublished) (2005)

Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto Cost-Algebraic Heuristic Search. In: AAAI-05, Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. AAAI Press / The MIT Press, pp. 1362-1367. ISBN 1-57735-236-X (2005)

Garlaschelli, Diego and Caldarelli, Guido and Pietronero, Luciano Food-web topology: universal scaling in food-web structure? (reply). Nature, 435 (7044). E4. ISSN 0028-0836 (2005)

Giorgetti, Nicolò and Bemporad, Alberto and Tseng, H. E. and Hrovat, Davor Hybrid model predictive control application towards optimal semi-active suspension. In: Symposium on Industrial Electronics. IEEE, 20th - 23th June 2005, pp. 391-398. ISBN 0-7803-8738-4 (2005)

Giorgetti, Nicolò and Pappas, George J. and Bemporad, Alberto Bounded model checking of hybrid dynamical systems. In: Decision and Control and European Control Conference. IEEE, 12th-15th December 2005, pp. 672-677. ISBN 0-7803-9567-0 (2005)

Lazar, Mircea and Heemels, W.P.M.H. and Bemporad, Alberto and Weiland, Siep On the stability and robustness of non-smooth nonlinear MPC. In: Assessment and Future Directions of Nonlinear Model Predictive Control, 26-30 August 2005, Freudenstadt-Lauterbad, Germany (Unpublished) (2005)

Lazar, Mircea and Heemels, W.P.M.H. and Weiland, Siep and Bemporad, Alberto On the stability of quadratic forms based model predictive control of constrained PWA systems. In: American Control Conference. IEEE, 8th-10th June 2005, 575-580 . ISBN 0-7803-9098-9 (2005)

Lazar, Mircea and Heemels, W.P.M.H. and Weiland, Siep and Bemporad, Alberto and Pastravanu, Octavian Infinity norms as Lyapunov functions for model predictive control of constrained PWA systems. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 3414 . Springer-Verlag, pp. 417-432. ISBN 978-3-540-25108-8 (2005)

Lluch-Lafuente, Alberto and Montanari, Ugo Quantitative mu-calculus and CTL Based on Constraint Semirings. Electronic Notes in Theoretical Computer Science, 112. pp. 37-59. ISSN 1571-0661 (2005)

Lluch-Lafuente, Alberto and Montanari, Ugo Quantitative mu-calculus and CTL defined over constraint semirings. Theoretical Computer Science, 346 (1). pp. 135-160. ISSN 0304-3975 (2005)

Muñoz de la Peña, David and Bemporad, Alberto and Alamo, Teodoro Stochastic programming applied to model predictive control. In: Decision and Control and European Control Conference. IEEE, 12th-15th December 2005, pp. 1361-1366. ISBN 0-7803-9567-0 (2005)

Muñoz de la Peña, David and Bemporad, Alberto and Alamo, Teodoro A decomposition algorithm for feedback min-max model predictive control. In: Decision and Control and European Control Conference. IEEE, 12th-15th Dec. 2005 , pp. 5126-5131. ISBN 0-7803-9567-0 (2005)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Verifying parameterized protocols by transforming stratified logic programs. In: Italian Annual Meeting on Computational Logic (CILC'05), 21-22 June 2005, Consiglio Nazionale delle Ricerche, Roma, Italy pp. 1-16. (Submitted) (2005)

Rubio-Loyola, Javier and Serrat, Joan and Flegkas, Paris and Pavlou, George and Lluch-Lafuente, Alberto Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks. In: Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY’05). IEEE Computer Society, pp. 181-190. ISBN 0-7695-2265-3 (2005)

Torres Vieira, Hugo and Caires, Luis and Viegas, Rubens The spatial logic model checker user's manual: version 1.0. Technical Report #05/2005 Departamento de Informática - Universidade nova de Lisboa (Unpublished)

Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. On designing DNA databases for the storage and retrieval of digital signals. In: Advances in Natural Computation. Lecture Notes in Computer Science, 3611 . Springer Berlin / Heidelberg, pp. 1192-1201. ISBN 978-3-540-28325-6 (2005)

Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. A new codeword design algorithm for DNA based storage and retrieval of digital signals. In: Preproceedings of the 11th International Meeting on DNA-based computers DNA 11 (Submitted) (2005)

2004

Amaral, Luis A. N. and Barrat, Alain and Caldarelli, Guido and Barabási, Albert-László and De Los Rios, Paolo and Erzan, Ayşe and Kahng, Byungnam and Mantegna, Rosario Nunzio and Mendes, Josè F. F. and Pastor-Satorras, Romualdo and Vespignani, Alessandro Virtual Round Table on ten leading questions for network research. The European Physical Journal B - Condensed Matter, 38 (2). pp. 143-145. ISSN 1434-6028 (2004)

Bemporad, Alberto Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form. IEEE Transactions on Automatic Control , 49 (5). pp. 832-838. ISSN 0018-9286 (2004)

Bemporad, Alberto and Garulli, Andrea and Paoletti, Simone and Vicino, Antonio A greedy approach to identification of piecewise affine models. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 2993 . Springer-Verlag, pp. 97-112. ISBN 978-3-540-00913-9 (2004)

Bemporad, Alberto and Giorgetti, Nicolò SAT-based branch & bound and optimal control of hybrid dynamical systems. In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. Lecture Notes in Computer Science, 3011 . Springer-Verlag, pp. 96-111. ISBN 978-3-540-21836-4 (2004)

Bemporad, Alberto and Giorgetti, Nicolò A SAT-based hybrid solver for optimal control of hybrid systems. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 2993 . Springer-Verlag, pp. 126-141. ISBN 978-3-540-21259-1 (2004)

Bemporad, Alberto and Morari, Manfred and Ricker, N. Lawrence Model Predictive Control Toolbox™ User’s Guide. Manual # /2004 MathWorks

Bemporad, Alberto and Ricker, N. Lawrence and Owen, James Gareth Model predictive control - new tools for design and evaluation. In: American Control Conference. IEEE, Boston, Marsachuselts June 30. July 2,2004, pp. 5622-5627. (2004)

Bemporad, Alberto and Teel, Andrew R. and Zaccarian, Luca Anti-windup synthesis via sampled-data piecewise affine optimal control. Automatica, 40 (4). pp. 549-562. ISSN 0005-1098 (2004)

Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Lopes, Luis M. B. and Oliveira, Licinio and Paulino, Herve and Vasconcelos, Vasco Thudichum A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. In: Global Computing. Lecture Notes in Computer Science, 3267 . Springer, pp. 179-207. ISBN 3-540-24101-9 (2004)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Automated Software Engineering, 11 (3). pp. 245-288. ISSN 0928-8910 (2004)

Boreale, Michele and Buscemi, Maria Grazia and Montanari, Ugo D-Fusion: A Distinctive Fusion Calculus. In: Proceedings of the Second Asian Symposium on Programming Languages and Systems (APLAS’04). Lecture Notes in Computer Science, 3302 . Springer, pp. 296-310. ISBN 3-540-23724-0 (2004)

Caldarelli, Guido and Coccetti, Fabrizio and De Los Rios, Paolo Preferential exchange: strengthening connections in complex networks. Physical Review E, 70 (2). ISSN 1539-3755 (2004)

Caldarelli, Guido and Erzan, Ayşe and Vespignani, Alessandro Preface on "Applications of Networks". The European Physical Journal B - Condensed Matter, 38 (2). p. 141. ISSN 1434-6028 (2004)

Caldarelli, Guido and Pastor-Satorras, Romualdo and Vespignani, Alessandro Structure of cycles and local ordering in complex networks. The European Physical Journal B - Condensed Matter, 38 (2). pp. 183-186. ISSN 1434-6028 (2004)

Capocci, Andrea and Servedio, Vito D. P. and Caldarelli, Guido and Colaiori, Francesca Communities Detection in Large Networks. In: Algorithms and Models for the Web-Graph. Lecture Notes in Computer Science (3243). Springer-Verlag, pp. 181-187. ISBN 978-3-540-23427-2 (2004)

Catanzaro, Michele and Caldarelli, Guido and Pietronero, Luciano Social network growth with assortative mixing. Physica A: Statistical Mechanics and its Applications, 338 (1-2). pp. 119-124. ISSN 0378-4371 (2004)

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Formal Basis for Reasoning on Programmable QoS. In: Verification: Theory and Practice. Lecture Notes in Computer Science, 2772 . Springer, pp. 185-187. ISBN 3-540-21002-4 (2004)

De Nicola, Rocco and Loreti, Michele MoMo: A Modal Logic for Reasoning About Mobility. In: Formal Methods for Components and Objects (FMCO 2004). Lecture Notes in Computer Science, 3657 . Springer, pp. 95-119. ISBN 3-540-29131-8 (2004)

Edelkamp, Stefan and Leue, Stefan and Lluch-Lafuente, Alberto Directed explicit-state model checking in the validation of communication protocols. International Journal on Software Tools for Technology Transfer (STTT), 5 (2-3). pp. 247-267. ISSN 1433-2779 (2004)

Edelkamp, Stefan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-order reduction and trail improvement in directed model checking. International Journal on Software Tools for Technology Transfer (STTT), 6 (4). pp. 277-301. ISSN 1433-2779 (2004)

Edelkamp, Stefan and Lluch-Lafuente, Alberto Abstraction in directed model checking. In: Workshop on Connecting Planning Theory with Practice, International Conference on Automated Planning and Scheduling, June 3-7 2004, Whistler, Canada pp. 7-13. (Unpublished) (2004)

Lazar, Mircea and Heemels, W.P.M.H. and Weiland, Siep and Bemporad, Alberto Stabilizing receding horizon control of piecewise linear systems: An LMI approach. In: 16th Symposium on Mathematical Theory of Networks and Systems, July 5-9, 2004, Leuven, Belgium (2004)

Loreti, Michele and De Nicola, Rocco A modal logic for mobile agents. ACM Transactions on Computational Logic , 5 (1). pp. 79-128. ISSN 1557-945X (2004)

Muñoz de la Peña, David and Alamo, Teodoro and Bemporad, Alberto and Camacho, Eduardo F. A dynamic programming approach for determining the explicit solution of MPC controllers. In: Decision and Control Conference. IEEE, 14th-17th December 2004, pp. 2479-2484. ISBN 0-7803-8682-5 (2004)

Muñoz de la Peña, David and Bemporad, Alberto and Filippi, Carlo Robust explicit MPC based on approximate multi-parametric convex programming. In: Decision and Control Conference. IEEE, 14th-17th December 2004, pp. 2491-2496. ISBN 0-7803-8682-5 (2004)

Roll, Jacob and Bemporad, Alberto and Ljung, Lennart Identification of piecewise affine systems via mixed-integer programming. Automatica, 40 (1). pp. 37-50. ISSN 0005-1098 (2004)

Silva, Miguel Pedro and Ayala Botto, Miguel and Pina, Luis and Bemporad, Alberto and Sa da Costa, José Robust optimal control of linear hybrid systems: An MLD approach. In: CONTROLO 2004 - Sixth Portuguese Conference on Automatic Control, June 7-9 2004, Faro, Portugal (2004)

Simitopoulos, Dimitrios and Tsaftaris, Sotirios A. and Boulgouris, Nikolaos and Briassouli, Alexia and Strintzis, Michael Fast watermarking of MPEG-1/2 streams using compressed-domain perceptual embedding and a generalized correlator detector. EURASIP Journal on Applied Signal Processing, 2004 (8). pp. 1088-1106. ISSN 1110-8657 (2004)

Simitopoulos, Dimitrios and Tsaftaris, Sotirios A. and Boulgouris, Nikolaos and Triantafyllidis, Georgios and Strintzis, Michael Digital watermarking for the copyright protection of compressed video. In: Intelligent integrated media communication techniques. Springer-Verlag, Boston, pp. 117-151. ISBN 978-1-4020-7552-0 (2004)

Torres Vieira, Hugo and Caires, Luis The spatial logic model checker user's manual: version 0.9. Technical Report #03/2004 Departamento de Informática - Universidade nova de Lisboa (Unpublished)

Torrisi, Fabio Danilo and Bemporad, Alberto HYSDEL - A tool for generating computational hybrid models. IEEE Transactions on Control Systems Technology, 12 (2). pp. 235-249. ISSN 1063-6536 (2004)

2003

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)

Bemporad, Alberto Multiparametric nonlinear integer programming and explicit quantized optimal control. In: Decision and Control Conference. IEEE, Maui, Hawaii USA, December 2003, pp. 3167-3172. ISBN 0-7803-7924-1 (2003)

Bemporad, Alberto and Borodani, Pandeli and Mannelli, Massimo Hybrid control of an automotive robotized gearbox for reduction of consumptions and emissions. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 2623 . Springer-Verlag, pp. 81-96. ISBN 978-3-540-00913-9 (2003)

Bemporad, Alberto and Borrelli, Francesco and Morari, Manfred Min-max control of constrained uncertain discrete-time linear systems. IEEE Transactions on Automatic Control , 48 (9). pp. 1600-1606. ISSN 0018-9286 (2003)

Bemporad, Alberto and Corona, Daniele and Giua, Alessandro and Seatzu, Carla Optimal state-feedback quadratic regulation of linear hybrid automata. In: Analysis and design of hybrid systems 2003: a proceedings volume from the IFAC conference. Elsevier, pp. 369-378. ISBN 0-08-044094-0 (2003)

Bemporad, Alberto and Filippi, Carlo Approximate multiparametric convex programming. In: Decision and Control Conference. IEEE, Maui, Hawaii USA, December 2003, pp. 3185-3190. (Unpublished) (2003)

Bemporad, Alberto and Filippi, Carlo Suboptimal Explicit Receding Horizon Control via Approximate Multiparametric Quadratic Programming. Journal of Optimization Theory and Applications, 117 (1). pp. 9-38. ISSN 0022-3239 (2003)

Bemporad, Alberto and Garulli, Andrea and Paoletti, Simone and Vicino, Antonio Set membership identification of piecewise affine models. In: System Identification 2003 : a proceeding volume from the 13th IFAC Symposium on System Identification. Elsevier, pp. 1789-1794. ISBN 978-0-08-043709-5 (2003)

Bemporad, Alberto and Giorgetti, Nicolò Logic-based hybrid solvers for optimal control of hybrid systems. In: Decision and Control Conference. IEEE, Maui, Hawaii USA, December 2003, pp. 640-645. ISBN 0-7803-7924-1 (2003)

Bemporad, Alberto and Morari, Manfred and Dua, Vivek and Pistikopoulos, Efstratios N. Corrigendum to: "The explicit linear quadratic regulator for constrained systems" [Automatica 38(1) (2002) 3-20]. Automatica, 39 (10). pp. 1845-1846. ISSN 0005-1098 (2003)

Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti The Klaim Project: Theory and Practice. In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. Lecture Notes in Computer Science, 2874 . Springer, pp. 88-150. ISBN 3-540-20583-7 (2003)

Boreale, Michele and Buscemi, Maria Grazia Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation. In: Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science (MFCS ’03). Lecture Notes in Computer Science, 2747 . Springer, pp. 269-278. ISBN 3-540-40671-9 (2003)

Borrelli, Francesco and Baotic, Mato and Bemporad, Alberto and Morari, Manfred An efficient algorithm for computing the state feedback optimal control law for discrete time hybrid systems. In: American Control Conference. IEEE, Denver. Colorado June 4-6.2W3, pp. 4717-4722. ISBN 0-7803-7896-2 (2003)

Borrelli, Francesco and Bemporad, Alberto and Morari, Manfred A geometric algorithm for multi-parametric linear programming. Journal of Optimization Theory and Applications, 118 (3). pp. 515-540. ISSN 0022-3239 (2003)

Caldarelli, Guido and Garlaschelli, Diego and Pietronero, Luciano Food web structure and the evolution of complex networks. In: Statistical Mechanics of Complex Networks. Lecture Notes in Physics (625). Springer-Verlag, pp. 148-166. ISBN 978-3-540-40372-2 (2003)

Capocci, Andrea and Caldarelli, Guido and De Los Rios, Paolo Quantitative description and modeling of real networks. Physical Review E, 68 (4). ISSN 1539-3755 (2003)

De Nicola, Rocco and Labella, Anna Nondeterministic regular expressions as solutions of equational systems. Theoretical Computer Science, 302 (1-3). pp. 179-189. ISSN 0304-3975 (2003)

Garlaschelli, Diego and Caldarelli, Guido and Pietronero, Luciano Universal scaling relations in food webs. Nature, 423 (6936). pp. 165-168. ISSN 0028-0836 (2003)

Lluch-Lafuente, Alberto Symmetry reduction and heuristic search for error detection in model checking. In: Workshop on Model Checking and Artificial Intelligence (MoChArt-03), 10 August 2003, Acapulco, Mexico (Unpublished) (2003)

Picasso, Bruno and Pancanti, Stefania and Bemporad, Alberto and Bicchi, Antonio Receding-horizon control of LTI systems with quantized inputs. In: Analysis and design of hybrid systems 2003: a proceedings volume from the IFAC conference. Elsevier, pp. 259-264. ISBN 0-08-044094-0 (2003)

Potocnik, Bostjan and Bemporad, Alberto and Torrisi, Fabio Danilo and Music, Gasper and Zupancic, Borut Hybrid modeling and optimal control of an asphalt base process. Elektrotehniški vestnik, 70 (4). pp. 208-214. ISSN 0013-5852 (2003)

Silva, Miguel Pedro and Bemporad, Alberto and Ayala Botto, Miguel and Sa da Costa, José Optimal control of uncertain piecewise affine/mixed logical dynamical systems. In: European Control Conference 2003 (Unpublished) (2003)

Tondel, Petter and Johansen, Tor Arne and Bemporad, Alberto Evaluation of piecewise affine control via binary search tree. Automatica, 39 (5). pp. 945-950. ISSN 0005-1098 (2003)

Tondel, Petter and Johansen, Tor Arne and Bemporad, Alberto Further results on multiparametric quadratic programming. In: Decision and Control Conference. IEEE, Maui, Hawaii USA, December 2003, pp. 3173-3178. ISBN 0-7803-7924-1 (2003)

Tondel, Petter and Johansen, Tor Arne and Bemporad, Alberto An algorithm for multi-parametric quadratic programming and explicit MPC solutions. Automatica, 39 (3). pp. 489-497. ISSN 005-1098 (2003)

2002

Asano, K and Tsuda, Koji and Bemporad, Alberto and Morari, Manfred Predictive control for hybrid systems and its application to process control. Systems, Control and Information, 46 (3). pp. 110-119. (2002)

Bemporad, Alberto and Borrelli, Francesco and Morari, Manfred On the optimal control law for linear discrete time hybrid systems. In: Hybrid Systems: Computation and Control. Springer-Verlag, pp. 105-119. ISBN 978-3-540-43321-7 (2002)

Bemporad, Alberto and Giua, Alessandro and Seatzu, Carla Synthesis of state-feedback optimal controllers for switched linear systems. In: Decision and Control Conference. IEEE, Las Vegas, Nevada USA, December 2002, pp. 3182-3187. ISBN 0-7803-7516-5 (2002)

Bemporad, Alberto and Giua, Alessandro and Seatzu, Carla An iterative algorithm for the optimal control of continuous-time switched linear systems. In: Discrete Event Systems (WODES) : Proceedings of Sixth International Workshop. IEEE, 2–4 October 2002 Zaragoza, SPAIN, pp. 335-340. ISBN 0-7695-1683-1 (2002)

Bemporad, Alberto and Giua, Alessandro and Seatzu, Carla A master-slave algorithm for the optimal control of continuous-time switched affine systems. In: Decision and Control Conference. IEEE, Las Vegas, Nevada USA, December 2002, pp. 1976-1981. ISBN 0-7803-7516-5 (2002)

Bemporad, Alberto and Heemels, W.P.M.H. and De Schutter, Bart On hybrid systems and closed-loop MPC systems. IEEE Transactions on Automatic Control, 47 (5). pp. 863-869. ISSN 0018-9286 (2002)

Bemporad, Alberto and Teel, Andrew R. and Zaccarian, Luca L2 anti-windup via receding horizon optimal control. In: American Control Conference. IEEE, Anchorage, AK May 8-10.2002, pp. 639-644. ISBN 0-7803-7298-0 (2002)

Bettini, Lorenzo and De Nicola, Rocco A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces. In: Scientific Engineering for Distributed Java Applications (FIDJI 2002). Lecture Notes in Computer Science, 2604 . Springer, pp. 175-184. ISBN 3-540-00679-6 (2002)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Formalizing Properties of Mobile Agent Systems. In: Coordination Models and Languages (COORDINATION 2002). Lecture Notes in Computer Science, 2315 . Springer, pp. 72-87. ISBN 3-540-43410-0 (2002)

Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Software update via mobile agent based programming. In: Proceedings of the 2002 ACM symposium on Applied computing (SAC '02). ACM, pp. 32-36. (2002)

Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario Klava: a Java package for distributed and mobile applications. Software: Practice and Experience, 32 (14). pp. 1365-1394. ISSN 1097-024X (2002)

Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario XKlaim and Klava: Programming Mobile Code. Electronic Notes in Theoretical Computer Science, 62. pp. 24-37. ISSN 1571-0661 (2002)

Boreale, Michele and Buscemi, Maria Grazia Experimenting with STA, a Tool for Automatic Analysis of Security Protocols. In: Proceedings of ACM Symposium in Applied Computing (SAC ’02). ACM Press, Madrid, pp. 281-285. ISBN 1-58113-445-2 (2002)

Boreale, Michele and Buscemi, Maria Grazia A Framework for the Analysis of Security Protocols. In: Proceedings of the 13th International Conference on Concurrency Theory (CONCUR ’02). Lecture Notes in Computer Science, 2421 . Springer, pp. 483-498. ISBN 3-540-44043-7 (2002)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Trace and Testing Equivalence on Asynchronous Processes. Information and Computation, 172 (2). pp. 139-164. ISSN 0890-5401 (2002)

Buscemi, Maria Grazia and Montanari, Ugo A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. In: Proceedings of the 13th International Conference on Concurrency Theory (CONCUR ’02). Lecture Notes in Computer Science, 2421 . Springer, pp. 449-465. ISBN 3-540-44043-7 (2002)

Buscemi, Maria Grazia and Montanari, Ugo Pi-Calculus Early Observational Equivalence: A First Order Coalgebraic Model. Technical Report Università di Pisa, Dipartimento di Informatica

Caldarelli, Guido and Capocci, Andrea and De Los Rios, Paolo and Muñoz, Miguel A. Scale-Free networks from varying vertex intrinsic fitness. Physical Review Letters, 89 (25). ISSN 0031-9007 (2002)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna An Equational Axiomatization of Bisimulation over Regular Expressions. Journal of Logic and Computation, 12 (2). pp. 301-320. ISSN 0955-792X (2002)

De Schutter, Bart and Heemels, W.P.M.H. and Bemporad, Alberto On the equivalence of linear complementarity problems. Operations Research Letters, 30 (4). pp. 211-222. ISSN 0167-6377 (2002)

Laura, Luigi and Leonardi, Stefano and Caldarelli, Guido and De Los Rios, Paolo Multi-layer model for the web graph. In: 2nd International Workshop on Web Dynamics , 7th May 2002, Honolulu, Hawaii (Submitted) (2002)

Lluch-Lafuente, Alberto and Edelkamp, Stefan and Leue, Stefan Partial Order Reduction in Directed Model Checking. In: Model Checking Software (SPIN '02). Lecture Notes in Computer Science, 2318 . Springer, pp. 95-138. ISBN 3-540-43477-1 (2002)

Pistikopoulos, Efstratios N. and Dua, Vivek and Bozinis, Nikolaos A. and Bemporad, Alberto and Morari, Manfred On-line optimization via off-line parametric optimization tools. Computers and Chemical Engineering, 26 (2). pp. 175-185. ISSN 0098-1354 (2002)

Potocnik, Bostjan and Bemporad, Alberto and Torrisi, Fabio Danilo and Music, Gasper and Zupancic, Borut Scheduling of hybrid systems: multi product batch plant. In: 15th IFAC World Congress. IFAC. ISBN 978-3-902661-74-6 (2002)

Tondel, Petter and Johansen, Tor Arne and Bemporad, Alberto Computation and approximation of piecewise affine control via binary search tree. In: Decision and Control Conference. IEEE, Las Vegas, Nevada USA, December 2002, pp. 3144-3149. ISBN 0-7803-7516-5 (2002)

2001

Bemporad, Alberto and Borrelli, Francesco and Glielmo, Luigi and Vasca, Francesco Optimal piecewise-linear control of dry clutch engagement. In: Workshop Advances in Automotive Control. IFAC, Karlsruhe, Germany, pp. 33-38. (2001)

Bemporad, Alberto and Filippi, Carlo Suboptimal explicit MPC via approximate multiparametric quadratic programming. In: Decision and Control Conference. IEEE, Orlando, Florida USA, December 2001, pp. 4851-4856. ISBN 0-7803-7061-9 (2001)

Bemporad, Alberto and Heemels, W.P.M.H. and De Schutter, Bart On hybrid systems and closed-loop MPC systems. In: Decision and Control Conference. IEEE, Orlando, Florida USA, December 2001, pp. 1645-1650. ISBN 0-7803-7061-9 (2001)

Bemporad, Alberto and Morari, Manfred Optimization-based hybrid control tools. In: American Control Conference. IEEE, Arlington, VA June 25-27, 2001, 1689 -1703 . ISBN 0-7803-6495-3 (2001)

Bemporad, Alberto and Roll, Jacob and Ljung, Lennart Identification of hybrid systems via mixed-integer programming. In: Decision and Control Conference. IEEE, Orlando, Florida USA, December 2001, pp. 786-792. ISBN 0-7803-7061-9 (2001)

Bemporad, Alberto and Torrisi, Fabio Danilo and Morari, Manfred Discrete-time hybrid modeling and verification of the batch evaporator process benchmark. European Journal of Control, 7 (4). pp. 382-399. ISSN 0947-3580 (2001)

Bettini, Lorenzo and De Nicola, Rocco Translating Strong Mobility into Weak Mobility. In: Mobile Agents. Lecture Notes in Computer Science, 2240 . Springer, pp. 182-197. ISBN 3-540-42952-2 (2001)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Divergence in testing and readiness semantics. Theoretical Computer Science, 266 (1-2). pp. 237-248. ISSN 0304-3975 (2001)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Proof Techniques for Cryptographic Processes. SIAM Journal on Computing., 31 (3). pp. 947-986. ISSN 0097-5397 (2001)

Borrelli, Francesco and Baotic, Mato and Bemporad, Alberto and Morari, Manfred Efficient on-line computation of constrained optimal control. In: Decision and Control Conference. IEEE, Orlando, Florida USA, December 2001, pp. 1187-1192. ISBN 0-7803-7061-9 (2001)

Borrelli, Francesco and Bemporad, Alberto and Fodor, Michael and Hrovat, Davor A hybrid approach to traction control. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 2034 . Springer-Verlag, pp. 162-174. ISBN 978-3-540-41866-5 (2001)

Buscemi, Maria Grazia and Sassone, Vladimiro High-Level Petri Nets as Type Theories in the Join Calculus. In: Proceedings of Foundations of Software Science and Computation Structure (FoSSaCS ’01). Lecture Notes in Computer Science, 2030 . Springer, pp. 104-120. ISBN 3-540-41864-4 (2001)

Capocci, Andrea and Caldarelli, Guido and Marchetti, Riccardo and Pietronero, Luciano Growing dynamics of Internet providers. Physical Review E, 64 (3). ISSN 1539-3755 (2001)

Chen, Xiao Jun and De Nicola, Rocco Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. Theoretical Computer Science, 254 (1-2). pp. 337-361. ISSN 0304-3975 (2001)

Edelkamp, Stefan and Lluch-Lafuente, Alberto and Leue, Stefan Directed Explicit Model Checking with HSF-SPIN. In: Model Checking Software (SPIN '01). Lecture Notes in Computer Science, 2057 . Springer, pp. 57-79. ISBN 3-540-42124-6 (2001)

Edelkamp, Stefan and Lluch-Lafuente, Alberto and Leue, Stefan Protocol verification with heuristic search. In: AAAI Spring Symposium on Model-Based Validation of Intelligence, March 26-28, 2001, Stanford University (Submitted) (2001)

Edelkamp, Stefan and Lluch-Lafuente, Alberto and Leue, Stefan Trail-directed model checking. Electronic Notes in Theoretical Computer Science, 55 (3). ISSN 1571-0661 (2001)

Heemels, W.P.M.H. and De Schutter, Bart and Bemporad, Alberto Equivalence of hybrid dynamical models. Automatica, 37 (7). pp. 1085-1091. ISSN 0005-1098 (2001)

Heemels, W.P.M.H. and De Schutter, Bart and Bemporad, Alberto On the equivalence of classes of hybrid dynamical models. In: Proc. 40th IEEE Conf. on Decision and Control. IEEE, Orlando, Florida USA, December 2001, pp. 364-369. ISBN 0-7803-7061-9 (2001)

Marchetti, Riccardo and Caldarelli, Guido and Pietronero, Luciano The fractal properties of internet. In: Modeling Complex Systems: sixth Granada lectures on computational physics. American Institute of Physics, pp. 85-88. (2001)

Simitopoulos, Dimitrios and Tsaftaris, Sotirios A. and Boulgouris, Nikolaos and Strintzis, Michael Fast compressed domain watermarking of MPEG multiplexed streams. In: Proceedings of Information and Knowledge Management for Integrated Media Communication Workshop, November 2001, Madird, Spain (Unpublished) (2001)

Torrisi, Fabio Danilo and Bemporad, Alberto Discrete-time hybrid modeling and verification. In: Decision and Control Conference. IEEE, Orlando, Florida USA, December 2001, pp. 2899-2904. ISBN 0-7803-7061-9 (2001)

2000

Bemporad, Alberto and Borrelli, Francesco and Morari, Manfred Explicit solution of LP-based model predictive control. In: Decision and Control Conference. IEEE, Sydney, Australia December, 2000, pp. 632-637. ISBN 0-7803-6638-7 (2000)

Bemporad, Alberto and Borrelli, Francesco and Morari, Manfred Piecewise linear optimal controllers for hybrid systems. In: American Control Conference. IEEE, Chicago, 28-30 June 2000 , pp. 1190-1194. ISBN 0-7803-5519-9 (2000)

Bemporad, Alberto and Bozinis, Nikolaos A. and Dua, Vivek and Morari, Manfred and Pistikopoulos, Efstratios N. Model predictive control: a multi-parametric programming approach. In: European Symposium on Computer Aided Process Engineering-10, Florence, Italy pp. 301-306. (2000)

Bemporad, Alberto and Di Marco, Mauro and Tesi, Alberto Sonar-based wall-following control of mobile robots. Journal of dynamic systems measurement and control, 122 (1). pp. 226-230. ISSN 0022-0434 (2000)

Bemporad, Alberto and Ferrari-Trecate, Giancarlo and Morari, Manfred Observability and controllability of piecewise affine and hybrid systems. IEEE Transactions on Automatic Control, 45 (10). pp. 1864-1876. ISSN 0018-9286 (2000)

Bemporad, Alberto and Giovanardi, L. and Torrisi, Fabio Danilo Performance driven reachability analysis for optimal scheduling and control of hybrid systems. In: Decision and Control Conference. IEEE, pp. 969-974. (2000)

Bemporad, Alberto and Giovanardi, L. and Torrisi, Fabio Danilo Robust simulation of nonlinear electronic circuits. In: Nonlinear dynamics of electronic systems : proceedings of the IEEE workshop. World Scientific Publishing, Singapore, pp. 131-135. ISBN 9789810243418 (2000)

Bemporad, Alberto and Morari, Manfred Predictive control of constrained hybrid systems. In: Nonlinear model predictive control. Progress in systems and control theory, 26 . Springer-Verlag, pp. 71-98. ISBN 978-3-0348-8407-5 (2000)

Bemporad, Alberto and Morari, Manfred and Dua, Vivek and Pistikopoulos, Efstratios N. The explicit solution of model predictive control via multiparametric quadratic programming. In: American Control Conference. IEEE, Chicago, Illinois June 2000, pp. 872-876. ISBN 0-7803-5519-9 (2000)

Bemporad, Alberto and Torrisi, Fabio Danilo and Morari, Manfred Optimization-based verification and stability characterization of piecewise affine and hybrid systems. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 1790 . Springer-Verlag, pp. 45-58. ISBN 978-3-540-67259-3 (2000)

Bemporad, Alberto and Torrisi, Fabio Danilo and Morari, Manfred Performance analysis of piecewise linear systems and model predictive control systems. In: Decision and Control Conference. IEEE, Sydney, Australia December, 2000, pp. 4957-4962. ISBN 0-7803-6638-7 (2000)

Bettini, Lorenzo and De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Mobile Applications in X-KLAIM. In: WOA 2000 -- Dagli oggetti agli agenti: tendenze evolutive dei sistemi software. Atti di Congressi, 1195 . Pitagora Editrice Bologna, Parma, pp. 1-6. ISBN 88-371-1195-9 (2000)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Process Algebraic Analysis of Cryptographic Protocols. In: Formal Techniques for Distributed System Development (FORTE 2000). IFIP Conference Proceedings, 183 . Kluwer, pp. 375-392. ISBN 0-7923-7968-3 (2000)

Caldarelli, Guido and Marchetti, Riccardo and Pietronero, Luciano The fractal properties of Internet. EPL (Europhysics Letters), 52 (4). pp. 386-391. ISSN 0295-5075 (2000)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario and Venneri, Betti Types for access control. Theoretical Computer Science, 240 (1). pp. 215-254. ISSN 0304-3975 (2000)

De Nicola, Rocco and Loreti, Michele A Modal Logic for KLAIM. In: Algebraic Methodology and Software Technology (AMAST 2000). Lecture Notes in Computer Science, 1816 . Springer, pp. 339-354. ISBN 3-540-67530-2 (2000)

De Nicola, Rocco and Pugliese, Rosario Linda-based applicative and imperative process algebras. Theoretical Computer Science, 238 (1-2). pp. 389-437. ISSN 0304-3975 (2000)

De Nicola, Rocco and Pugliese, Rosario and Rowstron, Antony I. T. Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. In: Coordination Models and Languages (COORDINATION 2000). Lecture Notes in Computer Science, 1906 . Springer, pp. 66-80. ISBN 3-540-41020-1 (2000)

Kerrigan, Eric C. and Bemporad, Alberto and Mignone, Domenico and Morari, Manfred and Maciejowski, Jan M. Multi-objective prioritisation and reconfiguration for the control of constrained hybrid systems. In: American Control Conference. IEEE, Chicago, Illinois June 2000, pp. 1694-1698. ISBN 0-7803-5519-9 (2000)

Pistikopoulos, Efstratios N. and Dua, Vivek and Bozinis, Nikolaos A. and Bemporad, Alberto and Morari, Manfred On-line optimization via off-line parametric optimization tools. Computers and Chemical Engineering, 24 (2-7). pp. 183-188. ISSN 0098-1354 (2000)

1999

Bemporad, Alberto and Ferrari-Trecate, Giancarlo and Morari, Manfred Observability and controllability of piecewise affine and hybrid systems. In: Decision and Control Conference. IEEE, Phoenix, Arizona, pp. 3966-3971. ISBN 0-7803-5250-5 (1999)

Bemporad, Alberto and Mignone, Domenico and Morari, Manfred Moving horizon estimation for hybrid systems and fault detection. In: American Control Conference. IEEE, San Diego, California, June 1999, pp. 2471-2475. ISBN 0-7803-4990-3 (1999)

Bemporad, Alberto and Mignone, Domenico and Morari, Manfred An efficient branch and bound algorithm for state estimation and control of hybrid systems. In: European control conference, Karlsruhe, Germany (1999)

Bemporad, Alberto and Morari, Manfred Control of systems integrating logic, dynamics, and constraints. Automatica, 35 (3). pp. 407-427. ISSN 0005-1098 (1999)

Bemporad, Alberto and Morari, Manfred Robust model predictive control: a survey. In: Robustness in Identification and Control. Lecture Notes in Control and Information Sciences, 245 . Springer-Verlag, pp. 207-226. ISBN 978-1-85233-179-5 (1999)

Bemporad, Alberto and Morari, Manfred Verification of hybrid systems via mathematical programming. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 1569 . Springer-Verlag, pp. 31-45. ISBN 78-3-540-65734-7 (1999)

Bemporad, Alberto and Tarn, Tzyh-Jong and Xi, Ning Predictive path parameterization for constrained robot control. IEEE Transactions on Control Systems Technology, 7 (6). pp. 648-656. ISSN 1063-6536 (1999)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Proof Techniques for Cryptographic Processes. In: Proc. of the 14th IEEE Symposium Logic In Computer Science (LICS'99). IEEE Computer Society, pp. 157-166. (1999)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario A Theory of "May" Testing for Asynchronous Languages. In: Foundations of Software Science and Computation Structures (FoSSaCS 1999). Lecture Notes in Computer Science, 1578 . Springer, pp. 165-179. ISBN 3-540-65719-3 (1999)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Graded Modalities and Resource Bisimulation. In: FSTTCS. Lecture Notes in Computer Science, 1738 . Springer, pp. 381-393. ISBN 3-540-66836-5 (1999)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Models of Nondeterministic Regular Expressions. Journal of Computer and System Sciences, 59 (3). pp. 412-449. ISSN 0022-0000 (1999)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna A finite axiomatization of nondeterministic regular expressions. RAIRO - Theoretical Informatics and Applications, 33 (4/5). pp. 447-466. (1999)

De Nicola, Rocco Coordination and Access Control of Mobile Agents. In: Coordination Languages and Models (COORDINATION 1999). Lecture Notes in Computer Science, 1594 . Springer, pp. 1-2. ISBN 3-540-65836-X (1999)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Types as Specifications of Access Policies. In: Secure Internet Programming. Lecture Notes in Computer Science, 1603 . Springer, pp. 118-146. ISBN 3-540-66130-1 (1999)

Mignone, Domenico and Bemporad, Alberto and Morari, Manfred A framework for control, fault detection, state estimation and verification of hybrid systems. In: American Control Conference. IEEE, San Diego, California, June 1999, pp. 134-138. ISBN 0-7803-4990-3 (1999)

1998

Bemporad, Alberto Predictive control of teleoperated constrained systems with unbounded communication delays. In: Decision and Control Conference. IEEE, Tampa, Florida, December 1998, pp. 2133-2138. ISBN 0-7803-4394-8 (1998)

Bemporad, Alberto Reducing conservativeness in predictive control of constrained systems with disturbances. In: Decision and Control Conference. IEEE, Tampa, Florida, December 1998, pp. 1384-1391. ISBN 0-7803-4394-8 (1998)

Bemporad, Alberto A predictive controller with artificial Lyapunov function for linear systems with input/state constraints. Automatica, 34 (10). pp. 1255-1260. ISSN 0005-1098 (1998)

Bemporad, Alberto and Casavola, Alessandro and Mosca, Edoardo A predictive reference governor for constrained control systems. Computers in industry , 36 (1-2). pp. 55-64. ISSN 0166-3615 (1998)

Bemporad, Alberto and Mosca, Edoardo Fulfilling hard constraints in uncertain linear systems by reference managing. Automatica, 34 (4). pp. 451-461. ISSN 0005-1098 (1998)

Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario and Ferrari, GianLuigi Interactive Mobile Agents in X-Klaim. In: Enabling Technologies: Infrastructure for Collaborative Enterprises, 1998. (WET ICE '98) Proceedings., Seventh IEEE International Workshops on. IEEE Computer Society, pp. 110-117. ISBN 0-8186-8751-7 (1998)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Asynchronous Observations of Processes. In: Foundations of Software Science and Computation Structures (FoSSaCS 1998). Lecture Notes in Computer Science, 1378 . Springer, pp. 95-109. ISBN 3-540-64300-1 (1998)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24 (5). pp. 315-330. ISSN 0098-5589 (1998)

De Nicola, Rocco and Labella, Anna Tree morphisms and bisimulations. Electronic Notes in Theoretical Computer Science, 18. pp. 46-64. ISSN 1571-0661 (1998)

De Nicola, Rocco and Veglioni, Simone Possible Worlds for Process Algebras. In: CONCUR '98 Concurrency Theory. Lecture Notes in Computer Science, 1466 . Springer, pp. 179-193. ISBN 3-540-64896-8 (1998)

1997

Bemporad, Alberto Control of constrained nonlinear systems via reference management. In: American Control Conference. IEEE, Albuquerque, New Mexico June 1997, pp. 3343-3347. ISBN 0-7803-3832-4 (1997)

Bemporad, Alberto Reference governors: on-line set-point optimization techniques for constraint fulfillment. PhD Thesis thesis, Università degli studi di Firenze. (1997)

Bemporad, Alberto and Casavola, Alessandro and Mosca, Edoardo Nonlinear control of constrained linear systems via predictive reference management. IEEE Transactions on Automatic Control , 42 (3). pp. 340-349. ISSN 0018-9286 (1997)

Bemporad, Alberto and Casavola, Alessandro and Mosca, Edoardo Ottimizzazione in linea del set-point per processi industriali soggetti a saturazioni o vincoli sullo stato. In: Convegno Nazionale ANIPLA Automazione, Torino, Italy (Unpublished) (1997)

Bemporad, Alberto and Di Marco, Mauro and Tesi, Alberto Wall-following controllers for sonar-based mobile robots. In: Decision and Control Conference. IEEE, San Diego, December 1997, pp. 3063-3068. ISBN 0-7803-4187-2 (1997)

Bemporad, Alberto and Garulli, Andrea Predictive control via set-membership state estimation for constrained linear systems with disturbances. In: European control conference, 1-4 July 1997, Bruxelles, Belgium (Unpublished) (1997)

Bemporad, Alberto and Tarn, Tzyh-Jong On-line path parameterization for manipulators with input/state constraints. In: International Conference on Advanced Intelligent Mechatronics. IEEE/ASME, p. 91. (1997)

Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Basic Observables for Processes. In: Automata, Languages and Programming (ICALP 1997). Lecture Notes in Computer Science, 1256 . Springer, pp. 482-492. ISBN 3-540-63165-8 (1997)

Corradini, Flavio and De Nicola, Rocco Locality Based Semantics for Process Algebras. Acta Informatica, 34 (4). pp. 291-324. ISSN 0001-5903 (1997)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Coordinating Mobile Agents via Blackboards and Access Rights. In: Coordination Languages and Models (COORDINATION 1997). Lecture Notes in Computer Science, 1282 . Springer, pp. 220-237. ISBN 3-540-63383-9 (1997)

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Locality Based Linda: Programming with Explicit Localities. In: TAPSOFT '97: Theory and Practice of Software Development. Lecture Notes in Computer Science, 1214 . Springer, pp. 712-726. ISBN 3-540-62781-2 (1997)

De Nicola, Rocco and Pugliese, Rosario Testing Semantics of Asynchronous Distributed Programs. In: Analysis and Verification of Multiple-Agent Languages (LOMAPS 1996). Lecture Notes in Computer Science, 1192 . Springer, pp. 320-344. ISBN 3-540-62503-8 (1997)

1996

Bemporad, Alberto and Casavola, Alessandro and Mosca, Edoardo A nonlinear command governor for constrained control systems. In: 13th IFAC World Congress. IFAC, pp. 473-478. (1996)

Bemporad, Alberto and Casavola, Alessandro and Mosca, Edoardo A predictive reference governor for constrained control systems. In: ASI - Annual ICIMS-NOE conference, Tolosa, France pp. 231-238. (Unpublished) (1996)

Bemporad, Alberto and De Luca, Alessandro and Oriolo, Giuseppe Local incremental planning for a car-like robot navigating among obstacles. In: International conference on robotics and automation. IEEE, Minneapolis, Minnesota - April 1996, pp. 1205-1211. ISBN 0-7803-2988-0 (1996)

Bemporad, Alberto and Mosca, Edoardo Robust nonlinear reference filtering for constrained linear systems with uncertain impulse/step responses. In: Decision and Control Conference. IEEE, Kobe, Japan, December 1996, pp. 3527-3528. ISBN 0-7803-3590-2 (1996)

Boreale, Michele and De Nicola, Rocco A Symbolic Semantics for the pi-Calculus. Information and Computation, 126 (1). pp. 34-52. ISSN 0890-5401 (1996)

Chen, Xiao Jun and De Nicola, Rocco Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures. In: Automata, Languages and Programming (ICALP 1996). Lecture Notes in Computer Science, 1099 . Springer, pp. 63-74. ISBN 3-540-61440-0 (1996)

Corradini, Flavio and De Nicola, Rocco On Four Partial Ordering Semantics for a Process Calculus. Fundamenta Informaticae, 27 (4). pp. 349-383. ISSN 1875-8681 (1996)

De Nicola, Rocco and Pugliese, Rosario A Process Algebra Based on LINDA. In: Coordination Languages and Models (COORDINATION 1996). Lecture Notes in Computer Science, 1061 . Springer, pp. 160-178. ISBN 3-540-61052-9 (1996)

De Nicola, Rocco and Smolka, Scott A. Concurrency: Theory and Practice. ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research, 28 (4es). p. 52. ISSN 0360-0300 (1996)

1995

Bemporad, Alberto and Mosca, Edoardo Filtraggio predittivo del riferimento per il controllo di sistemi vincolati. Automazione e strumentazione, 43. pp. 117-123. ISSN 0005-1284 (1995)

Bemporad, Alberto and Mosca, Edoardo Nonlinear predictive reference governor for constrained control systems. In: Decision and Control Conference. IEEE, New Orleans, December 1995, pp. 1205-1210. ISBN 0-7803-2685-7 (1995)

Bemporad, Alberto and Mosca, Edoardo Reference management predictive control. In: EURACO Workshop, Florence, Italy pp. 463-490. (Unpublished) (1995)

Boreale, Michele and De Nicola, Rocco Testing Equivalence for Mobile Processes. Information and Computation, 120 (2). pp. 279-303. ISSN 0890-5401 (1995)

Corradini, Flavio and De Nicola, Rocco and Labella, Anna Fully Abstract Models for Nondeterministic Regular Expressions. In: CONCUR '95: Concurrency Theory. Lecture Notes in Computer Science, 962 . Springer, pp. 130-144. ISBN 3-540-60218-6 (1995)

De Nicola, Rocco and Segala, Roberto A Process Algebraic View of Input/Output Automata. Theoretical Computer Science, 138 (2). pp. 391-423. ISSN 0304-3975 (1995)

De Nicola, Rocco and Vaandrager, Frits W. Three Logics for Branching Bisimulation. J. ACM, 42 (2). pp. 458-487. ISSN 0004-5411 (1995)

Fantechi, Alessandro and De Nicola, Rocco and Gnesi, Stefania and Larosa, Salvatore and Ristori, Gioia Verifying hardware components within JACK. In: Correct Hardware Design and Verification Methods (CHARME 1995). Lecture Notes in Computer Science, 987 . Springer, pp. 246-260. ISBN 3-540-60385-9 (1995)

1994

Bemporad, Alberto and Chisci, Luigi and Mosca, Edoardo On the stabilizing property of SIORHC. Automatica, 30 (12). pp. 2013-2015. ISSN 0005-1098 (1994)

Bemporad, Alberto and Mosca, Edoardo Constraint fulfilment in control systems via predictive reference management. In: Decision and Control Conference. 0-7803-1968-0 , 3 . IEEE, Lake Buena Vista, December 1994, pp. 3016-3022. (1994)

Bemporad, Alberto and Mosca, Edoardo Constraint fulfilment in feedback control via predictive reference management. In: Conference. on Control Applications. IEEE, pp. 1909-1914. ISBN 0-7803-1872-2 (1994)

Corradini, Flavio and De Nicola, Rocco Distribution and Locality of Concurrent Systems. In: Automata, Languages and Programming (ICALP 1994). Lecture Notes in Computer Science, 820 . Springer, pp. 154-165. ISBN 3-540-58201-0 (1994)

De Nicola, Rocco and Labella, Anna A Completeness Theorem for Nondeterministic Kleene Algebras. In: Mathematical Foundations of Computer Science 1994. Lecture Notes in Computer Science, 841 . Springer, pp. 536-545. ISBN 3-540-58338-6 (1994)

1993

De Nicola, Rocco and Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Computer Networks and ISDN Systems, 25 (7). pp. 761-778. ISSN 0169-7552 (1993)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Universal Axioms for Bisimulations. Theoretical Computer Science, 114 (1). pp. 63-91. ISSN 0304-3975 (1993)

1992

De Nicola, Rocco and Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia An action based framework for verifying logical and behavioural properties of concurrent systems. In: Computer Aided Verification (CAV 1991). Lecture Notes in Computer Science, 575 . Springer, pp. 37-47. ISBN 3-540-55179-4 (1992)

1991

De Nicola, Rocco Action and State-based Logics for Process Algebras. In: CONCUR 1991. Lecture Notes in Computer Science, 527 . Springer, pp. 20-22. ISBN 3-540-54430-5 (1991)

1990

De Nicola, Rocco and Ferrari, GianLuigi Observational Logics and Concurrency Models. In: Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1990). Lecture Notes in Computer Science, 472 . Springer, pp. 301-315. ISBN 3-540-53487-3 (1990)

De Nicola, Rocco and Inverardi, Paola and Nesi, Monica Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. In: Automatic Verification Methods for Finite State Systems. Lecture Notes in Computer Science, 407 . Springer, pp. 54-67. ISBN 3-540-52148-8 (1990)

De Nicola, Rocco and Montanari, Ugo and Vaandrager, Frits W. Back and Forth Bisimulations. In: CONCUR '90 Theories of Concurrency: Unification and Extension. Lecture Notes in Computer Science, 458 . Springer, pp. 152-165. ISBN 3-540-53048-7 (1990)

De Nicola, Rocco and Vaandrager, Frits W. Action versus State based Logics for Transition Systems. In: Semantics of Systems of Concurrent Processes. Lecture Notes in Computer Science, 469 . Springer, pp. 407-419. ISBN 3-540-53479-2 (1990)

De Nicola, Rocco and Vaandrager, Frits W. Three Logics for Branching Bisimulation (Extended Abstract). In: LICS. IEEE Computer Society, pp. 118-129. (1990)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Partial Ordering Semantics for CCS. Theoretical Computer Science, 75 (3). pp. 223-262. ISSN 0304-3975 (1990)

1988

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Distributed Operational Semantics for CCS Based on Condition/Event Systems. Acta Informatica, 26 (1/2). pp. 59-91. ISSN 0001-5903 (1988)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Partial orderings descriptions and observations of nondeterministic concurrent processes. In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (REX Workshop 1988). Lecture Notes in Computer Science, 354 . Springer, pp. 438-466. ISBN 3-540-51080-X (1988)

1987

De Nicola, Rocco Extensional Equivalences for Transition Systems. Acta Informatica, 24 (2). pp. 211-237. ISSN 0001-5903 (1987)

De Nicola, Rocco and Hennessy, Matthew CCS without tau's. In: TAPSOFT '87, Vol.1. Lecture Notes in Computer Science, 249 . Springer, pp. 138-152. ISBN 3-540-17660-8 (1987)

1986

Aceto, Luca and Fantechi, Alessandro and De Nicola, Rocco Testing Equivalences for Event Structures. In: Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, 280 . Springer, pp. 1-20. ISBN 3-540-18419-8 (1986)

De Nicola, Rocco Net Theory and Application - Response. In: IFIP Congress. North-Holland/IFIP, pp. 833-836. ISBN 0-444-70077-3 (1986)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo CCS is an (Augmented) Contact Free C/E System. In: Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, 280 . Springer, pp. 144-165. ISBN 3-540-18419-8 (1986)

1985

De Nicola, Rocco Testing Equivalences and Fully Abstract Models for Communicating Processes. PhD Thesis thesis, University of Edinburgh. (1985)

De Nicola, Rocco Two Complete Axiom Systems for a Theory of Communicating Sequential Processes. Information and Control, 64 (1-3). pp. 136-172. ISSN 0019-9958 (1985)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Partial ordering derivations for CCS. In: Fundamentals of Computation Theory (FCT 1985). Lecture Notes in Computer Science, 199 . Springer, pp. 520-533. ISBN 3-540-15689-5 (1985)

1984

De Nicola, Rocco Models and Operators for Nondeterministic Processes. In: Mathematical Foundations of Computer Science (MFCS 1984). Lecture Notes in Computer Science, 176 . Springer, pp. 433-442. ISBN 3-540-13372-0 (1984)

Hennessy, Matthew and De Nicola, Rocco Testing Equivalences for Processes. Theoretical Computer Science, 34. pp. 83-133. ISSN 0304-3975 (1984)

1983

De Nicola, Rocco A Complete Set of Axioms for a Theory of Communicating Sequential Processes. In: Foundations of Computation Theory. Lecture Notes in Computer Science, 158 . Springer, pp. 115-126. ISBN 3-540-12689-9 (1983)

De Nicola, Rocco and Hennessy, Matthew Testing Equivalence for Processes. In: Automata, Languages and Programming (ICALP 1983). Lecture Notes in Computer Science, 154 . Springer, pp. 548-560. ISBN 3-540-12317-2 (1983)

1981

De Nicola, Rocco and Matelli, Alberto and Montanari, Ugo Communication Through Message Passing or Shared Memory: A Formal Comparison. In: Proceedings of the 2nd International Conference on Distributed Computing Systems (ICDCS 1981). IEEE Computer Society, pp. 513-522. (1981)