Items where Year is 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)

Agnetis, Alessandro and Coppi, Alberto and Corsini, Matteo and Dellino, Gabriella and Meloni, Carlo and Pranzo, Marco A decomposition approach for the combined master surgical schedule and surgical case assignment problems. Health Care Management Science. pp. 1-11. ISSN 1386-9620 (2013)

Altomonte, Carlo and Di Mauro, Filippo and Ottaviano, Gianmarco and Rungi, Armando Global value chains during the Great Trade collapse: a bullwhip effect. In: Firms in the international economy : firm heterogeneity meets international business. CESifo Seminar Series . MIT Press, pp. 277-308. ISBN 9780262019743 (2013)

Altomonte, Carlo and Di Mauro, Filippo and Ottaviano, Gianmarco and Rungi, Armando and Vicard, VIncent Global value chains during the great trade collapse: a bullwhip effect? Working Paper #1412/2013 European Central Bank ISSN 1725-2806.

Altomonte, Carlo and Rungi, Armando Business Groups as Hierarchies of Firms: Determinants of Vertical Integration and Performance. Working Paper #1554/2013 European Central Bank ISSN 1725-2806.

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)

Bacigalupo, Andrea Modellazione multi-scala di materiali auxetici a microstruttura periodica chirale. In: AIMETA 2013 XX congresso dell'Associazione Italiana di Meccanica Teorica e Applicata, September 17-20, 2013, Torino (Italy) (Unpublished) (2013)

Bacigalupo, Andrea and Brencich, Antonio and Gambarotta, Luigi A simplified assessment of the dome and drum of the Basilica of S. Maria Assunta in Carignano in Genoa. Engineering Structures, 56. 749 - 765. ISSN 0141-0296 (2013)

Bacigalupo, Andrea and Gambarotta, Luigi Acoustic velocity in layered rock masses with periodic fractures. In: COMGEO III, 3rd International Symposium on Computational Geomechanics, 21– 23 August 2013, Krakow (Poland) (Unpublished) (2013)

Bacigalupo, Andrea and Gambarotta, Luigi Dispersive acoustic waves in elastic periodic media: a non-local dynamic homogenization approach. In: AIMETA 2013 XX congresso dell'Associazione Italiana di Meccanica Teorica e Applicata, September 17-20, 2013, Torino (Italy) (Unpublished) (2013)

Bacigalupo, Andrea and Gambarotta, Luigi Dispersive wave propagation in anisotropic materials with periodic microstructure. In: - 12th U.S. National Congress on Computational Mechanics (USNCCM12), 22-25 July 2013, Raleigh, North Carolina (USA) (Unpublished) (2013)

Bacigalupo, Andrea and Gambarotta, Luigi Sicurezza statica del sistema cupola-tamburo: il caso della Basilica di S. Maria Assunta di Carignano a Genova. In: AID MONUMENTS Conoscere Progettare Ricostruire. Aracne, pp. 164-174. ISBN 978-88-548-6506-8 (2013)

Bacigalupo, Andrea and Gambarotta, Luigi A multi-scale strain-localization analysis of a layered strip with debonding interfaces. International Journal of Solids and Structures, 50 (13). 2061 - 2077. ISSN 0020-7683 (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)

Balestracci, Fiammetta Review of Elena Tonezzer, Il corpo, il confine, la patria. Associazionismo sportivo in Trentino (1870-1914). Austrian history yearbook, 44 (4). pp. 336-337. ISSN 0067-2378 (2013)

Balestracci, Fiammetta Zeitgeschichte: nuove metodologie e interpretazioni sulla RFT. Mestiere di storico, V (1). pp. 5-14. ISSN 1594-3836 (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)

Bartolini, Stefano and Bilancini, Ennio and Pugno, Maurizio Did the Decline in Social Connections Depress Americans’ Happiness? Social Indicators Research, 110. pp. 1033-1059. ISSN 0303-8300 (2013)

Bartolini, Stefano and Bilancini, Ennio and Sarracino, Francesco Predicting the Trend of Well-Being in Germany: How Much Do Comparisons, Adaptation and Sociability Matter? Social Indicators Research, 114. pp. 169-191. ISSN 0303-8300 (2013)

Battiston, Stefano and Caldarelli, Guido Systemic risk in financial networks. Journal of Financial Management, Markets and Institutions, 2. pp. 129-154. ISSN 2282-717X (2013)

Battiston, Stefano and Caldarelli, Guido and Georg, Co-Pierre and May, Robert and Stiglitz, Joseph Complex derivatives. Nature Physics, 9 (3). pp. 123-125. ISSN 1745-2473 (2013)

Bee, Marco and Riccaboni, Massimo and Schiavo, Stefano The size distribution of US cities: Not Pareto, even in the tail. Economics Letters, 120 (2). 232 - 237. ISSN 0165-1765 (2013)

Belmonte, Alessandro and Pennisi, Aline Impatto territoriale delle riforme dell'istruzione sul fabbisogno di insegnanti. Scienze regionali (1). pp. 87-114. ISSN 1720-3929 (2013)

Bernardi, Giulio and Ricciardi, Emiliano and Sani, Lorenzo and Gaglianese, Anna and Papasogli, Alessandra and Ceccarelli, Riccardo and Franzoni, Ferdinando and Galetta, Fabio and Santoro, Gino and Goebel, Rainer and Pietrini, Pietro How skill expertise shapes the brain functional architecture: an fMRI study of visuo-spatial and motor processing in professional racing-car and naïve drivers. PloS One, 8 (10). ISSN 1932-6203 (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)

