Conference paper

Bánhelyi, Balázs and Biazzini, Marco and Montresor, Alberto and Jelasity, Márk (2009) Peer-to-peer Optimization in Large Unreliable Networks with Branch-and-Bound and Particle Swarms. Lecture Notes in Computer Science; 5484 . Heidelberg : Springer Verlag, pp. 87-92. ISBN 978-3-642-01128-3

Departmental Technical Report

Abdel-Nabi, Sameh and Chayka, Oleksiy and Giorgini, Paolo (2009) BarterCell: an Agent-based Bartering Service for Users of Pocket Computing Devices. UNSPECIFIED. (Unpublished)

Abeni, Luca and Kiraly, Csaba and Lo Cigno, Renato (2009) Achieving Performance and Robustness in P2P Streaming Systems. UNSPECIFIED. (Unpublished)

Abeni, Luca and Kiraly, Csaba and Lo Cigno, Renato (2009) Achieving Performance and Robustness in P2P Streaming Systems. UNSPECIFIED. (Unpublished)

Abeni, Luca and Kiraly, Csaba and Lo Cigno, Renato (2009) Achieving Performance and Robustness in P2P Streaming Systems. UNSPECIFIED. (Unpublished)

Ali, Raian and Franzen, Anders and Griggio, Alberto and Giorgini, Paolo (2009) Modeling and Analyzing Contextual Requirements. UNSPECIFIED. (Unpublished)

Artale, Alessandro and Crispo, Bruno and Giunchiglia, Fausto and Zhang, Rui (2009) A Formal Perspective on Relation Based Access Control. UNSPECIFIED. (Submitted)

Asnar, Yudistira and Lim, Hoon Wei and Massacci, Fabio and Worledge, Claire (2009) Realizing Trustworthy Business Services by a New GRC Approach. UNSPECIFIED. (In Press)

Autayeu, Aliaksandr and Giunchiglia, Fausto and Andrews, Pierre and Ju, Qi (2009) Lightweight Parsing of Natural Language Metadata. UNSPECIFIED.

Autayeu, Aliaksandr and Maltese, Vincenzo and Andrews, Pierre (2009) Best Practices for Ontology Matching Tools Evaluation. UNSPECIFIED.

Baez, Marcos and Birukou, Aliaksandr and Chenu, Ronald and Medo, Matus and Osman, Nardine and Ponte, Diego and Sabater-mir, Jordi and Schneider, Luc and Turrini, Matteo and Veltri, Giuseppe and Wakeling, Joseph Rushton and Xu, Hao (2009) State of the Art in Scientific Knowledge Creation, Dissemination, Evaluation and Maintenance. UNSPECIFIED. (Unpublished)

Bartoletti, Massimo and Degano, Pierpaolo and Ferrari, Gian Luigi and Zunino, Roberto (2009) ν-types for effects and freshness analysis. UNSPECIFIED.

Bartoletti, Massimo and Zunino, Roberto (2009) A Calculus of Contracting Processes. UNSPECIFIED.

Bartoletti, Massimo and Zunino, Roberto (2009) A Calculus of Contracting Processes. UNSPECIFIED.

Bartoletti, Massimo and Zunino, Roberto (2009) A Logic for Contracts. UNSPECIFIED. (Unpublished)

Bartoletti, Massimo and Zunino, Roberto (2009) A Logic for Contracts. UNSPECIFIED.

Battiti, Roberto and Passerini, Andrea (2009) Brain-Computer Evolutionary Multi-Objective Optimization (BC-EMO): a genetic algorithm adapting to the decision maker. UNSPECIFIED. (Unpublished)

Bazzanella, Barbara and Bouquet, Paolo and Stoermer, Heiko (2009) A Cognitive Contribution to Entity Representation and Matching. UNSPECIFIED. (Submitted)

Benedetti, Manuel and Lesselier, Dominique and Lambert, Marc and Massa, Andrea (2009) A Multi-Resolution Technique Based on Shape Optimization for the Reconstruction of Homogeneous Dielectric Objects. UNSPECIFIED.

Benedetti, Manuel and Oliveri, Giacomo and Rocca, Paolo and Massa, Andrea (2009) A Fully-Adaptive Smart Antenna Protype: Ideal Model and Experimental Validation in Complex Interference Scenarios. UNSPECIFIED.

