Gianluca Caminiti
Professore a contratto

Settore Scientifico:
- INF/01




Orario e modalità di ricevimento:

Il ricevimento potrà essere effettuato al termine delle lezioni nei periodi in cui la didattica sarà erogata in presenza.

In ogni caso gli studenti potranno inviare una richiesta via email per concordare un ricevimento a distanza (utilizzando la piattaforma Google Meet) su appuntamento. 



Insegnamenti:

AA 2020/2021
Corso di laurea Programma
Politiche per l'innovazione e l'inclusione sociale Strumenti informatici per l'innovazione sociale
AA 2019/2020
Corso di laurea Programma
Politiche per l'innovazione e l'inclusione sociale Strumenti informatici per l'innovazione sociale
AA 2018/2019
Corso di laurea Programma
Mediatori per l'intercultura e la coesione sociale in Europa Abilità  informatiche e telematiche I
Programmazione e gestione delle politiche e dei servizi sociali d'area mediterranea Abilità  informatiche e telematiche II
Interpretariato e Mediazione interculturale Abilità informatiche e telematiche II
AA 2017/2018
Corso di laurea Programma
Mediatori per l'intercultura e la coesione sociale in Europa Abilità informatiche e telematiche
Programmazione e gestione delle politiche e dei servizi sociali d'area mediterranea Abilità Informatiche e Telematiche
Interpretariato e Mediazione interculturale Abilità informatiche e telematiche II
AA 2016/2017
Corso di laurea Programma
Operatori pluridisciplinari e interculturali d'area mediterranea Abilità  informatiche e telematiche
Programmazione e gestione delle politiche e dei servizi sociali d'area mediterranea Abilità  Informatiche e Telematiche
Interpretariato e Mediazione interculturale Abilità informatiche e telematiche II
AA 2015/2016
Corso di laurea Programma
Operatori pluridisciplinari e interculturali d'area mediterranea Abilità  Informatiche e Telematiche
Programmazione e gestione delle politiche e dei servizi sociali d'area mediterranea Abilità  Informatiche e Telematiche II
Interpretariato e Mediazione interculturale Abilità informatiche e telematiche II
AA 2014/2015
Corso di laurea Programma
Operatori pluridisciplinari e interculturali d'area mediterranea Abilità  Informatiche e Telematiche
Programmazione e gestione delle politiche e dei servizi sociali d'area mediterranea Abilità  Informatiche e Telematiche II
AA 2013/2014
Corso di laurea Programma
Operatori pluridisciplinari e interculturali d'area mediterranea Abilità  Informatiche e Telematiche
Programmazione e gestione delle politiche e dei servizi sociali d'area mediterranea Abilità  Informatiche e Telematiche
AA 2012/2013
Corso di laurea Programma
Operatori pluridisciplinari e interculturali d'area mediterranea Abilità  Informatiche e Telematiche
Programmazione e gestione delle politiche e dei servizi sociali d'area mediterranea Abilità  Informatiche e Telematiche
AA 2011/2012


Temi di ricerca:

- Intelligenza Artificiale

- Formalismi logici di rappresentazione della conoscenza e del ragionamento non monotòno

- Sicurezza Informatica

- Strumenti per la dematerializzazione e per l’efficienza della P.A.

- Intelligenza Artificiale

- Formalismi logici di rappresentazione della conoscenza e del ragionamento non monotòno

- Sicurezza Informatica

- Strumenti per la dematerializzazione e per l’efficienza della P.A.



Pubblicazioni:

Riviste a diffusione Internazionale:
1. Buccafurri, F., Caminiti, G., Lax, G., Digital Document Signing: Vulnerabilities and Solutions, Information Security Journal: A Global Perspective, 2015, vol. 24, issue 1-3, pp.1-14, Taylor and Francis, Inc., ISSN: 1939-3555
2. Buccafurri, F., Caminiti, G., Lax, G., The Dalì Attack on Digital Signature, Journal of Information Assurance and Security, 2008, vol. 3, pp.185-194, Dynamic Publishers, Inc., ISSN: 15541010
3. Buccafurri, F., Caminiti, G., Rosaci, D., An ASP-based Approach to Dealing with Agent Perception Failure, Artificial Intelligence Communications, IOS Press, 2008, vol. 21 (1), pp. 49-69, ISSN: 0921-7126.
4. Buccafurri, F., Caminiti, G., Logic Programming with Social Features for Multi-Agent Systems, Theory and Practice of Logic Programming, Cambridge University Press, 2008, vol 8 (5-6), pp. 643-690, ISSN: 1475-3081.

