IL PORTALE per la RICERCA dei DIPARTIMENTI

W. Cazzola, E. Vacchi (2013) "@Java: annotations in freedom"

M. Anisetti, C.A. Ardagna, E. Damiani (2013) "A Java-based certification framework for service compositions"

M. Frasca, A. Bertoni (2013) "A Neural Procedure for Gene Function Prediction"

B. Apolloni (2013) "A comparison between the use of ESNN on Long Stereo-EEG Recordings and their largest Lyapunov exponent profiles for epileptic brain analysis"

S. Ferrari, V. Piuri (2013) "A data approximation based approach to photovoltaic systems maintenance"

A. Ferrara (2013) "A decade of research in Statistics : a topic model approach"

C. Mereghetti, B. Palano (2013) "A direct construction of finite state automata for pushdown store languages"

E. Damiani (2013) "A discussion of privacy challenges in user profiling with big data techniques : the EEXCESS use case"

B. Apolloni (2013) "A discussion on trust requirements for a social network of Eahoukers"

B. Apolloni (2013) "A domestic application of intelligent social computing: the SandS Project."

M. Frasca (2013) "A neural network based algorithm for gene expression prediction from chromatin structure"

D. Riboni, C. Bettini (2013) "A platform for privacy-preserving geo-social recommendation of points of interest"

S. Mascetti, L. Bertolaja, C. Bettini (2013) "A practical location privacy attack in proximity services"

R. Donida Labati, R. Sassi, F. Scotti (2013) "A preliminary study on continuous authentication methods for photoplethysmographic biometrics"

S. Cimato, E. Damiani (2013) "A scalable multi-party protocol for privacy-preserving equality test"

A. Baratè, L.A. Ludovico, E. Santucci (2013) "A semantics-driven approach to lyrics segmentation"

C. Fiorentini (2013) "A terminating evaluation-driven variant of G3i"

L. Capra (2013) "A tool for symbolic manipulation of arc functions in symmetric net models"

R. Donida Labati, A. Genovese, V. Piuri, F. Scotti (2013) "A virtual environment for the simulation of 3D wood strands in multiple view systems for the particle size measurements"

E. Damiani, S. Cimato (2013) "AS5 : a secure searchable secret sharing scheme for privacy preserving database outsourcing"

R. Donida Labati, A. Genovese, V. Piuri, F. Scotti (2013) "Accurate 3D fingerprint virtual environment for biometric technology evaluations and experiment design"

R. Jhawar, V.Piuri (2013) "Adaptive resource management for balancing availability and performance in Cloud computing"

V. Piuri (2013) "Agile online-trained neural network models by using Robust Fixed Point Transformations"

A. Baratè, L.A. Ludovico (2013) "Algorithmic generation of music tunes for an iPhone® game"

L.A. Ludovico (2013) "An XML-based Web interface to present and analyze the music aspect of dance"

E. Damiani, G. Sissa (2013) "An agent based model of environmental awareness and limited resource consumption"

G. Sissa (2013) "An awareness based approach to avoid rebound effects in ICTs"

N.A. Borghese (2013) "An evaluation of the effects on postural stability of a force feedback rendered by a low-cost haptic device in various tasks"

L. Capra (2013) "An extension of the interpreter pattern to define domain-parametric rewriting systems"

Michele Pirovano (2013) "An intelligent game engine for the at-home rehabilitation of stroke patients"

D. Malchiodi (2013) "An interpretation of the boundary movement method for imbalanced dataset classification based on data quality"

D. Marini (2013) "Analysis of brain activity and response to colour stimuli during learning tasks : an EEG study"

S. Valtolina (2013) "ArchMatrix : knowledge management and visual analytics for archaeologists"

M. Malcangi (2013) "Audio data fuzzy fusion for source localization"

M. Malcangi (2013) "Audio-visual fuzzy fusion for robust speech recognition"

E. Pagani (2013) "Autonomic cognitive-based data dissemination in Opportunistic Networks"

C. Mereghetti, B. Palano (2013) "Boolean language operations on nondeterministic automata with a pushdown of constant height"

V. Bellandi, P. Ceravolo, E. Damiani, J. Maggesi, G. Lena Cota (2013) "Boosting the innovation process in collaborative environments"

C. Bonanomi, A. Rizzi (2013) "Chromaticity limits in color constancy calculations"

E. Damiani (2013) "Clause anaphora resolution for japanese demonstrative determiner based on semantic similarity between different part-of-speech"

