Sfoglia per Autore
Partially distributed coordination with Reo and constraint automata
2015 Jongmans, Sung Shik T. Q; Santini, Francesco; Arbab, Farhad
Timed soft concurrent constraint programs: An interleaved and a parallel approach
2015 Bistarelli, Stefano; Gabbrielli, Maurizio; Meo, MARIA CHIARA; Santini, Francesco
A Comparative Test on the Enumeration of Extensions in Abstract Argumentation
2015 Bistarelli, Stefano; Rossi, Fabio; Santini, Francesco
Towards visualising security with arguments
2015 Bistarelli, Stefano; Rossi, Fabio; Santini, Francesco; Taticchi, Carlo
A labelled semantics for soft concurrent constraint programming
2015 Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D.
Network security supported by arguments
2015 Martinelli, Fabio; Santini, Francesco; Yautsiukhin, Artsiom
Semiring-based specification approaches for quantitative security
2015 Martinelli, Fabio; Matteucci, Ilaria; Santini, Francesco
There are two sides to every question: Controller versus attacker
2015 Martinelli, Fabio; Matteucci, Ilaria; Santini, Francesco
Debating cybersecurity or securing a debate? (position paper)
2015 Martinelli, Fabio; Santini, Francesco
A micro study on the evolution of arguments in amazon.Com’s reviews
2015 Gabbriellini, Simone; Santini, Francesco
Defeasible logic programming in satisfiability Modulo CHR
2015 Santini, Francesco
A multi-criteria ranking of security countermeasures
2016 Nostro, Nicola; Matteucci, Ilaria; Ceccarelli, Andrea; Santini, Francesco; Di Giandomenico, Felicita; Martinelli, Fabio; Bondavalli, Andrea
A collective defence against grouped attacks for weighted abstract argumentation frameworks
2016 Bistarelli, Stefano; Rossi, Fabio; Santini, Francesco
Quantitative analysis of network security with abstract argumentation
2016 Santini, Francesco; Yautsiukhin, Artsiom
From arguments and reviewers to their simulation reproducing a case-study
2016 Gabbriellini, Simone; Santini, Francesco
ConArg: A Tool for Classical and Weighted Argumentation
2016 Bistarelli, Stefano; Rossi, Fabio; Santini, Francesco
Automated adaptation via Quantitative Partial Model Checking
2016 Bistarelli, Stefano; Santini, Francesco; Martinelli, Fabio; Matteucci, Ilaria
Decomposing global quantitative properties into local ones
2016 Matteucci, Ilaria; Santini, Francesco
Graded justification of arguments via internal and external endogenous features
2016 Santini, Francesco
A relaxation of internal conflict and defence in weighted argumentation frameworks
2016 Bistarelli, Stefano; Rossi, Fabio; Santini, Francesco
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile