IL PORTALE per la RICERCA dei DIPARTIMENTI

G. Biamino, P. Grillo, I. Lombardi, F. Vernero (2011) ""The wheel" - an innovative visual model for interacting with a social web of things"

Rossana Damiano, Cristina Gena, Vincenzo Lombardo (2011) "150 Digit. Integrating 3D Visit and Social Functions into a Web 3.0 Learning-Oriented Approach"

Marco Grangetto (2011) "3D video broadcasting: lessons learned and future challenges"

G. Barbara Demo (2011) "A Contribution to the Discussion on Informatics and Robotics in Secondary Schools"

Lorenzo Bettini (2011) "A DSL for Writing Type Systems for Xtext Languages"

Ugo de'Liguoro (2011) "A Filter Model for the Lambda-Mu Calculus"

Roberto Aringhieri (2011) "A Local Search Metaheuristic for Operating Room Planning and Scheduling"

A. GROSSO (2011) "A Matheuristic Approach for the Total Completion Time Two-Machines Permutation Flow Shop Problem"

Beccuti Marco, De Pierro Massimiliano, Horváth András (2011) "A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks"

Perotti A (2011) "A Neural-Symbolic Approach to the Contemporary Theory of Metaphor"

Mario Coppo, Ferruccio Damiani, Angelo Troina (2011) "A Spatial Calculus of Wrapped Compartments"

Gianluca Torta (2011) "A Theory of Abstraction for Diagnosis of Discrete-Event Systems"

Gliozzi V., Pozzato G.L. (2011) "A conditional constructive logic for access control and its sequent calculus"

Gliozzi V., Pozzato G.L. (2011) "A tableau calculus for a nonmonotonic extension of EL^\bot"

GLIOZZI V (2011) "A tableau calculus for a nonmonotonic extension of EL^\bot"

Gliozzi V., Pozzato G.L. (2011) "A tableau calculus for a nonmonotonic extension of the Description Logic DL-Litecore"

Marco Aldinucci (2011) "Accelerating code on multi-cores with FastFlow"

Aldinucci M (2011) "Accelerating code on multi-cores with FastFlow"

L. Ardissono, G. Bosio, M. Segnan (2011) "An Activity Awareness Visualization Approach Supporting Context Resumption in Collaboration Environments"

Di Blasi G (2011) "An Advanced Numerical Method to Simulate Brain Activity"

Vincenzo Lombardo, Cristina Battaglino, Rossana Damiano (2011) "An Avatar-based Interface for the Italian Sign Language"

M. Baldoni, C. Baroglio, V. Patti (2011) "An Interaction-oriented Agent Framework for Open Environments"

Alessandro Mazzei, Daniele Paolo Radicioni (2011) "An Ontology Based Architecture for Translation"

Marco Grangetto, Rossano Gaeta, Matteo Sereno (2011) "An Optimal Partial Decoding Algorithm for Rateless Codes"

Alessio Angius, Andras Horvath (2011) "Analysis of stochastic reaction networks with Markov reward models."

Guido Boella (2011) "Arguing about the Trustworthiness of the Information Sources"

Guido Boella, Alan Perotti (2011) "Argumentative Agents Negotiating on Potential Attacks"

M. Baldoni, C. Baroglio, V. Patti (2011) "ArsEmotica: Emotions in the Social Semantic Web"

Guido Boella (2011) "Attack Semantics for Abstract Argumentation"

M. Baldoni, C. Baroglio, V. Patti (2011) "Back to the Future: an Interaction-oriented Framework for Social Computing"

Cristina BOSCO (2011) "Building the multilingual TUT parallel treebank"

CORDERO F (2011) "Cancer Stem Cell based adjuvant for oncoantingen-driven vaccination"

F. Cordero, C. Fornari, D. Manini, G. Balbo (2011) "Cancer Stem Cell based adjuvant for oncoantingen-driven vaccination"

Roberto Aringhieri, Andrea grosso (2011) "Combining petri nets and metaheuristics for the optimal composition of medical teams"

M. Baldoni, C. Baroglio, V. Patti (2011) "Commitments with Regulations: Reasoning about Safety and Control in REGULA"

Lorenzo Bettini, Ferruccio Damiani (2011) "Compositional type-checking for delta-oriented programming"