Bertelli, Linda The production of evidence: early scientific cinema in Italy. In: Film-Philosophy Conference 2013: Beyond Film, July 10-12, 2013, Amsterdam, Netherlands (Unpublished) (2013)

Betta, Monica and Gemignani, Angelo and Landi, Alberto and Laurino, Marco and Piaggi, Paolo and Menicucci, Danilo Detection and removal of ocular artifacts from EEG signals for an automated REM sleep analysis. In: 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), July 3-7, 2013, Osaka, Japan pp. 5079-5082. ISSN 1558-4615. ISBN 978-1-4577-0216-7. (In Press) (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)

Bilancini, Ennio and Boncinelli, Leonardo Disclosure of information in matching markets with non-transferable utility. Games and economic behavior, 82. pp. 143-156. ISSN 0899-8256 (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)

Bénabou, Roland and Ticchi, Davide and Vindigni, Andrea Forbidden fruits: the political economy of science, religion, and growth. Working Paper # /2013 (Unpublished)

Caldarelli, Guido and Battiston, Stefano and Puliga, Michelangelo and Kaushik, Rahul and Tasca, Paolo DebtRank a centrality measure for financial systems and beyond. In: APS March Meeting 2013 (Unpublished) (2013)

Caldarelli, Guido and Chessa, Alessandro and Crimaldi, Irene and Pammolli, Fabio Weighted Networks as Randomly Reinforced Urn Processes. Physical Review E, 87 (2). ISSN 1539-3755 (2013)

Caldarelli, Guido and Chessa, Alessandro and Pammolli, Fabio and Gabrielli, Andrea and Puliga, Michelangelo Reconstructing a credit network. Nature Physics, 9 (3). pp. 125-126. ISSN 1745-2473 (2013)

Carbone, Marco and Lanese, Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana Proceedings 6th Interaction and Concurrency Experience, ICE 2013. Electronic Proceedings in Theoretical Computer Science. (2013)

Carpinteri, Alberto and Paggi, Marco Modelling strain localization by cohesive (overlapping) zones in tension (compression): brittleness size effects and scaling in material properties. In: Mechanics down under. Springer, pp. 15-33. ISBN 978-94-007-5968-8 (2013)

Carpinteri, Alberto and Paggi, Marco A theoretical approach to the interaction between buckling and resonance instabilities. Journal of Engineering Mathematics, 78 (1). pp. 19-35. ISSN 0022-0833 (2013)

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

Casini, Lorenzo "Down the rabbit hole": the projection of the public/private distinction beyond the state. Working Paper #8/2013 Jean Monnet Working Paper ISSN 1556-5068.

Casini, Lorenzo La globalizzazione dei beni culturali. Parolechiave, 587. pp. 19-30. ISSN 1122-5300 (2013)

Casini, Lorenzo Prefazione. In: Chi governa il mondo? Saggi . Il Mulino. ISBN 978-88-15-24729-2 (2013)

Catoni, Maria Luisa Il simposio greco. In: Capolavori dell'archeologia. Recuperi, ritrovamenti, confronti (Catalogo Mostra). Gangemi Editore, Roma, pp. 163-167. ISBN 978-88-492-2653-9 (2013)

Catoni, Maria Luisa Mimesis and motion in classical antiquity. In: Bilder animierter Bewegung / Images of Animate Movement. Wilhelm Fink, Basel, pp. 199-220. ISBN 978-3-7705-5624-3 (2013)

Catoni, Maria Luisa and Ginzburg, Carlo and Giuliani, Luca and Settis, Salvatore Tre figure. Achille, Meleagro, Cristo. Culture . Feltrinelli Editore, Milano. ISBN 978-88-07-10496-1 (2013)

Cavallaro, Maria Elena La Francia di Giscard d’Estaing da madrina ad ostacolo dell’integrazione della Spagna in Europa. In: Italia e Spagna nel processo di integrazione europea (1950-1992), (edited by) M.E.Cavallaro e Guido Levi, a Mannelli, 2013,. Rubbettino, Soveria Mannelli, pp. 99-121. ISBN 9788849838886 (2013)

