| 2016 | CEC | Time aware knowledge extraction to analyze nanosafety cluster scientific activities. | Carmen De Maio, Mimmo Parente, Giuseppe Fenza, Dario Greco |
| 2016 | SAC | OLAP analysis of multidimensional tweet streams for supporting advanced analytics. | Alfredo Cuzzocrea, Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente |
| 2015 | DOLAP | Towards OLAP Analysis of Multidimensional Tweet Streams. | Alfredo Cuzzocrea, Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente |
| 2015 | EUSFLAT | Natural Language Query Processing Framework for Biomedical Literature. | Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente |
| 2015 | IJCNN | Biomedical data integration and ontology-driven multi-facets visualization. | Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente |
| 2010 | CAV | A NuSMV Extension for Graded-CTL Model Checking. | Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino |
| 2010 | LPAR | Graded Alternating-Time Temporal Logic. | Marco Faella, Margherita Napoli, Mimmo Parente |
| 2009 | ICFEM | Graded-CTL: Satisfiability and Symbolic Model Checking. | Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
| 2008 | ATVA | CTLModel-Checking with Graded Quantifiers. | Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
| 2008 | LPAR | Program Complexity in Hierarchical Module Checking. | Aniello Murano, Margherita Napoli, Mimmo Parente |
| 2007 | LATA | Verification of Succinct Hierarchical State Machines. | Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato |
| 2007 | LPAR | Enriched -Calculus Pushdown Module Checking. | Alessandro Ferrante, Aniello Murano, Mimmo Parente |
| 2006 | ATVA | On the Membership Problem for Visibly Pushdown Languages. | Salvatore La Torre, Margherita Napoli, Mimmo Parente |
| 2004 | DLT | Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings. | Jozef Gruska, Salvatore La Torre, Mimmo Parente |
| 2004 | SIROCCO | Existence of Nash Equilibria in Selfish Routing Problems. | Alessandro Ferrante, Mimmo Parente |
| 2003 | ICALP | Hierarchical and Recursive State Machines with Context-Dependent Properties. | Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato |
| 2001 | MCU | Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. | Salvatore La Torre, Margherita Napoli, Mimmo Parente |
| 1997 | FCT | Synchronization of 1-Way Connected Processors. | Salvatore La Torre, Margherita Napoli, Mimmo Parente |