IL PORTALE per la RICERCA dei DIPARTIMENTI

Mirko Viroli (2013) "A Calculus of Computational Fields"

Andrea Asperti (2013) "A Formal Proof of Borodin-Trakhtenbrot’s Gap Theorem"

Zeynep Kiziltan (2013) "A Framework for Combining Set Variable Representations"

W. Penzo (2013) "A Framework for ITS Data Management in a Smart City Scenario"

Nicolò Navarin (2013) "A Lossy Counting Based Approach for Learning on Streams of Graphs on a Budget"

Andrea Asperti (2013) "A Machine-Checked Proof of the Odd Order Theorem"

Michele Lombardi, Michela Milano (2013) "A Min-Flow Algorithm for Minimal Critical Set Detection in Resource Constrained Project Scheduling"

Michele Lombardi (2013) "A New Propagator for Two-Layer Neural Networks in Empirical Model Learning"

M. Marzolla, G. D'Angelo (2013) "A Parallel Data Distribution Management Algorithm "

Mario Bravetti, Gianluigi Zavattaro (2013) "A Petri Net Based Analysis of Deadlocks for Active Objects and Futures"

Tudor A. Lascu, Gianluigi Zavattaro (2013) "A Planning Tool Supporting the Deployment of Cloud Applications"

Paolo Bellavista (2013) "A Research Roadmap for Context-Awareness-Based Self-managed Systems"

Michele Lombardi (2013) "A Simple and Effective Decomposition for the Multidimensional Binpacking Constraint"

Ornela Dardha, Elena Giachino (2013) "A Type System for Components"

Mirko Viroli (2013) "A calculus of computation fields"

P. Ciancarini (2013) "A double comparative study: Process models and student skills"

D. Bresolin (2013) "A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions"

Paolo Bellavista, Carlo Giannelli, Massimiliano Mattetti (2013) "A practical approach to easily monitoring and managing IaaS environments"

A. Lumini (2013) "A secure multimatcher system for fingerprint verification"

D. Bresolin (2013) "A tableau system for right propositional neighborhood logic over finite linear orders: an implementation"

Alessandro Ricci (2013) "A task framework on top of a concurrent OOP language rooted on agent-oriented abstractions"

Samuele Salti, Alioscia Petrelli, Federico Tombari, Nicola Fioraio, Luigi Di Stefano (2013) "A traffic sign detection pipeline based on interest region extraction"

L. Foschini (2013) "Adaptive and business-driven service placement in federated Cloud computing environments"

P. Ciancarini (2013) "Aemoo: exploring knowledge on the web"

Tudor A. Lascu, Gianluigi Zavattaro (2013) "Aeolus: Mastering the Complexity of Cloud Application Deployment"

Ivan Lanese, Gianluigi Zavattaro (2013) "Amending Choreographies"

Cosimo Laneve (2013) "An Algebraic Theory for Web Service Contracts."

A. Roli (2013) "An Efficient Simulator for Boolean Network Models"

Roberto Amadini, Maurizio Gabbrielli (2013) "An Empirical Evaluation of Portfolios Approaches for Solving CSPsIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems"

L. Bedogni, L.Bononi, M. Di Felice, A. D'Elia, F. Morandi, L. Roffia, T. Salmon Cinotti (2013) "An Interoperable Architecture for Mobile Smart Services over the Internet of Energy"

Di Iorio A., Peroni S., Poggi F., Vitali F. (2013) "Annotations with EARMARK: A fairy tale"

M. Marzolla, S. Ferretti, G. D'Angelo (2013) "Auction-Based Resource Allocation in Digital Ecosystems "

Paolo Bellavista, Antonio Corradi, Luca Foschini, Alessandro Pernafini (2013) "Automated Provisioning of SaaS Applications over IaaS-Based Cloud SystemsAdvances in Service-Oriented and Cloud Computing"

Alessandro Ricci (2013) "Away from the sequential paradigm tarpit"

Federico Tombari, Luigi Di Stefano (2013) "BOLD Features to Detect Texture-less Objects"