Cavallaro, Maria Elena and Levi, Guido (a cura di) Spagna e Italia nei processi d’integrazione europea (1950-1992). Istituto di studi storici Gaetano Salvemini . Rubbettino, Soveria Mannelli. ISBN 8849838883 (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, Duanbing and Zeng, An and Cimini, Giulio and Zhang, Yi-Cheng Adaptive social recommendation in a multiple category landscape. The European Physical Journal B - Condensed Matter, 86 (2). ISSN 1434-6028 (2013)

Chen, Zhaofu and Soyak, Eren and Tsaftaris, Sotirios A. and Katsaggelos, Aggelos K. Application aware approach to compression and transmission of H.264 compressed video for automated and centralized transportation surveillance. IEEE Transactions on Intelligent Transportation Systems. ISSN 1524-9050 (Submitted) (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)

Chessa, Alessandro and Morescalchi, Andrea and Pammolli, Fabio and Penner, Orion and Petersen, Alexander M. and Riccaboni, Massimo Is Europe Evolving Toward an Integrated Research Area? Science, 339 (6120). pp. 650-651. ISSN 0036-8075 (2013)

Cimini, Giulio and Zeng, An and Medo, Matúš and Chen, Duanbing The Role of Taste Affinity in Agent-Based Models for Social Recommendation. Advances in Complex Systems, 16 (04n05). p. 1350009. ISSN 0219-5259 (2013)

Cokic, Ivan and Kali, Avinash and Wang, Xunzhang and Yang, Hsin-Jung and Tang, Richard and Thajudeen, Anees and Shehata, Michael and Amorn, Allen M. and Liu, Enzhao and Stewart, Brian and Bennett, Nathan and Harlev, Doron and Tsaftaris, Sotirios A. and Jackman, Warren M. and Chugh, Sumeet S. and Dharmakumar, Rohan Iron Deposition following Chronic Myocardial Infarction as a Substrate for Cardiac Electrical Anomalies: Initial Findings in a Canine Model. PloS One, 8 (9). e73193. ISSN 1932-6203 (2013)

Colombetti, Paolo and Taricco, Carla and Bhandari, Narendra and Sinha, Neeharika and Di Martino, M. and Cora, A and Vivaldo, Gianna Low gamma activity measurement of meteorites using HPGe–NaI detector system. Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment , 718. 140 - 142. ISSN 0168-9002 (2013)

Corrado, Mauro and Paggi, Marco Metodo degli spostamenti. Fondamenti teorici e applicazioni strutturali. CLUT Editrice, Torino. ISBN 9788879923521 (2013)

Crimaldi, Irene and Di Crescenzo, Antonio and Iuliano, Antonella and Martinucci, Barbara A generalized telegraph process with velocity driven by random trials. Advances in applied probability, 45 (4). pp. 1111-1136. ISSN 0001-8678 (2013)

Cristelli, Matthieu and Gabrielli, Andrea and Tacchella, Andrea and Caldarelli, Guido and Pietronero, Luciano Measuring the intangibles: a metrics for the economic complexity of countries and products. PloS One, 8 (8). e70726. ISSN 1932-6203 (2013)

Cubeddu, Raimondo and Masala, Antonio Il liberalismo Italiano. Introduzione. In: Storia del liberalismo in Europa. Rubbettino, pp. 497-504. ISBN 978-88-498-3386-7 (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 Leo, Vincenzo and Santoboni, Giovanni and Cerina, Federica and Mureddu, Mario and Secchi, Luca and Chessa, Alessandro Community core detection in transportation networks. Physical Review E, 88 (4). 042810. ISSN 1539-3755 (2013)

De Montis, Andrea and Caschili, Simone and Chessa, Alessandro Commuter networks and community detection: a method for planning sub regional areas. The European Physical Journal - Special Topics, 215 (1). pp. 75-91. ISSN 1951-6355 (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)

Dellino, Gabriella and Marrocco, Biagina and Meloni, Carlo Community-Based Management Science: combinare rigore e passione per migliorare la qualità della vita. In: Mettere a frutto i talenti. Esperienze e testimonianze sull'Italia di oggi. Prometheus, 33 . Franco Angeli, pp. 102-104. ISBN 9788820405847 (2013)

Delpini, Danilo and Battiston, Stefano and Riccaboni, Massimo and Gabbi, Giampaolo and Pammolli, Fabio and Caldarelli, Guido Evolution of controllability in interbank networks. Scientific Reports, 3 (1626). pp. 1-5. ISSN 2045-2322 (2013)

Di Cairano, Stefano and Heemels, W.P.M.H. and Lazar, Mircea and Bemporad, Alberto Hybrid control lyapunov functions for the stabilization of hybridsystems. In: Proceedings of the 16th international conference on Hybrid systems: computation and control. ACM, pp. 73-82. ISBN 978-1-4503-1567-8 (2013)

Di Cairano, Stefano and Tseng, H. E. and Bernardini, Daniele and Bemporad, Alberto Vehicle yaw stability control by coordinated active front steering and differential braking in the tire sideslip angles domain. IEEE Transactions on Control Systems Technology , 21 (4). pp. 1236-1248. ISSN 1063-6536 (2013)

Di Porto, Edoardo and Elia, Leandro and Tealdi, Cristina The “emersion” effect: an ex post and ex ante social program evaluation on labor tax evasion in Italy. EIC working paper series #2/2013 IMT Institute for Advanced Studies Lucca ISSN 2279-6894.

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)

Durante, Fabrizio and Foschi, Rachele Evolution of the Dependence of Residual Lifetimes. In: Synergies of Soft Computing and Statistics for Intelligent Data Analysis. Advances in Intelligent Systems and Computing (190). Springer, pp. 305-312. ISBN 978-3-642-33041-4 (2013)

Eom, Young-Ho and Frahm, Klaus M. and Benczúr, András and Shepelyansky, Dima L. Time evolution of Wikipedia network ranking. The European Physical Journal B, 86 (12). pp. 1-9. ISSN 1434-6028 (2013)

Eom, Young-Ho and Shepelyansky, Dima L. Highlighting entanglement of cultures via ranking of multilingual Wikipedia articles. PloS One, 8 (10). e74554. ISSN 1932-6203 (2013)

Erol, Cengiz and Seven, Ünal and Aydoğan, Berna and Tunc, Seda The impact of financial restructuring after 2001 Turkey crisis on the risk determinants of Turkish commercial bank stocks. International Journal of Economic Perspectives, 7 (4). ISSN 1307-1637 (2013)

Fagiolo, Giorgio and Squartini, Tiziano and Garlaschelli, Diego Null models of economic networks: the case of the world trade web. Journal of Economic Interaction and Coordination, 8 (1). pp. 75-107. ISSN 1860-711X (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)

Foschi, Rachele Hyper-dependence, hyper-ageing properties and analogies between them: a semigroup-based approach. Kybernetika, 49 (1). pp. 96-113. ISSN 0023-5954 (2013)

Foschi, Rachele and Riccaboni, Massimo and Schiavo, Stefano Missing Links in Multiple Trade Networks. EIC working paper series #5/2013 IMT Institute for Advanced Studies Lucca ISSN 2279-6894.

Foschi, Rachele and Spizzichino, Fabio Reversing conditional orderings. In: Stochastic Orders in Reliability and Risk. Lecture Notes in Statistics . Springer, pp. 59-80. ISBN 978-1-4614-6892-9 (2013)

Frascarolo, Valentina and Pellegrini, Emanuele L’ombra di Tiziano: l’Annunciazione che visse più volte. Studiolo : Revue d'histoire de l'art de l'Académie de France à Rome, 10. pp. 93-109. ISSN 1635-0871 (2013)

Frasch, J. V. and Gray, A. and Zanon, Mario and Ferreau, H. J. and Sager, S. and Borrelli, F. and Diehl, M. An auto-generated nonlinear MPC algorithm for real-time obstacle avoidance of ground vehicles. In: European Control Conference (ECC), July 17-19, 2013, Zurich, Switzerland pp. 4136-4141. ISBN 978-3-033-03962-9. (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)

Gagliardi, Mariacristina On the effect of macromolecular composition and drug loading on thermal and tensile mechanical properties of methyl methacrylate and butyl methacrylate copolymers. Polymer Bulletin, 71 (3). pp. 533-544. ISSN 0170-0839 (2013)

Gagliardi, Mariacristina and Bardi, Giuseppe and Gamucci, Olimpia and Mazzolai, Barbara Targeted drug delivery across biological barriers using polymer nanoparticles. In: Therapeutic Delivery Methods: A Concise Overview of Emerging Areas. Future Science, pp. 96-109. ISBN 978-1-909453-49-4 (2013)

Garlaschelli, Diego and Ahnert, Sebastian E. and Fink, Thomas M.A. and Caldarelli, Guido Low-Temperature behaviour of social and economic networks. Entropy, 15 (8). pp. 3148-3169. ISSN 1099-4300 (2013)

Garlaschelli, Diego and Ahnert, Sebastian E. and Fink, Thomas M.A. and Caldarelli, Guido Optimal Scales in Weighted Networks. In: Social Informatics. Lecture Notes in Computer Science, 8238 . Springer, pp. 346-359. ISBN 978-3-319-03259-7 (2013)

Gattei, Stefano Galileo "filosofo", per l'autonomia della scienza. In: ITIS Galileo. Giulio Einaudi Editore, Torino, pp. 117-135. ISBN 978-88-06-21810-2 (2013)

Gattei, Stefano Galileo and Tennis: Reconciling the New Physics with Commonsense. Nuncius, 28 (1). pp. 66-84. ISSN 0394-7394 (2013)

Gattei, Stefano Natura senza dogmi. Per un approccio razionale al dibattito sull'ambiente. I quaderni di Forlì, 3 . Armando Armando Editore, Rome. ISBN 88-6677-360-3 (2013)

Gattei, Stefano One sustained argument. The Tightly-Knit dialogical structure of Kepler's works. In: I limiti della razionalità: scritti in onore di Joseph Agassi. Rocco Carabba, Chieti, pp. 83-102. ISBN 9788863443141 (2013)

Gattei, Stefano Popper, Karl. In: Encyclopedia of Modern Political Thought. CQ Press, Washington, pp. 641-642. ISBN 978-0-8728-9910-0 (2013)

Gattei, Stefano The Wandering Scot Thomas Seget’s album amicorum. Nuncius, 28 (2). 345-463 . ISSN 0394-7394 (2013)

Geebelen, Kurt and Vukov, Milan and Zanon, Mario and Gros, Sébastien and Wagner, Andrew and Diehl, Moritz and Vandepitte, Dirk and Swevers, Jan and Ahmad, Hammad An Experimental Test Setup for Advanced Estimation and Control of an AirborneWind Energy System. In: Airborne Wind Energy. Green Energy and Technology . Springer, pp. 459-471. ISBN 978-3-642-39965-7 (2013)

Giannaccari, Andrea Commissione UE vs. Microsoft: «ancora una volta sulla breccia, cari amici!». Mercato Concorrenza Regole, XV (1). pp. 181-188. ISSN 1590-5128 (2013)

Giannaccari, Andrea E-books ed intese editoriali nell’Eden digitale: c’è la Mela del peccato? Mercato Concorrenza Regole, XV (1). ISSN 1590-5128 (2013)

Giovanis, Eleftherios Application of Feed-Forward Neural Networks Smoothing Transition Autoregressive Models in Stock Returns Forecasting. In: (edited by C. Zopounidis) Computational Optimization in Economics and Finance Research Compendium. Studies in Financial Optimization and Risk Management . Nova Publishers, pp. 27-47. ISBN 978-1-62081-928-9 (2013)

Giovanis, Eleftherios Application of Stationary Wavelet Support Vector Machines for the Prediction of Economic Recessions. International Journal of Mathematical Models and Methods in Applied Sciences, 7 (3). pp. 226-237. ISSN 1998-0140 (2013)

Giovanis, Eleftherios Environmental Kuznets curve: Evidence from the British Household Panel Survey. Economic Modelling, 30. pp. 602-611. ISSN 0264-9993 (2013)

Giudicati, Gianna and Riccaboni, Massimo and Romiti, Anna Experience, socialization and customer retention: Lessons from the dance floor. Marketing Letters, 24. pp. 1-14. ISSN 0923-0645 (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)

Gros, S. and Zanon, Mario and Diehl, M. Control of Airborne Wind Energy systems based on Nonlinear Model Predictive Control amp; Moving Horizon Estimation. In: European Control Conference (ECC), July 17-19, 2013, Zurich, Switzerland pp. 1017-1022. ISBN 978-3-033-03962-9. (2013)

Gros, Sébastien and Zanon, Mario and Diehl, Moritz A relaxation strategy for the optimization of Airborne Wind Energy systems. In: European Control Conference (ECC), July 17-19, 2013, Zurich, Switzerland pp. 1011-1016. ISBN 978-3-033-03962-9. (2013)

Handjaras, Giacomo and Ricciardi, Emiliano and Szczepanik, Joanna and Pietrini, Pietro and Furey, Maura L. Cholinergic enhancement differentially modulates neural response to encoding during face identity and face location working memory tasks. Experimental Biology and Medicine, 238 (9). pp. 999-1008. ISSN 1535-3702 (2013)

Heilbron, John L. and Gattei, Stefano (a cura di) Galileo. Scienziato e umanista / Heilbron John L. La Biblioteca . Giulio Einaudi Editore, Torino. ISBN 9788806210977 (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)

Jo, Hang-Hyun and Pan, Raj K. and Perotti, Juan I. and Kaski, Kimmo Contextual analysis framework for bursty dynamics. Physical Review E, 87. 062131. ISSN 1539-3755 (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)

Krenn, Rainer and Gibbesch, Andreas and Binet, Giovanni and Bemporad, Alberto Model predictive traction and steering control of planetary rovers. In: 12th Symposium on Advanced Space Technologies in Robotics and Automation, ASTRA 2013, 15th - 17th May 2013, Noordwijk, The Netherlands pp. 1-8. (Unpublished) (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)

Lattanzi, Nicola Economia d’azienda ed espressioni reddituali. Contenuti, dimensioni di analisi e strumenti per il governo economico. Giappichelli Editore, Torino, pp. 1-299. ISBN 978-88-3487289-5 (2013)

Lattanzi, Nicola Management Science and Neuroscience Impact. Decision Making Process, Entrepreneurship and Business Strategy. McGraw-Hill, pp. 1-131. ISBN 978-0077160975 (2013)

Lattanzi, Nicola and Dal Maso, Lorenzo Entrepreneurial culture, family business and new international markets : the importance of institutions strategy as attraction for venture capitalist. In: XXVII Rent Conference, Entrepreneurship, Institutions and Competitiveness, ISM, November 20-22, 2013, Vilnius, Lithuania pp. 1-30. (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)

Laurino, Marco and Stano, Maurizio and Betta, Monica and Pannocchia, Gabriele and Landi, Alberto Combining pharmacological therapy and vaccination in Chronic Myeloid Leukemia via model predictive control. In: 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), July 3-7, 2013, Osaka, Japan pp. 3925-3928. ISSN 1558-4615. ISBN 978-1-4577-0216-7. (In Press) (2013)

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)

