Mimmo Parente

Luisa Siniscalchi

Proceedings of the 2019 IEEE International Conference on Fuzzy Systems, 2019

2018

A Granular Functional Network with delay: Some dynamical properties and application to the sign prediction in social networks.

[BibT_eX]

[DOI]

Neurocomputing, 2018

Social media marketing through time-aware collaborative filtering.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2018

A Framework for Situated Learning Scenarios Based on Learning Cells and Augmented Reality.

[BibT_eX]

[DOI]

Proceedings of the Advanced Multimedia and Ubiquitous Engineering, 2018

Context-aware Advertisment Recommendation on Twitter through Rough sets.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Fuzzy Systems, 2018

2017

An ontology-driven context-aware recommender system for indoor shopping based on cellular automata.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2017

An AmI-based and privacy-preserving shopping mall model.

[BibT_eX]

[DOI]

Carlo Blundo

Hum. centric Comput. Inf. Sci., 2017

Modeling cyber-physical systems for automatic verification.

[BibT_eX]

[DOI]

Youssef Driouich

Enrico Tronci

Proceedings of the 14th International Conference on Synthesis, 2017

2016

Solving the shopping plan problem through bio-inspired approaches.

[BibT_eX]

[DOI]

Autilia Vitiello

Soft Comput., 2016

Time Aware Knowledge Extraction for microblog summarization on Twitter.

[BibT_eX]

[DOI]

Inf. Fusion, 2016

A private Intelligent Shopping Mall.

[BibT_eX]

[DOI]

Carlo Blundo

Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

OLAP analysis of multidimensional tweet streams for supporting advanced analytics.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Time aware knowledge extraction to analyze nanosafety cluster scientific activities.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2016

2015

An Agent-Based Framework for Indoor Navigation in Blended Shopping.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

Biomedical data integration and ontology-driven multi-facets visualization.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Joint Conference on Neural Networks, 2015

Online query-focused twitter summarizer through fuzzy lattice.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

Natural Language Query Processing Framework for Biomedical Literature.

[BibT_eX]

Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT-15), 2015

Towards OLAP Analysis of Multidimensional Tweet Streams.

[BibT_eX]

[DOI]

Proceedings of the ACM Eighteenth International Workshop on Data Warehousing and OLAP, 2015

2014

Enhancing an AmI-Based Framework for U-commerce by Applying Memetic Algorithms to Plan Shopping.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Intelligent Networking and Collaborative Systems, 2014

Minimum and non-Minimum Time Solutions to the Firing Squad Synchronization Problem.

[BibT_eX]

[DOI]

Proceedings of the Computing with New Resources, 2014

2013

Model checking coalitional games in shortage resource scenarios.

[BibT_eX]

[DOI]

Dario Della Monica

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

2012

Preface.

[BibT_eX]

[DOI]

Angelo Montanari

Int. J. Found. Comput. Sci., 2012

2011

On a Logic for Coalitional Games with Priced-Resource Agents.

[BibT_eX]

[DOI]

Dario Della Monica

Proceedings of the 7th Workshop on Methods for Modalities, 2011

Graded CTL model checking for test generation.

[BibT_eX]

[DOI]

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

Coalitional Games with Priced-Resource Agents.

[BibT_eX]

[DOI]

Dario Della Monica

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010

Graded Alternating-Time Temporal Logic.

[BibT_eX]

[DOI]

Marco Faella

Fundam. Informaticae, 2010

A NuSMV Extension for Graded-CTL Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Model Checking for Graded CTL.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Graded-CTL: Satisfiability and Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2009

2008

Mixed Nash equilibria in selfish routing problems with dynamic constraints.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Enriched µ-Calculi Module Checking.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Verification of scope-dependent hierarchical state machines.

[BibT_eX]

[DOI]

Inf. Comput., 2008

Enriched MU-Calculi Module Checking

[BibT_eX]

[DOI]

CoRR, 2008

Program Complexity in Hierarchical Module Checking.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2008

CTLModel-Checking with Graded Quantifiers.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

The Firing Squad Synchronization Problem on Squares, Toruses and Rings.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2007

The word problem for visibly pushdown languages described by grammars.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2007

Enriched µ-Calculus Pushdown Module Checking.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2007

Verification of Succinct Hierarchical State Machines.

[BibT_eX]

Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

2006

Different time solutions for the firing squad synchronization problem on basic grid networks.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2006

On the Membership Problem for Visibly Pushdown Languages.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Various Solutions to the Firing Squad Synchronization Problems

[BibT_eX]

[DOI]

CoRR, 2005

2004

On The Vertex-Connectivity Problem For Graphs With Sharpened Triangle Inequality.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2004

Existence of Nash Equilibria in Selfish Routing Problems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory, 2004

2003

Model-checking the Secure Release of a Time-locked Secret over a Network.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Specification and Verification of Protocols With Time Constraints.

[BibT_eX]

[DOI]

Adriano Peron

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Hierarchical and Recursive State Machines with Context-Dependent Properties.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

2001

Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints.

[BibT_eX]

[DOI]

Proceedings of the Machines, 2001

2000

A compositional approach to synchronize two dimensional networks of processors.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2000

1999

A 2-Approximation Algorithm for Finding an Optimum 3-Vertex-Connected Spanning Subgraph.

[BibT_eX]

[DOI]

J. Algorithms, 1999

A Linear-Time Algorithm for the Feasibility of Pebble Motion on Trees.

[BibT_eX]

[DOI]

Algorithmica, 1999

1998

Placing Resources on a Growing Line.

[BibT_eX]

J. Algorithms, 1998

Synchronization of a Line of Identical Processors at a Given Time.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1998

1997

Succinctness of Descriptions of SBTA-Languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

Better Algorithms for Minimum Weight Vertex-Connectivity Problems.

[BibT_eX]

[DOI]

Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

Synchronization of 1-Way Connected Processors.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

1996

Dynamic and Static Algorithms for Optimal Placement of Resources in a Tree.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

Parallel Word Substitution.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1996

Synchronization of One-way Connected Processors.

[BibT_eX]

[DOI]

Complex Syst., 1996

A New Approach to Optimal Planning of Robot Motion on a Tree with Obstacles.

[BibT_eX]

[DOI]

Proceedings of the Algorithms, 1996

1995

Power of Interconnections and of Nondeterminism in Regular Y-Tree Systolic Automata.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1995

State Complexity of SBTA Languages.

[BibT_eX]

[DOI]

Proceedings of the LATIN '95: Theoretical Informatics, 1995

Placing Resources in a Tree: Dynamic and Static Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

1994

Optimization of Systolic Tree Automata.

[BibT_eX]

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

1993

On the Minimization and Succintness of Systolic Binary Tree Automata.

[BibT_eX]