IL PORTALE per la RICERCA dei DIPARTIMENTI

Pietro Torasso, Gianluca Torta (2013) "A Multi-UAS Cooperative Mission Over Non-Segregated Civil Areas"

V. Gliozzi, G.L. Pozzato (2013) "A NonMonotonic Description Logic for Reasoning About Typicality"

Nello Balossino, Davide Cavagnino, Marco Grangetto, Maurizio Lucenteforte (2013) "A high capacity reversible data hiding scheme for radiographic images"

Marco Grangetto, Rossano Gaeta, Matteo Sereno (2013) "A practical Random Network Coding scheme for data distribution on peer-to-peer networks using rateless codes"

Guido Boella (2013) "A socio-cognitive model of trust using argumentation theory"

BERGADANO F. (2013) "A user-centric approach for federated identity management. "

G. Torta (2013) "A web-based, relational database for studying glaciers in the Italian Alps"

A. MARTELLI (2013) "Achieving completeness in the verification of action theories by Bounded Model Checking in ASP"

Roberto Micalizio (2013) "Action Failure Recovery via Model-Based Diagnosis and Conformant Planning"

J. SPROSTON (2013) "An Extension of the Inverse Method to Probabilistic Timed Automata"

F. Cena, S. Likavec, F. Osborne (2013) "Anisotropic propagation of user interests in ontology-based user models"

M. Garetto (2013) "Asymptotic Properties of Sequential Streaming Leveraging Users' Cooperation"

Torta Gianluca, Torasso Pietro (2013) "Automatic component abstraction for Model-Based Diagnosis on relational models"

R. Meo, M. Botta, R. Esposito (2013) "Autonomous Abnormal Behaviour Detection in Intelligence Surveillance and Reconnaissance (ISR) Applications"

M. SPIOTTA (2013) "Business process verification with constraint temporal answer set programming"

A. Martelli, M. Spiotta (2013) "Business process verification with constraint temporal answer set programming"

Cordero F, Beccuti M (2013) "Combinatorial pooling enables selective sequencing of the barley gene space."

Lorenzo Bettini, Ferruccio Damiani (2013) "Combining Traits with Boxes and Ownership Types in a Java-like Setting"

Lorenzo Bettini, Ferruccio Damiani (2013) "Compositional Type Checking of Delta-Oriented Software Product Lines"

Marco Beccuti (2013) "Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis "

L. Robaldo (2013) "Conservativity: a necessary property for the Maximization of witness sets"

Matteo Baldoni, Cristina Baroglio, Viviana Patti (2013) "Constitutive and regulative specifications of commitment protocols: A decoupled approach"

A. Lieto (2013) "Dealing with Concepts: from Cognitive Psychology to Knowledge Representation"

L. Bettini, S. Capecchi, Mariangiola Dezani (2013) "Deriving Session and Union Types for Objects"

Cristina Bosco, Viviana Patti (2013) "Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT"

Luca Anselma (2013) "Extending BCDM to cope with proposals and evaluations of updates"

Esposito R (2013) "FEV6 assessment in spirometric abnormalities screening: the first population-based study in italian pharmacies."

L. Robaldo (2013) "Flexible disambiguation and Expressive completeness in Dependency Tree Semantics"

R. Gaeta, M. Grangetto (2013) "Identification of malicious nodes in peer-to-peer streaming: a belief propagation based technique"

A. Grosso (2013) "Identifying critical nodes in undirected graphs: Complexity results and polynomial algorithms for the case of bounded treewidth"

Luca Console, Federica Cena, Elisa Chiabrando, Cristina Gena, Pierluigi Grillo, Silvia Likavec, Ilaria Lombardi, Claudia Picardi, Fabiana Vernero (2013) "Interacting With Social Networks of Intelligent Things and People in the World of Gastronomy "

G. Boella (2013) "Introduction to the special issue on NorMAS 2009"

Rossana Damiano, Cristina Gena, Vincenzo Lombardo (2013) "Leveraging social semantic components in executable environments for learning"

Luca Anselma (2013) "Managing proposals and evaluations of updates to medical knowledge: theory and applications"

J. SPROSTON (2013) "Model Checking for Probabilistic Timed Automata"

Francesca Cordero, Marco Beccuti, Chiara Fornari, Gianfranco Balbo (2013) "Multi-level model for the investigation of oncoantigen- driven vaccination effect"

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

Alessandro Mazzei (2013) "Note preliminari su alcune forme della soggettivita nei linguaggi di programmazione"

Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani (2013) "On Flexible Dynamic Trait Replacement for Java-like Languages"

Gianfranco Balbo (2013) "On the Analysis of a M/M/1 Queue with Bulk Services "

Roberto Aringhieri (2013) "Operations Research for Health Care Delivery "

L. Robaldo, L. Di Caro (2013) "OpinionMining-ML"

R.G. Pensa, R. Meo (2013) "Parameter-Less Co-Clustering for Star-Structured Heterogeneous Data"

Luigi Di Caro (2013) "Personalized emerging topic detection based on a term aging model"

Federica Cena (2013) "Perspectives in Semantic Adaptive Social Web"

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

Luca Anselma (2013) "Querying now-relative data"

Marco Botta (2013) "Real-Time Detection System of Driver Distraction Using Machine Learning"

A. Martelli (2013) "Reasoning about actions with Temporal Answer Sets"

Di Caro L (2013) "Sentiment Analysis via Dependency Parsing"

Luigi Di Caro (2013) "Sentiment analysis via dependency parsing"

Beccuti M, Donatelli S, Cordero F (2013) "State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues?"

Marco Beccuti, Francesca Cordero, Susanna Donatelli (2013) "State-of-the-Art Fusion-Finder Algorithms Sensitivity and Specificity"

R. Cancelliere (2013) "Statistically optimal fitting of astrometric signals"

R. Aringhieri (2013) "Supporting decision making to improve the performance of an Italian Emergency Medical Service"

Alessandro Mazzei, Daniele Paolo Radicioni (2013) "TULSI: an NLP System for Extracting Legal Modificatory Provisions"

Michele Garetto (2013) "Temporal locality in today's content caching: why it matters and how to model it"

P. Pisano, M. Pironti (2013) "The 3D-Technology: A New Competitive Arena"

L. Ardissono, C. Gena (2013) "The contribution of AI to understand cultural heritage"

M. Beccuti, F. Cordero, S. Donatelli (2013) "The structure of state of art gene fusion-finder algorithms"

Lorenzo Bettini, Ferruccio Damiani (2013) "TraitRecordJ: A programming language with traits and records"

A. Troina (2013) "Type Directed Semantics for the Calculus of Looping Sequences"

A. Lieto (2013) "Un approccio cognitivo alla rappresentazione dei concetti nelle ontologie formali"

Luca Anselma (2013) "Valid-Time Indeterminacy in Temporal Relational Databases: Semantics and Representations"

Rossana Damiano, Vincenzo Lombardo (2013) "Virtual agents for the production of linear animations"

Luca Paolini (2013) "Review of <>"

Luca Paolini (2013) "Review of Hasegawa, Masahito A quantum double construction in Rel. Math. Structures Comput. Sci. 22 (2012), no. 4, 618–650"