Loreti, Silvia Giorgio de Chirico's Avant-Garde Classicism. In: (ed. by Lenia Kouneni) Most recently updated Home Titles Most Popular Titles Ordering The legacy of antiquity : new perspectives in the reception of the classical world. Cambridge Scholars Publishing. ISBN 978-1-4438-5249-4 (2013)

Loreti, Silvia In the web of history: Zeng Fanzhi's recent paintings. Harper's Bazaar Art . (In Press) (2013)

Loreti, Silvia Picasso and Modernist Narrative(s). In: (ed. by P. Cooke and N. Lübbren ) Narrative in French Painting. Ashgate, Aldershot. (Submitted) (2013)

Loreti, Silvia The Young Picasso's Parisian Making. Harper's Bazaar Art (China). pp. 124-127. (2013)

Luciano, Elisa and Regis, Luca Demographic Risk Transfer: is it worth for annuity providers? In: Interplay between Finance and Insurance. Actuarial Financial Mathematics Conference 2013. Koninklijke Vlaamse Academie Van Belgie, pp. 57-62. ISBN 978-90-6569-123-1 (2013)

Magazzini, Laura and Pammolli, Fabio and Riccaboni, Massimo R&D, Within and Between Patent Competition in the Pharmaceutical Industry. EIC working paper series #3/2013 ISSN 2279-6894.

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)