G. Balbo, M. Beccuti, M. De Pierro (2011) "Computing First Passage Time Distributions in Stochastic Well-Formed Nets"

Perotti A (2011) "Conditional Labelling for Abstract Argumentation"

Perotti A (2011) "Conditional labelling for abstract argumentation"

Felice Cardone (2011) "Corrado Mangione, le categorie, la logica"

R. Schifanella (2011) "Design of Social Games for Collecting Reliable Semantic Annotations"

Federica Cena, Cristina Gena (2011) "Designing and evaluating new generation user modeling"

Penta A (2011) "Detection of cognitive features from web resources in support of cultural modeling and analysis."

J. SPROSTON (2011) "Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata"

Fabiana Vernero (2011) "Double-Sided Recommendations: A Novel Framework for Recommender Systems"

Elisa Chiabrando, Pierluigi Grillo, Silvia Likavec, Ilaria Lombardi (2011) "Dynamic Interface Reconfiguration Based on Different Ontological Relations"

Ferruccio Damiani (2011) "Dynamic delta-oriented programming"

M. Beccuti (2011) "Dynamic simulations of kidney exchanges"

Guido Boella (2011) "Dynamics in Delegation and Revocation Schemes: A Logical Approach"

Rossano Gaeta, Marco Grangetto, Matteo Sereno (2011) "ENIGMA: Distributed Virtual Disks for Cloud Computing"

Marco Guazzone (2011) "Energy-Efficient Resource Management for Cloud Computing Infrastructures"

Pietro Torasso, Gianluca Torta (2011) "Exploiting Automatic Validation in Human Mission Planning"

M. Baldoni, C. Baroglio (2011) "Extend Commitment Protocols with Temporal Regulations: Why and How"

Lorenzo Bettini (2011) "Extending the BPEL Designer with Xtext based editors"

LUCA PADOVANI (2011) "Fair Subtyping for Multi-Party Session Types"

Maria Luisa Sapino (2011) "Fast Metadata-driven Multiresolution Tensor Decomposition"

Meo R. (2011) "Finding High Order Dependencies in Data"

Federica Cena (2011) "Forging Trust and Privacy with User Modeling Frameworks: An Ontological Analysis"

Daniele Paolo Radicioni, Alessandro Mazzei (2011) "FrameNet Model of the Suspension of Norms"

Robaldo L (2011) "From Italian Text to TimeML Document via Dependency Parsing,"

M. Baldoni, C. Baroglio, V. Patti (2011) "From Tags to Emotions: Ontology-driven Sentiment Analysis in the Social Semantic Web"

R.G. Pensa (2011) "GeomonWeb: a Web-Based Monitoring System for Landslide Phenomena"

M. Baldoni, C. Baroglio, V. Patti (2011) "Grafting Regulations into Business Protocols: Supporting the Analysis of Risks of Violation"

Peretti Pezzi G (2011) "High Performance and Grid Computing Based Hydraulic Simulations Using the Clément Formula"

F.Cena, C.Gena, F.Vernero (2011) "How Can We Support Users' Preferential Choice?"

Luigi Di Caro (2011) "ImmEx: IMMersive text documents exploration system"

MARIANGIOLA DEZANI-CIANCAGLINI (2011) "Information Flow Safety in Multiparty Sessions"

Sara Capecchi, Mariangiola Dezani (2011) "Information Flow Safety in Multiparty Sessions"

Rossana Damiano, Vincenzo Lombardo (2011) "Integrating Commonsense Knowledge into the Semantic Annotation of Narrative Media Objects"

Roberto Micalizio, Enrico Scala, Pietro Torasso (2011) "Intelligent Supervision for Robust Plan Execution."

Ronchi Della Rocca S. (2011) "Intersection Logic in sequent calculuys style."

Mariangiola Dezani (2011) "Intersection Types for Unbind and Rebind"

Silvia Likavec (2011) "Intersection Types for the Resource Control Lambda Calculi"

Robaldo L (2011) "Italian Anaphoric Annotation with the Phrase Detectives Game-With-A-Purpose"

M. Botta, D. Cavagnino (2011) "KL-F: Karhunen-Loève Based Fragile Watermarking"

