IL PORTALE per la RICERCA dei DIPARTIMENTI

F. Rossi (2013) "A Framework for Aggregating Influenced CP-nets and its Resistance to Bribery"

Giovanni Da San Martino, Alessandro Sperduti (2013) "A Lossy Counting Based Approach for Learning on Streams of Graphs on a Budget"

F. Aiolli (2013) "A Preliminary Study of a Recommender System for the Million Songs Dataset Challenge"

F. Ranzato (2013) "A more efficient simulation algorithm on Kripke structures"

Enrico Mezzetti, Tullio Vardanega (2013) "A rapid cache-aware procedure positioning optimization to favor incremental development2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)"

A. Montanaro (2013) "AUTOMATIC COURSEWARE TRANSFERS BETWEEN DIFFERENT PLATFORMS"

Tullio Vardanega (2013) "Achieving timing composability with measurement-based probabilistic timing analysis16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)"

Massimiliano de Leoni (2013) "Aligning Event Logs and Process Models for Multi-perspective Conformance Checking: An Approach Based on Integer Linear Programming"

Vardanega T. (2013) "Applying Measurement-Based Probabilistic Timing Analysis to Buffer Resources"

F. Rossi (2013) "Bribery in voting with soft constraints"

Andrea Burattin, Alessandro Sperduti (2013) "Business Models Enhancement through Discovery of Roles"

Mauro Conti (2013) "CREPUSCOLO: A collusion resistant privacy preserving location verification system"

Mauro Conti (2013) "Cache Privacy in Name-Data Networking"

Tullio Vardanega (2013) "Charting the evolution of the Ada Ravenscar code archetypes"

Paolo Baldan (2013) "Comparing metabolic pathways through potential fluxes: a selective opening approach"

Francesco Ranzato (2013) "Complete Abstractions Everywhere"

Mauro Conti (2013) "ContextOS: a Context Aware Operating System for Mobile Devices"

Marta Zoppello (2013) "Controllability and optimal strokes for N-link microswimmer52nd IEEE Conference on Decision and Control"

Tullio Vardanega (2013) "Cross-Domain Reuse: Lessons Learned in a Multi-project TrajectorySafe and Secure Software Reuse"

M. Conforti (2013) "Cut-generating functions"

M. de Leoni (2013) "Data-aware process mining: discovering decisions in processes using alignments"

M. Donini (2013) "Designing quiet rotorcraft landing trajectories with probabilistic road maps."

Massimiliano de Leoni (2013) "Discovering Branching Conditions from Business Process Execution Logs"

Gaggi O. (2013) "Discovering Local Attractions from Geo-Tagged Photos"

Francesca Rossi (2013) "Dynamic Probabilistic CP-nets"

C. Cornelio (2013) "Dynamic and Probabilistic CP-nets"

Fabio Aiolli (2013) "Efficient top-n recommendation for very large scale binary rated datasetsProceedings of the 7th ACM conference on Recommender systems - RecSys '13"

C. E. Palazzi (2013) "Evaluating design constraints for proximity-based games in a real urban topology"

Mauro Conti (2013) "Friend in the Middle (FiM): Tackling Social Networks De-Anonymization"

M. Ciman, O. Gaggi (2013) "From a physical system to a pervasive solution to increase people physical activity: Is it possible?"

C. E. Palazzi (2013) "Geo-anchored floating data for mobile users"

M. Ciman, O. Gaggi (2013) "HelpMe!: a Serious Game for Rehabilitation of Children affected by CVI"

G. Carnovale (2013) "Induced conjugacy classes and induced U_e(G)-modules"

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

M. Bardi (2013) "LQG Mean-Field Games with ergodic cost"

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

Mauro Conti (2013) "MASS: An efficient and secure broadcast authentication scheme for resource constrained devices"

Mauro Conti (2013) "MITHYS: Mind The Hand You Shake - Protecting Mobile Devices from SSL Usage Vulnerabilities"

Marco Ferrante (2013) "Markov Chain Volleyball"

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

Tullio Vardanega (2013) "On Software Reference Architectures and Their Application to the Space Domain"

A. Montanaro (2013) "On discontinuity waves and vibrations in thermo-piezoelectric bodies"

C. E. Palazzi (2013) "Online Gaming and File Download Coexistence over Multihop Wireless Networks"

Andrea Burattin, Alessandro Sperduti (2013) "Online Process Discovery to Detect Concept Drifts in LTL-Based Declarative Process Models"

Mauro Conti (2013) "Poseidon: Mitigating interest flooding DDoS attacks in Named Data Networking"

Mauro Conti (2013) "Preserving Smartphone Users' Anonymity in Cloudy Days"

Paolo Baldan (2013) "Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta"

Andrea Loreggia, Francesca Rossi (2013) "Restricted Manipulation in Iterative Voting: Condorcet Efficiency and Borda Score."

Andrea Loreggia, Francesca Rossi (2013) "Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency."

M. Conforti, M. Di Summa (2013) "Reverse Chvátal-Gomory rank"

Mauro Conti (2013) "Secure Verification of Location Claims on a Vehicular Safety Application"

Mauro Conti (2013) "Smartphone and Laptop Frameworks for vehicular networking experimentation"

Fabio Aiolli, Michele Donini (2013) "Stacked Models for Efficient Annotation of Brain Tissues in MR VolumesXIII Mediterranean Conference on Medical and Biological Engineering and Computing 2013"

Massimiliano de Leoni (2013) "Supporting Risk-Informed Decisions during Business Process ExecutionAdvanced Information Systems Engineering"

Tullio Vardanega (2013) "Supporting industrial use of probabilistic timing analysis with explicit argumentation2013 11th IEEE International Conference on Industrial Informatics (INDIN)"

F. Rossi (2013) "The complexity of losing voters"

Andrea Baldovin, Enrico Mezzetti, Tullio Vardanega (2013) "Towards a Time-Composable Operating SystemReliable Software Technologies – Ada-Europe 2013"

C. Cornelio, F. Rossi (2013) "Updates and Uncertainty in CP-nets"

Vardanega T. (2013) "Upper-bounding Program Execution Time with Extreme Value Theory"

Loreggia A (2013) "AODware: a model-based application for optimal and adaptive optimal experimental design exploration."

M. Antonelli (2013) "An approach for the integration of subdivision surfaces in a hybrid CAD system"

D. Pasetto, M. Putti (2013) "Hydro-geophysical monitoring and stochastic inverse modeling of a controlled irrigation experiment"

M. Putti (2013) "Hydrogeophysical monitoring and modeling of freshwater injection in a hyper-saline aquifer"

Alessandra Bianchi (2013) "Random Walk in a one-dimensional Lévy random environment ."

M. Antonelli (2013) "Subdivision surfaces integrated in a CAD system through parameterization and local correction"

Putti M (2013) "Time-lapse 3D electrical resistivity tomography to monitor soil-plant interactions"

M. Putti (2013) "Time-lapse ERT for the monitoring of soil-plant interactions in the root zone"

M. Putti (2013) "Time-lapse ERT for the monitoring of soil-plant interactions in the root zone"

M. Antonelli (2013) "An effective integration of subdivision surfaces in a hybrid computer-aided design system"

O. Gaggi (2013) "An environment for fast development of tabletop applications."

A. Karapiperi, M. Redivo-Zaglia (2013) "Convergence acceleration of row action methods"

Nguyen Van Luong (2013) "On the differentiability of minimum time function for linear control systems"