IL PORTALE per la RICERCA dei DIPARTIMENTI

Girolami M (2013) "A Common Platform for AAL Services and a Common Future – The universAAL Project "

Roberto Barbuti, Paolo Milazzo (2013) "A Compositional Semantics of Reaction Systems with Restriction"

Roberto Grossi (2013) "A Constant-Space Comparison-Based Algorithm for Computing the Burrows-Wheeler Transform"

Stefano Chessa (2013) "A Data Logger forWireless Sensor Network"

Ferrari G (2013) "A Language-based Approach to Autonomic Computing"

DANELUTTO M., TORQUATI M. (2013) "A RISC building block set for structured parallel programming"

Marco Cornolti, Paolo Ferragina (2013) "A framework for benchmarking entity-annotation systems."

Cintia P (2013) "A gravity model for speed estimation over road network."

Fabrizio Baiardi (2013) "A hierarchical, autonomous, and forecasting cloud IDS"

Michele Girolami, Stefano Chessa (2013) "A social-based service discovery protocol for mobile Ad Hoc networks"

BRUNI R (2013) "A survey on basic connectors and buffers"

BRUNI R, CORRADINI A, GADDUCCI F (2013) "Adaptable Transition Systems"

Paolo Milazzo (2013) "An Algorithm for the Identification of Components in Biochemical Pathways"

Chiara Bodei, Roberta Gori, Francesca Levi (2013) "An Analysis for Causal Properties of Membrane Interactions"

CHESSA S, Gallicchio C, MICHELI A (2013) "An Experimental Evaluation of Reservoir Computation for Ambient Assisted Living"

G. Mencagli, Vanneschi M (2013) "Analysis of Control-theoretic Predictive Strategies for the Adaptation of Distributed Parallel Computations"

Anna Monreale (2013) "Anonymity: A Comparison Between the Legal and Computer Science Perspectives"

Paolo Milazzo (2013) "Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models"

Mancarella P. (2013) "Argumentation and Propositional Logic"

Mancarella P. (2013) "Argumentation for Propositional Logic and Nonmonotonic Reasoning"

Danelutto M. (2013) "Autonomic scheduling of tasks from data parallel patterns to CPU/GPU core mixes"

Gadducci F., Monreale G.V. (2013) "Barbed semantics for open reactive systems"

A. Brogi (2013) "Behaviour-Aware Compositions of Things"

P. Ferragina, R. Venturini (2013) "Compressed Cache-Oblivious String B-tree"

VENTURINI R (2013) "Compressed static functions with applications"

Vincenzo Gervasi (2013) "Conflict characterization and Analysis of Non Functional Requirements: An experimental approach"

G. Mencagli, Vanneschi M (2013) "Control-theoretic Adaptation Strategies for Autonomic Reconfigurable Parallel Applications on Cloud Environments"

Simi M. (2013) "Converting Italian Treebanks: Towards an Italian Stanford Dependency Treebank"

Bellia M., Occhiuto M.E. (2013) "DNA Tiles, Wang Tiles and Combinators"

S. Ruggieri (2013) "Data Anonymity Meets Non-Discrimination"

R. Grossi (2013) "Design of Practical Succinct Data Structures for Large Data Collections"

Andrea Margheri (2013) "Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A Practical Approach"

Salvatore Trani (2013) "Dexter: an open source framework for entity linking"

Claudio Gallicchio, Stefano Chessa, Alessio Micheli, Susanna Pelagatti (2013) "Distributed Neural Computation over WSN in Ambient Intelligence"

Ricci L (2013) "DroidOppPathFinder: A Context and Social-Aware Path Recommender System Based on Opportunistic Sensing"

SARTIANO D (2013) "Drugs Don’t Work in Patients Who Don’t Take Them: Dr. Drin, The New ICT Paradigm For Chronic Therapies"

Roberto Grossi, Rossano Venturini (2013) "Dynamic Compressed Strings with Random Access"

Chessa S (2013) "Dynamic Tracking of Composite Events in Wireless Sensor Networks"

R. Grossi (2013) "Encodings for Range Selection and Top-k Queries"

Stefano Chessa (2013) "Energy management of networked, solar cells powered, wireless sensors"

P. Cintia, L. Pappalardo, D. Pedreschi (2013) "Engine Matters: A First Large Scale Data Driven Study on Cyclists' Performance"

Cintia P (2013) "Estimating time-dependent speed functions using a gravity model over road network"

T. De Matteis, G. Mencagli, Vanneschi M (2013) "Evaluation of Architectural Supports for Fine-Grained Synchronization Mechanisms"

F.Baiardi, F.Tonelli (2013) "GVScan: Scanning Networks for Global Vulnerabilities"

Antonio Cisternino (2013) "GestIT: A declarative and compositional framework for multiplatform gesture definition"

F. Baiardi (2013) "HA-CIDS: A Hierarchical and Autonomous IDS for Cloud Systems"

Ricci L, Guidi B. (2013) "HyVVE: A Voronoi Based Hybrid Architecture for Massively Multiplayer On-Line Games"

Gadducci F. (2013) "I documenti raccontano le storie delle CEP"

Ambriola V. (2013) "Il Cloud computing nella strategia europea: l’armonizzazione delle regole tecniche e giuridiche"