M. Roccetti, A. Amoroso (2013) "Behind the Scenes: Lessons Learned from the Greatest Intervehicular Accident Detection Test Ever"

Andrea Roli (2013) "Boolean Network Robotics as an Intermediate Step in the Synthesis of Finite State Machines for Robot Control"

F. Vitali (2013) "Characterising Citations in Scholarly Articles: An Experiment"

A. Di Iorio, A. G. Nuzzolese, S. Peroni (2013) "Characterising Citations in Scholarly Documents: The CiTalO Framework"

Danilo Pianini, Sara Montagna, Mirko Viroli (2013) "Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks"

Profiti G, Fariselli P (2013) "Community detection within clusters helps large scale protein annotation: Preliminary results of modularity maximization for the bar+ database"

Gianluigi Zavattaro (2013) "Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract)"

Ugo Dal Lago, Giulio Pellitta (2013) "Complexity Analysis in Presence of Control Operators and Higher-Order Functions"

Andrea Omicini (2013) "Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems"

Gianluigi Zavattaro (2013) "Component Reconfiguration in the Presence of Conflicts"

Sara Montagna, Mirko Viroli (2013) "Composing Gradients for a Context-Aware Navigation of Users in a Smart-City"

A. Gherardi, A. Bevilacqua (2013) "Computer Assisted Detection of regions of interest in histopathology using a hybrid supervised and unsupervised approach"

Ivan Lanese, Michael Lienhardt (2013) "Concurrent Flexible Reversibility"

Alessandro Ricci (2013) "Concurrent object-oriented programming with agent-oriented abstractions - The ALOO Approach"

Alessandro Ricci (2013) "Concurrent object-oriented programming with agents"

Ivan Lanese (2013) "Controlled Reversibility and Compensations"

Andrea Omicini, Stefano Mariani (2013) "Coordination for Situated MAS: Towards an Event-driven Architecture"

Paolo Bellavista, Antonio Corradi, Luca Foschini, Alessandro Pernafini (2013) "Data Distribution Service (DDS): A performance comparison of OpenSplice and RTI implementations"

Alessio Bonfietti, Michele Lombardi, Michela Milano (2013) "De-Cycling Cyclic Scheduling Problems"

Elena Giachino, Cosimo Laneve (2013) "Deadlock Analysis of Concurrent Objects: Theory and Practice"

Ivan Lanese, Gianluigi Zavattaro (2013) "Decidability Results for Dynamic Installation of Compensation Handlers"

F. Bertini (2013) "Deformation by discrete elastica"

Paolo Bellavista (2013) "Discovering Traffic Congestion along Routes of Interest using VANETs"

Luca Foschini, Antonio Corradi (2013) "Dynamic Cloud management for efficient stream processing"

F. Grandi (2013) "Dynamic Multi-version Ontology-based Personalization"

Paolo Bellavista, Antonio Corradi, Andrea Reale (2013) "Dynamic datacenter resource provisioning for high-performance distributed stream processing with adaptive fault-tolerance"

M. Roccetti (2013) "Embedded Key Frame Extraction in UGC Scenarios"

G. Moro, C. Sartori (2013) "Energy Efficiency in W-Grid Data-Centric Sensor Networks via Workload Balancing"

Mirko Viroli (2013) "Engineering Confluent Computational Fields: from Functions to Rewrite Rules"

Ambra Molesini, Andrea Omicini, Mirko Viroli (2013) "Engineering Pervasive Multiagent Systems in SAPERE"

Cosimo Laneve (2013) "Engineering virtualized services"

A. Lumini (2013) "Ensemble Of Patterns Of Oriented Edge Magnitudes Descriptors For Face Recognition"

A. Bujari (2013) "Evaluating design constraints for proximity-based games in a real urban topology"

Stefano Mariani, Andrea Omicini (2013) "Event-Driven Programming for Situated MAS with ReSpecT Tuple Centres"

Silvia Mirri, Catia Prandi, Paola Salomoni (2013) "Experiential Adaptation to Provide User-Centered Web Content Personalization"

Raffaele Cappelli (2013) "FVC-onGoing: testing with a web-based automated platform"