Beyer, Dirk and Cimatti, Alessandro and Griggio, Alberto and Keremoglu, M. Erkan and Sebastiani, Roberto (2009) Software Model Checking via Large-Block Encoding. UNSPECIFIED. (Unpublished)

Birukou, Aliaksandr and Blanzieri, Enrico (2009) A model of culture for software. UNSPECIFIED. (Submitted)

Birukou, Aliaksandr and Blanzieri, Enrico and Giorgini, Paolo (2009) Implicit Culture Framework for behavior transfer. UNSPECIFIED. (Unpublished)

Birukou, Aliaksandr and Blanzieri, Enrico and Giorgini, Paolo and Giunchiglia, Fausto (2009) A Formal Definition of Culture. UNSPECIFIED.

Birukou, Aliaksandr and Blanzieri, Enrico and Giorgini, Paolo and Giunchiglia, Fausto (2009) A formal definition of culture of a set of agents: the version without states. UNSPECIFIED. (Unpublished)

Boato, Giulia and Fontanari, Claudio and Giunchiglia, Fausto and G.B. De Natale, Francesco (2009) Glocal Multimedia Retrieval. UNSPECIFIED. (Submitted)

Báez, Marcos and Casati, Fabio and Marchese, Maurizio (2009) Universal Resource Lifecycle Management. UNSPECIFIED. (Submitted)

Casati, Fabio and Marchese, Maurizio and Ragone, Azzurra and Turrini, Matteo (2009) Is peer review any good? A quantitative analysis of peer review. UNSPECIFIED.

Chopra, Amit K. and Dalpiaz, Fabiano and Giorgini, Paolo and Mylopoulos, John (2009) Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments. UNSPECIFIED. (Unpublished)

Chopra, Amit K. and Singh, Munindar P. and Oren, Nir and Miles, Simon and Luck, Michael and Modgil, Sanjay and Desai, Nirmit (2009) Analyzing Contract Robustness through a Model of Commitments. UNSPECIFIED. (Unpublished)

Dalpiaz, Fabiano and Giorgini, Paolo and Mylopoulos, John (2009) An Architecture for Requirements-driven Self-reconfiguration. UNSPECIFIED. (Unpublished)

Demir, Begüm and Persello, Claudio and Bruzzone, Lorenzo (2009) Batch Mode Active Learning Methods for the Interactive Classification of Remote Sensing Images. UNSPECIFIED. (Submitted)

Denecke, Kerstin and Tsytsarau, Mikalai and Palpanas, Themis and Brosowski, Marko (2009) Topic-related Sentiment Analysis for Discovering Contradicting Opinions in Weblogs. UNSPECIFIED. (Unpublished)

Donelli, Massimo and Martini, Anna and Massa, Andrea (2009) A Hybrid Approach Based on PSO and Hadamard Difference Sets for the Synthesis of Square Thinned Arrays. UNSPECIFIED.

Donelli, Massimo and Viani, Federico and Rocca, Paolo and Massa, Andrea (2009) An Innovative Multi-Resolution Approach for DOA Estimation based on a Support Vector Classification. UNSPECIFIED.

Dutta, Biswanath and P. Madalli, Devika and Prasad, A. R. D. (2009) Ontology Supported Personalized eLearning Repositories. UNSPECIFIED.

Gheorghe, Gabriela and Montresor, Alberto and Lo Cigno, Renato (2009) Security and Privacy Issues in P2P Streaming Systems: A Survey. UNSPECIFIED. (Unpublished)

Giunchiglia, Fausto and ChenuAbente, Ronald (2009) Scientific Knowledge Objects v.1. UNSPECIFIED. (Submitted)

Giunchiglia, Fausto and Dutta, Biswanath and Maltese, Vincenzo (2009) Faceted lightweight ontologies. UNSPECIFIED.

Giunchiglia, Fausto and Farazi, Feroz and Tanca, Letizia and De Virgilio, Roberto (2009) The Semantic Web Languages. UNSPECIFIED. (Unpublished)

Giunchiglia, Fausto and Farazi, Feroz and Tanca, Letizia and De Virgilio, Roberto (2009) The SemanticWeb Languages. UNSPECIFIED. (In Press)

Giunchiglia, Fausto and Kharkevich, Uladzimir and Hume, Alethia (2009) Semantic Flooding: Semantic Search across Distributed Lightweight Ontologies. UNSPECIFIED. (Unpublished)

Giunchiglia, Fausto and Kharkevich, Uladzimir and Noori, S.R.H (2009) P2P Concept Search: Some Preliminary Results. UNSPECIFIED.

