IL PORTALE per la RICERCA dei DIPARTIMENTI

R. Gaeta, M. Grangetto, M. Sereno (2011) "A Game Theory Framework for ISP Streaming Traffic Management"

Di BlasiG (2011) "A Smoothed Particle Image Reconstruction method"

Guido Boella (2011) "A dynamic logic for privacy compliance"

M. Baldoni, C. Baroglio (2011) "A journey in Computational Logic in Italy, Guest Editorial"

F. Cordero, R. Meo, L. Roversi, A. Visconti (2011) "A modular database architecture enabled to comparative sequence analysis"

D. Cavagnino (2011) "An Analysis of Associated Dividends in the DBM Algorithm for Division By Constants using Multiplication"

G. Ruffo, R. Schifanella (2011) "An identity-based approach to secure P2P applications with Likir"

Cordero F (2011) "Apoptosis Induced by Piroxicam plus Cisplatin Combined Treatment Is Triggered by p21 in Mesothelioma."

Cavagnino (2011) "Blind Watermarking of Color Images Using Karhunen-Loève Transform Keying"

L. Ardissono, G. Bosio, A. Goy, G. Petrone, M. Segnan (2011) "Collaboration support for activity management in a Personal Cloud"

Roberto Aringhieri (2011) "Comparing Local Search Metaheuristics for the Maximum Diversity Problem"

A. Grosso (2011) "Complexity of the critical node problem over trees"

A. Grosso (2011) "Computational experience with a core-based reduction procedure for the2-knapsack problem"

A. Troina (2011) "Concurrency and Interaction in Complex Systems"

M. BALDONI, C. BAROGLIO, V. PATTI (2011) "Constraint Modeling for Curriculum Planning and Validation"

R. Schifanella (2011) "Contextual Tag Inference"

Lorenzo Bettini, Viviana Bono (2011) "Delegation by Object Composition"

Livio Robaldo (2011) "Distributivity, Collectivity, and Cumulativity in terms of (In)dependence and Maximality"

ROBALDO L (2011) "Distributivity, Collectivity, and Cumulativity in terms of (In)dependence and Maximality"

Mariangiola Dezani (2011) "Extending the lambda-calculus with unbind and rebind"

Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro (2011) "First Passage Time Computation in Tagged GSPNs with Queue Places"

I. Lombardi, L. Console (2011) "Flexible Rule-based Inference Exploiting Taxonomies"

Maria Luisa Sapino (2011) "GAPs: Geospatial Abduction Problems"

R. Gaeta, M. Sereno (2011) "Generalized probabilistic flooding in unstructured peer-to-peer networks"

M. Garetto (2011) "Impact of Correlated Mobility on Delay–Throughput Performance in Mobile Ad Hoc Networks"

M. Garetto (2011) "Information-Theoretic Capacity of Clustered Random Networks"

Cena F. (2011) "Integrating Web Service and Semantic Dialogue Model for User Models Interoperability on the Web"

M. Beccuti (2011) "Lumping partially symmetrical stochastic models"

M. Beccuti (2011) "MDWNsolver: a framework to design and solve Markov Decision Petri Nets"

M. Coppo, F. Damiani, A. Troina (2011) "Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis"

BALDONI M., BAROGLIO C., PATTI V. (2011) "Models of Agent Interaction based on Modal Logics"

Cordero F (2011) "Mutant SOD1 and mitochondrial damage alter expression and splicing of genes controlling neuritogenesis in models of neurodegeneration"

Luigi Di Caro, Maria Luisa Sapino (2011) "Navigating within news collections using tag-flakes"

V. GLIOZZI, G.L. POZZATO (2011) "Non-Classical Logics for Knowledge Representation and Reasoning"

A. Horvath (2011) "On moments based Padé approximations of ruin probabilities."

G. Ruffo, R. Schifanella (2011) "On the Dynamics of Human Proximity for Data Diffusion in Ad-Hoc Networks"

Di Blasi G (2011) "On the use of SPH for Mechanical Engineering structural analyses: an elastic linear case"

Roberto Aringhieri (2011) "Optimal solutions for the Balanced Minimum Evolution Problem"

Alessia Visconti, Roberto Esposito, Francesca Cordero (2011) "Restructuring the Gene Ontology to Emphasize Regulative Pathways and to Improve Gene Similarity Queries"

Elvio Gilberto Amparore, Susanna Donatelli (2011) "Revisiting the matrix-free solution of Markov regenerative¿processes"

D. Cavagnino (2011) "Security analysis of SVD-based watermarking techniques"

Vincenzo Lombardo, Rossana Damiano (2011) "Semantic annotation of narrative media objects"

D. Gunetti (2011) "Side-Channel Analysis for Detecting Protocol Tunneling"

Francesca Cordero, András Horváth, Daniele Manini, Massimiliano De Pierro, Matteo Sereno, Gianfranco Balbo (2011) "Simplification of a complex signal transduction model using invariants and flow equivalent servers"

Andras Horvath (2011) "Stochastic Petri nets with low variation matrix exponentially distributed firing times."

Paola Maria Pisano, Daniele Manini, Marco Pironti (2011) "Strategic focus and business model organization : The Main Field Analysis Approach"

L. PAOLINI, S. RONCHI DELLA ROCCA (2011) "Strong Normalization from an unusual point of view"

L. Anselma (2011) "Supporting Knowledge-Based Decision Making in the Medical Context: The GLARE Approach"

Federica Cena, Luca Console, Pierluigi Grillo, Fabiana Vernero: (2011) "Supporting content discovery and organization in networks of contents and users"

L. Console (2011) "The art of videoMashUp: supporting creative users with an innovative and smart application"

Guido Boella (2011) "Time and defeasibility in FIPA ACL semantics"

Luca Console, Ilaria Lombardi, Claudia Picardi (2011) "Toward a social web of intelligent things"

Daniele Manini (2011) "Transient Analysis of IEEE 802.15.4 Sensor Networks"

Marco Grangetto (2011) "Transparent encryption techniques for H.264/AVC and H.264/SVC compressed video"

Pisano P., Pironti P. (2011) "Understanding the strategic organization propensity through “Managerial Discussion and Analysis""

Cena F., Gena C. (2011) "User Model Interoperabily: A survey"

Luca Roversi (2011) "MR2561968 (2011d:03062) Jones, Neil D.; Kristiansen, Lars A flow calculus of mwp-bounds for complexity analysis. ACM Trans. Comput. Log. 10 (2009), no. 4, Art. 28, 41 pp. (Reviewer: Luca Roversi), 03D15 (03B40)"

Luca Roversi (2011) "MR2588403 (2011b:03087) Baillot, Patrick; Mazza, Damiano Linear logic by levels and bounded time complexity. Theoret. Comput. Sci. 411 (2010), no. 2, 470–503. (Reviewer: Luca Roversi), 03F52 (03D15)"

Luca Roversi (2011) "MR2642827 (2011h:68021) Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian Gödel's system T revisited. Theoret. Comput. Sci. 411 (2010), no. 11-13, 1484–1500. (Reviewer: Luca Roversi), 68N18 (03B15 03B40)"