M. Baldoni, C. Baroglio, V. Patti, F. Capuzzimati (2011) "Learn the rules so you know how to break them properly"

Luca Roversi (2011) "Linear Lambda Calculus and Deep Inference"

Luca Paolini, Mauro Piccolo (2011) "Linearity and PCF: a semantic insight!"

Rossano Gaeta, Marco Grangetto, Matteo Sereno (2011) "Local data gathering using opportunistic networking in a urban scenario"

Anna Goy, Diego Magro (2011) "Managing user interaction in an ontology-based system"

Chiara Fornari, Francesca Cordero, Daniele Manini, Gianfranco Balbo (2011) "Mathematical approach to predict the drug effects on cancer stem cell models"

Meo R. (2011) "MetaData Retrieval: A Software Prototype for the Annotation of Maps with Social Metadata"

R.Meo (2011) "MetaData Retrieval: Annotation of Geo-Referenced Maps with Social Metadata in Support to Unmanned Aircraft Vehicles Missions"

M. Coppo, F. Damiani, A. Troina (2011) "Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments"

Alessio Angius, Andras Horvath (2011) "Moments of cumulated output and completion time of unreliable general markovian machines"

Perotti A (2011) "Multi-sorted Argumentation"

Guido Boella (2011) "Neural symbolic architecture for normative agents"

M. Garetto (2011) "New insights into the stochastic geometry analysis of dense CSMA networks"

S. Berardi (2011) "Non-Commutative Infinitary Peano Arithmetic"

Gliozzi V., Pozzato G.L. (2011) "Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods"

Lorenzo Bettini (2011) "Object Reuse and Behavior Adaptation in Java-like Languages"

G. Ruffo (2011) "On Collaborative Filtering Techniques for Live TV and Radio Discovery and Recommendation"

MARIANGIOLA DEZANI, LUCA PADOVANI (2011) "On Global Types and Multi-Party Sessions"

M. Baldoni, C. Baroglio (2011) "On Temporal Regulations and Commitment Protocols"

Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Angelo Troina (2011) "On designing multicore-aware simulators for biological systems"

Robaldo L (2011) "On the Maximalization of the witness sets in Independent Set readings"

Alessandro Mazzei, Daniele P. Radicioni (2011) "Ontology Based Interlingua Translation"

Roberto Aringhieri (2011) "Patient-centered Healthcare Delivery"

J. SPROSTON (2011) "Performability Measure Specification: Combining CSRL and MSL"

VIVIANA BONO, LUCA PADOVANI (2011) "Polymorphic Endpoint Types for Copyless Message Passing"

F. Bergadano (2011) "Privacy-enhanced Identity via Browser Extensions and Linking Services"

A. Horvath (2011) "Probabilistic model checking of non-Markovian models with concurrent generally distributed timers."

E. G. Amparore, M. Beccuti, S. Donatelli (2011) "Probe Automata for Passage Time Specification"

Alessio Angius, Andras Horvath (2011) "Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks"

F. Cena, S. Likavec, F. Osborne (2011) "Propagating user interests in ontology-based user model."

Elisa Chiabrando, Fabiana Vernero (2011) "Questing for videos: a user-centric model for exploring the gastronomy domain."

Gliozzi V., Pozzato G.L. (2011) "Reasoning about typicality in low complexity DLs: the logics EL^\bot T_min and DL-lite_R T_min"

Rossana Damiano, Vincenzo Lombardo (2011) "Representing Dramatic Features of Stories through an Ontological Model"

Antonio Lieto (2011) "Representing and Reasoning on Typicality in Formal Ontologies"

Lorenzo Bettini (2011) "Reverse Generics - Parametrization after the Fact"

Robaldo L (2011) "Rule-based creation of TimeML Documents from Dependency Trees"

Elisa Chiabrando, Silvia Likavec, Ilaria Lombardi, Claudia Picardi (2011) "Semantic similarity in heterogeneous ontologies"

Luca Padovani (2011) "Semantic subtyping for session types"

LUCA PADOVANI (2011) "Session Types = Intersection Types + Union Types"

N. Balossino, D. Cavagnino, M. Lucenteforte (2011) "Simulazione di Esami Radiologici mediante Applicazione della Tecnologia CUDA"