Giunchiglia, Fausto and Maltese, Vincenzo and Farazi, Feroz and Dutta, Biswanath (2009) GeoWordNet: a resource for geo-spatial applications. UNSPECIFIED.

Giunchiglia, Fausto and Maltese, Vincenzo and Madalli, Devika and Baldry, Anthony and Wallner, Cornelia and Lewis, Paul and Denecke, Kerstin and Skoutas, Dimitris and Marenzi, Ivana (2009) Foundations for the representation of diversity, evolution, opinion and bias. UNSPECIFIED. (Unpublished)

Giunchiglia, Fausto and Soergel, Dagobert and Maltese, Vincenzo and Bertacco, Alessandro (2009) Mapping large-scale Knowledge Organization Systems. UNSPECIFIED.

Griggio, Alberto and Sebastiani, Roberto and Tomasi, Silvia (2009) Stochastic Local Search for SMT: a Preliminary Report. UNSPECIFIED. (Submitted)

Kharkevich, Uladzimir (2009) Automatic Generation of a Large Scale Semantic Search Evaluation Data-Set. UNSPECIFIED.

Krapivin, Mikalai and Autaeu, Aliaksandr and Marchese, Maurizio (2009) Large Dataset for Keyphrases Extraction. UNSPECIFIED. (Unpublished)

Lo Cigno, Renato and Ciccarelli, Gianluca (2009) Collusion in Peer-to-Peer Systems. UNSPECIFIED. (Unpublished)

Malossini, Andrea and Segata, Nicola and Blanzieri, Enrico (2009) Kernel Integration using von Neumann Entropy. UNSPECIFIED. (Unpublished)

Maltese, Vincenzo and Giunchiglia, Fausto and Denecke, Kerstin and Lewis, Paul and Wallner, Cornelia and Baldry, Anthony and Madalli, Devika (2009) On the interdisciplinary foundations of diversity. UNSPECIFIED.

Manica, Luca and Rocca, Paolo and Benedetti, Manuel and Massa, Andrea (2009) A Fast Graph-Searching Algorithm Enabling the Efficient Synthesis of Sub-Arrayed Planar Monopulse Antennas. UNSPECIFIED.

Manica, Luca and Rocca, Paolo and Massa, Andrea (2009) An Excitation Matching Procedure for Sub-Arrayed Monopulse Arrays with Maximum Directivity. UNSPECIFIED.

Martini, Anna and Franceschetti, Massimo and Massa, Andrea (2009) Physical limits to the capacity of wide-band Gaussian MIMO channels. UNSPECIFIED.

Massacci, Fabio and Siahaan, Ida (2009) Automata Modulo Theory (AMT). UNSPECIFIED. (Unpublished)

Massacci, Fabio and Siahaan, Ida (2009) Inclusion Matching Implementation of Automata Modulo Theory (AMT). UNSPECIFIED. (Unpublished)

Massacci, Fabio and Siahaan, Ida (2009) Simulation Matching Implementation of Automata Modulo Theory (AMT). UNSPECIFIED. (Unpublished)

McNeill, Fiona and Besana, Paolo and Pane, Juan and Giunchiglia, Fausto (2009) Service Integration through Structurepreserving Semantic Matching. UNSPECIFIED.

Morris, Alexis (2009) Socio-Technical Systems in ICT: A Comprehensive Survey. UNSPECIFIED. (Unpublished)

Morshed, Ahsan-ul and Sini, Margherita (2009) Creating and Aligning Controlled Vocabularies. UNSPECIFIED.

Neuhaus, Stephan and Zimmermann, Thomas (2009) The Beauty and the Beast: Vulnerabilities in Red Hat’s Packages. UNSPECIFIED. (Unpublished)

Oliveri, Giacomo and Donelli, Massimo and Massa, Andrea (2009) Linear Array Thinning Exploiting Almost Difference Sets. UNSPECIFIED.

Oliveri, Giacomo and Manica, Luca and Massa, Andrea (2009) On the Impact of Mutual Coupling Effects on the PSL Performances of ADS Thinned Arrays. UNSPECIFIED.

Palopoli, Luigi and Passerone, Roberto and Toldo, Paolo (2009) Efficient coverage optimization in energy-constrained Wireless Sensor Networks. UNSPECIFIED. (Unpublished)