Marini, Marco A. and Polidori, Paolo and Ticchi, Davide and Teobaldelli, Désirée Optimal Incentives in a Principal-Agent Model with Endogenous Technology. Working Paper #04/2013 Università degli studi di Urbino. Facoltà di economia ISSN 1974-4110.

Masala, Antonio I Padri Costituenti. Bruno Leoni. I Padri Costituenti, 23 . Sole 24 Ore, Milano. (2013)

Masala, Antonio Libertà e diritto nel pensiero di Bruno leoni. In: Storia del liberalismo in Europa. Rubbettino, pp. 689-704. ISBN 978-88-498-3386-7 (2013)

Massa, Silvia Le incisioni di riproduzione di Raffaello Guidi. Grafica d'arte : Rivista di storia dell'incisione antica e moderna e storia del disegno, 99. pp. 8-13. ISSN 1122-6382 (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)

Morescalchi, Andrea and Pammolli, Fabio and Penner, Orion and Petersen, Alexander M. and Riccaboni, Massimo Networks of innovators within and across borders. Evidence from patent data. EIC working paper series #4/2013 IMT Institute for Advanced Studies Lucca ISSN 2279-6894.

Morini, Lorenzo and Piccolroaz, Amdrea and Mishuris, Gennady Dynamic energy release rate in couple-stress elasticity. Journal of Physics: Conference Series, 451 (1). 012014. ISSN 1742-6588 (2013)