Maria Luisa Sapino (2011) "Skynets: searching for minimum trees in graphs with incomparable edge weights"

Giulia Biamino, Federica Cena (2011) "Social Awareness and User Modeling to Improve Objects Intelligence"

G. Balbo, M. Beccuti, M. De Pierro (2011) "Stochastic Petri Nets sensitivity to token scheduling policies"

Rossano Gaeta, Marco Grangetto, Matteo Sereno (2011) "Streaming games: P2P vs ISPs or P2P with ISPs?"

F. Cena, S. Likavec, I. Lombardi, C. Picardi (2011) "Synthesis of collective tag-based opinions in the social web"

Alessia Visconti, Roberto Esposito, Francesca Cordero (2011) "Tackling the dream challenge for gene regulatory networks reverse engineering"

R. Schifanella, G. Ruffo (2011) "Tagging relations to achieve complex search goals"

G. Barbara Demo (2011) "The Art of Programming in a Technical Institute after the Italian Secondary School Reform"

R. Schifanella (2011) "The Chain Model for Social Tagging Game Design"

Cristina Gena, Federica Cena, Fabiana Vernero (2011) "The Impact of Rating Scales on User's Rating Behavior"

Alessio Angius, Andras Horvath (2011) "The Monte Carlo EM method for the parameter estimation of biological models"

Daniele Manini, Paola Maria Pisano, Marco Pironti (2011) "The financial asset regulation: a new theoretical framework based on Mean field Analysis"

Marco Grangetto, Maurizio Lucenteforte (2011) "Tile Format: a novel frame compatible approach for 3D video broadcasting"

ACOTTO E (2011) "Toward a formalization of musical relevance"

E. Acotto (2011) "Toward a formalization of musical relevance"

Ferruccio Damiani (2011) "Type Inference for Bimorphic Recursion"

Mariangiola Dezani (2011) "Types for Role-Based Access Control of Dynamic Web Data"

VIVIANA BONO, LUCA PADOVANI (2011) "Typing Copyless Message Passing"

Di Blasi G (2011) "Un modello numerico particellare per la magnetoencefalografia"

Luigi Di Caro, Maria Luisa Sapino (2011) "Unraveling multi-dimensional data using pDView"

Pierluigi Grillo, Silvia Likavec, Ilaria Lombardi (2011) "Using Mobile Phone Cameras to Interact with Ontological Data"

DI CARO L (2011) "Using classification to support legal knowledge engineers in the Eunomos legal document management system"

V. GLIOZZI, A. MARTELLI, G.L. POZZATO (2011) "Verifying Compliance of Business Processes with Temporal Answer Sets"

Ferruccio Damiani (2011) "Verifying Traits: A Proof System for Fine-Grained Reuse"

A. MARTELLI (2011) "Verifying properties of action theories by bounded model checking"

L. Console, G. Biamino, F. Cena, E. Chiabrando, C. Gena, P. Grillo, S. Likavec, I. Lombardi, C. Picardi, F. Protti, et al. (2011) "WantEat: interacting with “social” networks of intelligent things and people in the world of enogastronomy"

Alice Ruggeri, Cristina Battaglino, Daniele Radicioni, Alessandro Mazzei, Rossana Damiano (2011) "Where should I put my hands? Planning hand location in sign languages"

Pisano P., Pironti M. (2011) "the propensity to exploration and exploitation strategy: from theory to content analysis"

Edoardo Acotto (2011) "“Look at it! He smashed the guitar!” – Finding the Cinematic Relevance"

Francesca Cordero, Daniele Manini, Gianfranco Balbo (2011) "A New Framework for Modeling Complex Biological Systems"

Roberto Aringhieri (2011) "A Two Level Metaheuristics for the Operating Room Planning Problem"

Cordero F (2011) "Genome-wide analysis of unliganded estrogen receptor binding sites in breast cancer cells"

ACOTTO E (2011) "Mental and mathematical representations of music"

Roberto Aringhieri (2011) "Tabu Search Solutions for Operating Room Planning"

Alessandro Mazzei (2011) "Building a generator for Italian sign language"

Alessandro Mazzei, Daniele Paolo Radicioni (2011) "Linguistic Descriptions in Ontology-Based Machine Translation"