According to our database1, Mimmo Parente authored at least 74 papers between 1991 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Theor. Comput. Sci., 2020
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019
Future Gener. Comput. Syst., 2019
A virtual counselor for online social networks (or did I really want to send you my post?).
Proceedings of the First Symposium on Psychology-Based Technologies co-located with XXXII National Congress of Italian Association of Psychology, 2019
Proceedings of the 2019 IEEE International Conference on Fuzzy Systems, 2019
A Granular Functional Network with delay: Some dynamical properties and application to the sign prediction in social networks.
Concurr. Comput. Pract. Exp., 2018
A Framework for Situated Learning Scenarios Based on Learning Cells and Augmented Reality.
Proceedings of the Advanced Multimedia and Ubiquitous Engineering, 2018
Proceedings of the 2018 IEEE International Conference on Fuzzy Systems, 2018
An ontology-driven context-aware recommender system for indoor shopping based on cellular automata.
J. Ambient Intell. Humaniz. Comput., 2017
Hum. centric Comput. Inf. Sci., 2017
Proceedings of the 14th International Conference on Synthesis, 2017
Soft Comput., 2016
Inf. Fusion, 2016
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the IEEE Congress on Evolutionary Computation, 2016
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015
Proceedings of the 2015 International Joint Conference on Neural Networks, 2015
Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015
Natural Language Query Processing Framework for Biomedical Literature.
Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT-15), 2015
Proceedings of the ACM Eighteenth International Workshop on Data Warehousing and OLAP, 2015
Enhancing an AmI-Based Framework for U-commerce by Applying Memetic Algorithms to Plan Shopping.
Proceedings of the 2014 International Conference on Intelligent Networking and Collaborative Systems, 2014
Proceedings of the Computing with New Resources, 2014
Proceedings of the Proceedings Fourth International Symposium on Games, 2013
Electron. Notes Theor. Comput. Sci., 2011
Proceedings of the 2011 Spring Simulation Multi-conference, 2011
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
Proceedings of the Formal Methods and Software Engineering, 2009
Theor. Comput. Sci., 2008
Proceedings of the Logic for Programming, 2008
Proceedings of the Automated Technology for Verification and Analysis, 2008
Int. J. Found. Comput. Sci., 2007
Formal Methods Syst. Des., 2007
Proceedings of the Logic for Programming, 2007
Verification of Succinct Hierarchical State Machines.
Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007
Different time solutions for the firing squad synchronization problem on basic grid networks.
RAIRO Theor. Informatics Appl., 2006
Proceedings of the Automated Technology for Verification and Analysis, 2006
Int. J. Found. Comput. Sci., 2004
Electron. Notes Theor. Comput. Sci., 2004
Electron. Notes Theor. Comput. Sci., 2004
Proceedings of the Structural Information and Communication Complexity, 2004
Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings.
Proceedings of the Developments in Language Theory, 2004
An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality.
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints.
Proceedings of the Machines, 2001
RAIRO Theor. Informatics Appl., 2000
A 2-Approximation Algorithm for Finding an Optimum 3-Vertex-Connected Spanning Subgraph.
J. Algorithms, 1999
Placing Resources on a Growing Line.
J. Algorithms, 1998
Fundam. Informaticae, 1998
Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997
Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997
Theor. Comput. Sci., 1996
Proceedings of the Algorithms, 1996
Math. Syst. Theory, 1995
Proceedings of the LATIN '95: Theoretical Informatics, 1995
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995
Optimization of Systolic Tree Automata.
Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994
On the Minimization and Succintness of Systolic Binary Tree Automata.
Sci. Ann. Cuza Univ., 1993
Acta Informatica, 1992
Proceedings of the Fundamentals of Computation Theory, 8th International Symposium, 1991