N. Basilico (2013) "Cognitive computing systems: Algorithms and applications for networks of neurosynaptic cores"

C. Bonanomi, D. Gadia, A. Rizzi (2013) "Colore e colorimetria - contributi multidisciplinari Vol IX A"

E. Riccobene (2013) "Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism"

R. Cordone (2013) "Compact and decentralized supervisors for general constraint enforcement in Petri net models"

R. Cordone (2013) "Compact supervisors for general constraint enforcement in Petri net models with uncontrollable transitions"

S. Ferrari, V. Piuri (2013) "Computational intelligence models for solar radiation prediction"

I. Frosio (2013) "Conic Based Camera Re-calibration after Zooming"

A. Azzini, P. Ceravolo (2013) "Consistent process mining over big data triple stores"

S. Cimato (2013) "Constrained role mining"

R. Donida Labati, A. Genovese, V. Piuri, F. Scotti (2013) "Contactless fingerprint recognition : a neural approach for perspective and rotation effects reduction"

E. Pagani, G.P. Rossi (2013) "Content dissemination on location-based communities : a comparative analysis"

W. Cazzola (2013) "Context traits: dynamic behaviour adaptation through run-time trait recomposition"

M. Malcangi (2013) "Data Fusion from Sensors for Context-aware, Healthcare-management Systems"

E. Damiani (2013) "Digital eco-system for online shopping"

S. De Capitani di Vimercati, S. Foresti, P. Samarati (2013) "Distributed shuffling for preserving access confidentiality"

R. Donida Labati, R. Sassi, F. Scotti (2013) "ECG biometric recognition : permanence analysis of QRS signals for 24 hours continuous authentication"

C.A. Ardagna, E. Damiani, K.A. Sagbo (2013) "Early assessment of service performance based on simulation"

V. Ciriani (2013) "Error resilient OBDDs"

D. Maggiorini, L.A. Ripamonti (2013) "Evaluating design constraints for proximity-based games in a real urban topology"

V. Bellandi, P. Ceravolo, E. Damiani, J. Maggesi (2013) "Exploiting participatory design in open innovation factories"

S. De Capitani di Vimercati, S. Foresti, G. Livraga, P. Samarati (2013) "Extending loose associations to multiple fragments"

G. Grossi, R. Lanzarotti (2013) "Face recognition in uncontrolled conditions using sparse representation and local features"

W. Cazzola, E. Vacchi (2013) "Fine-grained annotations for pointcuts with a finer granularity"

W. Cazzola (2013) "Fine-grained software evolution using UML activity and class models"

C. Fiorentini, A. Momigliano (2013) "Focusing on contraction"

D. Maggiorini, L. Ripamonti (2013) "Follow the leader : a scalable approach for realistic group behavior of roaming NPCs in MMO games"

N. Cesa-Bianchi (2013) "From bandits to experts : a tale of domination and independence"

D. Maggiorini, L. Ripamonti, M. Trubian (2013) "GOLEM : generator of life embedded into MMOs"

D. Maggiorini, L.A. Ripamonti (2013) "Geo-anchored floating data for mobile users"

L. Bertolaja, D. Ahmetovic, S. Mascetti (2013) "Gonio, aequus and incognitus: Three spatial granularities for privacy-aware systems"

M. Zignani, S. Gaito, G.P. Rossi (2013) "How many places do you visit a day?"

A. Lanzi (2013) "Hypervisor Memory Forensics"

M. Pirovano, R. Mainetti, N.A. Borghese (2013) "IGER : a game engine specifically tailored to rehabilitation"

N.A. Borghese, M. Pirovano, R. Mainetti (2013) "IGER: an intelligent game engine for rehabilitation"

R. Sassi (2013) "Improved estimation of V-index based on analytic forms of dominant T-wave"

P. Boldi, S. Vigna (2013) "In-core computation of geometric centralities with HyperBall: a hundred billion nodes and beyond"

C. Mereghetti, B. Palano (2013) "Input-driven queue automata : finite turns, decidability, and closure properties"

E. Pagani, G.P. Rossi (2013) "Interest-driven forwarding for delay-tolerant mobile ad hoc networks"

P. Codara, O. D'Antona (2013) "Investigating indipendent subsets of graphs, with Mathematica"

A. Azzini, C. Braghin, P. Ceravolo, F. Zavatarelli (2013) "Knowledge and business intelligence technologies in cross-enterprise environments for italian advanced mechanical industry"

