ARC2S: Applied Research on Computational Complex Systems
Francesco Bergadano, Roberto Bertilone, Daniela Paolotti, Giancarlo Ruffo (2021)
Developing Real Estate Automated Valuation Models by Learning from Heterogeneous Data Sources.
https://iris.unito.it/handle/2318/1792196
Urbinati, Alessandra, Galimberti, Edoardo, Ruffo, Giancarlo (2021)
Measuring scientific brain drain with hubs and authorities: A dual perspective.
https://iris.unito.it/handle/2318/1810644
Semeraro A , Vilella S , Ruffo G (2021)
PyPlutchik: Visualising and comparing emotion-annotated corpora.
https://iris.unito.it/handle/2318/1802692
Capozzi, Arthur, Lai, Mirko, Basile, Valerio, Poletto, Fabio, Sanguinetti, Manuela, Bosco, Cristina, Patti, Viviana, Ruffo, Giancarlo, Musto, Cataldo, Polignano, Marco, Semeraro, Giovanni, Stranisci, Marco (2020)
“Contro L’Odio”: A Platform for Detecting, Monitoring and Visualizing Hate Speech against Immigrants in Italian Social Media.
https://iris.unito.it/handle/2318/1784913
Lai, Mirko, Patti, Viviana, Ruffo, Giancarlo, Rosso, Paolo, (2020)
#Brexit: Leave or remain? the role of user’s community and diachronic evolution on stance detection.
https://iris.unito.it/handle/2318/1747046
Giancarlo Ruffo, , , Marcella Tambuscio (2020)
Capire la diffusione della disinformazione e come contrastarla.
https://iris.unito.it/handle/2318/1737723
Semeraro, Alfonso, Tambuscio, Marcella, Ronchiadin, Silvia, Li Puma, Laura, Ruffo, Giancarlo (2020)
Structural inequalities emerging from a large wire transfers network.
https://iris.unito.it/handle/2318/1758320
Vilella, Salvatore, Lai, Mirko, Paolotti, Daniela, Ruffo, Giancarlo (2020)
Immigration as a Divisive Topic: Clusters and Content Diffusion in the Italian Twitter Debate.
https://iris.unito.it/handle/2318/1758567
Vilella, Salvatore, Paolotti, Daniela, Ruffo, Giancarlo, Ferres, Leo (2020)
News and the city: understanding online press consumption patterns through mobile data.
https://iris.unito.it/handle/2318/1737878
Tambuscio, Marcella, Ruffo, Giancarlo (2019)
Fact-checking strategies to limit urban legends spreading in a segregated society.
https://iris.unito.it/handle/2318/1718528
Capozzi A T E , Lai M , Basile V , Poletto F , Sanguinetti M , Bosco C , Patti V , Ruffo G , Musto C , Polignano M , Semeraro G , Stranisci M (2019)
Computational linguistics against hate: Hate speech detection and visualization on social media in the "Contro L’Odio" project.
https://iris.unito.it/handle/2318/1717637
Galimberti, Edoardo, Madeddu, Chiara, Bonchi, Francesco, Ruffo, Giancarlo (2019)
Visualizing Structural Balance in Signed Networks.
https://iris.unito.it/handle/2318/1717830
Francesco Bonchi, Edoardo Galimberti, Aristides Gionis, Bruno Ordozgoiti, Giancarlo Ruffo (2019)
Discovering Polarized Communities in Signed Networks.
https://iris.unito.it/handle/2318/1716820
Lai Mirko, Tambuscio Marcella, Patti Viviana, Ruffo Giancarlo, Rosso Paolo (2019)
Stance polarity in political debates: A diachronic perspective of network homophily and conversations on Twitter.
https://iris.unito.it/handle/2318/1714126
Marcella Tambuscio, Diego FM Oliveira, Giovanni Luca Ciampaglia, Giancarlo Ruffo (2018)
Network segregation in a model of misinformation and fact-checking.
https://iris.unito.it/handle/2318/1684058
Rapp, Amon*, Marcengo, Alessandro, Buriano, Luca, Ruffo, Giancarlo, Lai, Mirko, Cena, Federica (2018)
Designing a personal informatics system for users without experience in self-tracking: a case study.
https://iris.unito.it/handle/2318/1661687
Mirko Lai, Viviana Patti, Giancarlo Ruffo, Paolo Rosso (2018)
Stance Evolution and Twitter Interactions in an Italian Political Debate.
https://iris.unito.it/handle/2318/1669103
Arthur T E Capozzi, Viviana Patti, Giancarlo Ruffo, Cristina Bosco (2018)
A Data Viz Platform as a Support to Study, Analyze and Understand the Hate Speech Phenomenon.
https://iris.unito.it/handle/2318/1684057
Mirko Lai, Marcella Tambuscio, Viviana Patti, Giancarlo Ruffo, Paolo Rosso (2017)
Extracting Graph Topological Information and Users’ Opinion.
https://iris.unito.it/handle/2318/1652430
Bosco, Cristina, Patti, Viviana, Bogetti, Marcello, Conoscenti, Michelangelo, Ruffo, Giancarlo Francesco, Schifanella, Rossano, Stranisci, Marco (2017)
Tools and Resources for Detecting Hate and Prejudice against Immigrants in Social Media.
https://iris.unito.it/handle/2318/1637776
Sulis, Emilio, Hernández Farías, Delia Irazú, Rosso, Paolo, Patti, Viviana, Ruffo, Giancarlo (2016)
Figurative messages and affect in Twitter: Differences between #irony, #sarcasm and #not.
https://iris.unito.it/handle/2318/1606921
Hernandez Farias, Delia Irazu, Sulis, Emilio, Patti, Viviana, Ruffo, Giancarlo, Bosco, Cristina (2015)
ValenTo: Sentiment Analysis of Figurative Language Tweets with Irony and Sarcasm.
https://iris.unito.it/handle/2318/1521357
Tambuscio, Marcella, Ruffo, Giancarlo, Flammini, Alessandro, Menczer, Filippo (2015)
Fact-checking Effect on Viral Hoaxes.
https://iris.unito.it/handle/2318/1557768
Bosco, Cristina, Allisio, Leonardo, Mussa, V , Patti, Viviana, Ruffo, Giancarlo Francesco, Sanguinetti, Manuela, Sulis, Emilio (2014)
Detecting Happiness in Italian Tweets: Towards an Evaluation Dataset for Sentiment Analysis in Felicittà.
https://iris.unito.it/handle/2318/146318
Manuela Sanguinetti, Emilio Sulis, Viviana Patti, Giancarlo Ruffo, Leonardo Allisio, Valeria Mussa, Cristina Bosco (2014)
Developing corpora and tools for sentiment analysis: the experience of the University of Turin group.
https://iris.unito.it/handle/2318/154468
Tursi, Gianluca, Deplano, Martina, Ruffo, Giancarlo (2014)
AIRCacher: Virtual Geocaching Powered with Augmented Reality.
https://iris.unito.it/handle/2318/1558695
L Allisio, V Mussa, G Ruffo, C Bosco, V Patti (2013)
Felicittà.
https://iris.unito.it/handle/2318/146452
Allisio, Leonardo, Mussa, Valeria, Bosco, Cristina, Patti, Viviana, Ruffo, Giancarlo Francesco (2013)
Felicittà: Visualizing and Estimating Happiness in Italian Cities from Geotagged Tweets.
https://iris.unito.it/handle/2318/146317
Martina Deplano, Giancarlo Ruffo (2013)
GWAP as a Tool to Analyze, Design, and Test Geo-Social Systems.
https://iris.unito.it/handle/2318/130514
L M Aiello, M Deplano, R Schifanella, G Ruffo (2012)
People are Strange when you’re a Stranger: Impact and Influence of Bots on Social Networks.
https://iris.unito.it/handle/2318/106214
Ugo Pagallo, Giancarlo Ruffo (2012)
Peer-to-peer.
https://iris.unito.it/handle/2318/99105
G Ruffo (2012)
Rete e Reti.
https://iris.unito.it/handle/2318/106850
Luca M Aiello, Alain Barrat, Ciro Cattuto, Rossano Schifanella, Giancarlo Ruffo (2012)
Link creation and information spreading over social and communication ties in an interest-based online social network.
https://iris.unito.it/handle/2318/131868
L M Aiello, G Ruffo (2012)
LotusNet: Tunable privacy for distributed online social network services.
https://iris.unito.it/handle/2318/98627
R Schifanella, G Ruffo (2011)
SocRec.
https://iris.unito.it/handle/2318/96471
A Panisson, R Schifanella, G Ruffo (2011)
X-Hinter.
https://iris.unito.it/handle/2318/95973
A Panisson, R Schifanella, G Ruffo, S Spoto (2011)
MobHinter.
https://iris.unito.it/handle/2318/96753
L M Aiello, M Milanesio, G Ruffo, R Schifanella (2011)
An identity-based approach to secure P2P applications with Likir.
https://iris.unito.it/handle/2318/94930
A Basso, M Milanesio, A Panisson, G Ruffo (2011)
On Collaborative Filtering Techniques for Live TV and Radio Discovery and Recommendation.
https://iris.unito.it/handle/2318/94011
A Panisson, A Barrat, C Cattuto, W Van den Broeck, G Ruffo, R Schifanella (2011)
On the Dynamics of Human Proximity for Data Diffusion in Ad-Hoc Networks.
https://iris.unito.it/handle/2318/96474
R Schifanella, L M Aiello, G Ruffo (2011)
Tagging relations to achieve complex search goals.
https://iris.unito.it/handle/2318/97198
Alessandro Basso, Marco Milanesio, Andre', Panisson, Giancarlo Ruffo (2010)
From Recordings to Recommendations: Suggesting Live Events in the DVR Context.
https://iris.unito.it/handle/2318/83536
Luca Maria Aiello, Marco Milanesio, Giancarlo Ruffo, Rossano Schifanella (2010)
Tagging with DHARMA, a DHT-based approach for resource mapping through approximation.
https://iris.unito.it/handle/2318/86507
Luca Maria Aiello, Alain Barrat, Ciro Cattuto, Giancarlo Ruffo, Rossano Schifanella (2010)
Link Creation and Profile Alignment in the aNobii Social Network.
https://iris.unito.it/handle/2318/84494
G Ruffo, L M Aiello (2010)
Secure and flexible framework for decentralized social network services.
https://iris.unito.it/handle/2318/80982
A Glorioso, U Pagallo, G Ruffo (2010)
The Social Impact of P2P Systems.
https://iris.unito.it/handle/2318/70071
S Lian, D Kanellopoulos, G Ruffo (2009)
Recent Advances in Multimedia Information System Security.
https://iris.unito.it/handle/2318/130772
A Basso, M Milanesio, A Panisson, R Schifanella, G Ruffo (2009)
RD-PVR: Recommendation and Discovery for Personal Video Recorder.
https://iris.unito.it/handle/2318/96755
G Ruffo (2009)
Privacy on Demand: a Difficult Chal lenge in a Highly Connected World.
https://iris.unito.it/handle/2318/69662
S Lian, D Kanellopoulos, G Ruffo (2009)
Informatica Journal of Computing and Informatics (Special Issue in Multimedia Information System Secu- rity).
https://iris.unito.it/handle/2318/69380
Menczer, F and Cattuto, C and Ruffo, G and Brusilovsky, P and Gena, C and Hotho, A and Loreto, V and Bernstein, M and Pizzo, A (2009)
Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, HT'09: Foreword.
https://iris.unito.it/handle/2318/122521
F Menczer, C Cattuto, G Ruffo (2009)
HT 2009, Proceedings of the 20th International Conference on Hypertext and Hypermedia.
https://iris.unito.it/handle/2318/70070
L Benussi, C Blengino, A Glorioso, G Ramello, G Ruffo, M Travostino (2009)
Copyright digitale.
https://iris.unito.it/handle/2318/69475
G RUFFO, R SCHIFANELLA (2009)
A Peer-to-Peer Recommender System Based on Spontaneous Affinities.
https://iris.unito.it/handle/2318/59958
A Basso, M Milanesio, G Ruffo (2009)
Events discovery for personal video recorders.
https://iris.unito.it/handle/2318/70072
L M Aiello, R Schifanella, G Ruffo, M Milanesio (2008)
Likir: Layered Identity-based Kademlia InfRastructure.
https://iris.unito.it/handle/2318/97013
R Schifanella, A Panisson, G Ruffo (2008)
DeHinter: A Social-oriented Peer-to-Peer Recommender System.
https://iris.unito.it/handle/2318/97012
A Panisson, G Ruffo, R Schifanella (2008)
X-hinter: a framework for implementing social oriented recommender systems.
https://iris.unito.it/handle/2318/70880
L M AIELLO, M MILANESIO, G RUFFO, R SCHIFANELLA (2008)
Tempering Kademlia with a Robust Identity Based System.
https://iris.unito.it/handle/2318/60029
R SCHIFANELLA, A PANISSON, C GENA, G RUFFO (2008)
MobHinter: Epidemic Collaborative Filtering and Self-Organization in Mobile Ad-Hoc Networks.
https://iris.unito.it/handle/2318/56487
M MILANESIO, G RUFFO, R SCHIFANELLA (2007)
A Totally Distributed Iterative Scheme for Web Services Addressing and Discovery.
https://iris.unito.it/handle/2318/27307
G RUFFO (2007)
Peer-to-Peer Market Places: Technical Issues and Revenue Models.
https://iris.unito.it/handle/2318/28991
U PAGALLO, G RUFFO (2007)
P2P Systems in Legal Networks: Another "Small World" Case.
https://iris.unito.it/handle/2318/28981
G RUFFO, R SCHIFANELLA (2007)
FairPeers: Efficient Profit Sharing in Fair Peer-to-Peer Market Places.
https://iris.unito.it/handle/2318/36968
G RUFFO, R SCHIFANELLA (2007)
Evaluating Peer-to-Peer Recommender Systems that Exploit Spontaneous Affinities.
https://iris.unito.it/handle/2318/27308
M MILANESIO, G RUFFO (2007)
Iterative Key Based Routing for Web Services Addressing and Discovery.
https://iris.unito.it/handle/2318/28990
G BALLOCCA, R POLITI, G RUFFO, R SCHIFANELLA (2006)
Integrated Techniques and Tools for Web Mining, User Profiling and Benchmarking analysis.
https://iris.unito.it/handle/2318/28685
G RUFFO, F BERGADANO, A MANTELERO, G SARTOR (2006)
Privacy Digitale: Giuristi ed Informatici a Confronto.
https://iris.unito.it/handle/2318/28815
G RUFFO, M MILANESIO (2006)
Publishing, Retrieving and Streaming Lectures via Application.
https://iris.unito.it/handle/2318/28767
G RUFFO, M MILANESIO, F RICCHIUTI, D ALBERTIN (2006)
Accessing and Distributing Streaming Events on DHT-based Systems.
https://iris.unito.it/handle/2318/28768
G RUFFO, R SCHIFANELLA, E GHIRINGHELLO (2006)
A Decentralized Recommendation System based on Self-Organizing Partnerships.
https://iris.unito.it/handle/2318/27309
D GUNETTI, C PICARDI, G RUFFO (2005)
Keystroke Analysis of Different Languages: a Case Study.
https://iris.unito.it/handle/2318/1747
G RUFFO, R SCHIFANELLA (2005)
Scalability Evaluation of a Peer-to-Peer Market Place based on Micro-Payments.
https://iris.unito.it/handle/2318/27312
D GUNETTI, C PICARDI, G RUFFO (2005)
Dealing with Different Languages and Old Profiles in Keystroke Analysis of Free Text.
https://iris.unito.it/handle/2318/7898
D CATALANO, G RUFFO, R SCHIFANELLA (2005)
A P2P Market Place Based on Aggregate Signatures.
https://iris.unito.it/handle/2318/27310
F BERGADANO, G RUFFO (2005)
EnFilter: a Password Enforcement and Filter.
https://iris.unito.it/handle/2318/28776
Big Data
Public Engagement
Content Centered Computing (CCC)
Imageability effect on the functional brain activity during a naming to definition task
NEUROPSYCHOLOGIA, 2020
The ontology of drama
APPLIED ONTOLOGY, 2019
Testing web-based solutions for improving reading tasks in dyslexic and neuro-typical users
MULTIMEDIA TOOLS AND APPLICATIONS, 2019
Happy parents’ tweets: An exploration of Italian Twitter data using sentiment analysis
DEMOGRAPHIC RESEARCH, 2019
Stance polarity in political debates: A diachronic perspective of network homophily and conversations on Twitter
DATA & KNOWLEDGE ENGINEERING, 2019
When personalization is not an option: An in-the-wild study on persuasive news recommendation
INFORMATION, 2019
Algorithms and Interoperability between Drama and Artificial Intelligence
TDR, 2019
Meaning in Context: Ontologically and linguistically motivated representations of objects and events
APPLIED ONTOLOGY, 2019
Beyond subgoaling: A dynamic knowledge generation framework for creative problem solving in cognitive architectures
COGNITIVE SYSTEMS RESEARCH, 2019
Applying a description logic of typicality as a generative tool for concept combination in computational creativity
INTELLIGENZA ARTIFICIALE, 2019
The Knowledge Level in Cognitive Architectures: Current Limitations and Possible Developments
COGNITIVE SYSTEMS RESEARCH, 2018
The Role of Cognitive Architectures in General Artificial Intelligence
COGNITIVE SYSTEMS RESEARCH, 2018
Semantics-informed geological maps: Conceptual modeling and knowledge encoding
COMPUTERS & GEOSCIENCES, 2018
Editorial for the Special issue on "Love & Hate in the Time of Social Media and Social Networks"
INFORMATION, 2018
Sentiment Polarity Classification at EVALITA: Lessons Learned and Open Challenges
IEEE TRANSACTIONS ON AFFECTIVE COMPUTING, 2018
COVER: a linguistic resource combining common sense and lexicographic information
LANGUAGE RESOURCES AND EVALUATION, 2018
The Geodatabase of the Piemonte Geological Map: conceptual design for knowledge encoding
RENDICONTI ONLINE DELLA SOCIETÀ GEOLOGICA ITALIANA, 2017
An artificial intelligence framework for compensating transgressions and its application to diet management
JOURNAL OF BIOMEDICAL INFORMATICS, 2017
Affect and interaction in agent-based systems and social media: Guest editors' introduction
ACM TRANSACTIONS ON INTERNET TECHNOLOGY, 2017
Towards a Unifying Framework for Conceptual Represention and Reasoning in Cognitive Systems
INTELLIGENZA ARTIFICIALE, 2017
EVALITA Goes Social: Tasks, Data, and Community at the 2016 Edition
ITALIAN JOURNAL OF COMPUTATIONAL LINGUISTICS, 2017
Implicazioni etiche dell'analisi di contenuti, emozioni e interazioni nei social media
SISTEMI INTELLIGENTI, 2017
The benefits of prototypes: The case of medical concepts
RETI SAPERI LINGUAGGI, 2017
Dual PECCS: a cognitive system for conceptual representation and categorization
JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2017
Sapir–Whorf vs Boas–Jakobson. Enunciation and the Semiotics of Programming Languages
LEXIA, 2017
Semantic Aspects in Sentiment Analysis
Sentiment Analysis in Social Networks, 2017
Semantic Measures for Keywords Extraction
AI*IA 2017 Advances in Artificial Intelligence: XVIth International Conference of the Italian Association for Artificial Intelligence, 2017
Semantic Models for the Geological Mapping Process
AI*IA 2017 Advances in Artificial Intelligence: XVIth International Conference of the Italian Association for Artificial Intelligence, 2017
Annotation of metadata for dramatic texts: The POP-ODE initiative
CEUR Workshop Proceedings, 2017
Metadata annotation for dramatic texts
CEUR Workshop Proceedings, 2017
Preface to the Joint Ontology Workshops Episode IV: The South African Spring, JOWO 2018
Proceedings of the Joint Ontology Workshops Episode IV: The South African Spring, JOWO 2018, 2018
Sentiment Analysis of Microblogging Data
Encyclopedia of Social Network Analysis and Mining, 2017
Social Media Analysis for Monitoring Political Sentiment
Encyclopedia of Social Network Analysis and Mining, 2017
Heterogeneous Proxytypes Extended: Integrating Theory-Like Representations and Mechanisms with Prototypes and Exemplars
Biologically Inspired Cognitive Architectures 2018. BICA 2018, Advances in Intelligent Systems and Computing,
9th Annual International Conference on Biologically Inspired Cognitive Architectures, BICA 2018
2019
Semantically Aware Text Categorisation for Metadata Annotation
Communications in Computer and Information Science,
15th Italian Research Conference on Digital Libraries, IRCDL 2019
2019
SeCredISData 2018: Special session on sentiment, emotion, and credibility of information in social data
Proceedings - 2018 IEEE 5th International Conference on Data Science and Advanced Analytics, DSAA 2018,
5th IEEE International Conference on Data Science and Advanced Analytics, DSAA 2018
2019
Automatic Recognition of Narrative Drama Units: A Structured Learning Approach
Text2Story 2019 Second Workshop on Narrative Extraction From Texts,
Text2Story 2019 Second Workshop on Narrative Extraction From Texts
2019
Stance or insults?
EVIA 2019Proceedings of the Ninth International Workshop on Evaluating Information Access (EVIA2019), a Satellite Workshop of the NTCIR-14 Conference,
Ninth International Workshop on Evaluating Information Access (EVIA2019), a Satellite Workshop of the NTCIR-14 Conference
2019
Knowledge Capturing via Conceptual Reframing: A Dynamic Knowledge Generation System for Cognitive Agents
Proceedings of the 10th ACM International Conference on Knowledge Capture (K-CAP 2019),
K-CAP 2019 - 10th ACM International Conference on Knowledge Capture
2019
A Dynamic Knowledge Generation System for Cognitive Agents
Proceedings of the IEEE 31st International Conference on Tools with Artificial Intelligence, ICTAI 2019,
IEEE 31st International Conference on Tools with Artificial Intelligence, ICTAI 2019
2019
A New Measure of Polarization in the Annotation of Hate Speech
AI*IA 2019 -- Advances in Artificial Intelligence,
XVIIIth International Conference of the Italian Association for Artificial Intelligence
2019
Annotating hate speech: Three schemes at comparison
CEUR Workshop Proceedings,
6th Italian Conference on Computational Linguistics, CLiC-it 2019
2019
Toolkit for the Creation of a Drama Dataset
Interactive Storytelling 12th International Conference on Interactive Digital Storytelling, ICIDS 2019,
ICIDS 2019
2019
Computational linguistics against hate: Hate speech detection and visualization on social media in the "Contro L’Odio" project
CEUR Workshop Proceedings,
6th Italian Conference on Computational Linguistics, CLiC-it 2019
2019
Leveraging Hate Speech Detection to Investigate Immigration-related Phenomena in Italy
2019 8th International Conference on Affective Computing and Intelligent Interaction Workshops and Demos (ACIIW),
Emotion and Sentiment in Social and Expressive Media: Media and Arts for Inclusive, Fair and Reflective Societies, Co-located with ACII 2019, the 8th International Conference on Affective Computing and Intelligent Interaction (ESSEM@ACII 2019)
2019
Stance classification for rumour analysis in Twitter: Exploiting affective information and conversation structure
Proceedings of the CIKM 2018 Workshops co-located with 27th ACM International Conference on Information and Knowledge Management (CIKM 2018),
2nd International Workshop on Rumours and Deception in Social Media (RDSM 2018)
2019
Fruitful Synergies between Computer Science, Historical Studies and Archives: The Experience in the PRiSMHA Project
Proceedings of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 3: KMIS,
International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management
2019
SemEval-2019 Task 5: Multilingual Detection of Hate Speech Against Immigrants and Women in Twitter
Proceedings of the 13th International Workshop on Semantic Evaluation,
13th International Workshop on Semantic Evaluation
2019
Evaluating the MuMe dialogue system with the IDIAL protocol
Proceedings of the Sixth Italian Conference on Computational Linguistics,
the Sixth Italian Conference on Computational Linguistics
2019
From Sartre to Frege in three steps: A* search for enriching semantic text similarity measures
Proceedings of the Sixth Italian Conference on Computational Linguistics,
Sixth Italian Conference on Computational Linguistics
2019
Towards an Italian learner treebank in universal dependencies
CEUR Workshop Proceedings,
6th Italian Conference on Computational Linguistics, CLiC-it 2019
2019
Evaluating speech synthesis on mathematical sentences
CEUR Workshop Proceedings,
6th Italian Conference on Computational Linguistics, CLiC-it 2019
2019
Error analysis in a hate speech detection task: The case of Haspeede-TW at Evalita 2018
Proceedings of the Sixth Italian Conference on Computational Linguistics,
6th Italian Conference on Computational Linguistics, CLiC-it 2019
2019
Is this an effective way to annotate irony activators?
Proceedings of the Sixth Italian Conference on Computational Linguistics,
6th Italian Conference on Computational Linguistics, CLiC-it 2019
2019
The Tenuousness of lemmatization in lexicon-based sentiment analysis
Proceedings of the Sixth Italian Conference on Computational Linguistics,
Sixth Italian Conference on Computational Linguistics
2019
GOCCIOLA: Generating new knowledge by combining concepts in description logics of typicality
CEUR Workshop Proceedings,
34th Italian Conference on Computational Logic, CILC 2019
2019
ATC at IroSva 2019: Shallow syntactic dependency-based features for irony detection in Spanish variants
Proceedings of the Iberian Languages Evaluation Forum (IberLEF 2019) co-located with 35th Conference of the Spanish Society for Natural Language Processing (SEPLN 2019),
35th Conference of the Spanish Society for Natural Language Processing (SEPLN 2019)
2019
Stance Evolution and Twitter Interactions in an Italian Political Debate
Natural Language Processing and Information Systems 23rd International Conference on Applications of Natural Language to Information Systems, NLDB 2018, Paris, France, June 13-15, 2018, Proceedings,
23rd International Conference on Natural Language & Information Systems
2018
Application and Analysis of a Multi-layered Scheme for Irony on the Italian Twitter Corpus TWITTIRÒ
Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018),
LREC 2018, Eleventh International Conference on Language Resources and Evaluation
2018
Automatic reasoning evaluation in diet management based on an Italian cookbook
Proceedings of the Joint Workshop on Multimedia for Cooking and Eating Activities and Multimedia Assisted Dietary Management,
CEA/MADiMa2018 Joint Workshop on Multimedia for Cooking and Eating Activities and Multimedia Assisted Dietary Management in conjunction with the 27th International Joint Conference on Artificial Intelligence IJCAI
2018
Drammar: A Comprehensive Ontological Resource on Drama
The Semantic Web -- ISWC 2018,
17th International Semantic Web Conference,
2018
Temporal Reasoning with Layered Preferences
Foundations of Intelligent Systems 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29–31, 2018, Proceedings,
International Symposium on Methodologies for Intelligent Systems (ISMIS 2018)
2018
Designing and testing the messages produced by a virtual dietitian
Proceedings of the 11th International Conference on Natural Language Generation,
11th International Conference on Natural Language Generation
2018
SemEval 2018 Task 2: Multilingual Emoji Prediction
Proceedings of the 12th International Workshop on Semantic Evaluation (SemEval 2018),
12th International Workshop on Semantic Evaluation (SemEval 2018)
2018
A Data Viz Platform as a Support to Study, Analyze and Understand the Hate Speech Phenomenon
Proceedings of the 2nd International Conference on Web Studies (WS.2 2018),
2nd International Conference on Web Studies
2018
14-ExLab@UniTo for AMI at IberEval2018: Exploiting lexical knowledge for detecting misogyny in English and Spanish tweets
CEUR Workshop Proceedings,
3rd Workshop on Evaluation of Human Language Technologies for Iberian Languages, IberEval 2018
2018
Automatic Identification of Misogyny in English and Italian Tweets at EVALITA 2018 with a Multilingual Hate Lexicon
CEUR Workshop Proceedings,
Sixth Evaluation Campaign of Natural Language Processing and Speech Tools for Italian (EVALITA 2018)
2018
Overview of the EVALITA 2018 Task on Irony Detection in Italian Tweets (IronITA)
CEUR Workshop Proceedings,
Sixth Evaluation Campaign of Natural Language Processing and Speech Tools for Italian (EVALITA 2018)
2018
Hurtlex: A multilingual lexicon of words to hurt
CEUR Workshop Proceedings,
5th Italian Conference on Computational Linguistics, CLiC-it 2018
2018
Auxiliary Selection in Italian Intransitive Verbs: A Computational Investigation based on Annotated Corpora
Proceedings of the Fifth Italian Conference on Computational Linguistics (CLiC-it 2018),
Fifth Italian Conference on Computational Linguistics (CLiC-it 2018)
2018
Creative Concept Generation by Combining Description Logic of Typicality, Probabilities and Cognitive Heuristics
AI*IA 2018 – Advances in Artificial Intelligence XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings,
17th Conference of the Italian Association for Artificial Intelligence, AI*IA 2018
2018
COCOS: A typicality based COncept COmbination System
Proceedings of the 33rd Italian Conference on Computational Logic,
33rd Italian Conference on Computational Logic, CILC 2018
2018
A description logic of typicality for conceptual combination
Foundations of Intelligent Systems 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29–31, 2018, Proceedings,
24th International Symposium on Methodologies for Intelligent Systems, ISMIS 2018
2018
#NonDicevoSulSerio at SemEval-2018 Task 3: Exploiting Emojis and Affective Content for Irony Detection in English Tweets
Proceedings of The 12th International Workshop on Semantic Evaluation,
International Workshop on Semantic Evaluation
2018
Long-term Social Media Data Collection at the University of Turin
Proceedings of the Fifth Italian Conference on Computational Linguistics (CLiC-it 2018),
Fifth Italian Conference on Computational Linguistics (CLiC-it 2018)
2018
Annotating Concept Abstractness by Common-sense Knowledge
Proceedings of the 17th International Conference of the Italian Association for Artificial Intelligence`,
The 17th International Conference of the Italian Association for Artificial Intelligence - AI*IA 2018 - Advances in Artificial Intelligence
2018
Conceptual Abstractness: from Nouns to Verbs
5th Italian Conference on Computational Linguistics, CLiC-it 2018,
5th Italian Conference on Computational Linguistics, CLiC-it 2018
2018
Tell me why: Computational explanation of conceptual similarity judgment
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations,
17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2018
2018
Grasping metaphors: Lexical semantics in metaphor analysis
The Semantic Web: ESWC 2018 Satellite Events,
15th Extended Semantic Web Conference, ESWC 2018
2018
Overview of the Evalita 2018 Italian Emoji Prediction (ITAmoji) Task
CEUR Workshop Proceedings,
6th Evaluation Campaign of Natural Language Processing and Speech Tools for Italian. Final Workshop, EVALITA 2018
2018
An Italian Twitter Corpus of Hate Speech against Immigrants
Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018),
Language Resources and Evaluation Conference - LREC 2018
2018
Overview of the EVALITA 2018 Hate Speech Detection Task
Proceedings of the Sixth Evaluation Campaign of Natural Language Processing and Speech Tools for Italian. Final Workshop (EVALITA 2018),
EVALITA 2018 - Sixth Evaluation Campaign of Natural Language Processing and Speech Tools for Italian
2018
Higher-level Knowledge, Rational and Social Levels Constraints of the Common Model of the Mind
PROCEDIA COMPUTER SCIENCE,
Postproceedings of the 9th Annual International Conference on Biologically Inspired Cognitive Architectures, BICA 2018 (Ninth Annual Meeting of the BICA Society)
2018
The 13th AAAI conference on artificial intelligence and interactive digital entertainment
AI MAGAZINE,
13th AAAI conference on artificial intelligence and interactive digital entertainment - Intelligent Narrative Technologies (INT10) 2017
2018
The DipInfo-UniTo system for SRST 2018
Proceedings of the First Workshop on Multilingual Surface Realisation,
Proceedings of the First Workshop on Multilingual Surface Realisation
2018
Neural Surface Realization for Italian
Proceedings of the Fifth Italian Conference on Computational Linguistics (CLiC-it 2018),
Fifth Italian Conference on Computational Linguistics (CLiC-it 2018)
2018
CheckYourMeal!: diet management with NLG
Proceedings of the Workshop on Intelligent Interactive Systems and Language Generation (2IS\&NLG),
Workshop on Intelligent Interactive Systems and Language Generation (2IS&NLG)
2018
Proceedings of the Fifth Italian Conference on Computational Linguistics (CLiC-it 2018), Torino, Italy, December 10-12, 2018
Preface of the Proceedings of the Fifth Italian Conference on Computational Linguistics,
Fifth Italian Conference on Computational Linguistics (CLiC-it 2018)
2018
A knowledge-based weighted KNN for detecting Irony in Twitter
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
17th Mexican International Conference on Artificial Intelligence, MICAI 2018
2018
Sentiment polarity classification of figurative language: Exploring the role of irony-aware and multifaceted affect features
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
18th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2017
2018
Exploring the Impact of Pragmatic Phenomena on Irony Detection in Tweets: A Multilingual Corpus Study
Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers,
15th Conference of the European Chapter of the Association for Computational Linguistics
2017
MeRaLi at Semeval-2017 task 2 subtask 1: a cognitively inspired approach
Proceedings of the 11th International Workshop on Semantic Evaluation (SemEval-2017),
International Workshop on Semantic Evaluation (SemEval 2017)
2017
TTCSe: a Vectorial Resource for Computing Conceptual Similarity
Proceedings of the 1st Workshop on Sense, Concept and Entity Representations and their Applications,
1st Workshop on Sense, Concept and Entity Representations and their Applications
2017
Tools and Resources for Detecting Hate and Prejudice against Immigrants in Social Media
Proceedings of AISB Annual Convention 2017,
SYMPOSIUM III. SOCIAL INTERACTIONS IN COMPLEX INTELLIGENT SYSTEMS (SICIS) at AISB 2017
2017
The Intangible Nature of Drama Documents: An FRBR View
Proceedings of the 2017 ACM Symposium on Document Engineering,
2017 ACM Symposium on Document Engineering
2017
Annotating Italian Social Media Texts in Universal Dependencies
Proceedings of the Fourth International Conference on Dependency Linguistics (Depling 2017),
Fourth International Conference on Dependency Linguistics (Depling 2017)
2017
Thinning the Fourth Wall with Intelligent Prompt
Interactive Storytelling,
10th International Conference on Interactive Digital Storytelling, ICIDS 2017
2017
Friends and Enemies of Clinton and Trump: Using Context for Detecting Stance in Political Tweets
Lecture Notes in Computer Science,
MICAI 2016
2017
Extracting Graph Topological Information and Users’ Opinion
Lecture Notes in Computer Science,
International Conference of the Cross-Language Evaluation Forum for European Languages
2017
CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies
Proceedings of the CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies,
CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies
2017
Overview of the task on stance and gender detection in tweets on Catalan independence at IberEval 2017
CEUR Workshop Proceedings,
2nd Workshop on Evaluation of Human Language Technologies for Iberian Languages, IberEval 2017
2017
An Approach for Explaining Reasoning on the Diet Domain
Natural Language for Artificial Intelligence. Proceedings of the 1st Workshop on Natural Language for Artificial Intelligence co-located with 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017),
1st Workshop on Natural Language for Artificial Intelligence co-located with 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017)
2017
Dealing with Italian adjectives in noun phrase: A study oriented to natural language generation
Proc. of 4th Italian Conference on Computational Linguistic. CEUR Workshop Proceedings,
4th Italian Conference on Computational Linguistics, CLiC-it 2017
2017
TWITTIRÒ: A social media corpus with a multi-layered annotation for irony
Proceedings of the 4th Italian Conference on Computational Linguistics,
4th Italian Conference on Computational Linguistics
2017
Towards an Italian lexicon for polarity classification (polarITA): A comparative analysis of lexical resources for sentiment analysis
Proceedings of the 4th Italian Conference on Computational Linguistics,
4th Italian Conference on Computational Linguistics
2017
Hate speech annotation: Analysis of an Italian twitter corpus
CEUR Workshop Proceedings,
4th Italian Conference on Computational Linguistics, CLiC-it 2017
2017
PRiSMHA (Providing Rich Semantic Metadata for Historical Archives)
JOWO 2017, The Joint Ontology Workshops,
Contextual Representation of Objects and Events in Language (CREOL@JOWO2017)
2017
Ethical implications of analyzing opinions, emotions and interactions in social media
Seventh International Conference on Affective Computing and Intelligent Interaction Workshops and Demos, {ACII} Workshops 2017, San Antonio,
Emotion and Sentiment in Social and Expressive Media: User Engagement and Interaction - Co-located with ACII 2017
2017
Representational Issues in the Debate on the Standard Model of the Mind
2017 AAAI Fall Symposium Series,
2017 AAAI Fall Symposium Series
2017
Representational Limits in Cognitive Architectures
Proceedings of the EUCognition Meeting (European Society for Cognitive Systems) "Cognitive Robot Architectures",
EUCognition Meeting (European Society for Cognitive Systems) "Cognitive Robot Architectures"
2017
The GeopE project for enhancing geopersity of the Piemonte Region (Italy): From rocks to stones, from landforms to landscapes.
GEOPHYSICAL RESEARCH ABSTRACTS,
EGU General Assembly 2018
2018
Design and evaluation of networks and distributed systems
Graph Laplacian for image anomaly detection
MACHINE VISION AND APPLICATIONS, 2020
No-reference quality metric for HEVC compression distortion estimation in depth maps
SIGNAL, IMAGE AND VIDEO PROCESSING, 2019
Modelling large timescale and small timescale service variability
ANNALS OF OPERATIONS RESEARCH, 2019
A Method for Astral Microtubule Tracking in Fluorescence Images of Cells Doped with Taxol and Nocodazole
ADVANCES IN MOLECULAR IMAGING, 2019
A large deviation approach to super-critical bootstrap percolation on the random graph G_{n,p}
STOCHASTIC PROCESSES AND THEIR APPLICATIONS, 2019
Modeling Multi-User WLANs Under Closed-Loop Traffic
IEEE-ACM TRANSACTIONS ON NETWORKING, 2019
Convolutional Neural Network for Intermediate View Enhancement in Multiview Streaming
IEEE TRANSACTIONS ON MULTIMEDIA, 2018
Evaluating virtual image quality using the side-views information fusion and depth maps
INFORMATION FUSION, 2018
Securing Network Coding Architectures against Pollution Attacks with Band Codes
IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2018
Robust gait identification using Kinect dynamic skeleton data
MULTIMEDIA TOOLS AND APPLICATIONS, 2018
De-anonymizing Clustered Social Networks by Percolation Graph Matching
ACM TRANSACTIONS ON KNOWLEDGE DISCOVERY FROM DATA, 2018
A Model of Information Diffusion in Interconnected Online Social Networks
ACM TRANSACTIONS ON THE WEB, 2018
Securing Coding-Based Cloud Storage Against Pollution Attacks
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2017
On the Emergence of Shortest Paths by Reinforced Random Walks
IEEE TRANSACTIONS ON NETWORK SCIENCE AND ENGINEERING, 2017
Advertisement Delivery and Display in Vehicular Networks: Using V2V Communications for Targeted Ads
IEEE VEHICULAR TECHNOLOGY MAGAZINE, 2017
DOST: a distributed object segmentation tool
MULTIMEDIA TOOLS AND APPLICATIONS, 2017
Content-centric wireless networks with limited buffers: when mobility hurts
IEEE-ACM TRANSACTIONS ON NETWORKING, 2016
Improving reliability and performances in large scale distributed applications with erasure codes and replication
FUTURE GENERATION COMPUTER SYSTEMS, 2016
Image de-fencing framework with hybrid inpainting algorithm
SIGNAL, IMAGE AND VIDEO PROCESSING, 2016
Characterization of Band Codes for Pollution-Resilient Peer-to-Peer Video Streaming
IEEE TRANSACTIONS ON MULTIMEDIA, 2016
A Unified Approach to the Performance Analysis of Caching Systems
ACM TRANSACTIONS ON MODELING AND PERFORMANCE EVALUATION OF COMPUTING SYSTEMS, 2016
Social Network De-Anonymization under Scale-Free User Relations
IEEE-ACM TRANSACTIONS ON NETWORKING, 2016
Exploiting Rateless Codes in Cloud Storage Systems
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2015
How much can large-scale video-on-demand benefit from users' cooperation?
IEEE-ACM TRANSACTIONS ON NETWORKING, 2015
Simple Countermeasures to Mitigate the Effect of Pollution Attack in Network Coding Based Peer-to-Peer Live Streaming
IEEE TRANSACTIONS ON MULTIMEDIA, 2015
Unravelling the Impact of Temporal and Geographical Locality in Content Caching Systems
IEEE TRANSACTIONS ON MULTIMEDIA, 2015
Performance evaluation of peering-agreements among autonomous systems subject to peer-to-peer traffic
PERFORMANCE EVALUATION, 2014
Rateless Codes and Random Walks for P2P Resource Discovery in Grids
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2014
Band Codes for Energy-Efficient Network Coding with Application to P2P Mobile Streaming
IEEE TRANSACTIONS ON MULTIMEDIA, 2014
DIP: Distributed Identification of Polluters in P2P live streaming
ACM TRANSACTIONS ON MULTIMEDIA COMPUTING, COMMUNICATIONS AND APPLICATIONS, 2014
Exploiting rateless codes and belief propagation to infer identity of polluters in MANET
IEEE TRANSACTIONS ON MOBILE COMPUTING, 2014
Peer-Assisted VoD Systems: An Efficient Modeling Framework
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2014
New Directions into the Stochastic Geometry Analysis of Dense CSMA Networks
IEEE TRANSACTIONS ON MOBILE COMPUTING, 2014
Maximizing profit in green cellular networks through collaborative games
COMPUTER NETWORKS, 2014
A practical Random Network Coding scheme for data distribution on peer-to-peer networks using rateless codes
PERFORMANCE EVALUATION, 2013
Identification of malicious nodes in peer-to-peer streaming: a belief propagation based technique
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2013
Asymptotic Properties of Sequential Streaming Leveraging Users' Cooperation
IEEE TRANSACTIONS ON INFORMATION THEORY, 2013
Temporal locality in today's content caching: why it matters and how to model it
COMPUTER COMMUNICATION REVIEW, 2013
A study of an hybrid CDN–P2P system over the PlanetLab network
SIGNAL PROCESSING-IMAGE COMMUNICATION, 2012
Fluid-diffusive modelling for large P2P file-sharing systems
MATHEMATICAL AND COMPUTER MODELLING OF DYNAMICAL SYSTEMS, 2012
Generalized probabilistic flooding in unstructured peer-to-peer networks
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2011
Transient Analysis of IEEE 802.15.4 Sensor Networks
IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, 2011
Information-Theoretic Capacity of Clustered Random Networks
IEEE TRANSACTIONS ON INFORMATION THEORY, 2011
A Game Theory Framework for ISP Streaming Traffic Management
PERFORMANCE EVALUATION,
29th International Symposium on Computer Performance, Modeling, Measurements and Evaluation 2011 2011
Impact of Correlated Mobility on Delay–Throughput Performance in Mobile Ad Hoc Networks
IEEE-ACM TRANSACTIONS ON NETWORKING, 2011
Seminal Contributions to Modelling and Simulation
Seminal Contributions to Modelling and Simulation - Markovian Agent Models: A Dynamic Population of Interdependent Markovian Agents, 2016
Accelerating spectral graph analysis through wavefronts of linear algebra operations
Proc. of the 27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP),
27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP) 2019
Virtual hand illusion: The alien finger motion experiment
26th IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2019 - Proceedings,
26th IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2019 2019
Post-synaptic Potential Regularization Has Potential
Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning. ICANN 2019,
International Conference on Artificial Neural Networks 2019
Slicing Cell Resources: The Case of HTC and MTC Coexistence
Proceedings of IEEE International Conference on Computer Communications (INFOCOM),
IEEE International Conference on Computer Communications (INFOCOM) 2019
Take a Ramble into Solution Spaces for Classification Problems in Neural Networks
International Conference on Image Analysis and Processing, ICIAP 2019,
International Conference on Image Analysis and Processing, ICIAP 2019 2019
Estimation of speed and distance of surrounding vehicles from a single camera
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
20th International Conference on Image Analysis and Processing, ICIAP 2019 2019
A network aware resource discovery service (a performance evaluation study)
Proceedings of the 16th European Performance Engineering Workshop (EPEW 2019),
16th European Performance Engineering Workshop 2019
A Simple Model of MTC in Smart Factories
Proceedings of IEEE International Conference on Computer Communications (INFOCOM),
IEEE International Conference on Computer Communications (INFOCOM) 2018
Closed Form Expressions for the Performance Metrics of Data Services in Cellular Networks
Proceedings of IEEE International Conference on Computer Communications (INFOCOM),
IEEE International Conference on Computer Communications (INFOCOM) 2018
A Game-Theoretic Approach to Coalition Formation in Fog Provider Federations
Proceedings of the Third IEEE International Conference on Fog and Mobile Edge Computing (FMEC 2018),
The Third IEEE International Conference on Fog and Mobile Edge Computing (FMEC 2018) 2018
Detection and Tracking of Astral Microtubules in Fluorescence Microscopy Images
IEEE International Conference on Image Processing (ICIP),
IEEE International Conference on Image Processing (ICIP) 2018
Performance Evaluation of Replication Policies in Microservice Based Architectures
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,
Ninth International Workshop on the Practical Application of Stochastic Modelling (PASM) 2018
Modelling large timescale and small timescale service variability
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
13th International Conference on Queueing Theory and Network Applications, QTNA 2018 2018
Directional graph weight prediction for image compression
Acoustics, Speech and Signal Processing (ICASSP), 2017 IEEE International Conference on,
2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) 2017
Efficient representation of segmentation contours using chain codes
Acoustics, Speech and Signal Processing (ICASSP), 2017 IEEE International Conference on,
2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) 2017
Semi-automatic Segmentation of Scattered and Distributed Objects
Proceedings of International Conference on Computer Recognition Systems,
International Conference on Computer Recognition Systems 2017
Performance evaluation of massively distributed microservices based applications
Proceedings - 31st European Conference on Modelling and Simulation, ECMS 2017,
31st European Conference on Modelling and Simulation, ECMS 2017 2017
Perceptual quality assessment of 3D synthesized images
Proceedings - IEEE International Conference on Multimedia and Expo,
2017 IEEE International Conference on Multimedia and Expo, ICME 2017 2017
Kinect-Based Gait Analysis for People Recognition Over Time
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
19th International Conference on Image Analysis and Processing, ICIAP 2017 2017
Why your smartphone doesn't work in very crowded environments
Proc. of IEEE 18th International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM),
IEEE 18th International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM) 2017
Multi-user downlink with single-user uplink can starve TCP
IEEE INFOCOM 2017 - IEEE Conference on Computer Communications,
IEEE INFOCOM 2017 2017
Generalized Threshold-Based Epidemics in Random Graphs: The Power of Extreme Values
SIGMETRICS '16 Proceedings of the 2016 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Science,
ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Science 2016
Kinect-based gait analysis for automatic frailty syndrome assessment
Image Processing (ICIP), 2016 IEEE International Conference on,
2016 IEEE International Conference on Image Processing (ICIP) 2016
Global and local anomaly detectors for tumor segmentation in dynamic pet acquisitions
2016 IEEE International Conference on Image Processing (ICIP),
2016 IEEE International Conference on Image Processing (ICIP) 2016
Fluid approximation of pool depletion systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2016 2016
Modeling replication and erasure coding in large scale distributed storage systems based on CEPH
Lecture Notes in Information Systems and Organisation,
ItAIS 2015, XII Conference of the Italian Chapter of AIS 2016
THREE LAYERS NETWORK INFLUENCE ON CLOUD DATA CENTER PERFORMANCES
Proceeding of the 30th European Conference on Modelling and Simulation, ECMS 2016;,
30th European Conference on Modelling and Simulation, ECMS 2016 2016
Mining social interactions in privacy-preserving temporal networks
2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM),
2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) 2016
Geographical Load Balancing Across Green Datacenters: a Mean Field Analysis
PERFORMANCE EVALUATION REVIEW,
ACM GreenMetrics 2016
Advertisement Delivery and Display in Vehicular Networks
Proceedings of the 82nd IEEE Vehicular Technology Conference (VTC 2015-Fall),
The 82nd IEEE Vehicular Technology Conference (VTC 2015-Fall) 2015
Blind depth quality assessment using histogram shape analysis
3DTV-Conference: The True Vision - Capture, Transmission and Display of 3D Video (3DTV-CON), 2015,
3DTV-Conference: The True Vision - Capture, Transmission and Display of 3D Video (3DTV-CON) 2015
Pollution-resilient peer-to-peer video streaming with Band Codes
Proceedings of the 2015 IEEE International Conference on Multimedia and Expo (ICME),
2015 IEEE International Conference on Multimedia and Expo (ICME) 2015
A simulation based approach for rhe evaluation of outcome driven innovation models
Proceedings - 29th European Conference on Modelling and Simulation, ECMS 2015,
29th European Conference on Modelling and Simulation, ECMS 2015 2015
Superpixel-driven graph transform for image compression
Proceedings - International Conference on Image Processing, ICIP,
IEEE International Conference on Image Processing, ICIP 2015 2015
Objective quality metric for 3D virtual views
Proceedings - International Conference on Image Processing, ICIP,
IEEE International Conference on Image Processing, ICIP 2015 2015
Fast Superpixel-Based hierarchical approach to image segmentation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
18th International Conference on Image Analysis and Processing, ICIAP 2015 2015
Device-to-device content distribution in cellular networks: a user-centric collaborative strategy
Proceedings of the IEEE GLOBECOM 2015,
IEEE GLOBECOM 2015 2015
Impact of Clustering on the Performance of Network De-anonymization
COSN '15 Proceedings of the 2015 ACM on Conference on Online Social Networks,
COSN, ACM Conference on Online Social Networks 2015
De-anonymizing scale-free social networks by percolation graph matching
Proceedings of 2015 IEEE Conference on Computer Communications (INFOCOM),
2015 IEEE Conference on Computer Communications (INFOCOM) 2015
Efficient analysis of caching strategies under dynamic content popularity
Proceedings of 2015 IEEE Conference on Computer Communications (INFOCOM),
2015 IEEE Conference on Computer Communications (INFOCOM) 2015
Superprocesses as models for information dissemination in the Future Internet
Mathematical Models and Methods for Planet Earth,
Mathematical Models and Methods for Planet Earth 2014
Multi-Terabyte and multi-Gbps information centric routers
INFOCOM, 2014 Proceedings IEEE,
IEEE INFOCOM 2014 2014
A unified approach to the performance analysis of caching systems
INFOCOM, 2014 Proceedings IEEE,
IEEE INFOCOM 2014 2014
A Game-Theoretic Approach to Coalition Formation in Green Cloud Federations
14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid) 2014,
ExtremeGreen 2014: Extreme Green & Energy Efficiency in Large Scale Distributed Systems 2014
Interconnection of large scale unstructured P2P networks: modeling and analysis
Proceedings of the 20th International Conference on Analytical & Stochastic Modelling Techniques & Applications (ASMTA 2013),
20th International Conference on Analytical & Stochastic Modelling Techniques & Applications (ASMTA 2013) 2013
Traffic Offloading/Onloading in Multi-RAT Cellular Networks
2013 IFIP Wireless Days (WD 2013),
Wireless Days (WD), IFIP 2013 2013
Studying Mobile Internet Technologies with Agent Based Mean-Field Models
Lecture Notes in Computer Science,
Analytical and Stochastic Modelling Techniques and Applications 2013
How much can large-scale Video-On-Demand benefit from users' cooperation?
Proceedings of the IEEE INFOCOM 2013,
IEEE INFOCOM 2013 2013
Content-centric wireless networks with limited buffers: when mobility hurts
Proceedings of the IEEE INFOCOM 2013,
IEEE INFOCOM 2013 2013
Cooperative Game Theory Framework for Energy Efficient Policies in Wireless Networks
Atti on-line del Italian Networking Workshop,
Italian Networking Workshop 2012
Collaborative data retrieval using opportunistic networking
Proceedings of the 9th Annual Conference on Wireless On-demand Network Systems and Services (WONS),
9th Annual Conference on Wireless On-demand Network Systems and Services (WONS) 2012
Band Codes: Controlled Complexity Network Coding for Peer-to-Peer Video Streaming
Proceedings of the 2012 IEEE International Conference on Multimedia and Expo,
IEEE International Conference on Multimedia and Expo, ICME 2012 2012
Cooperative Game Theory Framework for Energy Efficient Policies in Wireless Networks
Proceedings of e-Energy: Third International Conference on Future Energy Systems,
e-Energy: Third International Conference on Future Energy Systems 2012
SIEVE: a distributed, accurate, and robust technique to identify malicious nodes in data dissemination on MANET
Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2012),
18th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2012) 2012
An adaptive hybrid CDN/P2P solution for content delivery networks
Proceedings of 2012 Conference on Visual Communications and Image Processing , VCIP 2012,
2012 Conference on Visual Communications and Image Processing , VCIP 2012 2012
Performance analysis of non-stationary peer-assisted VoD systems
INFOCOM, 2012 Proceedings IEEE,
IEEE INFOCOM 2012 2012
Stochastic analysis of self-sustainability in peer-assisted VoD systems
INFOCOM, 2012 Proceedings IEEE,
IEEE INFOCOM 2012 2012
Streaming games: P2P vs ISPs or P2P with ISPs?
Atti (on-line) del Workshop RETI.IT 2011,
Workshop RETI.IT 2011 2011
New insights into the stochastic geometry analysis of dense CSMA networks
INFOCOM, 2011 Proceedings IEEE,
INFOCOM 2011. 30th IEEE International Conference on Computer Communications 2011
3D video broadcasting: lessons learned and future challenges
NEM summit 2011,
NEM summit 2011 2011
ENIGMA: Distributed Virtual Disks for Cloud Computing
IEEE International Symposium on Parallel and Distributed Processing Workshops (IPDPSW),
IEEE International Symposium on Parallel and Distributed Processing Workshops (IPDPSW) 2011
Local data gathering using opportunistic networking in a urban scenario
ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks,
ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks 2011
An Optimal Partial Decoding Algorithm for Rateless Codes
IEEE International Symposium on Information Theory Proceedings,
IEEE International Symposium on Information Theory Proceedings 2011
EIDOSlab: Digital image processing, computer vision and virtual reality
Verdoja, Francesco; Grangetto, Marco
Graph Laplacian for image anomaly detection
MACHINE VISION AND APPLICATIONS, 2020
Farid, Muhammad Shahid; Lucenteforte, Maurizio; Grangetto, Marco
No-reference quality metric for HEVC compression distortion estimation in depth maps
SIGNAL, IMAGE AND VIDEO PROCESSING, 2019
Alessandrì, Luca; Cordero, Francesca; Beccuti, Marco; Arigoni, Maddalena; Olivero, Martina; Romano, Greta; Rabellino, Sergio; Licheri, Nicola; De Libero, Gennaro; Pace, Luigia; Calogero, Raffaele A
rCASC: reproducible classification analysis of single-cell sequencing data
GIGASCIENCE, 2019
Alice Barana, Alberto Conte, Cecilia Fissore, Marina Marchisio, Sergio Rabellino
LEARNING ANALYTICS TO IMPROVE FORMATIVE ASSESSMENT STRATEGIES
JE-LKS. JOURNAL OF E-LEARNING AND KNOWLEDGE SOCIETY, 2019
Marina Marchisio, Sergio Rabellino, Fabio Roman, Matteo Sacchet, Daniela Salusso
Boosting up data collection and analysis to learning analytics in open online contexts: an assessment methodology
JE-LKS. JOURNAL OF E-LEARNING AND KNOWLEDGE SOCIETY, 2019
Varrecchia, Marilena; Levine, Joshua; Olmo, Gabriella; Grangetto, Marco; Gai, Marta; Cunto, Ferdinando Di
A Method for Astral Microtubule Tracking in Fluorescence Images of Cells Doped with Taxol and Nocodazole
ADVANCES IN MOLECULAR IMAGING, 2019
Yu, Li; Tillo, Tammam; Xiao, Jimin; Grangetto, Marco
Convolutional Neural Network for Intermediate View Enhancement in Multiview Streaming
IEEE TRANSACTIONS ON MULTIMEDIA, 2018
Farid, Muhammad Shahid; Lucenteforte, Maurizio; Grangetto, Marco
Evaluating virtual image quality using the side-views information fusion and depth maps
INFORMATION FUSION, 2018
Fiandrotti, Attilio; Gaeta, Rossano; Grangetto, Marco
Securing Network Coding Architectures against Pollution Attacks with Band Codes
IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2018
Gianaria, Elena*; Grangetto, Marco
Robust gait identification using Kinect dynamic skeleton data
MULTIMEDIA TOOLS AND APPLICATIONS, 2018
Nello Balossino, Mario Coriasco, Sergio Rabellino
La morfometria: strumento per la classificazione di strutture anatomiche nell’ambito dell’attribuzione di identità forense
JOURNAL OF BIOMEDICAL PRACTITIONERS, 2018
Anglano, Cosimo; Gaeta, Rossano; Grangetto, Marco
Securing Coding-Based Cloud Storage Against Pollution Attacks
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2017
Botta, Marco; Cavagnino, Davide; Pomponiu Victor
Image Fragile Watermarking through Quaternion Linear Transform in Secret Space
JOURNAL OF IMAGING, 2017
Nello, Balossino; Mario, Coriasco; Sergio, Rabellino
Il problema dell’identificazione di forme: considerazioni sull'analisi fisionomica
JOURNAL OF BIOMEDICAL PRACTITIONERS, 2017
Alice, Barana; Alessandro, Bogino; Michele, Fioravera; Marina, Marchisio; Sergio, Rabellino
OPEN PLATFORM OF SELF-PACED MOOCS FOR THE CONTINUAL IMPROVEMENT OF ACADEMIC GUIDANCE AND KNOWLEDGE STRENGTHENING IN TERTIARY EDUCATION
JE-LKS. JOURNAL OF E-LEARNING AND KNOWLEDGE SOCIETY, 2017
Marchisio, Marina; Rabellino, Sergio; Spinello, Enrico; Torbidone, Gianluca
ADVANCED E-LEARNING FOR IT-ARMY OFFICERS THROUGH VIRTUAL LEARNING ENVIRONMENTS
JE-LKS. JOURNAL OF E-LEARNING AND KNOWLEDGE SOCIETY, 2017
Bonafè, B.; Botta, M.; Cavagnino, D.; Pomponiu, V.
Alpha Channel Fragile Watermarking for Color Image Integrity Protection
JOURNAL OF IMAGING, 2017
Farid, Muhammad Shahid; Lucenteforte, Maurizio; Grangetto, Marco
DOST: a distributed object segmentation tool
MULTIMEDIA TOOLS AND APPLICATIONS, 2017
Botta, Marco; Cavagnino, Davide; Pomponiu, Victor
A modular framework for color image watermarking
SIGNAL PROCESSING, 2016
Farid, Muhammad Shahid; Mahmood, Arif; Grangetto, Marco
Image de-fencing framework with hybrid inpainting algorithm
SIGNAL, IMAGE AND VIDEO PROCESSING, 2016
Fiandrotti, Attilio; Gaeta, Rossano; Grangetto, Marco
Characterization of Band Codes for Pollution-Resilient Peer-to-Peer Video Streaming
IEEE TRANSACTIONS ON MULTIMEDIA, 2016
Barana, A.; Bogino, A.; Fioravera, M.; Marchisio, M.; Rabellino, S.
Digital support for university guidance and improvement of study results
PROCEDIA: SOCIAL & BEHAVIORAL SCIENCES, 2016
Muhammad Shahid Farid;Maurizio Lucenteforte;Marco Grangetto
Panorama View With Spatiotemporal Occlusion Compensation for 3D Video Coding
IEEE TRANSACTIONS ON IMAGE PROCESSING, 2015
C. Anglano; R. Gaeta; M. Grangetto
Exploiting Rateless Codes in Cloud Storage Systems
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2015
A. Fiandrotti; R. Gaeta; M. Grangetto
Simple Countermeasures to Mitigate the Effect of Pollution Attack in Network Coding Based Peer-to-Peer Live Streaming
IEEE TRANSACTIONS ON MULTIMEDIA, 2015
Cavagnino, Davide; Lucenteforte, Maurizio; Grangetto, Marco
High capacity reversible data hiding and content protection for radiographic images
SIGNAL PROCESSING, 2015
Fracastoro, Giulia; Magli, Enrico; Verdoja, Francesco; Grangetto, Marco
Methods and Apparatuses for Encoding and Decoding Digital Images Through Superpixels
2017
Maurizio Drocco, Paolo Viviani, Iacopo Colonnelli, Marco Aldinucci, Marco Grangetto
Accelerating spectral graph analysis through wavefronts of linear algebra operations
Proc. of the 27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP),
27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)
2019
Marina Marchisio; Lorenza Operti; Sergio Rabellino; Matteo Sacchet
Start@unito: Open Online Courses for Improving Access and for Enhancing Success in Higher Education
Proceedings of the 11th International Conference on Computer Supported Education (CSEDU 2019),
International Conference on Computer Supported Education (CSEDU 2019)
2019
A. Barana, F. Floris, M. Marchisio, C. Marello, M. Pulvirenti, S. Rabellino, M. Sacchet
Adapting STEM Automated Assessment System to Enhance Language Skills
ELEARNING AND SOFTWARE FOR EDUCATION,
15th International Scientific Conference eLearning and Software Education
2019
M. Marchisio, S. Rabellino, E. Spinello, G.Torbidone
A Full Spectrum Lifelong e-Learning Project for the Army
ELEARNING AND SOFTWARE FOR EDUCATION,
15th International Scientific Conference eLearning and Software Education
2019
Druetto A.; Roberti M.; Cancelliere R.; Cavagnino D.; Gai M.
A Deep Learning Approach to Anomaly Detection in the Gaia Space Mission Data
Lecture Notes in Computer Science, Advances in Computational Intelligence,
15th International Work-Conference on Artificial Neural Networks, IWANN 2019
2019
Barana, Alice; Marchisio, Marina; Rabellino, Sergio
Empowering Engagement through Automatic Formative Assessment
Proceedings of 2019 IEEE 43rd Annual Computer Software and Applications Conference,
2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC)
2019
M. Marchisio, S. Rabellino, M. Sacchet, D. Salusso
Oers for secondary education: a chance for teachers to broaden their horizons
EDULEARN19 Proceedings,
11th International Conference on Education and New Learning Technologies
2019
Soccini A.M.; Grangetto M.; Inamura T.; Shimada S.
Virtual hand illusion: The alien finger motion experiment
26th IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2019 - Proceedings,
26th IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2019
2019
Tartaglione, Enzo; Perlo, Daniele; Grangetto, Marco
Post-synaptic Potential Regularization Has Potential
Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning. ICANN 2019,
International Conference on Artificial Neural Networks
2019
Tartaglione, Enzo; Grangetto, Marco
Take a Ramble into Solution Spaces for Classification Problems in Neural Networks
International Conference on Image Analysis and Processing, ICIAP 2019,
International Conference on Image Analysis and Processing, ICIAP 2019
2019
Aldinucci, Marco; Bagnasco, Stefano; Concas, Matteo; Lusso, Stefano; Rabellino, Sergio; Demarchi, Danilo; Vallero, Sara
Managing a heterogeneous scientific computing cluster with cloud-like tools: ideas and experience
EPJ Web of Conferences Volume 214 (2019),
23rd International Conference on Computing in High Energy and Nuclear Physics (CHEP 2018)
2019
Cecilia Fissore, Francesco Floris, Marina Marchisio, Sergio Rabellino
UNIVERSITY TUTORING ACTIONS USING AN INTEGRATED ONLINE PLATFORM
proceedings of 16th INTERNATIONAL CONFERENCE on COGNITION AND EXPLORATORY LEARNING IN THE DIGITAL AGE (CELDA 2019),
16th INTERNATIONAL CONFERENCE on COGNITION AND EXPLORATORY LEARNING IN THE DIGITAL AGE (CELDA 2019)
2019
Zaffaroni M.; Grangetto M.; Farasin A.
Estimation of speed and distance of surrounding vehicles from a single camera
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
20th International Conference on Image Analysis and Processing, ICIAP 2019
2019
Alice Barana; Cecilia Fissore; Marina Marchisio; Sergio Rabellino; Fabio Roman
Comunità di Moodle per incentivare la collaborazione nelle attività di Problem Solving
BRICKS,
MoodleMoot Italia
2019
Cecilia Fissore; Marina Marchisio; Sergio Rabellino
Il recupero dell'insuccesso scolastico attraverso una piattaforma integrata
BRICKS,
MoodleMoot Italia
2019
Michele FIORAVERA, Marina MARCHISIO, Luigi DI CARO, Sergio RABELLINO
Alignment of Content, Prerequisites and Educational Objectives: Towards Automated Mapping of Digital Learning Resources
ELEARNING AND SOFTWARE FOR EDUCATION,
The 14th International Scientific Conference eLearning and Software for Education
2018
Marina MARCHISIO, Alice BARANA, Michele FIORAVERA, Cecilia FISSORE, Anna BRANCACCIO, Massimo ESPOSITO, Claudio PARDINI, Sergio RABELLINO
Online Asynchronous Collaboration for Enhancing Teacher Professional Knowledges and Competencies
ELEARNING AND SOFTWARE FOR EDUCATION,
The 14th International Scientific Conference eLearning and Software for Education
2018
Enrico SPINELLO, Gianluca TORBIDONE, Marina MARCHISIO, Sergio RABELLINO
The COMFOR-SA Virtual Learning Centre Becomes a Special Hub for Gaining New Modern Standards for the IT-ARMY E-Learning Programmes
ELEARNING AND SOFTWARE FOR EDUCATION,
The 14th International Scientific Conference eLearning and Software for Education
2018
Alice BARANA, Alessandro BOGINO, Michele FIORAVERA, Francesco FLORIS, Marina MARCHISIO, Sergio RABELLINO
Orient@mente e TARM per riflettere sulle competenze matematiche degli studenti
Proceedings della Multiconferenza EM&M ITALIA,
EMEMITALIA 2017
2018
Luigi DI CARO, Michele FIORAVERA, Marina MARCHISIO, Sergio RABELLINO
A model for structuring shared learning materials within a Virtual Community
Proceedings della Multiconferenza EM&M ITALIA,
EMEMITALIA 2017
2018
Marina MARCHISIO, Sergio RABELLINO, Enrico SPINELLO, Gianluca TORBIDONE
Impiego di strumenti near-realtime per condurre una esercitazione pratica in ambito militare
Proceedings della Multiconferenza EM&M ITALIA,
EMEMITALIA 2017
2018
Alice Barana, Alberto Conte, Michele Fioravera, Marina Marchisio, Sergio Rabellino
A model of formative automatic assessment and interactive feedback for STEM
Proceedings of 2018 IEEE 42nd Annual Computer Software and Applications Conference,
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC 2018)
2018
Luigi Di Caro, Michele Fioravera, Marina Marchisio, Sergio Rabellino
Towards adaptive systems for automatic formative assessment in virtual learning communities
Proceedings of 2018 IEEE 42nd Annual Computer Software and Applications Conference,
2018 42nd IEEE International Conference on Computer Software & Applications
2018
Barana, Alice; Di Caro, Luigi; Fioravera, Michele ; Floris, Francesco ; Marchisio, Marina; Rabellino, Sergio
Sharing system of learning resources for adaptive strategies of scholastic remedial intervention
Proceedings of the 4rd International Conference on Higher Education Advances (HEAd’18),
4rd International Conference on Higher Education Advances (HEAd’18)
2018
Alice Barana, Cecilia Fissore, Marina Marchisio, Sergio Rabellino,
ONLINE TUTORING TO ENHANCE UNIVERSITY SUCCESS
Exploring the Micro, Meso and Macro Navigating between dimensions in the digital learning landscape: EDEN 2018 CONFERENCE PROCEEDINGS,
European Distance and E-Learning Network 2018 Annual Conference
2018
Alice Barana, Luigi Di Caro, Michele Fioravera, Francesco Floris, Marina Marchisio, Sergio Rabellino
DEVELOPING COMPETENCE ASSESSMENT SYSTEMS IN ELEARNING COMMUNITIES
Exploring the Micro, Meso and Macro Navigating between dimensions in the digital learning landscape: EDEN 2018 CONFERENCE PROCEEDINGS,
EDEN 2018 ANNUAL Conference
2018
Marina Marchisio, Sergio Rabellino, Enrico Spinello, Gianluca Torbidone
INNOVAZIONE DELLA FORMAZIONE: IL MODELLO DI ELEARNING ADOTTATO DALL’ESERCITO ITALIANO
Exploring the Micro, Meso and Macro Navigating between dimensions in the digital learning landscape: EDEN 2018 CONFERENCE PROCEEDINGS,
European Distance and E-Learning Network 2018 Annual Conference
2018
Alice Barana, Luigi Di Caro, Michele Fioravera, Marina Marchisio, Sergio Rabellino
Ontology Development for Competence Assessment in Virtual Communities of Practice
Artificial Intelligence in Education 19th International Conference, AIED 2018 London, UK, June 27–30, 2018 Proceedings,,
19th International Conference, AIED 2018
2018
Levine, Joshua; Grangetto, Marco; Varrecchia, Marilena; Olmo, Gabriella
Detection and Tracking of Astral Microtubules in Fluorescence Microscopy Images
IEEE International Conference on Image Processing (ICIP),
IEEE International Conference on Image Processing (ICIP)
2018
bruschi barbara, Cantino Valter, Cavallo Perin Roberto, Culasso Francesca, Giors Barbara, Marchisio Marina, Marello Carla, Milani Matteo, Operti Lorenza, Parola Alberto, Rabellino Sergio, Sacchet Matteo, Scomparin Laura
start@unito: a supporting model for high school students enrolling to university
Proceedings 15th International Conference CELDA 2018: Cognition and exploratory learning in digital age,
15th International Conference CELDA 2018: Cognition and exploratory learning in digital age
2018
Di Caro L., Fioravera M., Marchisio M., Rabellino S
A Model for Enriching Automatic Assessment Resources with Free-Text Annotations
Proceedings 15th International Conference CELDA 2018: Cognition and exploratory learning in digital age,
15th International Conference CELDA 2018: Cognition and exploratory learning in digital age
2018
Luca Bertero, Andrea Grua, Chiara Musuraca, Paola Cassoni, Oscar Bertetto, Sergio Rabellino
Moodle come piattaforma per la formazione continua in anatomia-patologica: l’esperienza 2016-2018 della rete oncologica del Piemonte e della Valle d'Aosta
Atti del MoodleMoot Italia 2018,
MoodleMoot Italia 2018
2018
Verdoja, Francesco; Grangetto, Marco
Directional graph weight prediction for image compression
Acoustics, Speech and Signal Processing (ICASSP), 2017 IEEE International Conference on,
2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)
2017
Verdoja, Francesco; Grangetto, Marco
Efficient representation of segmentation contours using chain codes
Acoustics, Speech and Signal Processing (ICASSP), 2017 IEEE International Conference on,
2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)
2017
Barana, A.; Bogino, A.; Fioravera, M.; Floris, F.; Marchisio, M.; Operti, L.; Rabellino, S.
Self-paced approach in synergistic model for supporting and testing students: The transition from Secondary School to University
Proceedings of 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC),
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC)
2017
Barana, A.; Fioravera, M.; Marchisio, M.; Rabellino, S. .
Adaptive teaching supported by ICTs to reduce the school failure in the Project “Scuola dei Compiti”
Proceedings of 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC),
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC)
2017
Farid, Muhammad Shahid; Lucenteforte, Maurizio; Khan, Muhammad Hassan; Grangetto, Marco
Semi-automatic Segmentation of Scattered and Distributed Objects
Proceedings of International Conference on Computer Recognition Systems,
International Conference on Computer Recognition Systems
2017
Marchisio, Marina; Rabellino, Sergio; Spinello, Enrico; Torbidone, Gianluca
E-learning as winning tool for supporting teaching and for enhancing the internationalization processes
ELEARNING AND SOFTWARE FOR EDUCATION,
International Scientific Conference eLearning and Software for Education
2017
Barana, Alice; Brancaccio, Anna; Esposito, Massimo; Fioravera, Michele; Marchisio, Marina; Pardini, Claudio; Rabellino, Sergio
PROBLEM SOLVING COMPETENCE DEVELOPED THROUGH A VIRTUAL LEARNING ENVIRONMENT IN A EUROPEAN CONTEXT
ELEARNING AND SOFTWARE FOR EDUCATION,
International Scientific Conference eLearning and Software for Education
2017
Marchisio, Marina; Rabellino, Sergio; Spinello, Enrico; Torbidone, Gianluca
Nuove tecnologie e metodologie per la formazione degli ufficiali dell'Esercito 4.0
Atti del Programma Scientifico DIDAMATICA 2017,
Didamatica 2017
2017
Luca DURELLI; Lidia Mislin STREITO; Marco IUDICELLO; Isabelle PERROTEAU; Sergio RABELLINO; Marinella CLERICO
Computer assisted interactive learning in medical education: flipped classrooms of clinical neurology for medicine students
Design the Future! EXTENDED ABSTRACTS DELLA MULTICONFERENZA EMEMITALIA2016,
EMEMITALIA 2016
2017
Marina, Marchisio; Sergio, Rabellino; Enrico, Spinello; Gianluca, Torbidone
La formazione e-learning avanzata per gli Ufficiali dell'Esercito attraverso ambienti virtuali di apprendimento
Design the Future! EXTENDED ABSTRACTS DELLA MULTICONFERENZA EMEMITALIA2016,
EMEMITALIA 2016
2017
Farid, MUHAMMAD SHAHID; Lucenteforte, Maurizio; Grangetto, Marco
Perceptual quality assessment of 3D synthesized images
Proceedings - IEEE International Conference on Multimedia and Expo,
2017 IEEE International Conference on Multimedia and Expo, ICME 2017
2017
Gianaria, Elena; Grangetto, Marco; Balossino, Nello
Kinect-Based Gait Analysis for People Recognition Over Time
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
19th International Conference on Image Analysis and Processing, ICIAP 2017
2017
Federico Alfonsetti; Sergio Rabellino
Personalizzare MOODLE con un nuovo font: il caso di EasyReading
Atti del MoodleMoot Italia 2017,
MOODLEMOOT Italia 2017
2017
Aldinucci M.; Bagnasco S.; Lusso S.; Pasteris P.; Rabellino S.; Vallero S.
OCCAM: A flexible, multi-purpose and extendable HPC cluster
Journal of Physics: Conference Series,
22nd International Conference on Computing in High Energy and Nuclear Physics, CHEP 2016
2017
Gianaria, Elena; Grangetto, Marco; Roppolo, Mattia; Mulasso, Anna; Rabaglietti, Emanuela
Kinect-based gait analysis for automatic frailty syndrome assessment
Image Processing (ICIP), 2016 IEEE International Conference on,
2016 IEEE International Conference on Image Processing (ICIP)
2016
Verdoja, F.; Bonafe, B.; Cavagnino, D.; Grangetto, M.; Bracco, C.; Varetto, T.; Racca, M.; Stasi, M.
Global and local anomaly detectors for tumor segmentation in dynamic pet acquisitions
2016 IEEE International Conference on Image Processing (ICIP),
2016 IEEE International Conference on Image Processing (ICIP)
2016
Alice, Barana; Marina, Marchisio; Sergio, Rabellino
Assessment of inpidual and collaborative e-learning in problem solving activities
Design the Future! EXTENDED ABSTRACTS DELLA MULTICONFERENZA EMEMITALIA2016,
EMEMITALIA 2016 - Design the Future!
2016
Alice, Barana; Alessandro, Bogino; Michele, Fioravera; Marina, Marchisio; Sergio, Rabellino
La piattaforma Moodle al servizio del test di accertamento dei requisiti minimi (tarm) per l’ingresso in università
Design the Future! EXTENDED ABSTRACTS DELLA MULTICONFERENZA EMEMITALIA2016,
EMEMITALIA 2016
2016
Alice, Barana; Alessandro, Bogino; Michele, Fioravera; Marina, Marchisio; Sergio, Rabellino
Open platform of self-paced MOOCs for the continual improvement of academic guidance and knowledge strengthening in tertiary education
Design the Future! EXTENDED ABSTRACTS DELLA MULTICONFERENZA EMEMITALIA2016,
EMEMITALIA 2016
2016
Farid, Muhammad Shahid; Lucenteforte, Maurizio; Grangetto, Marco
Blind depth quality assessment using histogram shape analysis
3DTV-Conference: The True Vision - Capture, Transmission and Display of 3D Video (3DTV-CON), 2015,
3DTV-Conference: The True Vision - Capture, Transmission and Display of 3D Video (3DTV-CON)
2015
Fiandrotti, Attilio; Gaeta, Rossano; Grangetto, Marco
Pollution-resilient peer-to-peer video streaming with Band Codes
Proceedings of the 2015 IEEE International Conference on Multimedia and Expo (ICME),
2015 IEEE International Conference on Multimedia and Expo (ICME)
2015
Fracastoro, Giulia; Verdoja, Francesco; Grangetto, Marco; Magli, Enrico
Superpixel-driven graph transform for image compression
Proceedings - International Conference on Image Processing, ICIP,
IEEE International Conference on Image Processing, ICIP 2015
2015
Farid, Muhammad Shahid; Lucenteforte, Maurizio; Grangetto, Marco
Objective quality metric for 3D virtual views
Proceedings - International Conference on Image Processing, ICIP,
IEEE International Conference on Image Processing, ICIP 2015
2015
Verdoja, Francesco; Grangetto, Marco
Fast Superpixel-Based hierarchical approach to image segmentation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
18th International Conference on Image Analysis and Processing, ICIAP 2015
2015
Soccini, Agata Marta; Marello, Manuela; Balossino, Nello; Basso, Valter
'IXV-trajectory' and 'IXV-asset': Virtual reality applications for the aerothermodynamics analysis of IXV
2015 IEEE Virtual Reality Conference, VR 2015 - Proceedings,
IEEE Virtual Reality Conference, VR 2015
2015
Castagno, Paolo; Gaeta, Rossano; Grangetto, Marco; Sereno, Matteo
Device-to-device content distribution in cellular networks: a user-centric collaborative strategy
Proceedings of the IEEE GLOBECOM 2015,
IEEE GLOBECOM 2015
2015
Pomponiu, V.; Cavagnino, D.; Botta, M.; Nejati, H.
Information hiding techniques for infrared images: exploring the state-of-the art and challenges
Electro-Optical and Infrared Systems: Technology and Applications XII; and Quantum Information Science and Technology,
SPIE 9648, Electro-Optical and Infrared Systems: Technology and Applications XII; and Quantum Information Science and Technology
2015
Pomponiu, V.; Cavagnino, D.; Botta, M.
SS-SVD: Spread spectrum data hiding scheme based on Singular Value Decomposition
2015 International Symposium on Consumer Electronics (ISCE),
2015 International Symposium on Consumer Electronics (ISCE)
2015
Pomponiu, V.; Cavagnino, D.; Botta, M.
On the Security of the Schur-Based Watermarking Schemes
2015 IEEE International Conference on Digital Signal Processing (DSP),
2015 IEEE International Conference on Digital Signal Processing (DSP)
2015
Barana, Alice; Marchisio, Marina; Rabellino, Sergio
Automated Assessment in Mathematics
2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC),
39th Annual Computer Software and Applications Conference (COMPSAC)
2015
Formal Methods for Software Development (FORMS)
Deep Learning at Scale
Proc. of the 27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP),
27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)
2019
Context-Free Session Type Inference
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2019
Accelerating spectral graph analysis through wavefronts of linear algebra operations
Proc. of the 27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP),
27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)
2019
Why High-Performance Modelling and Simulation for Big Data Applications Matters
High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet, 2019
Concurrent Typestate-Oriented Programming in Java
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
2019
On the expressiveness of modal transition systems with variability constraints
SCIENCE OF COMPUTER PROGRAMMING, 2019
A formal model for Multi Software Product Lines
SCIENCE OF COMPUTER PROGRAMMING, 2019
A higher-order calculus of computational fields
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2019
Certifying delta-oriented programs
SOFTWARE AND SYSTEMS MODELING, 2019
Exploiting Docker containers over Grid computing for a comprehensive study of chromatin conformation in different cell types
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2019
On a Higher-Order Calculus of Computational Fields
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019
2019
The share operator for field-based coordination
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019
2019
Aggregate processes in field calculus
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019
2019
Foundations of Session Types: 10 Years Later
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019,
21st International Symposium on Principles and Practice of Programming Languages 2019
2019
Connecting open systems of communicating finite state machines
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019
The Magda Language: Ten Years After
FUNDAMENTA INFORMATICAE, 2019
Managing a heterogeneous scientific computing cluster with cloud-like tools: ideas and experience
EPJ Web of Conferences Volume 214 (2019),
23rd International Conference on Computing in High Energy and Nuclear Physics (CHEP 2018)
2019
Deadlock Analysis of Wait-Notify Coordination
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, 2019
Static analysis of featured transition systems
ACM International Conference Proceeding Series,
23rd International Systems and Software Product Line Conference, SPLC 2019
2019
On distributed runtime verification by aggregate computing
Electronic Proceedings in Theoretical Computer Science, EPTCS,
2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018
2019
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems,
18th International Conference on Autonomous Agents and MultiAgent Systems
2019
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
15th International Conference on Integrated Formal Methods, IFM 2019
2019
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
15th International Conference on Integrated Formal Methods, IFM 2019
2019
From distributed coordination to field calculus and aggregate computing
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019
A core calculus for dynamic delta-oriented programming
ACTA INFORMATICA, 2018
Harnessing sliding-window execution semantics for parallel stream processing
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2018
Scientific workflows on clouds with heterogeneous and preemptible instances
Proc. of the Intl. Conference on Parallel Computing, ParCo 2017, 12-15 September 2017, Bologna, Italy,
International Conference on Parallel Computing (ParCo 2017)
2018
Scaling Dense Linear Algebra on Multicore and Beyond: a Survey
Proc. of 26th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP),
Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)
2018
PiCo: a Novel Approach to Stream Data Analytics
Proc. of Euro-Par Workshops: 1st Intl. Workshop on Autonomic Solutions for Parallel and Distributed Data Stream Processing (Auto-DaSP),
Euro-Par Workshops: 1st Intl. Workshop on Autonomic Solutions for Parallel and Distributed Data Stream Processing (Auto-DaSP)
2018
Deadlock-Free Typestate-Oriented Programming
THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, 2018
Multi software product lines in the wild
ACM International Conference Proceeding Series,
12th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2018
2018
Languages for Big Data analysis
Encyclopedia of Big Data Technologies, 2018
INTERSECTION TYPES FOR THE lambda mu-CALCULUS
LOGICAL METHODS IN COMPUTER SCIENCE, 2018
MIXIN COMPOSITION SYNTHESIS BASED ON INTERSECTION TYPES
LOGICAL METHODS IN COMPUTER SCIENCE, 2018
Social4School: a Serious Game for Educating Children on Privacy Awareness in Online Social Networks
2018 International School and Conference on Network Science (NetSci 2018),
2018 International School and Conference on Network Science (NetSci 2018)
2018
A Type Checking Algorithm for Concurrent Object Protocols
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018
Mailbox Types for Unordered Interactions
32nd European Conference on Object-Oriented Programming,
32nd European Conference on Object-Oriented Programming (ECOOP'18)
2018
On checking delta-oriented product lines of statecharts
SCIENCE OF COMPUTER PROGRAMMING, 2018
Optimal single-path information propagation in gradient-based algorithms
SCIENCE OF COMPUTER PROGRAMMING, 2018
Aggregate graph statistics
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
1st Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT 2017
2018
Engineering resilient collective adaptive systems by self-stabilisation
ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018
Space-time universality of field calculus
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
20th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018
2018
From field-based coordination to aggregate computing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
20th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018
2018
HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems
Communications in Computer and Information Science,
6th European Conference on Service-Oriented and Cloud Computing, ESOCC 2017
2018
A theory of retractable and speculative contracts
SCIENCE OF COMPUTER PROGRAMMING, 2018
Euro-Par 2018: Parallel Processing
2018
Session types and subtyping for orchestrated interactions
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018
A Social Network Simulation Game to Raise Awareness of Privacy among School Children
IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, 2018
Global Types for Open Systems
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
Interaction and Concurrency Experience - ICE 2018
2018
Interoperability of software product line variants
Proceedings of the 22nd International Systems and Software Product Line Conference,
22nd International Systems and Software Product Line Conference
2018
Java & Lambda: a Featherweight Story
LOGICAL METHODS IN COMPUTER SCIENCE, 2018
Distributed Real-Time Shortest-Paths Computations with the Field Calculus
Proceedings - Real-Time Systems Symposium,
39th IEEE Real-Time Systems Symposium, RTSS 2018
2018
A Formal Model for Multi SPLs
Fundamentals of Software Engineering. FSEN 2017,
7th International Conference on Fundamentals of Software Engineering, FSEN 2017
2017
FastFlow: high-level and efficient streaming on multi-core
Programming Multi-core and Many-core Computing Systems, 2017
Isomorphism of intersection and union types
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2017
Deep Learning for Automated Skeletal Bone Age Assessment in X-Ray Images
MEDICAL IMAGE ANALYSIS, 2017
NuChart-II: The road to a fast and scalable tool for Hi-C data analysis
INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2017
A novel model-based testing approach for software product lines
SOFTWARE AND SYSTEMS MODELING, 2017
Xtraitj: Traits for the Java platform
THE JOURNAL OF SYSTEMS AND SOFTWARE, 2017
The approximation theorem for the Λμ-calculus
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2017
Multiple back-end support for the Armadillo linear algebra interface
In proc. of the 32nd ACM Symposium on Applied Computing (SAC),
The 32nd ACM Symposium on Applied Computing
2017
A Comparison of Big Data Frameworks on a Layered Dataflow Model
PARALLEL PROCESSING LETTERS, 2017
Non-monotonic Pre-fix Points and Learning
FUNDAMENTA INFORMATICAE, 2017
A unified and formal programming model for deltas and traits
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017
2017
A Simple Library Implementation of Binary Sessions
JOURNAL OF FUNCTIONAL PROGRAMMING, 2017
Context-Free Session Type Inference
Programming Languages and Systems,
European Symposium on Programming
2017
Optimally-Self-Healing Distributed Gradient Structures through Bounded Information Speed
Coordination Models and Languages,
19th International Conference on Coordination Models and Languages
2017
Data-driven adaptation for smart sessions
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2017
The Chemical Approach to Typestate-Oriented Programming
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2017
Retractable and Speculative Contracts
Lecture Notes in Computer Science. Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017,
COORDINATION 2017
2017
On Sessions and Infinite Data
LOGICAL METHODS IN COMPUTER SCIENCE, 2017
Chaperone Contracts for Higher-Order Sessions
PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES, 2017
Chaperone Contracts for Higher-Order Sessions
2017
Type-Based Analysis of Linear Communications
Behavioural Types: from Theory to Tools, 2017
An OCaml Implementation of Binary Sessions
Behavioural Types: from Theory to Tools, 2017
Towards Power-Aware Data Pipelining on Multicores
Proceedings of the 10th International Symposium on High-Level Parallel Programming and Applications,
Hi
2017
A Flexible Numerical Framework for Engineering---A Response Surface Modelling Application
Improved Performance of Materials: Design and Experimental Approaches, 2017
On dynamic memory allocation in sliding-window parallel patterns for streaming analytics
THE JOURNAL OF SUPERCOMPUTING, 2017
Abstraction refinement for the analysis of software product lines
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017
2017
Self-adaptation to device distribution in the internet of things
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2017
An extension of the ABS toolchain with a mechanism for type checking SPLs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
13th International Conference on Integrated Formal Methods, IFM 2017
2017
Guest editorial: preface
INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2017
Guest Editorial for Programming Models and Algorithms for Data Analysis in HPC Systems
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2017
Compliance patterns: harnessing value modeling and legal interpretation to manage regulatory conversations
Proceedings of the 16th International Conference on Artificial Intelligence and Law,
16th International Conference on Artificial Intelligence and Law
2017
Compositional Blocks for Optimal Self-Healing Gradients
Proceedings - 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017,
11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017
2017
The RePhrase Extended Pattern Set for Data Intensive Parallel Computing
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2017
OCCAM: A flexible, multi-purpose and extendable HPC cluster
Journal of Physics: Conference Series,
22nd International Conference on Computing in High Energy and Nuclear Physics, CHEP 2016
2017
Global Progress for Dynamically Interleaved Multiparty Sessions
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2016
Fair Subtyping for Multi-Party Session Types
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2016
Pool Evolution: A Parallel Pattern for Evolutionary and Symbolic Computing
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2016
A type-sound calculus of computational fields
SCIENCE OF COMPUTER PROGRAMMING, 2016
A Game Interpretation of Retractable Contracts
Coordination Models and Languages,
Coordination
2016
Parametric DeltaJ 1.5: Propagating feature attributes into implementation artifacts
CEUR Workshop Proceedings,
Workshops of the Conference on Software Engineering, SE-WS 2016
2016
Refactoring Delta-Oriented Product Lines to achieve Monotonicity
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE’16)
2016
On Type Checking Delta-Oriented Product Lines
Integrated Formal Methods,
12th International Conference, IFM 2016
2016
A parallel pattern for iterative stencil + reduce
THE JOURNAL OF SUPERCOMPUTING, 2016
Reversible client/server interactions
FORMAL ASPECTS OF COMPUTING, 2016
Secure Multiparty Sessions with Topics
Proceedings PLACES 2016,
PLACES 2016
2016
Proceedings of the Workshop on Continuations
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016
Global escape in multiparty sessions
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2016
PWHATSHAP: efficient haplotyping for future generation sequencing
BMC BIOINFORMATICS, 2016
NuchaRt: Embedding High-Level Parallel Computing in R for Augmented Hi-C Data Analysis
Computational Intelligence Methods for Bioinformatics and Biostatistics, 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers, 2016
Behavioral Types in Programming Languages
FOUNDATIONS AND TRENDS® IN PROGRAMMING LANGUAGES, 2016
Foundations of session types and behavioural contracts
ACM COMPUTING SURVEYS, 2016
On sessions and infinite data
Coordination Models and Languages,
18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016
2016
RPL: A Domain-Specific Language for Designing and Implementing Parallel C++ Applications
Proceedings - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016,
24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016
2016
A Cluster-as-Accelerator Approach for SPMD-Free Data Parallelism
Proceedings - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016,
24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016
2016
The Genome Conformation as an Integrator of Multi-Omic Data: The Example of Damage Spreading in Cancer
FRONTIERS IN GENETICS, 2016
Introduction to the track on variability modeling for scalable software evolution
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications,
7th International Symposium, ISoLA 2016
2016
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications,
7th International Symposium, ISoLA 2016
2016
A toolchain for delta-oriented modeling of software product lines
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications,
7th International Symposium, ISoLA 2016
2016
Proof repositories for compositional verification of evolving software systems managing change when proving software correct
Transactions on Foundations for Mastering Change I, 2016
A realizability interpretation for intersection and union types
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
14th Asian Symposium on Programming Languages and Systems, APLAS 2016
2016
An hybrid linear algebra framework for engineering
Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) -- Poster Abstracts,
Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES)
2016
A flexible numerical framework for engineering - a Response Surface Modelling application
10th Intl. Conference on Advanced Computational Engineering and Experimenting (ACE-X) -- Abstract Book,
10th Intl. Conference on Advanced Computational Engineering and Experimenting (ACE-X)
2016
Self-Adaptation to Device Distribution Changes
Proceedings - IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016,
10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016
2016
Run-Time management of computation domains in field calculus
Proceedings - IEEE 1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016,
1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016
2016
VDML4RS: a tool for reputation systems modeling and design
SSE 2016 Proceedings of the 8th International Workshop on Social Software Engineering,
8th International Workshop on Social Software Engineering
2016
Information flow safety in multiparty sessions
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2016
Message from ScalCom 2016 Program Chairs
2016
Implementing type-safe software product lines using parametric traits
SCIENCE OF COMPUTER PROGRAMMING, 2015
Memory-Optimised Parallel Processing of Hi-C Data
PDP 2015 - 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing,
PDP 2015: Parallel Distributed and network-based Processing
2015
Parallel Exploration of the Nuclear Chromosome Conformation with NuChart-II
Proceedings of the International Euromicro PDP 2015: Parallel Distributed and network-based Processing, 2015,
International Euromicro PDP 2015: Parallel Distributed and network-based Processing
2015
Integrating Multi-omic features exploiting Chromosome Conformation Capture data
FRONTIERS IN GENETICS, 2015
NuChart-II: a graph-based approach for the analysis and interpretation of Hi-C data
LNCS post conference proceedings of the Eleventh International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics CIBB 2014,
CIBB 2014
2015
Parallel Visual Data Restoration on Multi-GPGPUs using Stencil-Reduce Pattern
INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2015
On Isomorphism of "Functional" Intersection and Union Types.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
7-th workshop on intersection types and related systems
2015
From Featured Transition Systems to Modal Transition Systems with Variability Constraints
Software Engineering and Formal Methods,
13th International Conference on Software Engineering and Formal Methods, SEFM 2015
2015
High-Performance Haplotype Assembly
LNBI post conference proceedings of the Eleventh International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics CIBB 2014,
Intl. meeting on Computational Intelligence methods for Bioinformatics and Biostatistics (CIBB 2014)
2015
The Loop-of-Stencil-Reduce paradigm
Proc. of Intl. Workshop on Reengineering for Parallelism in Heterogeneous Parallel Platforms (RePara),
International Workshop on Reengineering for Parallelism in Heterogeneous Parallel Platforms (RePara)
2015
Lucretia - intersection type polymorphism for scripting languages
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
Seventh Workshop on Intersection Types and Related Systems, ITRS 2014
2015
Mixin Composition Synthesis Based on Intersection Types
13th International Conference on Typed Lambda Calculi and Applications,TLCA 2015, July 1-3, 2015, Warsaw, Poland,
TLCA 2015
2015
Orchestrated Session Compliance
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
Interaction and Concurrency Experience, ICE 2015
2015
Typing Classes and Mixins with Intersection Types
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
Intersection Types and Related Systems
2015
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'15),
International Conference on Coordination Models and Languages
2015
Types for Deadlock-Free Higher-Order Programs
Proceedings of the IFIP International Conference on Formal Methods and Techniques (FORTE'15),
IFIP International Conference on Formal Methods and Techniques
2015
The Chemical Approach to Typestate-Oriented Programming
Proceedings of the ACM International Conference on ObjectOriented Programming Systems Languages & Applications (OOPSLA'15),
ACM International Conference on Object Oriented Programming Systems Languages & Applications
2015
An Algebraic Theory for Web Service Contracts
FORMAL ASPECTS OF COMPUTING, 2015
Code mobility meets self-organisation: A higher-order calculus of computational fields
Formal Techniques for Distributed Objects, Components, and Systems.,
35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015
2015
Type-based Self-stabilisation for Computational Fields
LOGICAL METHODS IN COMPUTER SCIENCE, 2015
Type Reconstruction for the Linear π-Calculus with Composite Regular Types
LOGICAL METHODS IN COMPUTER SCIENCE, 2015
Program Committee member of the 29th edition of the European Conference on Object-Oriented Programming (ECOOP 2015).
2015
FuSe - A simple library implementation of binary sessions
2015
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields
International Conference on Self-Adaptive and Self-Organizing Systems, SASO,
9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2015
2015
Combining behavioural types with security analysis
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2015
Schooladvise: Designing a Reputation System for Educational Services through Service Design and Business Modeling
Proceedings - 12th IEEE International Conference on E-Business Engineering, ICEBE 2015,
12th IEEE International Conference on E-Business Engineering, ICEBE 2015
2015
Partial and Complete Processes in Multiparty Sessions
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
Italian Conference on Theoretical Computer Science (ICTCS)
2015
Preface from general co-chairs
2015
FastFlow (v2.1)
2015
A gentle introduction to multiparty asynchronous session types
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015
Decision tree building on multi-core using FastFlow
CONCURRENCY AND COMPUTATION, 2014
Discovering biological knowledge by integrating high-throughput data and scientific literature on the cloud
CONCURRENCY AND COMPUTATION, 2014
Design patterns percolating to parallel programming framework implementation
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2014
Knowledge Spaces and the Completeness of Learning Strategies
LOGICAL METHODS IN COMPUTER SCIENCE, 2014
Self-Adaptive Monitors for Multiparty Sessions
PDP'14,
PDP 2014
2014
Exception Handling for Copyless Messaging
SCIENCE OF COMPUTER PROGRAMMING, 2014
Program Committee member of the 23rd European Symposium on Programming (ESOP 2014)
2014
Sequence Alignment Tools: One Parallel Pattern to Rule Them All?
BIOMED RESEARCH INTERNATIONAL, 2014
Isomorphism of "Functional" Intersection Types
19th International Conference on Types for Proofs and Programs (TYPES 2013),
TYPES 213
2014
Compliance for reversible client/server interactions
Proceedings Third Workshop on Behavioural Types,
Third Workshop on Behavioural Types
2014
Loosening the notions of compliance and sub-behaviour in client/server systems
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
Interaction and Concurrency Experience
2014
Preciseness of Subtyping on Intersection and Union Types
RTATLCA'14,
RTA/TLCA'14
2014
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
BEAT'14
2014
On the Preciseness of Subtyping in Session Types
PPDP'14,
PPDP'14
2014
Session Type Isomorphisms
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
PLACES'14
2014
Typing access control and secure information flow in sessions
Information and Computation, 2014
Verifying traits: an incremental proof system for fine-grained reuse
FORMAL ASPECTS OF COMPUTING, 2014
On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics
BIOMED RESEARCH INTERNATIONAL, 2014
Delta-Trait Programming of Software Product Lines
Lecture Notes in Computer ScienceLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change,
6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
2014
A Calculus of Self-stabilising Computational Fields
Lecture Notes in Computer Science, Coordination Models and Languages,
COORDINATION - 16th International Conference on Coordination Models and Languages
2014
Delta-oriented multi software product lines
Proceedings of the 18th International Software Product Line Conference on - SPLC '14,
18th International Software Product Line Conference, SPLC 2014
2014
Formal Methods for Executable Software Models
LECTURE NOTES IN COMPUTER SCIENCE, 2014
Trait-oriented programming in Java 8
2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ '14, Cracow, Poland, September 23-26, 2014,
2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools (PPPJ'14)
2014
DeltaJ 1.5: delta-oriented programming for Java 1.5
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14,
2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ 2014)
2014
Generic traits for the Java platform
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14,
International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ'14)
2014
Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation
ACM SIGPLAN NOTICES,
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
2014
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types
Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14),
17th International Conference on Foundations of Software Science and Computation Structures
2014
Typing Liveness in Multiparty Communicating Systems
Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION'14),
16th International Conference on Coordination Models and Languages
2014
Deadlock and Lock Freedom in the Linear π-Calculus
Proceedings of the Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science (CSL-LICS'14),
Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science
2014
Exercising High-Level Parallel Programming on Streams: A Systems Biology Use Case
Proceedings of 34th International Conference on Distributed Computing Systems Workshops,
34th International Conference on Distributed Computing Systems Workshops, ICDCSW 2014
2014
Self-adaptive multiparty sessions
SERVICE ORIENTED COMPUTING AND APPLICATIONS, 2014
Parallel video denoising on heterogeneous platforms
Proc. of Intl. Workshop on High-level Programming for Heterogeneous and Hierarchical Parallel Systems (HLPGPU),
International Workshop on High-level Programming for Heterogeneous and Hierarchical Parallel Systems
2014
Predictive scheduling for optimal cloud configuration
Proceedings of the 10th International Conference on the Practice and Theory of Automated Timetabling,
International Conference on the Practice and Theory of Automated Timetabling
2014
Pool evolution: a domain specific parallel pattern
Proc.of the 7th Intl. Symposium on High-level Parallel Programming and Applications (HLPP),
Symposium on High-level Parallel Programming and Applications (HLPP)
2014
FastFlow: Combining Pattern-Level Abstraction and Efficiency in GPGPUs
GPU Technology Conference (GTC 2014): GTC On-Demand Featured Talks,
GPU Technology Conference (GTC 2014)
2014
An Overview of FastFlow: Combining Pattern-Level Abstraction and Efficiency in GPGPUs
GPU Technology Conference (GTC 2014): GTC On-Demand Featured Talks,
GPU Technology Conference (GTC 2014)
2014
Reputation by Design: Using VDML and Service ML for Reputation Systems Modeling
PROCEEDINGS of The Eleventh IEEE International Conference on E-Business Engineering ICEBE 2014,
ICEBE 2014
2014
Proceedings - 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Preface from the program chairs
2014
Preface from the organizing chairs
2014
Sub-behaviour relations for session-based client/server systems
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2014
Polymorphic functions with set-theoretic types part 1: Syntax, semantics, and evaluation
ACM SIGPLAN NOTICES,
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
2014
Combining Traits with Boxes and Ownership Types in a Java-like Setting
SCIENCE OF COMPUTER PROGRAMMING, 2013
TraitRecordJ: A programming language with traits and records
SCIENCE OF COMPUTER PROGRAMMING, 2013
Formal Methods for Components and Objects10th International Symposium, FMCO 2011, Turin, Italy, October3 to 5, 2011. Revised Papers
LECTURE NOTES IN COMPUTER SCIENCE, 2013
Toward Isomorphism of Intersection and Union Types
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
Sixth Workshop on Intersection Types and Related Systems
2013
Fair Subtyping for Open Session Types
Proceedings of the 40th International Colloquium on Automata, Languages and Programming, Part II,
40th International Colloquium on Automata, Languages and Programming
2013
An Algebraic Theory for Web Service Contracts
Proceedings of the 10th International Conference on integrated Formal Methods,
10th International Conference on integrated Formal Methods
2013
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language
Proceedings of the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems,
2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE'13)
2013
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
Proceedings of the 15th International Conference on Coordination Models and Languages,
15th International Conference on Coordination Models and Languages
2013
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types
2013
Non-monotonic Pre-fixed Points and Learning
EPTCS 126 - Fixed Points in Computer Science,
Fixed Points in Computer Science (FICS'13)
2013
Characterisation of Strongly Normalising lambda-mu-Terms
EPTCS 121 - Intersection Types and Related Systems,
ITRS'13 - Intersection Types and Related Systems
2013
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,
Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12)
2013
Three cases of composition and a question
pide and Conquer: the Quest for Compositional Design and Analysis,
pide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511)
2013
On Flexible Dynamic Trait Replacement for Java-like Languages
SCIENCE OF COMPUTER PROGRAMMING, 2013
Parallel Stochastic Simulators in System Biology: The Evolution of the Species
2013 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing,
21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2013
2013
Parallel stochastic systems biology in the cloud
BRIEFINGS IN BIOINFORMATICS, 2013
Structured Data Access Annotations for Massively Parallel Computations
Parallel Processing Workshops, Euro-Par 2012: BDMC 2012, CGWS 2012, HeteroPar 2012, HiBB 2012, OMHI 2012, Paraphrase 2012, PROPER 2012, Resilience 2012, UCHPC 2012, VHPC 2012; Rhodes Island; Greece; 27 August 2012 through 31 August 2012, Selected Revised Papers, 2013
Targeting Distributed Systems in FastFlow
Lecture Notes in Computer ScienceEuro-Par 2012: Parallel Processing Workshops,
Euro-Par 2012 Workshops, CoreGrid Workshop on Grids, Clouds and P2P Computing
2013
Deriving Session and Union Types for Objects
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2013
Pure trait-based programming on the Java platform
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13,
International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13
2013
Compositional Type Checking of Delta-Oriented Software Product Lines
ACTA INFORMATICA, 2013
Refinement-based testing of delta-oriented product lines
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13,
2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13
2013
From Lock Freedom to Progress Using Session Types
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
Programming Language Approaches to Concurrency and Communication-cEntric Software
2013
Control Operators and their Semantics
2013
Memory affinity in multi-threading: the Bowtie2 case study
Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) — Poster Abstracts,
HiPEAC IX ACACES Summer School
2013
Intersection Types
Lambda Calculus with Types, 2013
Program Committee member of the Programming Language Approaches to Concurrency and Communication-cEntric Software workshop (PLACES 2013)
2013
Hypha - Type Reconstruction for the Linear π-Calculus
2013
Type Directed Semantics for the Calculus of Looping Sequences
INTERNATIONAL JOURNAL OF SOFTWARE AND INFORMATICS, 2013
Part II, Recursive types
Lambda Calculus with Types, 2013
A Calculus of Computational Fields
Communications in Computer and Information ScienceAdvances in Service-Oriented and Cloud Computing,
FOCLASA 2013 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems
2013
Teachers for teachers T4T 2014
2013
Memory affinity in multi-threading: the Bowtie2 case study
Poster at Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES),
Poster at Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES)
2013
An Abstract Annotation Model for Skeletons
Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures, 2013
Managing Adaptivity in Parallel Systems
Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures, 2013
The ParaPhrase Project: Parallel patterns for adaptive heterogeneous multicore systems
Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures, 2013
A formal foundation for dynamic delta-oriented software product lines
ACM SIGPLAN NOTICES,
11th International Conference on Generative Programming and Component Engineering (GPCE'12)
2013
Intelligent Semantic Technologies for Human and Artificial Agents Collaboration (IST*HAAC)
Dealing with temporal indeterminacy in relational databases: An AI methodology
AI COMMUNICATIONS, 2019
Collections revisited from the perspective of historical testimonies
INTERNATIONAL JOURNAL OF METADATA, SEMANTICS AND ONTOLOGIES, 2019
A SemanticWeb Approach to Enable a Smart Route to Historical Archives
JOURNAL OF WEB ENGINEERING, 2019
Representing and querying now-relative relational medical data
ARTIFICIAL INTELLIGENCE IN MEDICINE, 2018
Multi-device, personalized recommendation and presentation of information to inpidual users and groups
INTELLIGENZA ARTIFICIALE, 2018
35 Years of Pietro Torasso's work on diagnosis
INTELLIGENZA ARTIFICIALE, 2018
An Integrated Support to Collaborative Semantic Annotation
ADVANCES IN HUMAN-COMPUTER INTERACTION, 2017
Personalised community maps
INTERNATIONAL JOURNAL OF ELECTRONIC GOVERNANCE, 2017
An artificial intelligence framework for compensating transgressions and its application to diet management
JOURNAL OF BIOMEDICAL INFORMATICS, 2017
Temporal detection and analysis of guideline interactions
ARTIFICIAL INTELLIGENCE IN MEDICINE, 2017
On the role of thematic roles in a historical event ontology
APPLIED ONTOLOGY, 2017
Ontology-driven Collaborative Annotation in Shared Workspaces
FUTURE GENERATION COMPUTER SYSTEMS, 2016
Knowledge-Based Support to the Treatment of Exceptions in Computer Interpretable Clinical Guidelines
INTERNATIONAL JOURNAL OF KNOWLEDGE-BASED ORGANIZATIONS, 2016
Explaining interdependent action delays in multiagent plans execution
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2016
A 1NF temporal relational model and algebra coping with valid-time temporal indeterminacy
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 2016
A comprehensive approach to 'now' in temporal relational databases: Semantics and representation
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2016
Robust plan execution via reconfiguration and replanning
AI COMMUNICATIONS, 2015
Ontologie informatiche della geografia: una sistematizzazione del dibattito contemporaneo
RIVISTA DI ESTETICA, 2015
Ontologies and historical archives: A way to tell new stories
APPLIED ONTOLOGY, 2015
Multi-Perspective Concept Mapping in a Digital Integrated Learning Environment: Promote Active Learning Through Shared Perspectives
Educational Technology and the New World of Persistent Learning, 2019
META-GLARE’s Supports to Agent Coordination
Communications in Computer and Information Science, 2019
Rappresentare il territorio attraverso il collaborative mapping. Il progetto OnToMap.
Smartness e healthiness per la transizione verso la resilienza Orizzonti di ricerca interdisciplinare sulla città e il territorio., 2018
Temporal Clinical Guidelines
Process Modeling and Management for Healthcare, 2017
Shared and Personal Views on Collaborative Semantic Tables
Semantic Web Collaborative Spaces, 2016
Supporting Semantic Annotation in Collaborative Workspaces with Knowledge based on Linked Open Data
Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2016
What are Ontologies Useful For?
Encyclopedia of Information Science and Technology, Third Edition, 2015
ReCon: An Online Task ReConfiguration Approach for Robust Plan Execution
Agents and Artificial Intelligence, 2015
A hybrid approach to the verification of computer interpretable guidelines
Foundations of Biomedical Knowledge Representation, 2015
Supporting physicians and patients through recommendation: Guidelines and beyond
Foundations of Biomedical Knowledge Representation, 2015
GeCoLan: A constraint language for reasoning about ecological networks in the semantic web
Communications in Computer and Information Science,
9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2017
2019
Extending a Tag-based Collaborative Recommender with Co-occurring Information Interests
The 27th ACM Conference on User Modeling, Adaptation and Personalization,
The 27th ACM Conference on User Modeling, Adaptation and Personalization
2019
Multi-faceted Trust-based Collaborative Filtering
Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization,
The 27th ACM Conference on User Modeling, Adaptation and Personalization
2019
Explaining Failures Propagations in the Execution of Multi-Agent Temporal Plans
Proc. of 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019,
The 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
2019
Temporal Multiagent Plan Execution: Explaining What Happened
Explainable, Transparent Autonomous Agents and Multi-Agent Systems,
EXplainable TRansparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS)
2019
Fruitful Synergies between Computer Science, Historical Studies and Archives: The Experience in the PRiSMHA Project
Proceedings of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 3: KMIS,
International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management
2019
UMaP Patch 2019 chairs' welcome
ACM UMAP 2019 Adjunct - Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization,
27th ACM International Conference on User Modeling, Adaptation and Personalization, UMAP 2019
2019
Session-based Suggestion of Topics for Geographic Exploratory Search
IUI 2018 - where HCI meets AI,
IUI 2018
2018
Map-based visualization of 2D/3D spatial data via stylization and tuning of information emphasis
Proceedings of the 2018 International Conference on Advanced Visual Interfaces,
Advanced Visual Interfaces (AVI)
2018
Transparency-based information filtering on 2D/3D geographical maps
Proceedings of the 2018 International Conference on Advanced Visual Interfaces,
Advanced Visual Interfaces (AVI)
2018
Automatic reasoning evaluation in diet management based on an Italian cookbook
Proceedings of the Joint Workshop on Multimedia for Cooking and Eating Activities and Multimedia Assisted Dietary Management,
CEA/MADiMa2018 Joint Workshop on Multimedia for Cooking and Eating Activities and Multimedia Assisted Dietary Management in conjunction with the 27th International Joint Conference on Artificial Intelligence IJCAI
2018
Ontological Representation of Constraints for Geographical Reasoning
IC3K 2018 - 10th Int. JointConf. on Knowledge Discovery, Knowledge Engineering and Knowledge Management,
10th Int. JointConf. on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018)
2018
Temporal Reasoning with Layered Preferences
Foundations of Intelligent Systems 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29–31, 2018, Proceedings,
International Symposium on Methodologies for Intelligent Systems (ISMIS 2018)
2018
Designing and testing the messages produced by a virtual dietitian
Proceedings of the 11th International Conference on Natural Language Generation,
11th International Conference on Natural Language Generation
2018
An AI Approach to Temporal Indeterminacy in Relational Databases
Advances in Artificial Intelligence - IBERAMIA 2018,
Ibero-American Conference on Artificial Intelligence
2018
Querying probabilistic temporal constraints for guideline interaction analysis: GLARE’s approach
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
16th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2018
2018
Impact of Semantic Granularity on Geographic Information Search Support
2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI),
2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI)
2018
Exploring RDF Datasets with LDscout
Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, Volume 3: KMIS,
10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018)
2018
A Pipeline Supporting a Smart Access to Historical Documents based on a Rich Semantic Representation of Their Content: A Case Study on Time Expressions
Proceedings of the 14th International Conference on Web Information Systems and Technologies,
14th International Conference on Web Information Systems and Technologies (WEBIST)
2018
CheckYourMeal!: diet management with NLG
Proceedings of the Workshop on Intelligent Interactive Systems and Language Generation (2IS\&NLG),
Workshop on Intelligent Interactive Systems and Language Generation (2IS&NLG)
2018
Supporting knowledge sharing and learning via semantic geographical maps
SmartLearn 2017 - Proceedings of the 2017 ACM Workshop on Intelligent Interfaces for Ubiquitous and Smart Learning, co-located with IUI 2017,
2017 ACM Workshop on Intelligent Interfaces for Ubiquitous and Smart Learning, SmartLearn 2017
2017
Enhancing Collaborative Filtering with Friendship Information
Proc. of UMAP 2017,
25th Conf. on User Modeling, Adaptation and Personalization (UMAP 2017)
2017
OnToMap - Semantic Community Maps for Knowledge Sharing
Proc. of HT 2017,
Hypertext 2017
2017
An ontological perspective on thematic roles
Knowledge Engineering and Knowledge Management,
Knowledge Engineering and Knowledge Management
2017
Semantic Interpretation of Search Queries for Personalization
UMAP'17 Adjunct Proceedings,
25th Conf. on User Modeling, Adaptation and Personalization (UMAP 2017)
2017
Thematic Maps for Geographical Information Search
UMAP 2017 PATCH 2017 – Personalized Access to Cultural Heritage,
UMAP 2017 PATCH 2017 – Personalized Access to Cultural Heritage
2017
Temporal reasoning techniques for the analysis of interactions in the treatment of comorbid patients
SAC '17 Proceedings of the Symposium on Applied Computing,
SAC '17 Proceedings of the Symposium on Applied Computing
2017
PATCH 2017 workshop organizers' welcome
UMAP 2017 - Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization,
25th ACM International Conference on User Modeling, Adaptation, and Personalization, UMAP 2017
2017
Concept-Aware geographic information retrieval
Proceedings - 2017 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2017,
16th IEEE/WIC/ACM International Conference on Web Intelligence, WI 2017
2017
Representing Ecological Network Specifications with Semantic Web Techniques
Proc. of Joint Conf. on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2017),
KEOD - Int. Conf. on KnowledgeEngineering and Ontology Development
2017
Smart Access to Historical Archives based on Rich Semantic Metadata
IC3K - Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 3: KMIS,
International Conference on Knowledge Management and Information Sharing
2017
An Approach for Explaining Reasoning on the Diet Domain
Natural Language for Artificial Intelligence. Proceedings of the 1st Workshop on Natural Language for Artificial Intelligence co-located with 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017),
1st Workshop on Natural Language for Artificial Intelligence co-located with 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017)
2017
Domain-specific Named Entity Disambiguation in Historical Memoirs
Proceedings of the Fourth Italian Conference on Computational Linguistics (CLiC-it 2017),
Fourth Italian Conference on Computational Linguistics (CLiC-it 2017)
2017
PRiSMHA (Providing Rich Semantic Metadata for Historical Archives)
JOWO 2017, The Joint Ontology Workshops,
Contextual Representation of Objects and Events in Language (CREOL@JOWO2017)
2017
Personal and shared perspectives on knowledge maps in learning environments
Learning and Collaboration Technologies Technology in Education, Part II - LNCS 10296,
4th International Conference on Learning and Collaboration Technologies
2017
Mobile access to cultural heritage - Mobile-CH 2016
Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct, MobileHCI 2016,
18th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2016
2016
Production of spatial representations through collaborative mapping. An experiment.
INPUT 2016 “e-agorà/e-ἀγορά for the transition toward resilient communities”,
9th Int. Conf. on Innovation in Urban and Regional Planning
2016
Exploration of cultural heritage information via textual search queries
Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct, MobileHCI 2016,
18th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2016
2016
Temporal Detection of Guideline Interactions
Proceedings of the International Conference on Health Informatics (HEALTHINF-2015),
8th International Conference on Health Informatics (HEALTHINF-2015)
2015
Deordering and Numeric Macro Actions for Plan Repair
Proc. of the Twenty-Fourth International Joint Conference on Artificial Intelligence,
Twenty-Fourth International Joint Conference on Artificial Intelligence
2015
News Recommender Based on Rich Feedback
User Modeling, Adaptation and Personalization - 23rd International Conference, UMAP 2015 Dublin, Ireland, June 29 – July 3, 2015 Proceedings,
23rd Conf. on User Modeling, Personalization and Adaptation (UMAP 2015)
2015
A General Approach to Represent and Query Now-Relative Medical Data in Relational Databases
Artificial Intelligence in Medicine,
15th Conference on Artificial Intelligence in Medicine, AIME 2015
2015
Mobile Computing and Artificial Intelligence for Diet Management
New Trends in Image Analysis and Processing -- ICIAP 2015 Workshops,
1st International Workshop on Multimedia Assisted Dietary Management
2015
Il progetto OnToMap: costruire conoscenza territoriale attraverso l’uso di un’applicazione ICT
ASITA 2015 - Federazione Italiana delle Associazioni Scientifiche per le Informazioni Territoriali e Ambientali,
ASITA 2015
2015
A Mixed-Initiative Approach to the Conciliation of Clinical Guidelines for Comorbid Patients
Knowledge Representation for Health Care,
AIME 2015 International Joint Workshop, KR4HC/ProHealth 2015
2015
Supporting Multi-level User-driven Detection of Guideline Interactions
Proceedings of the International Conference on Health Informatics (HEALTHINF-2015),
8th International Conference on Health Informatics (HEALTHINF-2015)
2015
A Semantic Framework to Enrich Collaborative Tables with Domain Knowledge
IC3K 2015 - Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 3: KMIS,
International Conference on Knowledge Management and Information Sharing
2015
Towards diet management with automatic reasoning and persuasive natural language generation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
17th Portuguese Conference on Artificial Intelligence, EPIA 2015
2015
A Scheduling Tool for Conditionally Independent Temporal Preferences
proceedings of ICTAI 2015,
International Conference on Tools with Artificial Intelligence
2015
Scheduling with Structured Preferences
Research and Development in Intelligent Systems XXXII,
SGAI International Conference on Artificial Intelligence
2015
PATCH 2015 - Personalized access to cultural heritage
Proceedings of the 20th International Conference on Intelligent User Interfaces Companion,
20th ACM International Conference on Intelligent User Interfaces, IUI 2015
2015
Proceedings of 8th International Workshop on Personalized Access to Cultural Heritage co-located with the ACM Intelligent User Interfaces 2015 Conference (IUI 2015), Atlanta, USA, 29 March - 1 April, 2015
CEUR Workshop Proceedings,
Workshop on Personalized Access to Cultural Heritage
2015
SMT-based diagnosis of Multi-Agent Temporal Plans
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS,
17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018
2018
Knowledge representation, Automated Reasoning, Logic and ontologies
Typicalities and probabilities of exceptions in nonmotonic Description Logics
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2019
Happy parents’ tweets: An exploration of Italian Twitter data using sentiment analysis
DEMOGRAPHIC RESEARCH, 2019
Stance polarity in political debates: A diachronic perspective of network homophily and conversations on Twitter
DATA & KNOWLEDGE ENGINEERING, 2019
Grounding Bayesian accounts of numerosity and variability effects in a similarity-based framework: the case of self-organising maps.
JOURNAL OF COGNITIVE PSYCHOLOGY, 2019
Beyond subgoaling: A dynamic knowledge generation framework for creative problem solving in cognitive architectures
COGNITIVE SYSTEMS RESEARCH, 2019
Applying a description logic of typicality as a generative tool for concept combination in computational creativity
INTELLIGENZA ARTIFICIALE, 2019
Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach
FUNDAMENTA INFORMATICAE, 2018
Editorial for the Special issue on "Love & Hate in the Time of Social Media and Social Networks"
INFORMATION, 2018
Sentiment Polarity Classification at EVALITA: Lessons Learned and Open Challenges
IEEE TRANSACTIONS ON AFFECTIVE COMPUTING, 2018
A visual auditory model based on Growing Self-Organizing Maps to analyze the taxonomic response in early childhood.
COGNITIVE SYSTEMS RESEARCH, 2018
Affect and interaction in agent-based systems and social media: Guest editors' introduction
ACM TRANSACTIONS ON INTERNET TECHNOLOGY, 2017
Reasoning About Plausible Scenarios in Description Logics of Typicality
INTELLIGENZA ARTIFICIALE, 2017
Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014
FUNDAMENTA INFORMATICAE, 2017
EVALITA Goes Social: Tasks, Data, and Community at the 2016 Edition
ITALIAN JOURNAL OF COMPUTATIONAL LINGUISTICS, 2017
Implicazioni etiche dell'analisi di contenuti, emozioni e interazioni nei social media
SISTEMI INTELLIGENTI, 2017
Nested Sequent Calculi for Normal Conditional Logics
JOURNAL OF LOGIC AND COMPUTATION, 2016
Emotion and sentiment in social and expressive media: Introduction to the special issue
INFORMATION PROCESSING & MANAGEMENT, 2016
Ontology-based affective models to organize artworks in the social semantic web
INFORMATION PROCESSING & MANAGEMENT, 2016
Figurative messages and affect in Twitter: Differences between #irony, #sarcasm and #not
KNOWLEDGE-BASED SYSTEMS, 2016
Irony detection in Twitter: The role of affective content
ACM TRANSACTIONS ON INTERNET TECHNOLOGY, 2016
State of the Art Language Technologies for Italian: The EVALITA 2014 Perspective
INTELLIGENZA ARTIFICIALE, 2015
Semantic characterization of Rational Closure: from Propositional Logic to Description Logics
ARTIFICIAL INTELLIGENCE, 2015
Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND
INTELLIGENZA ARTIFICIALE, 2015
Logics in Access Control: A Conditional Approach
JOURNAL OF LOGIC AND COMPUTATION, 2014
Engineering commitment-based business protocols with 2CL methodology
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2014
A NonMonotonic Description Logic for Reasoning About Typicality
ARTIFICIAL INTELLIGENCE, 2013
Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT
IEEE INTELLIGENT SYSTEMS, 2013
Constitutive and regulative specifications of commitment protocols: A decoupled approach
ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 2013
Flexible Choreography-driven Service Selection
INTELLIGENZA ARTIFICIALE, 2012
From Tags to Emotions: Ontology-driven Sentiment Analysis in the Social Semantic Web
INTELLIGENZA ARTIFICIALE, 2012
Non-Classical Logics for Knowledge Representation and Reasoning
INTELLIGENZA ARTIFICIALE, 2011
Constraint Modeling for Curriculum Planning and Validation
INTERACTIVE LEARNING ENVIRONMENTS, 2011
Models of Agent Interaction based on Modal Logics
INTELLIGENZA ARTIFICIALE, 2011
Leveraging Search and Context Exploration by Exploiting Context in Folksonomy Systems
THE NEW REVIEW OF HYPERMEDIA AND MULTIMEDIA, 2010
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2009
Tableau Calculus for Preference-Based Conditional Logics: CE and Its Extensions
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2009
ALC + T: a Preferential Extension of Description Logics
FUNDAMENTA INFORMATICAE, 2009
Labels as Features (not Names) for Infant Categorisation: A Neuro-computational approach
COGNITIVE SCIENCE, 2009
Theorem Proving for Conditional Logics: CondLean and GoalDuck
JOURNAL OF APPLIED NON-CLASSICAL LOGICS, 2008
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2007
Reasoning about interaction protocols for customizing web service selection and composition
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007
Reasoning on choreographies and capability requirements
INTERNATIONAL JOURNAL OF BUSINESS PROCESS INTEGRATION AND MANAGEMENT, 2007
Weak AGM postulates and Strong Ramsey Test: a logical formalization
ARTIFICIAL INTELLIGENCE, 2005
Reasoning about interaction protocols for web service composition
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2004
Reasoning Methods for Personalization on the Semantic Web
ANNALS OF MATHEMATICS COMPUTING TELEINFORMATICS, 2004
Web-based adaptive tutoring: an approach based on logic agents and reasoning about actions
ARTIFICIAL INTELLIGENCE REVIEW, 2004
Programming Rational Agents in a Modal Action Logic
ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE, 2004
Tableau Calculi for Preference-Based Conditional Logics.
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 2003
Iterated Belief Revision and Conditional Logic
STUDIA LOGICA, 2002
Belief Revision and the Ramsey Test: a solution.
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 2001
A Conditional Logic for Belief Revision.
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1998
Proceedings of the 29th Italian Conference on Computational Logic
CEUR WORKSHOP PROCEEDINGS, 2014
ESSEM 2013 Emotion and Sentiment in Social and Expressive Media Proceedings of the First International Workshop on Emotion and Sentiment in Social and Expressive Media: approaches and perspectives from AI (ESSEM 2013)
CEUR WORKSHOP PROCEEDINGS, 2013
Software
NESCOND
2014
Evalita 2014: Sentipolc Twitter dataset
2014
Felicittà
2013
PreDeLo 1.0
2013
DYnamics in LOGic
2010
WLog web agent system
2010
CSL-lean
2009
GoalDuck
2008
CondLean
2007
KLMLean
2007
FreeP
2007
Conditional and Preferential Logics: Proof Methods and Theorem Proving
FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS, 2010
Semantic Aspects in Sentiment Analysis
Sentiment Analysis in Social Networks, 2017
Sentiment Analysis in the Planet Art: a Case Study in the Social Semantic Web
New Challenges in Distributed Information Filtering and Retrieval, 2013
A Generalized Commitment Machine for 2CL Protocols and Its Implementation
Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers, 2013
Business process compliance verification: an annotation based approach with commitments
Information Systems: a crossroads for Organization, Management, Accounting and Engineering, 2012
Supporting the Analysis of Risks of Violation in Business Protocols: the MiFID Case Study
Information Systems: Crossroads for Organization, Management, Accounting and Engineering, 2012
Goal Preservation by Choreography-Driven Matchmaking
Service-Oriented Computing - Workshops ICSOC 2007, International Workshops. Revised Selected Papers. Book Series Lecture Notes in Computer Science (LNCS), 2009
Multimodal Logics for Reasoning about Interaction
Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, Proc. of the Day Dedicated to Prof. Alberto Martelli, 2009
Service selection by choreography-driven matching
Emerging Web Services Technology, 2008
Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts
Formal Ontologies Meet Industry, 2008
Automated Reasoning for Conditional Logics: the Theorem Prover CondLean 3.1
Perspectives on Universal Logic, 2007
Verification of protocol conformance and agent interoperability
Computational Logic in Multi-Agent Systems. 6th International Workshop, CLIMA VI. Revised Selected and Invited Papers. Book Series Lecture Notes in Computer Science (LNCS) State-of-the-Art Survey, 2006
Interaction Protocols and Capabilities: a preliminary report
Principles and Practice of Semantic Web Reasoning. 4th International Workshop, PPSWR 2006. Revised Selected Papers. Book Series Lecture Notes in Computer Science (LNCS), 2006
Lexical gender in Hungarian: Reflections of Social Structures in an Electronic Corpus
Gender, Language and New Literacy, 2006
Reasoning About Agents' Interaction Protocols Inside DCaseLP
Post-Proc. of Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, Revised Selected Papers, 2005
Verifying Protocol Conformance for Logic-Based Communicating Agents
Post-Proc. of Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Revised Selected and Invited Papers, 2005
An Abductive Procedure for Reasoning about Actions in Modal Logic Programming
Post-Proc. of Non-Monotonic Extensions of Logic Programming Second International Workshop, NMELP '96, Selected Papers, 1997
Sentiment Analysis of Microblogging Data
Encyclopedia of Social Network Analysis and Mining, 2017
Social Media Analysis for Monitoring Political Sentiment
Encyclopedia of Social Network Analysis and Mining, 2017
32 voci nel Dizionario Treccani di Informatica, ICT e Nuovi Media: ACDSee Algebra relazionale Append Chiave Primaria Database Consistente Database relazionale DBMS Description Logic DO-WHILE e-bay Entità-relazioni, modello FOR loop GO TO Grassetto IF-THEN IF-THEN-ELSE Indirizzamento Indirizzo Ethernet Integrità referenziale Jacopini, Giuseppe Javasript MySQL Nero Burning ROM Normalizzazione PL/SQL Polimorfismo Prolog Query Rollback Salvaschermo Transazione Zuckerberg Mark Elliot
Dizionario Treccani di Informatica, ICT e Nuovi Media, 2012
SeCredISData 2018: Special session on sentiment, emotion, and credibility of information in social data
Proceedings - 2018 IEEE 5th International Conference on Data Science and Advanced Analytics, DSAA 2018,
5th IEEE International Conference on Data Science and Advanced Analytics, DSAA 2018
2019
Stance or insults?
EVIA 2019Proceedings of the Ninth International Workshop on Evaluating Information Access (EVIA2019), a Satellite Workshop of the NTCIR-14 Conference,
Ninth International Workshop on Evaluating Information Access (EVIA2019), a Satellite Workshop of the NTCIR-14 Conference
2019
Knowledge Capturing via Conceptual Reframing: A Dynamic Knowledge Generation System for Cognitive Agents
Proceedings of the 10th ACM International Conference on Knowledge Capture (K-CAP 2019),
K-CAP 2019 - 10th ACM International Conference on Knowledge Capture
2019
A Dynamic Knowledge Generation System for Cognitive Agents
Proceedings of the IEEE 31st International Conference on Tools with Artificial Intelligence, ICTAI 2019,
IEEE 31st International Conference on Tools with Artificial Intelligence, ICTAI 2019
2019
A New Measure of Polarization in the Annotation of Hate Speech
AI*IA 2019 -- Advances in Artificial Intelligence,
XVIIIth International Conference of the Italian Association for Artificial Intelligence
2019
Annotating hate speech: Three schemes at comparison
CEUR Workshop Proceedings,
6th Italian Conference on Computational Linguistics, CLiC-it 2019
2019
Computational linguistics against hate: Hate speech detection and visualization on social media in the "Contro L’Odio" project
CEUR Workshop Proceedings,
6th Italian Conference on Computational Linguistics, CLiC-it 2019
2019
Leveraging Hate Speech Detection to Investigate Immigration-related Phenomena in Italy
2019 8th International Conference on Affective Computing and Intelligent Interaction Workshops and Demos (ACIIW),
Emotion and Sentiment in Social and Expressive Media: Media and Arts for Inclusive, Fair and Reflective Societies, Co-located with ACII 2019, the 8th International Conference on Affective Computing and Intelligent Interaction (ESSEM@ACII 2019)
2019
Stance classification for rumour analysis in Twitter: Exploiting affective information and conversation structure
Proceedings of the CIKM 2018 Workshops co-located with 27th ACM International Conference on Information and Knowledge Management (CIKM 2018),
2nd International Workshop on Rumours and Deception in Social Media (RDSM 2018)
2019
Taxonomic and Whole Object Constraints: A Deep Architecture
Proceedings of the 41th Annual Meeting of the Cognitive Science Society,CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada,July 24-27, 2019,
COGSCI 2019: Creativity + Cognition + Computation
2019
SemEval-2019 Task 5: Multilingual Detection of Hate Speech Against Immigrants and Women in Twitter
Proceedings of the 13th International Workshop on Semantic Evaluation,
13th International Workshop on Semantic Evaluation
2019
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
18th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2019
2019
PEAR: A tool for reasoning about scenarios and probabilities in description logics of typicality
CEUR Workshop Proceedings,
34th Italian Conference on Computational Logic, CILC 2019
2019
GOCCIOLA: Generating new knowledge by combining concepts in description logics of typicality
CEUR Workshop Proceedings,
34th Italian Conference on Computational Logic, CILC 2019
2019
Stance Evolution and Twitter Interactions in an Italian Political Debate
Natural Language Processing and Information Systems 23rd International Conference on Applications of Natural Language to Information Systems, NLDB 2018, Paris, France, June 13-15, 2018, Proceedings,
23rd International Conference on Natural Language & Information Systems
2018
Application and Analysis of a Multi-layered Scheme for Irony on the Italian Twitter Corpus TWITTIRÒ
Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018),
LREC 2018, Eleventh International Conference on Language Resources and Evaluation
2018
SemEval 2018 Task 2: Multilingual Emoji Prediction
Proceedings of the 12th International Workshop on Semantic Evaluation (SemEval 2018),
12th International Workshop on Semantic Evaluation (SemEval 2018)
2018
A Data Viz Platform as a Support to Study, Analyze and Understand the Hate Speech Phenomenon
Proceedings of the 2nd International Conference on Web Studies (WS.2 2018),
2nd International Conference on Web Studies
2018
14-ExLab@UniTo for AMI at IberEval2018: Exploiting lexical knowledge for detecting misogyny in English and Spanish tweets
CEUR Workshop Proceedings,
3rd Workshop on Evaluation of Human Language Technologies for Iberian Languages, IberEval 2018
2018
Automatic Identification of Misogyny in English and Italian Tweets at EVALITA 2018 with a Multilingual Hate Lexicon
CEUR Workshop Proceedings,
Sixth Evaluation Campaign of Natural Language Processing and Speech Tools for Italian (EVALITA 2018)
2018
Overview of the EVALITA 2018 Task on Irony Detection in Italian Tweets (IronITA)
CEUR Workshop Proceedings,
Sixth Evaluation Campaign of Natural Language Processing and Speech Tools for Italian (EVALITA 2018)
2018
Hurtlex: A multilingual lexicon of words to hurt
CEUR Workshop Proceedings,
5th Italian Conference on Computational Linguistics, CLiC-it 2018
2018
Creative Concept Generation by Combining Description Logic of Typicality, Probabilities and Cognitive Heuristics
AI*IA 2018 – Advances in Artificial Intelligence XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings,
17th Conference of the Italian Association for Artificial Intelligence, AI*IA 2018
2018
On probabilities of exceptions in description logics of typicality
Proceedings of the 33rd Italian Conference on Computational Logic,
33rd Italian Conference on Computational Logic, CILC 2018
2018
COCOS: A typicality based COncept COmbination System
Proceedings of the 33rd Italian Conference on Computational Logic,
33rd Italian Conference on Computational Logic, CILC 2018
2018
A description logic of typicality for conceptual combination
Foundations of Intelligent Systems 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29–31, 2018, Proceedings,
24th International Symposium on Methodologies for Intelligent Systems, ISMIS 2018
2018
#NonDicevoSulSerio at SemEval-2018 Task 3: Exploiting Emojis and Affective Content for Irony Detection in English Tweets
Proceedings of The 12th International Workshop on Semantic Evaluation,
International Workshop on Semantic Evaluation
2018
Overview of the Evalita 2018 Italian Emoji Prediction (ITAmoji) Task
CEUR Workshop Proceedings,
6th Evaluation Campaign of Natural Language Processing and Speech Tools for Italian. Final Workshop, EVALITA 2018
2018
An Italian Twitter Corpus of Hate Speech against Immigrants
Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018),
Language Resources and Evaluation Conference - LREC 2018
2018
REGULATION OF HIF-1 alpha IN TP53 DISRUPTED CHRONIC LYMPHOCYTIC LEUKEMIA CELLS AND ITS POTENTIAL ROLE AS A THERAPEUTIC TARGET
HAEMATOLOGICA,
15th Congress of the Italian-Society-of-Experimental-Hematology
2018
A knowledge-based weighted KNN for detecting Irony in Twitter
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
17th Mexican International Conference on Artificial Intelligence, MICAI 2018
2018
Sentiment polarity classification of figurative language: Exploring the role of irony-aware and multifaceted affect features
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
18th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2017
2018
Exploring the Impact of Pragmatic Phenomena on Irony Detection in Tweets: A Multilingual Corpus Study
Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers,
15th Conference of the European Chapter of the Association for Computational Linguistics
2017
A Neural Network Model for Taxonomic Responding with Realistic Visual Inputs
Prroceedings of the 39th Annual Conference of the Cognitive Science Society,
COGSCI 2017: 39th Annual Conference of the Cognitive Science Society
2017
Tools and Resources for Detecting Hate and Prejudice against Immigrants in Social Media
Proceedings of AISB Annual Convention 2017,
SYMPOSIUM III. SOCIAL INTERACTIONS IN COMPLEX INTELLIGENT SYSTEMS (SICIS) at AISB 2017
2017
Friends and Enemies of Clinton and Trump: Using Context for Detecting Stance in Political Tweets
Lecture Notes in Computer Science,
MICAI 2016
2017
Extracting Graph Topological Information and Users’ Opinion
Lecture Notes in Computer Science,
International Conference of the Cross-Language Evaluation Forum for European Languages
2017
Overview of the task on stance and gender detection in tweets on Catalan independence at IberEval 2017
CEUR Workshop Proceedings,
2nd Workshop on Evaluation of Human Language Technologies for Iberian Languages, IberEval 2017
2017
Reasoning in description logics with typicalities and probabilities of exceptions
Proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017,
14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017
2017
Hypersequent calculi for lewis' conditional logics with uniformity and reflexivity
Proceedings of the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017,
26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017
2017
VINTE: An implementation of internal calculi for lewis' logics of counterfactual reasoning
Proceedings of the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017,
26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017
2017
An efficient reasoner for description logics of typicality and rational closure
Proceedings of the 30th International Workshop on Description Logics, DL 2017,
30th International Workshop on Description Logics, DL 2017
2017
RAT-OWL: Reasoning with rational closure in description logics of typicality
Proceedings of the Joint 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, ICTCS 2017 and CILC 2017,
Joint 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, ICTCS 2017 and CILC 2017
2017
TWITTIRÒ: A social media corpus with a multi-layered annotation for irony
Proceedings of the 4th Italian Conference on Computational Linguistics,
4th Italian Conference on Computational Linguistics
2017
Towards an Italian lexicon for polarity classification (polarITA): A comparative analysis of lexical resources for sentiment analysis
Proceedings of the 4th Italian Conference on Computational Linguistics,
4th Italian Conference on Computational Linguistics
2017
Hate speech annotation: Analysis of an Italian twitter corpus
CEUR Workshop Proceedings,
4th Italian Conference on Computational Linguistics, CLiC-it 2017
2017
Ethical implications of analyzing opinions, emotions and interactions in social media
Seventh International Conference on Affective Computing and Intelligent Interaction Workshops and Demos, {ACII} Workshops 2017, San Antonio,
Emotion and Sentiment in Social and Expressive Media: User Engagement and Interaction - Co-located with ACII 2017
2017
Engineering Commitment-based Business Protocols with the 2CL Methodology (Extended Abstract)
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems,
International Conference on Autonomous Agents & Multiagent Systems, AAMAS 2016
2016
Distinguishing between irony and sarcasm in social media texts: Linguistic observations
Proceedings of 2016 International FRUCT Conference on Intelligence, Social Media and Web (ISMW FRUCT),
2016 International FRUCT Conference on Intelligence, Social Media and Web (ISMW FRUCT)
2016
Reasoning about Multiple Aspects in Rational Closure for DLs.
Lecture Notes in Computer Science,
AI*IA 2016
2016
A strengthening of rational closure in DLs: reasoning about multiple aspects
Proceedings of NMR 2016,
NMR 2016
2016
Tweeting and Being Ironic in the Debate about a Political Reform: the French Annotated Corpus TWitter-MariagePourTous.
Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016,
Tenth International Conference on Language Resources and Evaluation LREC 2016
2016
Annotating Sentiment and Irony in the Online Italian Political Debate on #labuonascuola
Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016,
Tenth International Conference on Language Resources and Evaluation LREC 2016,
2016
Subjective well-being and social media: A semantically annotated twitter corpus on fertility and parenthood
CEUR Workshop Proceedings,
3rd Italian Conference on Computational Linguistics, CLiC-it 2016 and 5th Evaluation Campaign of Natural Language Processing and Speech Tools for Italian, EVALITA 2016
2016
Reasoning About Surprising Scenarios in Description Logics of Typicality
Advances in Artificial Intelligence: Proceedings of the 15th International Conference of the Italian Association for Artificial Intelligence,
15th International Conference of the Italian Association for Artificial Intelligence
2016
ALC + Texp: beyond most likely scenarios in preferential Description Logics of typicality
Proceedings of the 31st Convegno Italiano di Logica Computazionale (CILC 2016),
31st Convegno Italiano di Logica Computazionale (CILC 2016)
2016
Typicality-based revision for handling exceptions in Description Logics
Proceedings of the 31st Convegno Italiano di Logica Computazionale (CILC 2016),
31st Convegno Italiano di Logica Computazionale (CILC 2016)
2016
A Typicality-based Revision to Handle Exceptions in Description Logics
Frontiers in Artificial Intelligence and Applications,
22nd European Conference on Artificial Intelligence ECAI 2016
2016
Standard Sequent Calculi for Lewis' Logics of Counterfactuals
Proceedings of JELIA 2016 - 15th European Conference On Logics In Artificial Intelligence,
JELIA 2016 - 15th European Conference On Logics In Artificial Intelligence
2016
Standard Sequent Calculi for Lewis' Logics of Counterfactuals
LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016),
JELIA 2016 - 15th European Conference On Logics In Artificial Intelligence
2016
EVALITA 2016: Overview of the 5th evaluation campaign of natural language processing and speech tools for Italian
CEUR Workshop Proceedings,
3rd Italian Conference on Computational Linguistics, CLiC-it 2016 and 5th Evaluation Campaign of Natural Language Processing and Speech Tools for Italian, EVALITA 2016
2016
Overview of the Evalita 2016 Sentiment Polarity Classification Task
CEUR Workshop Proceedings,
3rd Italian Conference on Computational Linguistics, CLiC-it 2016 and 5th Evaluation Campaign of Natural Language Processing and Speech Tools for Italian, EVALITA 2016
2016
Raising interest and collecting suggestions on the evalita evaluation campaign
CEUR Workshop Proceedings,
3rd Italian Conference on Computational Linguistics, CLiC-it 2016 and 5th Evaluation Campaign of Natural Language Processing and Speech Tools for Italian, EVALITA 2016
2016
Tweeting in the Debate about Catalan Elections
Emotion and Sentiment Analysis PROCEEDINGS,
LREC 2016 Workshop
2016
ArsEmotica for arsmeteo.org: Emotion-Driven Exploration of Online Art Collections
Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference,
The Twenty-Eighth International Florida Artificial Intelligence Research Society Conference
2015
ValenTo: Sentiment Analysis of Figurative Language Tweets with Irony and Sarcasm
Proceedings of the 9th International Workshop on Semantic Evaluation (SemEval 2015),
9th International Workshop on Semantic Evaluation (SemEval 2015)
2015
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics
Proceedings of the 28th International Workshop on Description Logics (DL2015),
28th International Workshop on Description Logics (DL2015)
2015
A Multi-Engine Theorem Prover for a Description Logic of Typicality
AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings.,
14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015)
2015
A natural sequent calculus for Lewis logic of counterfactuals
Proceedings of the 30th Italian Conference on Computational Logic,
30° Convegno Italiano di Logica Computazionale
2015
Preferential Description Logics meet Sports Entertainment: Cardinality Restrictions and Perfect Extensions for a Better Royal Rumble Match
Proceedings of the 30th Italian Conference on Computational Logic,
30° Convegno Italiano di Logica Computazionale
2015
Debate on Political Reforms in Twitter: A Hashtag-driven Analysis of Political Polarization
IEEE International Conference on Data Science and Advanced Analytics (DSAA), 2015,
2015 IEEE International Conference on Data Science and Advanced Analytics
2015
Building a Corpus on a Debate on Political Reform in Twitter
Proceedings of the Second Italian Conference on Computational Linguistics CLiC-it 2015,
second Italian Conference on Computational Linguistics
2015
Analyzing and annotating for sentiment analysis the socio-political debate on #labuonascuola
Proceedings of the Second Italian Conference on Computational Linguistics CLiC-it 2015,
second Italian Conference on Computational Linguistics
2015
Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT (Extended Abstract)
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015,
International Joint Conference on Artificial Intelligence, IJCAI 2015
2015
ESSEM 2015 Emotion and Sentiment in Social and Expressive Media.
Proceedings of the 2nd International Workshop on Emotion and Sentiment in Social and Expressive Media: Opportunities and Challenges for Emotion-aware Multiagent Systems,
ESSEM@AAMAS 2015: 2nd International Workshop on Emotion and Sentiment in Social and Expressive Media: Opportunities and Challenges for Emotion-aware Multiagent Systems
2015
Constitutive and Regulative Specifications of Commitment Protocols: a Decoupled Approach (Extended Abstract)
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence,
Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015
2015
Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ
LNCS 9384,
ISMIS 2015, Foundations of Intelligent Systems - 22nd International Symposium,
2015
A standard and internal calculus for Lewis counterfactual logics
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015),
Proceedings of the 22nd Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2015)
2015
Detecting Happiness in Italian Tweets: Towards an Evaluation Dataset for Sentiment Analysis in Felicittà
Proceedings of the 5th International Workshop on EMOTION, SOCIAL SIGNALS, SENTIMENT & LINKED OPEN DATA, ES³LOD 2014,
5th International Workshop on EMOTION, SOCIAL SIGNALS, SENTIMENT & LINKED OPEN DATA, ES³LOD 2014
2014
NESCOND: an Implementation of Nested Sequent Calculi for Conditional Logics
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings,
IJCAR 2014 (7th International Joint Conference on Automated Reasoning)
2014
Revising Description Logic Terminologies to Handle Exceptions: a First Step
CILC 2014 - 29o convegno italiano di logica computazionale,
CILC 2014 - 29o convegno italiano di logica computazionale
2014
Rational Closure in SHIQ
DL 2014 27th International Workshop on Description Logics,
27th International Workshop on Description Logics (DL2014)
2014
Minimal models for rational closure in SHIQ
ICTCS 2014 Italian Conference on Theoretical Computer Science,
15th Italian Conference on Theoretical Computer Science (ICTCS 2014)
2014
Developing corpora and tools for sentiment analysis: the experience of the University of Turin group
Proceedings of the First Italian Conference on Computational Linguistics CLiC-it 2014,
First Italian Conference on Computational Linguistics (CLiC-it 2014)
2014
Overview of the Evalita 2014 SENTIment POLarity Classification Task
Proceedings of the Fourth International Workshop EVALITA 2014,
4th Evaluation Campaign of Natural Language Processing and Speech tools for Italian (EVALITA’14)
2014
Primacy/recency effects in infant categorization
Proceedings of the 35th annual meeting of the Cognitive Science Society,
COGSCI2013-35th annual meeting of the Cognitive Science Society
2013
A semantics for Rational Closure: Preliminary Results
Proceedings of CILC 2013,
CILC 2013: 28o convegno italiano di logica computazionale
2013
Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics
Proceedings of CILC 2013,
CILC 2013: 28o convegno italiano di logica computazionale
2013
Minimal Model Semantics and Rational Closure in Description Logics
Informal Proceedings of the 26th International Workshop on Description Logics (DL 2013),
DL 2013 26th International Workshop on Description Logics
2013
Rational closure for description logics of typicality
Proceedings of JIAF 13,
JIAF 13: Journées d'Intelligence Artificielle Fondamentale
2013
PreDeLo 1.0: a Theorem Prover for Preferential Description Logics
Proceedings of AI*IA 2013,
AI*IA 2013 - XIIIth International Conference of the Italian Association for Artificial Intelligence
2013
Emotional Responses to Artworks in Online Collections
Late-Breaking Results, Project Papers and Workshop Proceedings of the 21st Conference on User Modeling, Adaptation, and Personalization.,
6th International Workshop on Personalized Access to Cultural Heritage, PATCH 2013
2013
Organizing Artworks in an Ontology-based Semantic Affective Space
Proceedings of the First International Workshop on Emotion and Sentiment in Social and Expressive Media: approaches and perspectives from AI,
1st International Workshop on Emotion and Sentiment in Social and Expressive Media: approaches and perspectives from AI
2013
Felicittà: Visualizing and Estimating Happiness in Italian Cities from Geotagged Tweets
Emotion and Sentiment in Social and Expressive Media 2013,
1st International Workshop on Emotion and Sentiment in Social and Expressive Media: approaches and perspectives from AI
2013
Annotating Irony in a Novel Italian Corpus for Sentiment Analysis
Proceedings of the 4th International Workshop on Corpora for Research on EMOTION SENTIMENT & SOCIAL SIGNALS ES³ 2012,
4th International Workshop on Corpora for Research on EMOTION SENTIMENT & SOCIAL SIGNALS ES³ 2012
2012
A Generalized Commitment Machine for 2CL Protocols and its Implementation
Proc. of International Workshop on Declarative Agent Languages and Technologies, DALT 2012,
International Workshop on Declarative Agent Languages and Technologies, DALT 2012
2012
Nested Sequent Calculi for Conditional Logics
Logics in Artificial Intelligence - 13th European Conference, JELIA 2012,
Logics in Artificial Intelligence - 13th European Conference, JELIA 2012
2012
A minimal model semantics for nonmonotonic reasoning
Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings,
Logics in Artificial Intelligence - 13th European Conference, JELIA 2012
2012
A Modal Reconstruction of Rational Closure
Proceedings of the 9th Italian Convention on Computational Logic (CILC 2012),
CILC 2012: Convention on Computational Logic
2012
A minimal model semantics for rational closure
Proceedings of NMR 2012: 14th International Workshop on Non-Monotonic Reasoning,
NMR 2012: 14th International Workshop on Non-Monotonic Reasoning
2012
A generalized commitment machine for 2CL protocols and its prolog implementation
Proc. of 9th Italian Convention on Computational Logic, CILC 2012,
9th Italian Convention on Computational Logic, CILC 2012
2012
Commitments with Regulations: Reasoning about Safety and Control in REGULA
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2011,
10th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2011
2011
Learn the rules so you know how to break them properly
WOA-2011, 12th Workshop on Objects and Agents,
WOA 2011: Dagli oggetti agli agenti, Progettazione ed analisi di sistemi complessi mediante modellazione e simulazione basate su agenti
2011
A tableau calculus for a nonmonotonic extension of EL^\bot
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings,
TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)
2011
An Interaction-oriented Agent Framework for Open Environments
Proc. of AI*IA 2011: Artificial Intelligence Around Man and Beyond,
12th International Conference of the Italian Association for Artificial Intelligence
2011
Grafting Regulations into Business Protocols: Supporting the Analysis of Risks of Violation
Proc. of Fourth International Workshop on Requirements Engineering and Law (RELAW 2011),
Fourth International Workshop on Requirements Engineering and Law (RELAW 2011)
2011
Back to the Future: an Interaction-oriented Framework for Social Computing
Proc. of First International Workshop on Requirements Engineering for Social Computing (RESC 2011),
First International Workshop on Requirements Engineering for Social Computing (RESC 2011)
2011
ArsEmotica: Emotions in the Social Semantic Web
Proc. of 7th International Conference on Semantic Systems, I-SEMANTICS 2011,
7th International Conference on Semantic Systems, I-SEMANTICS 2011
2011
Reasoning about typicality in low complexity DLs: the logics EL^\bot T_min and DL-lite_R T_min
Proceedings of IJCAI 2011 (22nd International Joint Conference on Artificial Intelligence),
IJCAI 2011 (22nd International Joint Conference on Artificial Intelligence)
2011
From Tags to Emotions: Ontology-driven Sentiment Analysis in the Social Semantic Web
Proc. of 5th International Workshop on New Challenges in Distributed Information Filtering and Retrieval,
5th International Workshop on New Challenges in Distributed Information Filtering and Retrieval
2011
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods
CEUR WORKSHOP PROCEEDINGS,
CILC 2011 (26th Convegno Italiano di Logica Computazionale)
2011
A tableau calculus for a nonmonotonic extension of the Description Logic DL-Litecore
AI*IA 2011: Artificial Intelligence Around Man and Beyond,
XIIth International Conference of the Italian Association for Artificial Intelligence
2011
Verifying Compliance of Business Processes with Temporal Answer Sets
26th Italian Conference on Computational Logic, CILC 2011,
CILC 2011 - 26th Italian Conference on Computational Logic
2011
A conditional constructive logic for access control and its sequent calculus
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings,
TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)
2011
A Constructive Conditional Logic for Access Control:a completeness result and a sequent calculus
CEUR WORKSHOP PROCEEDINGS,
CILC 2010 - 25th Italian Conference on Computational Logic
2010
A nonmonotonic extension of KLM Preferential Logic P
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings,
LPAR 2010: 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
2010
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment
CEUR WORKSHOP PROCEEDINGS,
CILC 2010 - 25th Italian Conference on Computational Logic
2010
Verifying Business Process Compliance by Reasoning about Actions
First Workshop on Law Compliancy Issues in Organisational Systems and Strategies (iComply 2010),
First Workshop on Law Compliancy Issues in Organisational Systems and Strategies
2010
Logics in Access Control: A Conditional Approach
Proceedings of the Workshop on Logics in Security 2010,
LIS: 1st Workshop of Logics in Security
2010
Verifying Business Process Compliance by Reasoning about Actions
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings,
11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI)
2010
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
MALLOW 2010, The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010, 11th Int. Workshop COIN,
MALLOW 2010, The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010
2010
CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,
Methods for Modalities - M4M
2010
MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper)
Proc. of the 11th Workshop on Objects to Agents, WOA 2010,
11th Workshop on Objects to Agents, WOA 2010
2010
Choice, Interoperability, and Conformance in Interaction Protocols and Service Choreographies
Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009,
8th International Conference on Autonomous Agent and Multiagent Systems, AAMAS 2009
2009
Context-based Ranking in Folksonomies
Proc. of the 20th ACM International Conference on Hypertext and Hypermedia, Hypertext 2009,
20th ACM International Conference on Hypertext and Hypermedia, Hypertext 2009
2009
ArsMeteo: Artworks and Tags Floating over the Planet Art
Proc. of the 20th ACM International Conference on Hypertext and Hypermedia, Hypertext 2009,
20th ACM International Conference on Hypertext and Hypermedia, Hypertext 2009
2009
Joint Achievement of Services' Personal Goals
Proc. of the 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW'009,
Agents, Web Services and Ontologies, Integrated Methodologies International Workshop (MALLOW-AWESOME'009)
2009
Prototypical reasoning with low complexity Description Logics: preliminary results
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings,
10th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR 2009
2009
Reasoning about typicality with low complexity Description Logics: the logic EL+⊥T
AI*IA 2009: Emergent Perspectives in Artificial Intelligence XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 Proceedings,
XI Conference of the Italian Association for Artificial Intelligence AI*IA 2009
2009
Reasoning About Typicality in ALC and EL
22nd International Workshop on Description Logics, DL 2009,
22nd International Workshop on Description Logics (DL 2009)
2009
Non-Classical Logics for Knowledge Representation and Reasoning
CEUR WORKSHOP PROCEEDINGS,
Day Dedicated to Prof. Alberto Martelli
2009
CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity
Proceedings of M4M-6,
Methods for Modalities - M4M 6
2009
A Non-monotonic Description Logic of Typicality
Proceedings of CILC 2009 (24th Convegno Italiano di Logica Computazionale),
24o Convegno Italiano di Logica Computazionale
2009
Proof Methods for Conditional and Preferential Logics of Nonmonotonic Reasoning
Proceedings of CILC 2008,
CILC 2008 (23o Convegno Italiano di Logica Computazionale)
2008
ALC+T: Reasoning About Typicality in Description Logics
Proceedings of CILC 2008,
CILC 2008 (23o Convegno Italiano di Logica Computazionale)
2008
Reasoning about Typicality in Preferential Description Logics
Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings,
JELIA 2008
2008
Service selection by choreography-driven matching
2nd Workshop on Emerging Web Services Technology, WEWST 2007,
2nd ECOWS Workshop on Emerging Web Services Technology, WEWST 2007
2008
Conservative re-use ensuring matches for service selection
Proc. of Sixth European Workshop on Multi-Agent Systems, EUMAS 2008,
Sixth European Workshop on Multi-Agent Systems, EUMAS 2008
2008
The impact of labels onvisual categorisation: a neural network model
Proceedings of the 30th Annual Cognitive Science Society.,
30th Annual Cognitive Science Society
2008
Conservative re-use ensuring matches for service selection
9th Workshop "From Objects to Agents", WOA 2008 - Evolution of Agent Development: Methodologies, Tools, Platforms and Languages,
9th Workshop on Objects to Agents - Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, WOA 2008
2008
Extension of Description Logics for Reasoning About Typicality
Proceedings of the 5th International Workshop on Methods for Modalities (M4M-5),
M4M - 5 (5th International Workshop on Methods for Modalities)
2007
A Personalization Web Service for Curricula Planning and Validation
4th European Semantic Web Conference, ESWC 2007,
4th European Semantic Web Conference, ESWC 2007
2007
A Service-Oriented Approach for Curriculum Planning and Validation
Proceedings of the Multi-Agent Logics, Languages, and Organisations,Federated Workshops, MALLOW'007, Agent, Web Services and Ontologies,Integrated Methodologies (MALLOW-AWESOME'007) workshop,
Multi-Agent Logics, Languages, and Organisations,Federated Workshops, MALLOW'007, Agent, Web Services and Ontologies,Integrated Methodologies (MALLOW-AWESOME'007) workshop
2007
KLM Logics of Nonmonotonic Reasoning: Calculi and Implementations
Proceedings of CILC 2007,
CILC 2007 (22o Convegno Italiano di Logica Computazionale)
2007
A Goal-Directed Calculus for Standard Conditional Logics
Proceedings of CILC 2007,
CILC 2007 (22o Convegno Italiano di Logica Computazionale)
2007
Reasoning-based Curriculum Sequencing and Validation: integration in a Service-Oriented Architecture
Proc. of EC-TEL 2007 - Second European Conference on Technology Enhanced Learning,
Second European Conference on Technology Enhanced Learning
2007
An Implmentation of a Free-variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: the Theorem Prover FreeP 1.0
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,
AI*IA 2007 (10th Congress of Italian Association for Artificial Intelligence)
2007
Preferential Description Logics
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,
LPAR 2007 (14th Conference on Logic for Programming, Artificial Intelligence, and Reasoning)
2007
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,
TABLEAUX 2007 (16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)
2007
Preserving player's goals: a choreography-driven matchmaking approach
Proc of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software,
WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software
2007
Goal preservation by choreography-driven matchmaking
Proc. of the Third International Workshop on Engineering Service-Oriented Applications: Analysis, Design and Composition, WESOA 2007,
Third International Workshop on Engineering Service-Oriented Applications: Analysis, Design and Composition, WESOA 2007
2007
Analytic Tableaux Calculi for KLM Rational Logic R
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,
JELIA 2006
2006
Modeling, verifying and reasoning about web services
Proceedings of the ICLP'06 Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS2006),
Applications of Logic Programming in the Semantic Web and Semantic Web Services, ALPSWS 2006
2006
Conformance and Interoperability in Open Environments
Proc. of WOA 2006: Dagli oggetti agli agenti, Sistemi GRID, P2P e Self-*,
WOA 2006: Dagli oggetti agli agenti, Sistemi GRID, P2P e Self-*
2006
Verifying the compliance of personalized curricula to curricula models in the semantic web
Proc. of the Semantic Web Personalization Workshop,
Semantic Web Personalization Workshop
2006
Interaction Protocols and Capabilities: a preliminary report
4th International Workshop on Principle and Practice of Semantic Web Reasoning,
4th International Workshop on Principle and Practice of Semantic Web Reasoning
2006
The Need of Capability Requirements Inside Choreographies and Interaction Protocols
Proc. of the 2006 International Workshop on Service Oriented Techniques (SOT06),
International Workshop on Service Oriented Techniques (SOT06)
2006
A priori conformance verification for guaranteeing interoperability in open environments
Proc. of ICSOC 2006: Service-Oriented Computing – ICSOC 2006,
Proc. of the 4th International Conference on Service Oriented Computing, ICSOC 2006
2006
Automated Deduction for Logics of Default Reasoning
FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS,
ECAI 2006 (17th European Conference on Artificial Intelligence)
2006
A Personalization Service for Curriculum Planning
Proc. of the 14th Workshop on Adaptivity and User Modeling in Interactive Systems, ABIS 2006,
14th Workshop on Adaptivity and User Modeling in Interactive Systems, ABIS 2006
2006
A Tableaux Calculus for KLM Preferential and Cumulative Logics
Position Papers and Tutorial Description of TABLEAUX 2005,
TABLEAUX 2005
2005
Analytic Tableaux for KLM Preferential and Cumulative Logics
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS,
OGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR 2005)
2005
CondLean 3.0: Improving CondLean for Stronger Conditional Logics
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS,
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (Tableaux 2005)
2005
Personalization, verification and conformance for logic-base communicating agents
WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi,
WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi
2005
Verification of protocol conformance and agent interoperability
Proc of Sixth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI,
Sixth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI
2005
Extensions of Tableau calculi for preference-based conditional logics
Proceedings of the 4th International Workshop on Methods for Modalities (M4M-4),
4th International Workshop on Methods for Modalities (M4M-4)
2005
The REWERSE View on Policies
Proc. of Semantic Web and Policy Workshop, held in conjunction with the 4th International Semantic Web Conference,
Semantic Web and Policy Workshop, held in conjunction with the 4th International Semantic Web Conference
2005
CondLean 2.0: an Efficient Theorem Prover for Standard Conditional Logics
Handbook of the 1st World Congress and School on Universal Logic,
1st World Congress and School on Universal Logic
2005
KLMLean 1.0: a Theorem Prover for Logics of Default Reasoning
Proceedings of the 4th International Workshop on Methods for Modalities (M4M-4),
4th International Workshop on Methods for Modalities (M4M-4)
2005
Verifying the conformance of web services to global interaction protocols: a first step
Proc. of European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005,
International Workshop on Web Services and Formal Methods, WS-FM 2005
2005
Verifying protocol conformance for logic-based communicating agents
Pre-Proc. of Fifth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V,
Fifth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V
2004
Reasoning about learning object metadata for adapting SCORM courseware
Proc. of International Workshop on Engineering the Adaptive Web, EAW'04: Methods and Technologies for personalization and Adaptation in the Semantic Web,
International Workshop on Engineering the Adaptive Web, EAW'04: Methods and Technologies for personalization and Adaptation in the Semantic Web
2004
SCORM courseware adaptation on the Semantic Web
Proc. of Workshop Intelligenza Artificiale e E-Learning (IX Convegno della Associazione Italiana Intelligenza Artificiale),
Workshop Intelligenza Artificiale e E-Learning (IX Convegno della Associazione Italiana Intelligenza Artificiale)
2004
Reasoning about logic-based agent interaction protocols
Proc. of Italian Conference on Computational Logic, CILC'04,
Italian Conference on Computational Logic, CILC'04
2004
Reasoning about agents' interaction protocols inside DCaseLP
Pre-Proc. of the International Workshop on Declarative Agent Languages and Technologies,
International Workshop on Declarative Agent Languages and Technologies, DALT'04
2004
Reasoning about self and others: communicating agents in a modal action logic
Proc. of Theoretical Computer Science 8th Italian Conference, ICTCS 2003,
Theoretical Computer Science 8th Italian Conference, ICTCS 2003
2003
Reasoning about communicating agents in the semantic web
Proc. of Principles and Practice of Semantic Web Reasoning International Workshop, PPSWR 2003,
Principles and Practice of Semantic Web Reasoning International Workshop, PPSWR 2003
2003
Reasoning about Conversation Protocols in a Logic-based Agent Language
Proc. of AI*IA 2003: Advances in Artificial Intelligence 8th Congress of the Italian Association for Artificial Intelligence,
AI*IA 2003: Advances in Artificial Intelligence 8th Congress of the Italian Association for Artificial Intelligence
2003
Applying logic inference techniques for gaining flexibility and adaptivity in tutoring systems
Proceedings of the 10th International Conference on Human-Computer Interaction (HCII 2003), Symposium on Human Interfaces 2003, 5th Intrnational Conference on engineering Psychology and Cognitive Ergonomics, 2th International Conference in Human-Computer Interaction,
10th International Conference on Human-Computer Interaction (HCII 2003), Symposium on Human Interfaces 2003, 5th Intrnational Conference on engineering Psychology and Cognitive Ergonomics, 2th International Conference in Human-Computer Interaction
2003
E-learning by doing, an approach based on techniques for reasoning about actions
Proc. of 2nd Workshop on Artificial Intelligence & E-Learning,
The 2nd Workshop on Artificial Intelligence & E-Learning
2003
Reasoning about interaction for personalizing web service fruition
WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing,
WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing
2003
Personalizing web services by reasoning about interaction protocols
Proc. of the 4th Joint International Conference on Cognitive Science (ICCS/ASCS-2003),
The 4th Joint International Conference on Cognitive Science (ICCS/ASCS-2003)
2003
CondLean: A Theorem Prover for Conditional Logics
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (Tableaux 2003),
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (Tableaux 2003)
2003
Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions
Proc. of WOA 2002: Dagli oggetti agli agenti, dall'informazione alla conoscenza,
WOA 2002: Dagli oggetti agli agenti, dall'informazione alla conoscenza
2002
Using a rational agent in an adaptive web-based tutoring system
Proc. of Workshop on Adaptive System for Web-based Education, 2nd Int. Conf. on Adaptve Hypermedia and Adaptive Web Based Systems,
Workshop on Adaptive System for Web-based Education
2002
Setting up a framework for comparing adaptive educational hypermedia: First steps and application on curriculum sequencing
Proc. of the ABIS-Workshop 2002: Personalization for the mobile World, Workshop on Adaptivity and User Modeling in Interative Software Systems,
ABIS-Workshop 2002: Personalization for the mobile World, Workshop on Adaptivity and User Modeling in Interative Software Systems
2002
Exploiting planning capabilities of a rational agent in adaptive web-based recommendation systems: a case-study
Proc. of AI*IA 2001, Demo Session,
AI*IA 2001, Demo Session
2001
Programming Goal-driven Web Sites using an Agent Logic Language
Proc. of Practical Aspects of Declarative Languages Third International Symposium, PADL 2001,
Practical Aspects of Declarative Languages Third International Symposium, PADL 2001
2001
Structureless, intention-guided web sites: planning based adaptation
Proc. of the Universal Access In HCI: Towards an Information Society for All, Proceedings of HCI International '2001 (the 9th International Conference on Human-Computer Interaction),
Universal Access In HCI: Towards an Information Society for All, Proceedings of HCI International '2001 (the 9th International Conference on Human-Computer Interaction)
2001
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach
Proc. of Theoretical Computer Science 7th Italian Conference, ICTCS 2001,
Theoretical Computer Science 7th Italian Conference, ICTCS 2001
2001
A Conditional Logic for Iterated Belief Revision.
PROCEEDINGS OF ECAI 2000 - EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE.,
ECAI 2000
2000
Intention-guided Web Sites: A New Perspective on Adaptation
Proc. of the 6th ERCIM Workshop, User Interfaces for All,
The 6th ERCIM Workshop, User Interfaces for All
2000
A Modal Programming Language for Representing Complex Actions
Proc. 1998 JICSLP'98 Post-Conference Workshop on Transactions and Change in Logic Databases, DYNAMICS'98,
Workshop on Transactions and Change in Logic Databases, DYNAMICS'98
1998
Preferential Extensions of Lightweight Description Logics
Proceedings of R.i.C.e.R.c.A 2009: RCRA incontri e confronti,
R.i.C.e.R.c.A 2009: RCRA incontri e confronti
2009
Reasoning About Typicality in Description Logics:the Logic ALC+T_{min}
Proceedings of RiCeRcA 2008,
RiCeRcA 2008
2008
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?
ECAI 2010,
19th European Conference on Artificial Intelligence - ECAI 2010
2010
A constructive conditional logic for access control: a preliminary report
ECAI 2010,
19th European Conference on Artificial Intelligence - ECAI 2010
2010
Logical Foundations of Computation (Logic)
A class of Recursive Permutations which is Primitive Recursive complete
THEORETICAL COMPUTER SCIENCE, 2020
The fixed point problem of a simple reversible language
THEORETICAL COMPUTER SCIENCE, 2020
On the expressiveness of modal transition systems with variability constraints
SCIENCE OF COMPUTER PROGRAMMING, 2019
A formal model for Multi Software Product Lines
SCIENCE OF COMPUTER PROGRAMMING, 2019
QPCF: Higher-Order Languages and Quantum Circuits
JOURNAL OF AUTOMATED REASONING, 2019
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019
New Semantical Insights Into Call-by-Value λ-Calculus.
FUNDAMENTA INFORMATICAE, 2019
On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions
NEW GENERATION COMPUTING, 2018
Inhabitation for non-idempotent intersection types
LOGICAL METHODS IN COMPUTER SCIENCE, 2018
Essential and relational models
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2017
Non-monotonic Pre-fix Points and Learning
FUNDAMENTA INFORMATICAE, 2017
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
LOGICAL METHODS IN COMPUTER SCIENCE, 2017
Ramsey's theorem for pairs and K colors as a sub-classical principle of arithmetic
JOURNAL OF SYMBOLIC LOGIC, 2017
Classical system of Martin-Lof's inductive definitions is not equivalent to cyclic proof system
LECTURE NOTES IN COMPUTER SCIENCE, 2017
On the reification of semantic linearity
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2016
A type assignment for lambda-calculus complete both for FPTIME and strong normalization
INFORMATION AND COMPUTATION, 2016
L’eredità di Carl Adam Petri: dagli automi alla comunicazione
MONDO DIGITALE, 2016
Tiered objects
FUNDAMENTA INFORMATICAE, 2016
Light combinators for finite fields arithmetic
SCIENCE OF COMPUTER PROGRAMMING, 2015
An intuitionistic version of Ramsey Theorem and its use in Program Termination
ANNALS OF PURE AND APPLIED LOGIC, 2015
An analysis of the Podelski–Rybalchenko termination theorem via bar recursion
JOURNAL OF LOGIC AND COMPUTATION, 2015
Continuity in Semantic Theories of Programming
HISTORY AND PHILOSOPHY OF LOGIC, 2015
Development on Implicit Computational Complexity (DICE 2013)
INFORMATION AND COMPUTATION, 2016
Special Issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011
SCIENCE OF COMPUTER PROGRAMMING, 2015
A certified study of a reversible programming language
21st International Conference on Types for Proofs and Programs (TYPES 2015), 2018
Le direzioni della ricerca logica in Italia: Logica e Informatica
Le direzioni della ricerca logica in Italia, 2015
Quantum programming made easy
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
2018 Joint International Workshop on Linearity and Trends in Linear Logic and Applications, Linearity-TLLA 2018
2019
Static analysis of featured transition systems
ACM International Conference Proceeding Series,
23rd International Systems and Software Product Line Conference, SPLC 2019
2019
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
15th International Conference on Integrated Formal Methods, IFM 2019
2019
Lambda Calculus and Probabilistic Computation.
Logic in Computer science,
Logic in Computer Science
2019
Multi software product lines in the wild
ACM International Conference Proceeding Series,
12th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2018
2018
The fixed point problem for general and for linear SRL programs is undecidable
CEUR Workshop Proceedings,
19th Italian Conference on Theoretical Computer Science, ICTCS 2018
2018
Intuitionistic podelski-rybalchenko theorem and equivalence between inductive definitions and cyclic proofs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018 Colocated with ETAPS 2018
2018
qPCF: A language for quantum circuit computations
14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017,
14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017
2017
A Formal Model for Multi SPLs
Fundamentals of Software Engineering. FSEN 2017,
7th International Conference on Fundamentals of Software Engineering, FSEN 2017
2017
Equivalence of inductive definitions and cyclic proofs under arithmetic
Proceedings - Symposium on Logic in Computer Science,
32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017
2017
A Class of Reversible Primitive Recursive Functions
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,
ICTCS2015
2016
From Featured Transition Systems to Modal Transition Systems with Variability Constraints
Software Engineering and Formal Methods,
13th International Conference on Software Engineering and Formal Methods, SEFM 2015
2015
Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness
24th EACSL Annual Conference on Computer Science Logic,,
CSL 2015
2015
Observability for Pair Pattern Calculi
Typed Lambda Calculus and Applications,
Typed Lambda Calculus and Applications
2015
Standardization of a Call-By-Value Lambda-Calculus
13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015),
Typed Lambda Calculus and Applications
2015
Computers and the Mechanics of Communication
Evolving Computability,
11th Conference on Computability in Europe, CiE 2015
2015