IL PORTALE per la RICERCA dei DIPARTIMENTI

Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati (2013) "2COMM: a commitment-based MAS architecture"

Marco Grangetto (2013) "3DTV oggi e domani: i trend nell'industria e negli standard"

Francesco Bergadano, Gianni Bosio (2013) "A CONTEXTUAL FRAMEWORK SUPPORTING COLLABORATION BETWEEN CUSTOMERS AND DEVELOPERS IN DISTRIBUTED, AGILE SOFTWARE DEVELOPMENT"

Ferruccio Damiani (2013) "A Calculus of Computational Fields"

F. Cena, E. Chiabrando, M. Deplano, C. Gena (2013) "A Movie Timeline for a Movie Recommender"

F. Cena, E. Chiabrando, M. Deplano, C. Gena, F. Osborne (2013) "A Proposal for an Open Local Movie Recommender"

Di Caro L (2013) "A System for Classifying Multi-label Text into EuroVoc."

V. Gliozzi, G.L. Pozzato (2013) "A semantics for Rational Closure: Preliminary Results"

Massimiliano De Pierro (2013) "A tool for symbolic manipulation of arc functions in Symmetric Net models"

Marco Pironti, Paola Pisano (2013) "Achieving Strategic Flexibility Trough Manufacturing Innovation"

Enrico Scala, Roberto Micalizio, Pietro Torasso (2013) "Adapting Planetary Rover Plans via Action Modality Reconfiguration"

Roberto Micalizio (2013) "Adapting web services to maintain QoS even when faults occur"

Luca Padovani (2013) "An Algebraic Theory for Web Service Contracts"

F. Bergadano (2013) "An Integrated Service Management System built on Microsoft Dynamics CRM"

TORDINI F (2013) "An abstract annotation model for skeletons"

L. Robaldo (2013) "An experimental study of the pragmatic influence on the interpretation of multi-quantifier sentences"

R. Damiano, C. Battaglino, V. Lombardo (2013) "Annotating Characters' Emotions in Drama."

L. Bettini (2013) "Approaches and Tools for Implementing Type Systems in Xtext"

Alessio Angius, Andras Horvath (2013) "Approximate Transient Analysis of Queuing Networks by Quasi Product Forms"

Lorenzo Bettini (2013) "Artifact evaluation (summary)"

E. De Benedetti, S. Ronchi Della Rocca (2013) "Bounding normalization time through intersection types"

A. Lieto, R. Damiano (2013) "Building Narrative Connections among Media Objects in Cultural Heritage Repositories"

R. Loti (2013) "CCN-TV: a data-centric approach to real-time video services"

Roberto Esposito, Daniele P. Radicioni, and Alessia Visconti (2013) "CDoT: Optimizing MAP Queries on Trees"

Piccolo M (2013) "Certified Complexity (CerCo)"

Ugo de'Liguoro (2013) "Characterisation of Strongly Normalising lambda-mu-Terms"

Perotti A (2013) "Combining Runtime Verification and Property Adaptation through Neural-Symbolic Integration"

F. Bergadano (2013) "Communication Setup in Anonymous Messaging "

M. Spiotta (2013) "Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming"

Matteo Spiotta (2013) "Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming"

M. GARETTO (2013) "Content-centric wireless networks with limited buffers: when mobility hurts"

Cristina Bosco (2013) "Converting Italian Treebanks: Towards an Italian Stanford Dependency Treebank"

Alessandro Mazzei, Cristina Battaglino (2013) "Deep Natural Language Processing for Italian Sign Language Translation"

M. Sanguinetti, C. Bosco (2013) "Dependency and Constituency in Translation Shift Analysis"

M. Farid, M. Lucenteforte, M. Grangetto (2013) "Depth image based rendering with inverse mapping"

Roberto Micalizio, Gianluca Torta (2013) "Diagnosing Dependent Action Delays in Temporal Multiagent Plans"

Vincenzo Lombardo (2013) "Digital heritage and avatars of stories"

Luca Console (2013) "E-Inclusion as the Next Challenge for Sustainable Consumption"

M. Farid, M. Lucenteforte, M. Grangetto (2013) "Edges shape enforcement for visual enhancement of depth image based rendering"

Roberto Micalizio (2013) "Emerging Stable Configurations in Cellular Automata"

V. Patti (2013) "Emotional Responses to Artworks in Online Collections "

Cristina Battaglino, Rossana Damiano (2013) "Emotional range in value-sensitive deliberation"