Morini, Lorenzo and Piccolroaz, Amdrea and Mishuris, Gennady and Radi, Enrico Integral identities for a semi-infinite interfacial crack in anisotropic elastic bimaterials. International Journal of Solids and Structures, 50 (9). pp. 1437-1448. ISSN 0020-7683 (2013)

Morini, Lorenzo and Piccolroaz, Amdrea and Mishuris, Gennady and Radi, Enrico On fracture criteria for dynamic crack propagation in elastic materials with couple stresses. International Journal of Engineering Science, 71. pp. 45-61. ISSN 0020-7225 (2013)

Morini, Lorenzo and Radi, Enrico and Movchan, Alexander and Movchan, Natalia Interfacial cracks in bi-materials solids: Stroh formalism and skew-symmetric weight functions. In: 23rd International Congress on Theoretical and Applied Mechanics (ICTAM), August 2012, Beijing, China ISSN 2210-9838. (2013)

Morrison, Greg and Giovanis, Eleftherios and Pammolli, Fabio and Riccaboni, Massimo Border sensitive centralities in patent citation networks using asymmetric random walks. In: International Conference on Signal-Image Technology & Internet-Based Systems (SITIS). IEEE, pp. 546-552. ISBN 978-1-4799-3211-5 (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)

Musmeci, Nicolò and Battiston, Stefano and Caldarelli, Guido and Puliga, Michelangelo and Gabrielli, Andrea Bootstrapping Topological Properties and Systemic Risk of Complex Networks Using the Fitness Model. Journal of Statistical Physics, 151 (3). pp. 720-734. ISSN 0022-4715 (2013)

Musmeci, Nicolò and Battiston, Stefano and Caldarelli, Guido and Puliga, Michelangelo and Gabrielli, Andrea Bootstrapping topological properties and systemic risk of complex networks using the fitness model. Journal of Statistical Physics, 151 (3-4). pp. 720-734. ISSN 0022-4715 (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)

Paggi, Marco and Carpinteri, Alberto Size-Scale Effects on the Friction Coefficient: From Weak Faults at the Planetary Scale to Superlubricity at the Nanoscale. In: Recent Advances in Contact Mechanics. Lecture Notes in Applied and Computational Mechanics, 56 . Springer, pp. 67-84. ISBN 978-3-642-33967-7 (2013)

Paggi, Marco and Corrado, Mauro and Rodriguez, Maria Alejandra A multi-physics and multi-scale numerical approach to microcracking and power-loss in photovoltaic modules. Composite Structures, 95. 630 - 638. ISSN 0263-8223 (2013)

Paggi, Marco and Ferro, Giuseppe and Braga, Franco A multiscale approach for the seismic analysis of concrete gravity dams. Computers and Structures, 122. 230 - 238. ISSN =045-7949 (2013)

Paggi, Marco and Lehmann, Eva and Weber, Christoph and Carpinteri, Alberto and Wriggers, Peter and Schaper, M. A numerical investigation of the interplay between cohesive cracking and plasticity in polycrystalline materials. Computational Materials Science, 77. 81 - 92. ISSN 0927-0256 (2013)

Paggi, Marco and Sapora, Alberto Numerical modelling of microcracking in PV modules induced by thermo-mechanical loads. Energy Procedia, 38. 506 - 515. ISSN 1876-6102 (2013)

Paolini, Marco and Gattei, Stefano and Niccolini, Francesco and Signori, Michela ITIS Galileo. Stile Libero Big . Giulio Einaudi Editore, Torino. ISBN 978-88-06-21810-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)

Patrinos, Panagiotis and Guiggiani, Alberto and Bemporad, Alberto Fixed-point dual gradient projection for embedded model predictive control. In: Proceedings of European Control Conference 2013. IEEE, pp. 3602-3607. ISBN 978-3-033-03962-9 (2013)

Pellegrini, Emanuele Adolfo Venturi legge Luca Signorelli. Studi di Memofonte, 10. pp. 71-88. ISSN 2038-0488 (2013)

Pellegrini, Emanuele Iconografie di Tommaso di Villanova: un dipinto e due incisioni. In: Santo Tomás de Villanueva : culto, historia y arte. Biblioteca Egidiana, pp. 261-268. ISBN 978-88-98033-20-1 (2013)

Penner, Orion and Pan, Raj K. and Petersen, Alexander M. and Kaski, Kimmo and Fortunato, Santo On the Predictability of Future Impact in Science. Scientific Reports, 3. p. 3052. ISSN 2045-2322 (2013)

Penner, Orion and Petersen, Alexander M. and Pan, Raj K. and Fortunato, Santo Commentary: The case for caution in predicting scientists’ future impact. Physics Today, 66 (4). pp. 8-9. ISSN 0031-9228 (2013)

Perotti, Juan I. and Jo, Hang-Hyun and Schaigorodsky, Ana L. and Billoni, Orlando V. Innovation and nested preferential growth in chess playing behavior. EPL (Europhysics Letters), 104 (4). p. 48005. ISSN 0295-5075 (2013)

