IL PORTALE per la RICERCA dei DIPARTIMENTI

Messina F, Pappalardo G, Santoro C (2013) "A Distributed Agent-Based Approach for Supporting Group Formation in P2P e-Learning"

Napoli Christian, Pappalardo G, Tramontana Emiliano (2013) "A Hybrid Neuro–Wavelet Predictor for QoS Control and Stability"

Bella G (2013) "A Socio-Technical Understanding of TLS Certificate Validation"

Romano V (2013) "A macroscopic model for electron transport in silicon usng analytical description for both the electron bands and phonon dispersion relations"

Trovato M (2013) "A proper nonlocal formulation of maximum entropy principle for Fermi, Bose and Fractional Eclusion Statistics"

Mammana M (2013) "A tetrahedron to model e-learning Mathematics"

Messina Fabrizio, Pappalardo G, Santoro Corrado (2013) "A trust-based approach for a competitive cloud/grid computing scenario"

Battiato S (2013) "Adaptive Compression of Stereoscopic Images"

Battiato S, M. Moltisanti (2013) "Aestethic Scoring of Digital Portraits for Consumer Applications"

Catalano Dario (2013) "Algebraic (Trapdoor) One-Way Functions and Their Applications"

Gallo G (2013) "Analysis of test-day milk and milk components yield records by using an interactive system to visualize multivariate data"

ANDREA CALVAGNA, EMILIANO TRAMONTANA (2013) "Automated Conformance Testing of Java Virtual Machines "

F. Stanco, G. M. Farinella (2013) "Automatic Braille to Black Conversion"

Puglisi G, Stanco F (2013) "Automatic Petrographic Feature Extraction from Pottery of Archaeological Interest"

Tramontana E (2013) "Automatically Characterising Components with Concerns and Reducing Tangling"

Mammana M (2013) "CLOSE YOUR EYES AND SEE…AN APPROACH TO SPATIAL GEOMETRY"

BARBANERA F (2013) "Characterisation of Strongly Normalising lambda-mu-Terms"

ANDREA CALVAGNA (2013) "Combinatorial Interaction Testing with CITLAB"

ANDREA CALVAGNA (2013) "Combinatorial Testing for Feature Models Using CITLAB"

ANDREA CALVAGNA, EMILIANO TRAMONTANA (2013) "Combinatorial Validation Testing of Java Card Byte Code Verifiers"

Stanco F (2013) "Computer graphics solutions for pottery colors specification"

S. Battiato, G. M. Farinella (2013) "Counterfeit Detection and Value Recognition of Euro Banknotes"

Muscato O, Di Stefano V (2013) "Coupled quantum-classical transport in silicon nanowires"

Calvagna A, Tramontana E (2013) "Delivering Dependable Reusable Components by Expressing and Enforcing Design Decisions"

Tramontana E (2013) "Detecting Attacks on Java Cards by Fingerprinting Applets"

Stanco F (2013) "Detection and Correction of Mistracking in Digitalized Analog Video"

CUTELLO V, PAVONE M (2013) "Escaping Local Optima via Parallelization and Migration"

Messina F, Pappalardo G, Santoro C (2013) "Exploiting GPUs to Simulate Complex Systems"

FARO S (2013) "Fast Packed String Matching for Short Patterns"

Puglisi G, S. Battiato (2013) "First JPEG Quantization Matrix Estimation based on Histogram Analysis"

Puglisi G (2013) "First Quantization Coefficient Extraction from Double Compressed JPEG Images"

Battiato S (2013) "First Quantization Coefficient Extraction from Double Compressed JPEG Images"

Messina Fabrizio, Pappalardo Giuseppe, Santoro C (2013) "HySoN: A distributed agent-based protocol for group formation in online social networks"

FARO S (2013) "Improved and Self-Tuned Occurrence Heuristics"

Andrea Calvagna, Emiliano Tramontana (2013) "Incrementally Applicable t-wise Combinatorial Test Suites for High-Strength Interaction Testing"

Messina F, Pappalardo G, Santoro C (2013) "Integrating Cloud Services in Behaviour Programming for Autonomous Robots"