E. G. Amparore, M. Beccuti, S. Donatelli (2013) "Expressing and computing passage time measures of GSPN models with HASL"

Di Caro L (2013) "Extracting Definitions and Hypernym Relations relying on Syntactic Dependencies and Support Vector Machines"

Luca Padovani (2013) "Fair Subtyping for Open Session Types"

C. Bosco, V. Patti, G. Ruffo (2013) "Felicittà: Visualizing and Estimating Happiness in Italian Cities from Geotagged Tweets"

Luca Padovani (2013) "From Lock Freedom to Progress Using Session Types"

Marco Guazzone (2013) "Fuzzy-Q&E: Achieving QoS Guarantees and Energy Savings for Cloud Applications with Fuzzy Control2013 International Conference on Cloud and Green Computing"

E. Gianaria, N. Balossino, M. Grangetto, M. Lucenteforte (2013) "Gait characterization using dynamic skeleton acquisition"

Lorenzo Bettini (2013) "Generic Programming in Pharo"

F. Osborne, S. Likavec, F. Cena (2013) "Granular Semantic User Similarity in the Presence of Sparse Data"

Maria Luisa Sapino (2013) "Hive open research network platform. "

Di Caro L (2013) "How Affordances can Rule the (Computational) World"

Anna Goy, Diego Magro (2013) "How Semantic Knowledge can Enhance the Access to PA Online Services"

M. GARETTO (2013) "How much can large-scale Video-On-Demand benefit from users' cooperation?"

Fornari Chiara, Cordero Francesca, Beccuti Marci, Balbo Gianfranco (2013) "How steady states analysis helps cancer therapies"

Lorenzo Bettini (2013) "Implementing Java-like languages in Xtext with Xsemantics"

Mario Coppo, Mariangiola Dezani, Luca Padovani (2013) "Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions"

R. Gaeta, R. Loti (2013) "Interconnection of large scale unstructured P2P networks: modeling and analysis"

M. Coppo, M. Dezani, I. Margaria, M. Zacchi (2013) "Isomorphism of "Functional" Intersection Types"

Maria Luisa Sapino (2013) "LR-PPR: locality-sensitive, re-use promoting, approximate personalized pagerank computation. "

Daniele Paolo Radicioni (2013) "Legal Documents Categorization by Compression"

R. Damiano, C. Gena, V. Lombardo (2013) "Leveraging Web 3D guidance in cultural heritage fruition"

Di Caro L (2013) "Linguistic Affordances: Making Sense of Word Senses"

Alessio Antonini, Ruggero G. Pensa, Maria Luisa Sapino (2013) "MeSoOnTV: A Media and Social-driven Ontology-based TV Knowledge Management System"

C. Misale, M. Aldinucci (2013) "Memory affinity in multi-threading: the Bowtie2 case study"

V. Gliozzi, G.L. Pozzato (2013) "Minimal Model Semantics and Rational Closure in Description Logics"

L. Ardissono, G. Petrone, M. Segnan, G. Torta (2013) "Mixed-Initiative management of online calendars"

Vincenzo Lombardo (2013) "Modeling and Visualization of Drama Heritage"

D. P. Radicioni (2013) "Modificatory Provisions Detection: a Hybrid NLP Approach"

G.L. Pozzato (2013) "Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics"

Rossella Cancelliere, Andrea Grosso (2013) "Neural Networks for Wind Power Generation Forecasting: a Case Study"

Stefano Berardi, Ugo de'Liguoro (2013) "Non-monotonic Pre-fixed Points and Learning"

Antonini A., Boella G. (2013) "Norm dynamics : institutional facts, social rules and practice"

Enrico Scala (2013) "Numeric Kernel for Reasoning about Plans Involving Numeric Fluents"

Scala Enrico (2013) "Numerical Kernels for Monitoring and Repairing Plans Involving Continuous and Consumable Resources "

R. Damiano, A. Lieto (2013) "Ontological Representations of Narratives: a Case Study on Stories and Actions"

Vincenzo Lombardo (2013) "Ontologies for the metadata annotation of stories"

V. Patti (2013) "Organizing Artworks in an Ontology-based Semantic Affective Space"

Marco Aldinucci, Fabio Tordini, Mario Coppo (2013) "Parallel Stochastic Simulators in System Biology: The Evolution of the Species"

Ferruccio Damiani, Mario Coppo (2013) "Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations"

Lorenzo Bettini (2013) "Parsley for your EMF Applications"

L. Robaldo (2013) "Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation"

Luca Console (2013) "Playing while Testing: How to Gamify a User Field Evaluation"