Pane, Juan and Sierra, Carles and Trecarichi, Gaia and Marchese, Maurizio and Besana, Paolo and McNeill, Fiona (2009) D4.9: Summative report on GEA, trust and reputation: integration and evaluation results. UNSPECIFIED.

Piotto, N. and Conci, N. and De Natale, F.G.B. (2009) Syntactic matching of trajectories for ambient intelligence applications. UNSPECIFIED. (Unpublished)

Poli, Lorenzo and Rocca, Paolo and Manica, Luca and Massa, Andrea (2009) Handling SidebandRadiations in Time-Modulated Arrays through Particle Swarm Optimization. UNSPECIFIED.

Povoli, Marco (2009) Superficial breakdown analysis in 3d detectors and in active-edge planar detectors through TCAD simulations. UNSPECIFIED. (Unpublished)

Rocca, Paolo and Benedetti, Manuel and Donelli, Massimo and Franceschini, Davide and Massa, Andrea (2009) Evolutionary Optimization as Applied to Inverse Scattering Problems. UNSPECIFIED.

Rocca, Paolo and Donelli, Massimo and Gragnani, Gian Luigi and Massa, Andrea (2009) Iterative Multi-Resolution Retrieval of Non-Measurable Equivalent Currents for Imaging of Dielectric Objects. UNSPECIFIED.

Rocca, Paolo and Manica, Luca and Martini, Anna and Massa, Andrea (2009) Design of Compromise Sum-Difference Patterns through the Iterative Contiguous Partition Method. UNSPECIFIED.

Rocca, Paolo and Manica, Luca and Massa, Andrea (2009) An Improved Excitation Matching Method based on an Ant Colony Optimization for Suboptimal-Free Clustering in Sum-Difference Compromise Synthesis. UNSPECIFIED.

Rocca, Paolo and Manica, Luca and Poli, Lorenzo and Massa, Andrea (2009) Synthesis of Compromise Sum-DifferenceArrays through Time-Modulation. UNSPECIFIED.

Sebastiani, Roberto and Vescovi, Michele (2009) Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis. UNSPECIFIED. (Unpublished)

Segata, Nicola (2009) FaLKM-lib v1.0: A Library for Fast Local Kernel Machines. UNSPECIFIED. (Unpublished)

Segata, Nicola and Blanzieri, Enrico (2009) Fast and Scalable Local Kernel Machines. UNSPECIFIED. (Unpublished)

Segata, Nicola and Blanzieri, Enrico (2009) Operators for transforming kernels into quasi-local kernels that improve SVM accuracy. UNSPECIFIED. (In Press)

Sgorlon, Stefano (2009) A SAT-based tool for solving configuration problems. UNSPECIFIED. (Unpublished)

Shvaiko, Pavel and Giunchiglia, Fausto and Yatskevich, Mikalai (2009) Semantic matching with S-Match. UNSPECIFIED. (In Press)

Trecarichi, Gaia and Rizzi, Veronica and Vaccari, Lorenzino and Marchese, Maurizio (2009) D6.8: Summative report on the use of OpenKnowledge framework in e-Response: integration and evaluation results. UNSPECIFIED.

Trecarichi, Gaia and Rizzi, Veronica and Vaccari, Lorenzino and Marchese, Maurizio and Besana, Paolo (2009) OpenKnowledge at work: exploring centralized and decentralized information gathering in emergency contexts. UNSPECIFIED. (Submitted)

Tsytsarau, Mikalai and Palpanas, Themis and Denecke, Kerstin and Brosowski, Marko (2009) Scalable Discovery of Contradicting Opinions in Weblogs. UNSPECIFIED. (Unpublished)

Vaccari, Lorenzino and Pane, Juan and Shvaiko, Pavel and Marchese, Maurizio and Giunchiglia, Fausto and Besana, Paolo and McNeill, Fiona (2009) D3.7 Summative report on matching implementation and benchmarking results. UNSPECIFIED.

Zhang, Rui (2009) Design-time and Run-time Reasoning with RelBAC. UNSPECIFIED. (Submitted)

Zhang, Rui and Artale, Alessandro and Giunchiglia, Fausto and Crispo, Bruno (2009) Using Description Logics in Relation Based Access Control. UNSPECIFIED.

Zhao, Yuting and Wang, Kewen and Topor, Rodney and Pan, Jeff Z. and Giunchiglia, Fausto (2009) Building Heterogeneous Multi-context Systems by Semantic Bindings. UNSPECIFIED. (In Press)