Roberto Amadini, Maurizio Gabbrielli (2013) "Fast Post-Disaster Emergency Vehicle SchedulingDistributed Computing and Artificial Intelligence"

S. Lodi, C. Sartori (2013) "Fast outlier detection using a GPU"

Federico Tombari (2013) "Feature-based automatic 3D registration for cultural heritage applications"

D. Bresolin (2013) "Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms"

Federico Tombari, Samuele Salti, Luigi Di Stefano (2013) "GPU-SHOT: Parallel Optimization for Real-Time 3D Local Description2013 IEEE Conference on Computer Vision and Pattern Recognition Workshops"

A. Bujari (2013) "Geo-anchored floating data for mobile users"

Davide Sangiorgi (2013) "HATS Abstract Behavioral Specification: The Architectural View"

M. Golfarelli, S. Rizzi (2013) "Honey, I Shrunk the Cube"

M. Roccetti (2013) "How to Outreach the External World from a Museum: The Case of the Marsili's Spirit App"

D. Bresolin (2013) "HyLTL: a temporal logic for model checking hybrid systems"

Renzo Davoli (2013) "IPv6 Hash-Based Addresses for Simple Network Deployment"

Andrea Roli (2013) "Identification of Dynamical Structures in Artificial Brains: An Analysis of Boolean Network Controlled RobotsAI*IA 2013: Advances in Artificial Intelligence"

A. Di Iorio, A. G. Nuzzolese, S. Peroni (2013) "Identifying Functions of Citations with CiTalO"

D. Bresolin (2013) "Improving HyLTL model checking of hybrid systems"

M. Di Felice, L. Bononi (2013) "Integrating Spectrum Database and Cooperative Sensing for Cognitive Vehicular Networks"

A. Di Iorio, F. Poggi, F. Vitali (2013) "Integration of Legal Datasets: From Meta-model to Implementation"

T. Salmon Cinotti, L. Bononi (2013) "Interactions of large scale EV mobility and virtual power plants"

Ivan Lanese, Luca Bedogni, Marco Di Felice (2013) "Internet of Things: a process calculus approach"

Renzo Davoli (2013) "Internet of Threads"

Nicola Fioraio, Luigi Di Stefano (2013) "Joint Detection, Tracking and Mapping by Semantic Bundle Adjustment"

Andrea Baldovin (2013) "Kernel-level time composability for avionics applicationsProceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13"

Samuele Salti, Luigi Di Stefano (2013) "Keypoints from Symmetries by Wave Propagation"

M. Gabbrielli, P. Ciancarini (2013) "Laboratory Experiences in Software Engineering from a Constructivist Perspective"

A. Amoroso, M. Roccetti (2013) "Like Vehicles Like Pedestrians, in an Interconnected World"

Matteo Golfarelli, Stefano Rizzi (2013) "Lily: A Geo-Enhanced Library for Location IntelligenceData Warehousing and Knowledge Discovery"

Andrea Baldovin (2013) "Limited preemptive scheduling of non-independent task sets2013 Proceedings of the International Conference on Embedded Software (EMSOFT)"

M. Roccetti, A. Amoroso (2013) "Listening to Unanimated Objects' Stories for Treatment and Repair: A Computer Vision Approach"

F. Tombari (2013) "Localizing and segmenting objects with 3D objectness"

Ilaria Bartolini (2013) "Location-Based Sponsored Search Advertising"

L. Bedogni, M. Di Felice, L. Bononi (2013) "Machine-to-Machine Communication over TV White Spaces for Smart Metering Applications"

T. Salmon Cinotti (2013) "Mapping complex physical environments in “smart spaces” by RFIDs and RADAR technologies"

Andrea Baldovin (2013) "Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)"

E. Gallinucci, M. Golfarelli, S. Rizzi (2013) "Meta-stars: multidimensional modeling for social business intelligence"

Stefano Mariani, Andrea Omicini (2013) "MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes"

Stefano Mariani, Andrea Omicini (2013) "Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments"

F. Tombari, L. Di Stefano (2013) "Multimodal cue integration through Hypotheses Verification for RGB-D object recognition and 6DOF pose estimation"