Viviana Bono, Luca Padovani (2013) "Polymorphic Types for Leak Detection in a Session-Oriented Functional Language"

V. Gliozzi, G.L. Pozzato (2013) "PreDeLo 1.0: a Theorem Prover for Preferential Description Logics"

Valentina Gliozzi (2013) "Primacy/recency effects in infant categorization"

Lorenzo Bettini, Ferruccio Damiani (2013) "Pure trait-based programming on the Java platform"

Lorenzo Bettini (2013) "Rapidly Implementing EMF Applications with EMF Components"

V. Gliozzi, G.L. Pozzato (2013) "Rational closure for description logics of typicality"

G. Barbara Demo (2013) "Reading data schemas and knowing a query interface in non technical secondary schools"

R.G. Pensa, A. Penta, M.L. Sapino (2013) "Recommending Multimedia Objects in Cultural Heritage Applications"

Ferruccio Damiani (2013) "Refinement-based testing of delta-oriented product lines"

Perotti A (2013) "Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System"

L. Ardissono (2013) "Selecting People for Involving Them in Participatory Decision-Making Processes"

Likavec S (2013) "Selection and Ranking of Activities in the Social Web"

Boella G, Di Caro L (2013) "Semantic Relation Extraction from Legislative Text Using Generalized Syntactic Dependencies and Support Vector MachinesTheory, Practice, and Applications of Rules on the Web"

Di Caro L (2013) "SentiTagger - Automatically tagging text in OpinionMining-ML"

Silvia Likavec (2013) "Shapes as property restrictions and property-based similarity"

E. G. Amparore, M. Beccuti, S. Donatelli (2013) "Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets"

E. Gianaria (2013) "Simulazione virtuale di apparecchiature radiologiche digitali con metodi analitici e tecnologia CUDA"

J. SPROSTON (2013) "Solving Parity Games on Integer Vectors"

D. Manini (2013) "Studying Mobile Internet Technologies with Agent Based Mean-Field Models"

Guido Boella, Luigi Caro (2013) "Supervised Learning of Syntactic Contexts for Uncovering Definitions and Extracting Hypernym Relations in Text Databases."

Marco Aldinucci (2013) "Targeting Distributed Systems in FastFlow"

A. MARTELLI (2013) "Temporal deontic action logic for the verification of compliance to norms in ASP"

R. Schifanella (2013) "The Role of Information Diffusion in the Evolution of Social Networks"

Francesca Cordero, Chiara Fornari, Marco Beccuti, Gianfranco Balbo (2013) "The multi-level view to investigate the cancer progression"

P. Pisano, M. Pironti (2013) "The open long tail model between new culture and digital technology"

Ferruccio Damiani (2013) "Three cases of composition and a question"

Mario Coppo, Mariangiola Dezani, Ines Margaria, Maddalena Zacchi (2013) "Toward Isomorphism of Intersection and Union Types"

Alessandro Mazzei (2013) "Towards a semiotic framework for programming languages"

Alessio Antonini, Ruggero G. Pensa, Maria Luisa Sapino (2013) "Tracking and analyzing TV content on the web through social and ontological knowledge"

D. Manini (2013) "Traffic Offloading/Onloading in Multi-RAT Cellular Networks"

András Horváth (2013) "Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State ClassesQuantitative Evaluation of Systems"

Antonio Lieto, Daniele P. Radicioni (2013) "Typicality-Based Inference by Plugging Conceptual Spaces Into Ontologies"

A. Lieto, F. Vernero (2013) "Unveiling the link between logical fallacies and web persuasion"

Perotti A (2013) "Using rewriting rules to compute successful modifications of an argumentation system"

V. Lombardo, R. Damiano, A. Lieto (2013) "Visualization of character’s intentions in dramatic media "

Marco Botta, Davide Cavagnino (2013) "Weighted-Sum Fragile Watermarking in the Karhunen-Loève Domain"

R. Esposito, A. Visconti (2013) "APPLICATION OF IN-SILICO "CLASSICAL" DRUG DISCOVERY TOOLS TO PEPTIDE RESEARCH"

N. Balossino, M. Grangetto, M. Lucenteforte, E. Gianaria (2013) "Analisi forense della camminata: metodologie ed esperimenti"

Felice Cardone (2013) "Computers as communication machines Highlights of a forgotten program"

Diego Magro (2013) "Dialogue and linking between TEI and other semantic models"

Claudia Misale, Marco Aldinucci (2013) "Memory affinity in multi-threading: the Bowtie2 case study"