IL PORTALE per la RICERCA dei DIPARTIMENTI

BRUNI R, CORRADINI A, GADDUCCI F (2012) "A Conceptual Framework for Adaptation"

Girolami M, Chessa S (2012) "A Cost-Based Model for Service Discovery in Smart Environments"

S. Chessa, C. Gallicchio, Micheli A, S. Pelagatti. (2012) "A General Purpose Distributed Learning Model for Robotic Ecologies"

Micheli A (2012) "A Generative Multiset Kernel for Structured Data"

PEDRESCHI D, RUGGIERI S, TURINI F (2012) "A Study of Top-K Measures for Discrimination Discovery"

Grossi R, Pisanti N (2012) "A TASTE OF YEAST MOBILOMICS"

Morelli D (2012) "A compositional model to characterize software and hardware from their resource usage"

DANELUTTO M. (2012) "A language-independent parallel refactoring framework"

BRUNI R (2012) "A new strategy for distributed compensations with interruption in long-running transactions"

Torquati M. (2012) "A parallel edge preserving algorithm for salt and pepper image denoising"

Anna Monreale, Dino Pedreschi (2012) "AUDIO: An Integrity Auditing Framework of Outlier-Mining-as-a-Service Systems"

A. Micheli (2012) "Adaptive modelling of structured molecular representations for toxicity prediction"

DANELUTTO M, TORQUATI M (2012) "An Efficient Unbounded Queue for Multi-Core Systems"

CHESSA S (2012) "An Optimal Design Testing Assignment for Wireless Sensor Networks"

TORQUATI M (2012) "An efficient unbounded lock-free queue for multi-core systems"

M. Torquati, M. Vanneschi (2012) "An innovative compilation tool-chain for embedded multi-core architectures"

BRUNI R, CORRADINI A, FERRARI G (2012) "Applying Process Analysis to the Italian eGovernment Enterprise Architecture"

Ferragina P (2012) "Classification of Short Texts by Deploying Topical Annotations"

Anna Monreale (2012) "Classifying Trust/Distrust Relationships in Online Social Networks"

BERNASCONI A (2012) "Compact OBDDs for 2D-Reducible Functions"

VENTURINI R (2012) "Compressed String Dictionary Look-up with Edit Distance One"

RUGGIERI S (2012) "Computational complexity of inclusion queries over polyhedral sets"

BRUNI R (2012) "Connector algebras, Petri nets, and BIP"

Gallicchio C, Micheli A (2012) "Constructive Reservoir Computation with Output Feedbacks for Structured Domains"

Bodei C (2012) "Control Flow Analysis of Generalised Boolean Networks"

RUGGIERI S (2012) "Deciding Membership in a Class of Polyhedra"

Degano P (2012) "Differential Privacy: on the trade-o between Utility and Information Leakage"

RUGGIERI S., TURINI F. (2012) "Discovering Gender Discrimination in Project Funding"

GROSSI R., PISANTI N (2012) "Efficient bubble enumeration in directed graphs"

VENTURINI R (2012) "Efficient query recommendations in the long tail via center-piece subgraphs"

Scutellà MG (2012) "Energy saving heuristics in Backbone Networks"

BERNASCONI A (2012) "Error-resilient BDDs: a preliminary study"

BRUNI R (2012) "Evaluating the performance of model transformation styles in Maude"

BRUNI R (2012) "First-Order Dynamic Logic for Compensable Processes"

Bodei C, Degano P, Ferrari G, Galletta L, Mezzetti G (2012) "Formalising Security in Ubiquitous and Cloud Scenarios"

Galli L (2012) "Gap inequalities for the max-cut problem: a cutting-plane algorithm"

Pagli L, Prencipe G (2012) "Getting Close Without Touching"

BRUNI R (2012) "Graph representation of sessions and pipelines for structured service programming"

Chessa S, Pelagatti S (2012) "Guaranteed-Delivery in Arbitrary Dimensional Wireless Sensor Networks by means of Recursive Virtual Coordinates"

Rossano Venturini (2012) "How Random Walks Can Help Tourism"

Anna Monreale, Dino Pedreschi (2012) "Injecting Discrimination and Privacy Awareness Into Pattern Discovery"

Micheli A (2012) "Input-Output Hidden Markov Models for Trees"

VENTURINI R (2012) "Making your interests follow you on twitter"

Danelutto M, Montangero C, Semini L (2012) "Model checking support for conflict resolution in multiple non-functional concern management"

Bruni R, Corradini A, Gadducci F (2012) "Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude"

Matteo Sammartino (2012) "Network Conscious pi-calculus: A Concurrent Semantics"

DANELUTTO M (2012) "Network monitoring on multicores with algorithmic skeletons"

Degano P, Ferrari G, Mezzetti G (2012) "Nominal automata for resource usage control"

Massimo Torquati (2012) "On Parallelizing On-Line Statistics for Stochastic Biological Simulations"

Chessa S (2012) "Optimization of Quality of Service in Wireless Sensor Networks Powered by Solar Cells"

DANELUTTO M, TORQUATI M. (2012) "Parallel patterns + Macro Data Flow for multi-core programming"

A. Monreale, D. Pedreschi (2012) "Privacy-preserving Mining of Association Rules from Outsourced Transaction Databases"

BERNASCONI A (2012) "Projected Don't Cares"

A. Brogi (2012) "Research Challenges on Multi-layer and Mixed-Initiative Monitoring and Adaptation for Service-Based Systems"

Chessa S, Micheli A (2012) "Robotic UBIquitous COgnitive Network"

Gian-Luigi Ferrari (2012) "Security in pervasive computing"

RUGGIERI S (2012) "Subtree Replacement in Decision Tree Simplification"

Prencipe G (2012) "The Power of Lights: Synchronizing Asynchronous Robots Using Visible Bits"

Ferragina P (2012) "Topical clustering of search results"

A. Brogi (2012) "Towards Behaviour-Aware Compositions of Things in the Future Internet."

MILAZZO P (2012) "Towards Modular Verification of Pathways: Fairness and Assumptions"

Degano P, Ferrari G, GALLETTA L, Mezzetti G (2012) "Types for Coordinating Secure Behavioural Variations"

Ferrari G (2012) "Typing Context-Dependent Behavioural Variation"

Gallicchio C, Micheli A, Chessa S (2012) "User Movements Forecasting by Reservoir Computing using Signal Streams produced by Mote-Class Sensors"

BERNASCONI A (2012) "Weighted don't cares"

Chessa S (2012) "When Wireless Sensor Networks Meet Robots"

GALLETTA L (2012) "A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation"

TORQUATI M (2012) "High-level lock-less programming for muticore"

S. Chessa, C. Gallicchio, A. Micheli (2012) "Robotic UBIquitous COgnitive Networks"