IL PORTALE per la RICERCA dei DIPARTIMENTI

Rullo P (2011) "A GA-based Learning Algorithm for Inducing M-of-N-like Text Classifiers"

Ricca F (2011) "ASPIDE: Integrated Development Environment for Answer Set Programming"

SERPE ANNAROSA (2011) "Attività ludico-formative nella scuola dell'Infanzia con il software INF@0.1: un'esperienza in Calabria."

Fionda V (2011) "BioTRON: A Biological Workflow Management System"

GRECO G (2011) "Boosting tuple propagation in multi-relational classification"

RONGO R, AVOLIO M.V, D'AMBROSIO D, SPATARO W (2011) "Cellular Automata Simulation of Lava Flows - Applications to Civil Defense and Land Use Planning with a Cellular Automata based Methodology"

ALVIANO M, FABER W (2011) "Complexity of Super-Coherence Problems in ASP"

D'Ambrosio D, Rongo R, Spataro W (2011) "Debris flows simulation by cellular automata: A short review of the SCIDDICA models"

ALVIANO M, GRECO G, LEONE N (2011) "Dynamic Magic Sets for Programs with Monotone Recursive Aggregates"

FILIPPONE G, SPATARO W, D'AMBROSIO D, RONGO R, DI GREGORIO S (2011) "GPGPU Programming and Cellular Automata: Implementation of the SCIARA Lava Flow Simulation Code"

SERPE ANNAROSA (2011) "Giochiamo con le frazioni: un percorso dal reale al virtuale"

GRECO G (2011) "H-DB: a hybrid quantitative-structural sql optimizer"

CALIMERI F, PERRI S (2011) "Handling Function Symbols in the DLV Grounder"

AVOLIO M. V., D'AMBROSIO D, RONGO R., SPATARO W. (2011) "High detailed debris flows hazard maps by a cellular automata approach"

GRECO G, TERRACINA G (2011) "L-SME: A System for Mining Loosely Structured Motifs"

SPATARO W, AVOLIO M.V, D'AMBROSIO D, RONGO R (2011) "Lava flow Simulation with Cellular Automata: Applications for Civil Defense and Land Use Planning. Proceedings of the International Conference on Scientific Computing"

Rongo R, Spataro W (2011) "Lava hazard maps at Mount Etna. Applications for civil defense and land use planning"

NAPOLI A (2011) "Numerical solution of high order differential equations with Bernoulli boundary conditions"

GRECO G (2011) "On the Complexity of the Core over Coalition Structures"

GRECO G (2011) "On the Power of Enforcing Local Consistency"

Terracina G (2011) "Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis"

Ricca F, Terracina G (2011) "Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis"

FABER W (2011) "Privacy Preservation Using Multi-Context Systems"

POLIZZI F (2011) "Proper polynomial self-maps of the affine space: state of the art and new results"

Ianni G (2011) "Pushing Efficient Evaluation of HEX Programs by Modular Decomposition"

GRECO G (2011) "Structural Tractability of Constraint Optimization"

Ricca F (2011) "Testing ASP programs in ASPIDE"

DODARO C, ALVIANO M, FABER W, LEONE N, RICCA F (2011) "The Birth of a WASP: Preliminary Report on a New ASP Solver"

Perri S, Ricca F (2011) "The DLV Parallel Grounder"

CALIMERI F, IANNI G, RICCA F, ALVIANO M, LEONE N, MANNA M, PERRI S, TERRACINA G (2011) "The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track"

Iembo R (2011) "The school of empathy"

Ianni G (2011) "Towards a Policy Language for Managing Inconsistency in Multi-Context Systems"

Ricca F (2011) "Unit testing in ASPIDE"

Avolio M V, Spataro W, Di Gregorio S (2011) "Wildfire Hazard Mapping Using Cellular Automata"

Dell'Aglio L (2011) "Aspetti innovativi dei corsi di E. Betti: il caso dell’elettrodinamica"

Dell'Accio F (2011) "Su una combinazione dell'operatore di Shepard con polinomi di interpolazione di Hermite"

Dell'Aglio L (2011) "Teoria delle omografie e Calcolo differenziale assoluto"

Fionda V (2011) "Semantically-driven recursive navigation and retrieval of data sources in the Web of Data"