A. Trentini, F. De Cindio (2013) "L'"arcobaleno dei diritti della cittadinanza digitale" alla prova"

D. Malchiodi (2013) "Learning membership functions for fuzzy sets through modified support vector clustering"

S. Castano, L. Genta, S. Montanelli (2013) "Leveraging crowdsourced knowledge for web data clouds empowerment"

G. Pighizzini (2013) "Limited automata and context-free languages"

G. Pighizzini (2013) "Limited automata and regular languages"

A. Ferrara, L. Genta, S. Montanelli (2013) "Linked data classification : a feature-based approach"

G. Grossi, R. Lanzarotti (2013) "Local features and sparse representation for face recognition with partial occlusions"

P. Campadelli, E. Casiraghi, C. Ceruti (2013) "Local intrinsic dimensionality based features for clustering"

M. Malcangi (2013) "Localizing and Identifying Audio or Voice Sources with a MEMS Microphone Array"

V. Lonati (2013) "Logic characterization of invisibly structured languages : the case of Floyd languages"

D. Malchiodi (2013) "MUT: un framework di test automatico per Wolfram Mathematica"

C. Bellettini, M. Camilli, L. Capra, M. Monga (2013) "MaRDiGraS : simplified building of reachability graphs on large clusters"

M. Anisetti, C.A. Ardagna, E. Damiani (2013) "Machine-readable privacy certificates for services"

G. Gianini, E. Damiani (2013) "Many-player inspection games in networked environments"

M. Malcangi (2013) "Meta-instruments: the Musician-machine Interface and Gesture Sensing for Real-time Algorithm Control"

V. Ciriani, G. Trucco (2013) "Minimization of EP-SOPs via Boolean relations"

V. Ciriani, G. Trucco (2013) "Minimization of P-circuits using boolean relations"

S. Castano, A. Ferrara, S. Montanelli (2013) "Mining topic clouds from social data"

G. Zappella, M. Zignani (2013) "Modelling political disaffection from Twitter data"

M. L. Damiani, H. Issa (2013) "Moving objects beyond raw and semantic trajectories"

W. Cazzola, E. Vacchi (2013) "Neverlang 2 : componentised language development for the JVM"

D. Riboni, C. Bettini (2013) "Obsidian : a scalable and efficient framework for NetFlow obfuscation"

S. De Capitani di Vimercati, S. Foresti, P. Samarati (2013) "On information leakage by indexes over data fragments"

M.P. Bianchi (2013) "On the advice complexity of the online L(2,1)-coloring problem on paths and cycles"

M. Mesiti, P. Perlasca, S. Valtolina (2013) "On the composition of digital licenses in collaborative environments"

A. Fattori, A. Reina, A. Gerino, S. Mascetti (2013) "On the privacy of real-world friend-finder services"

E. Riccobene (2013) "Online testing of LTL properties for Java code"

V. Lonati (2013) "Operator precedence omega-languages"

Marino A (2013) "Optimal Listing of Cycles and st-Paths in Undirected Graphs"

R. Cordone (2013) "Parsimonious deadlock-free Petri net models of flexible manufacturing systems"

A. Lanzi (2013) "PeerRush : mining for unwanted P2P traffic"

C.A. Ardagna (2013) "Preserving smartphone users' anonymity in Cloudy Days"

M.L. Damiani (2013) "Privacy challenges in third-party location services"

S. Vigna (2013) "Quasi-succinct indices"

C. Mereghetti, B. Palano (2013) "Queue automata of constant length"

N. Cesa-Bianchi (2013) "Regret minimization for branching experts"

N. Cesa-Bianchi (2013) "Regret minimization for reserve prices in second-price auctions"

R. Jhawar, V. Piuri (2013) "Reliable mission deployment in vulnerable distributed systems"

R. Sassi (2013) "Repolarization variability mechanism and its relation with cardiac arrhythmogenesis"

D. Maggiorini, L.A. Ripamonti, M. Trubian (2013) "Resources optimization in (video) games : a novel approach to teach applied mathematics?"

D. Besozzi (2013) "Reverse engineering of kinetic reaction networks by means of Cartesian Genetic Programming and Particle Swarm Optimization"

E. Damiani (2013) "SPADE : a framework for after-disaster adaptive recovery processes"

C.A. Ardagna, E. Damiani, R. Sagbo (2013) "STS2Java : an Eclipse plugin for early assessment of service performance based on simulation"

