Silvia Stranieri

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 39

Top Topics

Traffic Congestion

Dynamic Epistemic Logic

Top Venues

Publications

Walter Balzano, Antonio Lanuto, Erasmo Prosciutto, Biagio Scotto di Covella, Silvia Stranieri
A Parking System Based on Priority Scheme. AINA (3) (2023)
Walter Balzano, Silvia Stranieri
Using CoPOI to Manage the Parking Problem Through Pricing Techniques. INCoS (2023)
Angelo Ferrando, Vadim Malvone, Aniello Murano, Silvia Stranieri
HYASM: A Tool to Verify Hierarchical Systems. WETICE (2023)
Aniello Murano, Mimmo Parente, Silvia Stranieri
A Multi-Agent Game for Sentiment Analysis (short paper). IPS-RCRA-SPIRIT@AI*IA (2023)
Francesco Noviello, Munyque Mittelmann, Aniello Murano, Silvia Stranieri
Parking Problem with Multiple Gates. PAAMS (2023)
Silvia Stranieri
Reasoning About Smart Parking. EUMAS (2023)
Aniello Murano, Silvia Stranieri, Munyque Mittelmann
Multi-Agent Parking Problem with Sequential Allocation. ICAART (3) (2023)
Walter Balzano, Erasmo Prosciutto, Biagio Scotto di Covella, Silvia Stranieri
A Resource Allocation Technique for VANETs Inspired to the Banker's Algorithm. 3PGCIC (2022)
Marco Agizza, Walter Balzano, Silvia Stranieri
An Improved Ant Colony Optimization Based Parking Algorithm with Graph Coloring. AINA (3) (2022)
Silvia Stranieri
Reasoning about Reachability and Concurrency in DEL Games. OVERLAY@AI*IA (2022)
Walter Balzano, Antonio Lanuto, Carmine Mascia, Silvia Stranieri
Hierarchical VANET: A Traffic Congestion Management Approach Based on Critical Points. 3PGCIC (2022)
Walter Balzano, Davide Pio Faicchia, Silvia Stranieri
CoPoi: A Collaborative Framework to Optimize the Approach Towards Points of Interest. INCoS (2022)
Walter Balzano, Marco Lapegna, Silvia Stranieri, Fabio Vitale
Competitive-blockchain-based parking system with fairness constraints. Soft Comput. 26 (9) (2022)
Giuseppe Calise, Aniello Murano, Silvia Stranieri
The Parking Problem: A Game-Theoretic Solution. CoRR (2022)
Walter Balzano, Walter Galiano, Stefano Sivo, Silvia Stranieri
PaSy 2.0: An Approach for PSEs Through an Ad-Hoc Routing Methodology. 3PGCIC (2022)
Silvia Stranieri
An Indoor Smart Parking Algorithm Based on Fingerprinting. Future Internet 14 (6) (2022)
Vadim Malvone, Silvia Stranieri
Towards a Model Checking Tool for Strategy Logic with Simple Goals. ICTCS (2021)
Walter Balzano, Walter Galiano, Silvia Stranieri
PaSy - Management of a Smart-Parking System Based on Priority Queues. AINA (3) (2021)
Walter Balzano, Silvia Stranieri
COVID-Prevention-Based Parking with Risk Factor Computation. CISIS (2021)
Marco Lapegna, Silvia Stranieri
DClu: A Direction-Based Clustering Algorithm for VANETs Management. IMIS (2021)
Bastien Maubert, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
Concurrent Games in Dynamic Epistemic Logic. IJCAI (2020)
Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
Dynamic Epistemic Logic Games with Epistemic Temporal Goals. ECAI (2020)
Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation. AINA Workshops (2020)
Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
Dynamic Epistemic Logic Games with Epistemic Temporal Goals. CoRR (2020)
Marco Balzano, Walter Balzano, Loredana Sorrentino, Silvia Stranieri
Smart Destination-Based Parking for the Optimization of Waiting Time. AINA Workshops (2020)
Muhammad Arif, Walter Balzano, Alessandro Fontanella, Silvia Stranieri, Guojun Wang, Xiaofei Xing
Integration of 5G, VANETs and Blockchain Technology. TrustCom (2020)
Walter Balzano, Maurizio Minieri, Silvia Stranieri
ManDri: A New Proposal of Manus VR Facility Integration in Everyday Car Driving. AINA Workshops (2019)
Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri
A Smart Compact Traffic Network Vision Based on Wave Representation. AINA Workshops (2019)
Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri
Network Signal Comparison Through Waves Parameters: a Local-Alignment-Based Approach. M&N (2019)
Walter Balzano, Silvia Stranieri
ACOp: An Algorithm Based on Ant Colony Optimization for Parking Slot Detection. AINA Workshops (2019)
Walter Balzano, Silvia Stranieri
Data Dissemination in Vehicular Ad Hoc Network: A Model to Improve Network Congestion. AINA Workshops (2019)
Walter Balzano, Silvia Stranieri
A Self-organization Technique in Wireless Sensor Networks to Address Node Crashes Problem and Guarantee Network Connectivity. AINA Workshops (2019)
Walter Balzano, Silvia Stranieri
A Logic User-Based Algorithm to Improve Node Distribution in Wireless Sensor Network. J. Vis. Lang. Sentient Syst. 4 (2018)
Walter Balzano, Silvia Stranieri
Cooperative Localization Logic Schema in Vehicular Ad Hoc Networks. NBiS (2018)
Walter Balzano, Silvia Stranieri
A Logic Range-free Algorithm for Localization in Wireless Sensor Networks. DMSVIVA (2018)
Walter Balzano, Aniello Murano, Silvia Stranieri
Logic-based clustering approach for management and improvement of VANETs. J. High Speed Networks 23 (3) (2017)
Walter Balzano, Silvia Stranieri
LoDGP: A Framework for Support Traffic Information Systems Based on Logic Paradigm. 3PGCIC (2017)
Walter Balzano, Maria Rosaria Del Sorbo, Silvia Stranieri
A Logic Framework for C2C Network Management. AINA Workshops (2016)
Walter Balzano, Maria Rosaria Del Sorbo, Aniello Murano, Silvia Stranieri
A Logic-based Clustering Approach for Cooperative Traffic Control Systems. 3PGCIC (2016)