Davide Sangiorgi (2013) "Name-Passing Calculi: From Fusions to Preorders and Types2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science"

Andrea Omicini (2013) "Nature-inspired Coordination for Complex Distributed Systems"

Renzo Davoli (2013) "OTIP: One Time IP Address "

M. Ferrara, A. Franco, D. Maltoni, Y. Sun (2013) "On the Impact of Alterations on Face Photo Recognition Accuracy"

Michela Milano (2013) "Optimization for Policy Making: The Cornerstone for an Integrated ApproachPrinciples and Practice of Constraint Programming"

Stefano Mariani (2013) "Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK"

G. Moro, T. Pirini (2013) "Peer-to-peer data mining classifiers for decentralized detection of network attacks"

S. Rizzi (2013) "Predicting Your Next OLAP Query Based on Recent Analytical Sessions"

Danilo Pianini (2013) "Predicting social density in mass events to prevent crowd disasters"

Stefano Mariani, Andrea Omicini (2013) "Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages"

Stefano Mariani, Andrea Omicini (2013) "Probabilistic Modular Embedding for Stochastic Coordinated Systems"

Aldopaolo Palareti (2013) "Progetti didattici e di ricerca tra informatica e discipline storiche: dalla storia urbana all’analisi delle circoscrizioni amministrative"

Davide Rossi, Angelo Di Iorio (2013) "Promoting Best Practice Sharing within Organizations"

Stefano Mariani, Andrea Omicini (2013) "Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine"

S. Rizzi (2013) "ProtOLAP: rapid OLAP prototyping with on-demand data supply"

G. Profiti, P. Fariselli (2013) "Protein Sequence Annotation by means of Community Detection"

M. Marzolla (2013) "QoS-aware fully decentralized service assembly"

Danilo Montesi (2013) "Querying data across different legal domainsProceedings of the 17th International Database Engineering & Applications Symposium on - IDEAS '13"

M. Di Felice, L. Bedogni, L. Bononi (2013) "Re-establishing Network Connectivity in Post-Disaster Scenarios Through Mobile Cognitive Radio Networks"

Luca Foschini, Antonio Corradi (2013) "Real-Time Urban Monitoring in Dublin Using Semantic and Stream Technologies"

A. Di Iorio, S. Peroni, F. Poggi, F. Vitali (2013) "Recognising Document Components in XML-based Academic Articles"

Ilaria Bartolini (2013) "Recommending Multimedia Objects in Cultural Heritage Applications"

S. Ferretti (2013) "Resilience of dynamic overlays through local interactions"

M. Di Felice, L. Bedogni, L. Bononi, F. Panzieri (2013) "STEM-Mesh: Self-Organizing Mobile Cognitive Radio Network for Disaster Recovery Operations"

M. Di Felice (2013) "STEM-Net: An evolutionary architecture for highly-reconfigurable wireless networks"

P. Ciancarini, A. Di Iorio, S. Peroni, F. Vitali (2013) "Semantic Annotation of Scholarly Documents and Citations"

M. Milano (2013) "Simulation Of Incentive Mechanisms For Renewable Energy Policies."

Carlo Giannelli, Paolo Bellavista (2013) "Smart Communications via a Tree-based Overlay over Multiple and Heterogeneous (TOMH) Spontaneous Networks"

Armir Bujari (2013) "Smartphone and Laptop Frameworks for vehicular networking experimentation"

M. Di Felice, L. Bedogni, L. Bononi, F. Panzieri (2013) "Smartphones Like Stem Cells: Cooperation and Evolution for Emergency Communication in Post-Disaster Scenarios"

Paolo Bellavista, Carlo Giannelli, Stefano Poli (2013) "Social-aware Differentiated Visibility of Home-to-Home Shared Resources in Spontaneous Networks"

Stefano Mariani, Andrea Omicini (2013) "Space-aware Coordination in ReSpecT"

A. Messina, D. Montesi (2013) "Spatio-Temporal Keyword Queries in Social Networks"