Giunta R, Messina F, Pappalardo G, Tramontana E (2013) "Kaqudai: a dependable web infrastructure made out of existing components"

MAUGERI A (2013) "LAGRANGE MULTIPLIERS IN ELASTIC-PLASTIC TORSION"

Romano V (2013) "MATHEMATICAL STRUCTURE OF THE TRANSPORT EQUATIONS FOR COUPLED 2D-3D ELECTRON GASSES IN A MOSFET."

G. M. Farinella, S. Battiato (2013) "Measuring Sandy Bottom Dynamics by Exploiting Depth from Stereo Video Sequences"

MONGIOVI' M (2013) "Mining evolving network processes"

Corrente S (2013) "Multiple Criteria Hierarchy Process for the Choquet Integral"

FARACI F (2013) "Multiplicity results for constrained Neumann problems"

MONGIOVI' M (2013) "NetSpot: Spotting Significant Anomalous Regions on Dynamic Networks"

Battiato S, Farinella G. M. (2013) "PCA based Shape Recognition for Capacitive Touch Display"

Pidatella R (2013) "Pattern Classification through Fuzzy Likelihood"

Pennisi M (2013) "Persistence analysis in a Kolmogorov-type model for cancer-immune system competition"

Catalano Dario (2013) "Practical homomorphic MACs for arithmetic circuits"

Daniele P, Maugeri A (2013) "RECENT RESULTS ON A GENERAL FINANCIAL EQUILIBRIUM"

S. Battiato, G. M. Farinella (2013) "Road Traffic Conflict Analysis from Geo-referenced Stereo Sequences"

Battiato S, G. M. Farinella (2013) "Shape Recognition for Capacitive Touch Display"

Battiato S (2013) "Signal Activity Estimation with Built-in Noise Management in Raw Digital Images"

Romano V (2013) "Simulation of charge transport in graphene nano-ribbons with a model based on MEP"

Bella G (2013) "Socio-Technical Formal Analysis of TLS Certificate Validation in Modern Browsers"

Battiato S, Farinella GM (2013) "Stereo Vision for Bus Traffic Conflict Investigation"

MADONIA M (2013) "Strong Prefix Codes of Pictures"

Pappalardo G., Tramontana E (2013) "Suggesting Extract Class Refactoring Opportunities by Measuring Strength of Method Interactions"

FARO S (2013) "Swap Matching in Strings by Simulating Reactive Automata"

PAVONE M (2013) "Swarm Intelligence heuristics for Graph Coloring Problem"

Mammana M (2013) "Teaching by doing"

Cutello V (2013) "The Roman Domination Problem on Grid Graphs"

Bella G (2013) "Towards Verifying Voter Privacy Through Unlinkability"

FARO S (2013) "Towards a Very Fast Multiple String Matching Algorithm for Short Patterns"

Santoro C (2013) "Translating Statecharts-Based into BDI Agents: The DSC/PROFETA Case"

MADONIA M (2013) "Two-dimensional Prefix Codes of Pictures"

MADONIA M (2013) "Two-dimensional rational automata: a bridge unifying one- and two-dimensional language theory"

Mammana M (2013) "Using DGS to introduce algebra properties"

Napoli C, Pappalardo G, Tramontana E (2013) "Using Modularity Metrics to Assist Move Method Refactoring of Large Systems"

Tramontana E (2013) "VSC Track Report"

Catalano Dario (2013) "Vector commitments and their applications"

S. Battiato, G. M. Farinella (2013) "Vision Based Traffic Conflict Analysis"

Pennisi M, Motta S (2013) "iAtheroSim: atherosclerosis process simulator on smart devices."

MAJORANA A (2013) "Deterministic DG Solvers for EPM-Boltzmann-Poisson Transport"

BELLA G (2013) "Editorial of the Special Track in Computer Security"

Stanco F (2013) "Enhanced analysis and transcription of non-Hellenic inscriptions from Archaic Sicily through open source digital techniques"

BELLA G (2013) "Foreword from the General Chairs"