Atti di Conferenze Internazionali
5. Buccafurri, F., Caminiti, G., Lax. G., Threats to Legal Electronic Storage: Analysis and Countermeasures, pubblicato negli atti della Second International Conference on Electronic Government and the Information Systems Perspective (EGOVIS), Toulouse, France, 2011, pp. 68-77.
6. Buccafurri, F., Caminiti, G., Lax. G., Fortifying the Dalì Attack on Digital Signature, pubblicato negli atti della 2nd International Conference on Security of Information and Networks (SIN 2009), 6-10 October 2009, North Cyprus, ACM Press, pp.278-287, ISBN: 978-1-60558-412-6.
7. Buccafurri, F., Caminiti, G., Laurendi R., A Logic Language with Stable Model Semantics for Social Reasoning, pubblicato negli atti della conferenza internazionale International Conference on Logic Programming, Lecture Notes in Computer Science 5366, Springer, 2008, pp. 718-723, ISBN: 978-3-54089981-5.
8. Buccafurri, F., Caminiti, G., Lax. G., Signing the Document Content is not Enough: A new Attack to Digital Signature, pubblicato negli atti della conferenza "IEEE International Conference on the Applications of Digital Information and Web Technologies", 2008, IEEE Press, pp. 520-525, ISBN: 978-1-4244-2623-2.
9. Buccafurri, F., Caminiti, G., An Extension of SOLP for Cooperative Flexible Agents, pubblicato negli atti de The 4th Workshop on Answer Set Programming Advances in Theory and Implementation (ASP 2007), Sept 8-13, 2007, Porto, Portugal, pp. 83–98.
10. Buccafurri, F., Caminiti, G., Rosaci, D., Logic Programs with Multiple Chances, pubblicato negli atti de The 17th European Conference on Artificial Intelligence (ECAI), Riva del Garda, Italy / Aug 28th - Sept 1st, 2006, Frontiers in Artificial Intelligence and Applications Vol. 141., pp 347–351, IOS Press.
11. Buccafurri, F., Caminiti, G., A Social Semantics for Multi-Agent Systems, pubblicato negli atti de 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Lecture Notes in Artificial Intelligence Vol. 3662, pp. 317–329, Baral, C.; Greco, G.; Leone, N.; Terracina, G. (Eds.) Springer-Verlag Berlin Heidelberg 2005.

Atti di Conferenze Nazionali
12. Buccafurri, F., Caminiti, G., Lax, G., Archiving Digital Documents: Issues in Dematerialization, pubblicato negli Atti del Eighteenth Italian Symposium on Advanced Database Systems (SEBD), Rimini, 2010, pp.182-189.
13. Buccafurri, F., Caminiti, G., Laurendi, R., Testing Logic Programs with Multiple Chances, pubblicato negli Atti del Convegno Italiano di Logica Computazionale (CILC), Messina, 2007.
14. Buccafurri, F., Caminiti, G., Extending Social Logic Programming to Represent Cooperative Work with Flexible Requirements, pubblicato negli Atti della Giornata di Lavoro: Analisi sperimentale e benchmark di algoritmi per l’Intelligenza Artificiale, Università di Udine, Italy, June 23, 2006.
15. Buccafurri, F., Caminiti, G., Rosaci, D., Perception-dependent reasoning and answer sets, pubblicato negli Atti della Giornata di Lavoro: Analisi sperimentale e benchmark di algoritmi per l’Intelligenza Artificiale, number CS-2005-03 in Computer Science Group Technical Reports, Dipartimento di Ingegneria, Universit`a di Ferrara, Italy, June 10 2005., pp. 119-126.
16. Buccafurri, F., Caminiti, G., Social behaviour of agents and stable models, pubblicato negli Atti del Convegno Italiano di Logica Computazionale (CILC), Istituto CNR, Roma, 2005.
17. Buccafurri, F., Caminiti, G., Implementing Joint Fixpoint Semantics on Top of DLV, pubblicato negli Atti del Convegno Italiano di Logica Computazionale (CILC), G. Rossi, E. Panegai (eds.), Proceedings of CILC'04 - Italian Conference on Computational Logic, Parma, 16-17 Giugno 2004. Research Report “Quaderno del Dipartimento di Matematica”, Università di Parma, n. 390, Novembre 2004, pp.330--344.

Capitoli di Libri
18. Buccafurri, F., Caminiti, G., Lax, G., Approximate Range Querying over Sliding Windows, pubblicato come capitolo del volume Handbook of Research on Text and Web Mining Technologies, pp.273-287, IGI Global, Pennsylvania (USA), 2009, ISBN: 1599049902.
19. Buccafurri, F., Caminiti, G., Lax, G., Histograms for OLAP and Data-Stream Queries, pubblicato come capitolo nel volume Encyclopedia of Data Warehousing and Mining - 2nd Edition, pp.976-981, IGI Global, Pennsylvania (USA), 2009, ISBN: 1605660108.
20. Buccafurri, F., Caminiti, G., Quattrone, G., Ursino D., La gestione dell’interoperabilità tra sorgenti informative in ambito portuale, pubblicato come capitolo del libro Progetto Reports e Progetto Sestante. Azioni per lo sviluppo dello short sea shipping, per la sicurezza nei nodi portuali e per l’interoperabilità dei sistemi informativi, Franco Angeli, 2005, pp. 187–199, ISBN: 8-846-46435-4.



Collaborazioni:


BilerChildrenLeg og SpilAutobranchen

Questo sito utilizza un cookie tecnico per consentire la corretta navigazione. Confermando accetti il suo utilizzo. Per saperne di più, consulta l'informativa estesa.