A. Roli (2013) "State space properties of Boolean networks trained for sequence tasks"

S. Mattoccia (2013) "Stereo Vision Algorithms for FPGAs"

Y. Sun, M. Tistarelli and D. Maltoni (2013) "Structural Similarity based image quality map for face recognition across plastic surgery"

M. Roccetti (2013) "Supporting cultural emotional browsing for museums: The versoverdi APP"

Milano M (2013) "Sustainable energy policies: research challenges and opportunities"

Andrea Asperti (2013) "The Cost of Usage in the Lambda-Calculus"

Ugo Dal lago (2013) "The Geometry of Types"

Paolo Bellavista, Antonio Corradi, Andrea Reale (2013) "The QUASIT Model and Framework for Scalable Data Stream Processing with Quality of Service"

A. Roli (2013) "The detection of intermediate-level emergent structures and patterns"

P. Ciancarini (2013) "The foundations of virtual ontology networks"

P. Ciancarini (2013) "Tipalo: A Tool for Automatic Typing of DBpedia Entities"

Nicola Fioraio, Luigi Di Stefano (2013) "Towards Semantic KinectFusion"

P. Ciancarini, A. Di Iorio, F. Vitali (2013) "Towards a Qualitative Analysis of Diff Algorithms"

Andrea Baldovin (2013) "Towards a Time-Composable Operating SystemReliable Software Technologies – Ada-Europe 2013"

I. Bartolini (2013) "Towards a taxonomy of suspected forgery in authorship attribution field. A case: Montale’s Diario Postumo"

F. Chesani, P. Mello (2013) "Towards data-aware constraints in declare"

Angelo Di Iorio, Andrea Giovanni Nuzzolese, Silvio Peroni (2013) "Towards the Automatic Identification of the Nature of Citations"

P. Ciancarini (2013) "Towards the Natural Ontology of Wikipedia"

Peroni S (2013) "Tracking changes through EARMARK: a theoretical perspective and an implementation"

Stefano Mariani, Andrea Omicini (2013) "TuCSoN on Cloud: An Event-Driven Architecture for Embodied / Disembodied Coordination"

Stefano Mariani, Andrea Omicini (2013) "Tuple-based Coordination of Stochastic Systems with Uniform Primitives"

Alessandro Ricci, Andrea Santi (2013) "Typing Multi-agent Programs in simpAL"

A. Bevilacqua (2013) "VIGNETTING AND PHOTO-BLEACHING CORRECTION IN AUTOMATED FLUORESCENCE MICROSCOPY FROM AN ARRAY OF OVERLAPPING IMAGES"

W. Penzo (2013) "Wearable Queries: Adapting Common Retrieval Needs to Data and Users"

Michela Milano (2013) "imulation Of Incentive Mechanisms For Renewable Energy Policies"

Paolo Torroni (2013) "Arguments in social networks"

Fabio Vitali (2013) "Collaborative annotations in shared environments"

Fabio Vitali, Silvio Peroni (2013) "Dialogue and linking between TEI and other semantic models"

A. Di Iorio (2013) "Document Changes: Modeling; Detection; Storing and Visualization (DChanges)"

A. Bevilacqua (2013) "Extending the eld of view microscope's camera using a video of images"

Paolo Torroni (2013) "NetArg: an agent-based social simulator with argumentative agents"

Di Lena P, Fariselli P (2013) "Overrepresented rare variants to evaluate the probability for an individual to be affected by Crohn's disease"

A. Roli (2013) "The cluster index revisited: detection of mesolevel dynamical structures "

Fariselli P (2013) "The prediction of signal peptides in proteins with Grammatical Restrained Hidden Conditional Random Fields"

Peroni S (2013) "DiTTO: Diagrams Transformation inTo OWL"

A. Bevilacqua (2013) "GridMos: a fully-automatic mosaicing method for improving precision and repeatability of manual cell counting"

Prandini M. (2013) "Internet voting security in Europe: a process-oriented perspective"

A. Bevilacqua (2013) "Semi-quantitative monitoring of adhesion of mesenchymal stromal cells on calcium-phosphate granules through a computer vision system"