Petersen, Alexander M. and Succi, Sauro The Z-index: A geometric representation of productivity and impact which accounts for information in the entire rank-citation profile. Journal of Informetrics, 7 (4). pp. 823-832. (2013)

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

Piccolroaz, Amdrea and Morini, Lorenzo and Mishuris, Gennady and Gourgiotis, P.A. Loading profile effects on dynamic crack propagation in couple stress elastic materials. In: 10th HSTAM International Congress on Mechanics, May 25-27, 2013, Chania, Greece ISBN 9789608475182. (2013)

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)

Prati, Alessandro and Onorato, Massimiliano Gaetano and Papageorgiou, Chris Which Reforms Work and under What Institutional Environment? Evidence from a New Data Set on Structural Reforms. Review of Economics and Statistics, 95 (3). pp. 946-968. ISSN 0034-6535 (2013)

Pryce, Lewis and Morini, Lorenzo and Mishuris, Gennady Analysis of interfacial crack propagation under asymmetric loading in anisotropic materials. Journal of Physics: Conference Series, 451 (1). 012011. ISSN 1742-6588 (2013)

Pryce, Lewis and Morini, Lorenzo and Mishuris, Gennady Weight function approach to study a crack propagating along a bimaterial interface under asymmetric loading in anisotropic solids. Journal of Mechanics of Materials and Structures, 8. pp. 479-500. ISSN 1559-3959 (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)

Renzi, Chiara and Ricciardi, Emiliano and Bonino, Daniela and Handjaras, Giacomo and Vecchi, Tomaso and Pietrini, Pietro The effects of visual control and distance in modulating peripersonal spatial representation. PloS One, 8 (3). ISSN 1932-6203 (2013)

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)

Riccaboni, Massimo and Schiavo, Stefano Stochastic Trade Networks. EIC working paper series #1/2013 IMT Institute for Advanced Studies Lucca ISSN 2279-6894.

Ricci, Dario and Magazzini, Simone and Coppi, Alberto and Bogani, Alessandro and Bellomo, Francesco and Sergi, Alessandro and Dellino, Gabriella Lean thinking in radiologia: allineare i servizi fuori linea al percorso di cura del paziente in Pronto Soccorso per ridurre i tempi di attraversamento. MECOSAN. Management ed economia sanitaria, 86. pp. 65-79. ISSN 1121-6921 (2013)

Ricciardi, Emiliano and Handjaras, Giacomo and Bernardi, Giulio and Pietrini, Pietro and Furey, Maura L. Cholinergic enhancement reduces functional connectivity and BOLD variability in visual extrastriate cortex during selective attention. Neuropharmacology, 64. 305 - 313. ISSN 0028-3908 (2013)

Ricciardi, Emiliano and Handjaras, Giacomo and Bonino, Daniela and Vecchi, Tomaso and Fadiga, Luciano and Pietrini, Pietro Beyond motor scheme: a supramodal distributed representation in the action-observation network. PloS One, 8 (3). ISSN 1932-6203 (2013)

Ricciardi, Emiliano and Rota, Giuseppina and Sani, Lorenzo and Gentili, Claudio and Gaglianese, Anna and Guazzelli, Mario and Pietrini, Pietro How the brain heals emotional wounds: the functional neuroanatomy of forgiveness. Frontiers in Human Neuroscience, 7 (839). ISSN 1662-5161 (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)

Rubagotti, Matteo and Patrinos, Panagiotis and Bemporad, Alberto Stabilizing embedded MPC with computational complexity guarantees. In: Proceedings of European Control Conference. IEEE, pp. 3065-3070. ISBN 978-3-033-03962-9 (2013)

Rubagotti, Matteo and Trimboli, Sergio and Bemporad, Alberto Stability and Invariance Analysis of Uncertain Discrete-Time Piecewise Affine Systems. IEEE Transactions on Automatic Control , 58 (9). pp. 2359-2365. ISSN 0018-9286 (2013)

Rusu, Cristian Design of Incoherent Frames via Convex Optimization. IEEE Signal Processing Letters, 20 (7). pp. 673-676. ISSN 1070-9908 (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)

Saponara, M. and Barrena, V. and Bemporad, Alberto and Hartley, E. N. and Maciejowski, Jan M. and Richards, A. and Tramutola, A. and Trodden, P. Model predictive control application to spacecraft rendezvous in mars sample return scenario. In: Progress in Flight Dynamics, Guidance, Navigation, Control, Fault Detection, and Avionics. EDP Sciences, pp. 137-158. (2013)

Saracco, Fabio Patching up II A singularities. PhD Thesis thesis, Università degli Studi di Milano-Bicocca. (2013)

Saracco, Fabio and Tomasiello, Alessandro and Torroba, Gonzalo Topological resolution of gauge theory singularities. Physical Review D, 88. 045018. ISSN 1550-7998 (2013)

Scala, Antonio and Mureddu, Mario and Chessa, Alessandro and Caldarelli, Guido and Damiano, Alfonso Distributed Generation and Resilience in Power Grids. In: Critical Information Infrastructures Security. Lecture Notes in Computer Science (7722). Springer , pp. 71-79. ISBN 978-3-642-41484-8 (2013)

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)

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

Sella, Lisa and Vivaldo, Gianna and Groth, Andreas and Ghil, Michael Economic cycles and their synchronization: a survey of spectral properties. Working Paper #105/2013 FEEM Note di Lavoro Series ISSN 2037-1209.