M. Aktaruzzaman, R. Sassi (2013) "Sample entropy parametric estimation for heart rate variability analysis"

M. Anisetti, C.A. Ardagna, E. Damiani (2013) "Security certification of composite services: a test-based approach"

S. Gaito, D. Maggiorini, C. Quadri, G.P. Rossi (2013) "Selective offload and proactive caching of mobile data in LTE-based urban networks"

S. Bassis (2013) "Semi-structured data extraction and modelling : the {WIA Project}"

M. Malcangi (2013) "Sensor technology, signal processing, and data fusion : toward the natural user interface and beyond"

A. Baratè, L.A. Ludovico (2013) "Serious games for music education. A mobile application to learn clef placement on the stave."

M.P. Bianchi, C. Mereghetti, B. Palano (2013) "Size lower bounds for quantum automata"

B. Apolloni (2013) "Social things - The SandS instantiation"

B. Apolloni, F. Epifania (2013) "Socializing entrepreneurship"

S. Ferrari, V. Piuri (2013) "Statistical models approach for solar radiation prediction"

Di Capua Michele (2013) "Stock Control through Video Surveillance in Logistics"

C. Bellettini, M. Camilli, L. Capra, M. Monga (2013) "Symbolic state space exploration of RT systems in the cloud"

M.L. Damiani (2013) "Symbolic trajectories in SECONDO : pattern matching and rewriting"

M.W. Rivolta, R. Sassi (2013) "Synthetic atrial electrogram generator"

E. Damiani (2013) "Temporal denoising of Kinect depth data"

E. Calore, C. Bonanomi, D. Gadia, A. Rizzi (2013) "Test of an open hardware colorimeter"

P. Ceravolo (2013) "Testing social network metrics for measuring electoral success in the italian municipal campaign of 2011"

E. Damiani, G. Gianini (2013) "The cover time of neighbor-avoiding gossiping on geometric random networks"

M. Pirovano, R. Mainetti, N.A. Borghese (2013) "The design of a comprehensive game engine for rehabilitation"

Besozzi D (2013) "The foundation of Evolutionary Petri Nets"

A. Trentini (2013) "Three years of teaching using collaborative tools : patterns and lessons learned"

C.V. Schiavo, A. Visconti (2013) "Tight upper bounds for polynomial multiplication"

B. Apolloni (2013) "Toward a cooperative brain: Continuing the work with John Taylor"

S. Valtolina (2013) "Toward collaborative decipherment of non-verbal markings"

S. Abbasi, S. Cimato, E. Damiani (2013) "Toward secure clustered multi-party computation : a privacy-preserving clustering protocol"

V. Bellandi, P. Ceravolo, E. Damiani, J. Maggesi (2013) "Towards a collaborative innovation catalyst"

G. Boccignone (2013) "Towards modelling an attention-based text localization process"

S. Cimato, E. Damiani, F. Zavatarelli (2013) "Towards the certification of cloud services"

C. Bonanomi, D. Gadia, A. Rizzi (2013) "Tuning a computer based stereo blindness assessment"

C. Bonanomi, A. Rizzi (2013) "Un esperimento di valutazione soggettivo dell’indice di resa cromatica,"

A. Azzini, C. Braghin, E. Damiani, F. Zavatarelli (2013) "Using semantic lifting for improving process mining : a data loss prevention system case study"

R. Sassi (2013) "Validation of the V-index through finite element 2D simulations"

E. Vacchi, W. Cazzola (2013) "Variability support in domain-specific language development"

S. Cimato (2013) "Visual cryptography based watermarking: definition and meaning"

S. Cimato (2013) "Visual cryptography schemes for graph based access structures"

C. Bellettini, V. Lonati, D. Malchiodi, M. Monga, A. Morpurgo (2013) "What you see is what you have in mind : constructing mental models for formatted text processing"

A. Rizzi, C. Bonanomi, D. Gadia (2013) "YACCD2 : yet another color constancy database updated"

D. Besozzi (2013) "cupSODA: a CUDA-powered simulator of mass-action kinetics"

N. Cesa-Bianchi, G. Zappella (2013) "A gang of bandits"

Montanelli S (2013) "An Interactive Platform for Personalized Analysis and Exploration of Social Data"

N. Basilico (2013) "Introducing alarms in adversarial patrolling games: extended abstract"

BERTOLAJA L (2013) "Location Privacy Management and Protection in Geo-Social Networks"

N. Cesa-Bianchi (2013) "Online learning with switching costs and other adaptive adversaries"