Cintia P (2013) "Inferring human activities from GPS tracks."

BRUNI R (2013) "LTS Semantics for Compensation-based Processes"

RUGGIERI S. (2013) "Learning from Polyhedral Sets"

Salvatore Trani (2013) "Learning relatedness measures for entity linking"

Prencipe G. (2013) "Linear Time Distributed Swap Edge Algorithms"

Andrea Margheri (2013) "Linguistic Abstractions for Programming and Policing Autonomic Computing Systems."

Giuseppe Attardi, Andrea Buzzelli and Daniele Sartiano (2013) "Machine Translation for Entity Recognition across Languages in Biomedical Documents"

A. Brogi, J. Soldani (2013) "Matching cloud services with TOSCA"

Bernasconi A. (2013) "Minimization of EP-SOPs via Boolean Relations"

BERNASCONI A (2013) "Minimization of P-Circuits using Boolean Relations"

Filippo Palumbo, Claudio Gallicchio, Stefano Chessa, Alessio Micheli (2013) "Multisensor Data Fusion for Activity Recognition Based on Reservoir ComputingEvaluating AAL Systems Through Competitive Benchmarking"

Andrea Margheri (2013) "On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data"

A. Monreale, G. Rossetti (2013) "On multidimensional network measures"

BODEI C, BRUNI R (2013) "Open Multiparty Interaction"

GROSSI R., PISANTI N (2013) "Optimal Listing of Cycles and st-Paths in Undirected Graphs"

Pagli L. (2013) "Optimal Network Decontamination with Threshold Immunity"

Ricci L., Guidi B. (2013) "P2P architectures for distributed online social networks"

DANELUTTO M, LAMETTI S, TORQUATI M (2013) "Parallel Patterns for General Purpose Many-Core "

Massimo Torquati (2013) "Parallel Stochastic Simulators in System Biology: The Evolution of the Species"

Danelutto M (2013) "Paraphrasing: Generating parallel programs using refactoring"

Roberto Grossi (2013) "Pattern Discovery and Listing in Graphs"

F. Pratesi, A. Monreale, D. Pedreschi (2013) "Privacy-Aware Distributed Mobility Data Analytics"

Anna Monreale, Francesca Pratesi, Dino Pedreschi (2013) "Privacy-Preserving Distributed Movement Data Aggregation"

F.Baiardi, F.Tonelli (2013) "QSec: Supporting Security Decisions on an IT Infrastructure"

Letizia Milli, Anna Monreale, Giulio Rossetti, Dino Pedreschi (2013) "Quantification Trees"

G. Mencagli, Vanneschi M (2013) "Reconfiguration Stability of Adaptive Distributed Parallel Applications through a Cooperative Predictive Control Approach"

Gadducci F. (2013) "Rediscovering the very first Italian digital computer"

Antonio Brogi (2013) "Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things"

Pierpaolo Degano, Davide Basile, Gian-Luigi Ferrari (2013) "Secure and Unfailing Services"

Ricci L (2013) "Sensor Mobile Enablement(SME): a Light-Weight Standard for Opportunistic Sensing Service"

Ricci L. (2013) "Service Selection and Composition in opportunistic Networks"

Gadducci F., Monreale G.V. (2013) "Soft constraints for lexicographic orders"

Susanna Pelagatti (2013) "Software per insegnamento precoce a banbini con sindrome autistica: ABCD_SW"

Cozza V (2013) "Spatio-Temporal Keyword Queries in Social Networks"

Sonia Campa, Massimo Torquati (2013) "Structured Data Access Annotations for Massively Parallel Computations"

GORI R (2013) "Symbolic Path-Oriented Test Data Generation for Floating-Point Programs"

TORQUATI M (2013) "Targeting distributed systems in FastFlow"

Michele Girolami, Filippo Palumbo, Stefano Chessa (2013) "The Integration of ZigBee with the GiraffPlus Robotic FrameworkEvolving Ambient Intelligence"

DANELUTTO M (2013) "The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems "

Ricci L. (2013) "Toward Community Driven Interest Management for Distributed Virtual Environments"

Ricci L. (2013) "Towards Group Protocol Formalization"

Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti (2013) "Towards Nominal Context-Free Model-Checking"

Antonio Brogi (2013) "Towards Run-Time Verification of Compositions in the Web of Things using Complex Event Processing"

Campa S, Danelutto M, Torquati M (2013) "Towards the deployment of FastFlow on distributed virtual architectures"

Corradini A. (2013) "Transformation Systems with Incremental Negative Application Conditions"

Gadducci F. (2013) "Using old computers for teaching computer science"

Gadducci F. (2013) "Validating reconfigurations of Reo circuits in an e-banking scenario"

BERNASCONI A (2013) "Error Resilient OBDDs"

TORQUATI M (2013) "Memory affinity in multi-threading: the Bowtie2 case study"

Attardi G. (2013) "Pre-reordering for machine translation using transition-based walks on dependency parse trees"

M.F. Zini, N. Pisanti (2013) "Preclinical data for cerebral stroke: A Knowledge Base for collecting, processing and analysing biological data derived from animal models of cerebral stroke"