Sgrignoli, Paolo and Metulini, Rodolfo and Schiavo, Stefano and Riccaboni, Massimo The Relation Between Global Migration and Trade Networks. EIC working paper series #6/2013 IMT Institute for Advanced Studies Lucca ISSN 2279-6894.

Sizonenko, Stéphane V. and Babilon, Claudio and de Bruin, Eveline and Isaacs, Elizabeth B. and Jönsson, Lena S. and Kennedy, David O. and Latulippe, Marie E. and Mohajeri, M. Hasan and Moreines, Judith and Pietrini, Pietro and Walhovd, Kristine B. and Winwood, Robert J. and Sijben, John W. Brain imaging and human nutrition: which measures to use in intervention studies? British Journal of Nutrition, 110. S1-S30. ISSN 0007-1145 (2013)

Slimani, Hocine and Danti, Sabrina and Ricciardi, Emiliano and Pietrini, Pietro and Ptito, Maurice and Kupers, Ron Hypersensitivity to pain in congenital blindness. Pain, 154 (10). pp. 1973-1978. ISSN 0304-3959 (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)

Sopasakis, Pantelis and Tetko, Igor V. and Kunwar, Prakash and Brandmaier, Stefan and Novoratskyi, Sergii and Charochkina, Larisa and Prokopenko, Volodymyr and Peijnenburg, Willie J.G.M. Environmental Risk Assessment using the QSPR-Thesaurus Web tool. In: Environmental Chemoinformatics Conference, September 15th-18th, 2013, Chiemsee, Munich, Germany (Unpublished) (2013)

Squartini, Tiziano and Garlaschelli, Diego Economic Networks In and Out of Equilibrium. In: International Conference on Signal-Image Technology Internet-Based Systems (SITIS), 2013, 2-5 December, 2013, Kyoto pp. 530-537. (2013)

Squartini, Tiziano and Lelyveld, Iman van and Garlaschelli, Diego Early-warning signals of topological collapse in interbank networks. Scientific Reports, 3. p. 3357. ISSN 2045-2322 (2013)

Squartini, Tiziano and Picciolo, Francesco and Ruzzenenti, Franco and Garlaschelli, Diego Reciprocity of weighted networks. Scientific Reports, 3 (2729). ISSN 2045-2322 (2013)

Tacchella, Andrea and Cristelli, Matthieu and Caldarelli, Guido and Gabrielli, Andrea and Pietronero, Luciano Economic complexity: Conceptual grounding of a new metrics for global competitiveness. Journal of Economic Dynamics and Control, 37 (8). pp. 1683-1691. ISSN 0165-1889 (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)

Ticchi, Davide and Verdier, Thierry and Vindigni, Andrea Democracy, dictatorship and the cultural transmission of political values. Discussion Paper #7741/2013 IZA Discussion paper

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)

Tonga Uriarte, Yesim The State Theatres in Turkey: Analyses on Valuation and the Management Model. In: 4th Annual International Conference on Visual and Performing Arts, June 3-6, 2013, Athens, Greece pp. 1-19. ISSN 2241-2891. (2013)

Tonga Uriarte, Yesim Th State Theatres in Turkey: Analysis on the Management Model and Valuation. In: 6th European Workshop on Applied Cultural Economics, September 5-7, 2013, Ljubljana, Slovenia (Unpublished) (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)

Tramonti, Francesco and Barsanti, Ilaria and Ghicopulos, Irene and Bogliolo, Corrado and Pietrini, Pietro Family functioning and caregiver burden in Alzheimer’s disease. Family Science, 4 (1). pp. 161-168. ISSN 1942-4620 (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)

Tütek, Hülya and Seven, Ünal An application of the cusp catastrophe theory to the Istanbul stock exchange crash of 2008. Iktisat Isletme ve Finans, 28 (330). pp. 41-60. ISSN 1300-610X (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)

Van den Bergh, Roger and Giannaccari, Andrea Behavioral economics: un attore non (ancora) protagonista sulla scena antitrust (italian translation). Mercato Concorrenza Regole, XV (1). pp. 5-40. ISSN 1590-5128 (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)

Zanon, Mario and Frasch, J. V. and Diehl, Moritz Nonlinear Moving Horizon Estimation for combined state and friction coefficient estimation in autonomous driving. In: European Control Conference (ECC), July 17-19, 2013, Zurich, Switzerland pp. 4130-4135. ISBN 978-3-033-03962-9. (2013)

Zanon, Mario and Gros, Sebastien and Andersson, Joel and Diehl, Moritz Airborne Wind Energy Based on Dual Airfoils. IEEE Transactions on Control Systems Technology, 21 (4). pp. 1215-1222. ISSN 1063-6536 (2013)

Zanon, Mario and Gros, Sebastien and Diehl, Moritz A Lyapunov function for periodic economic optimizing Model Predictive Control. In: 52nd Conference on Decision and Control, December 10-13, 2013, Florence, Italy pp. 5107-5112. ISSN 0191-2216. ISBN 978-1-4673-5717-3. (2013)

Zanon, Mario and Gros, Sébastien and Diehl, Moritz Model Predictive Control of Rigid-Airfoil Airborne Wind Energy Systems. In: Airborne Wind Energy. Green Energy and Technology . Springer, pp. 219-233. ISBN 978-3-642-39965-7 (2013)

Zanon, Mario and Gros, Sébastien and Diehl, Moritz Rotational start-up of tethered airplanes based on nonlinear MPC and MHE. In: European Control Conference (ECC), July 17-19, 2013, Zurich, Switzerland pp. 1023-1028. ISBN 978-3-033-03962-9. (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)