Gigliola Vaglini
Affiliations:- University of Pisa, Italy
According to our database1,
Gigliola Vaglini
authored at least 106 papers
between 1983 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Using Deep Learning-based Object Detection to Extract Structure Information from Scanned Documents.
Proceedings of the 24th International Conference on Enterprise Information Systems, 2022
Proceedings of the 24th International Conference on Enterprise Information Systems, 2022
Proceedings of the 3rd International Conference on Deep Learning Theory and Applications, 2022
Using Artificial Immune System to Prioritize Swarm Strategies for Environmental Monitoring.
Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2022
2021
Formal Derivation of Mesh Neural Networks with Their Forward-Only Gradient Propagation.
Neural Process. Lett., 2021
J. Intell. Manuf., 2021
Solving the scalarization issues of Advantage-based Reinforcement Learning algorithms.
Comput. Electr. Eng., 2021
Comput. Electr. Eng., 2021
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2021
Generating Images from Caption and Vice Versa via CLIP-Guided Generative Latent Space Search.
Proceedings of the International Conference on Image Processing and Vision Engineering, 2021
Using VLF Time Series from the INFREP Network for the Study of Pre-Seismic Radio Anomalies.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021
Managing the Oceans Cleanup via Sea Current Analysis and Bio-Inspired Coordination of USV Swarms.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021
Recognizing motor imagery tasks from EEG oscillations through a novel ensemble-based neural network architecture.
Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021
2020
Model checking and machine learning techniques for <i>HummingBad</i> mobile malware detection and mitigation.
Simul. Model. Pract. Theory, 2020
Pattern Recognit. Lett., 2020
Model checking for malicious family detection and phylogenetic analysis in mobile environment.
Comput. Secur., 2020
2019
Assessing Refugees' Integration via Spatio-Temporal Similarities of Mobility and Calling Behaviors.
IEEE Trans. Comput. Soc. Syst., 2019
Soft Comput., 2019
Enhancing biologically inspired swarm behavior: Metaheuristics to foster the optimization of UAVs coordination in target search.
Comput. Oper. Res., 2019
Proceedings of the IEEE 23rd International Symposium on Consumer Technologies, 2019
Proceedings of the Intelligent Distributed Computing XIII, 2019
Proceedings of the International Conference on Robotics and Automation, 2019
Using Stigmergy as a Computational Memory in the Design of Recurrent Neural Networks.
Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods, 2019
Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods, 2019
Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods, 2019
Using Call Data and Stigmergic Similarity to Assess the Integration of Syrian Refugees in Turkey.
Proceedings of the Guide to Mobile Data Analytics in Refugee Scenarios, 2019
2018
A Stigmergy-Based Analysis of City Hotspots to Discover Trends and Anomalies in Urban Transportation Usage.
IEEE Trans. Intell. Transp. Syst., 2018
Sensors, 2018
Smart Shoe-Assisted Evaluation of Using a Single Trunk/Pocket-Worn Accelerometer to Detect Gait Phases.
Sensors, 2018
Pers. Ubiquitous Comput., 2018
Design and simulation of the emergent behavior of small drones swarming for distributed target localization.
J. Comput. Sci., 2018
Fostering distributed business logic in Open Collaborative Networks: an integrated approach based on semantic and swarm coordination.
Inf. Syst. Frontiers, 2018
Intell. Decis. Technol., 2018
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018
Proceedings of the Computer Safety, Reliability, and Security, 2018
Proceedings of the Mining Intelligence and Knowledge Exploration, 2018
Stock Price Forecasting Over Adaptive Timescale Using Supervised Learning and Receptive Fields.
Proceedings of the Mining Intelligence and Knowledge Exploration, 2018
Proceedings of the Mining Intelligence and Knowledge Exploration, 2018
2017
Evaluating the impact of smart technologies on harbor's logistics via BPMN modeling and simulation.
Inf. Technol. Manag., 2017
Detecting urban road congestion via parametric adaptation of position-based stigmergy.
Intell. Decis. Technol., 2017
Proceedings of the Social, Cultural, and Behavioral Modeling, 2017
Smart Shoe-Based Evaluation of Gait Phase Detection Accuracy Using Body-Worn Accelerometers.
Proceedings of the Wireless Mobile Communication and Healthcare, 2017
Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017
Spikiness Assessment of Term Occurrences in Microblogs: An Approach based on Computational Stigmergy.
Proceedings of the 6th International Conference on Pattern Recognition Applications and Methods, 2017
Measuring Physical Activity of Older Adults via Smartwatch and Stigmergic Receptive Fields.
Proceedings of the 6th International Conference on Pattern Recognition Applications and Methods, 2017
Localization and Inhibition of Malicious Behaviors through a Model Checking based Methodology.
Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017
2016
Using Smartwatch Sensors to Support the Acquisition of Sleep Quality Data for Supervised Machine Learning.
Proceedings of the Wireless Mobile Communication and Healthcare, 2016
Proceedings of the Wireless Mobile Communication and Healthcare, 2016
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016
Using Differential Evolution to Improve Pheromone-based Coordination of Swarms of Drones for Collaborative Target Detection.
Proceedings of the 5th International Conference on Pattern Recognition Applications and Methods, 2016
An Adaptive Stigmergy-based System for Evaluating Technological Indicator Dynamics in the Context of Smart Specialization.
Proceedings of the 5th International Conference on Pattern Recognition Applications and Methods, 2016
2015
Pervasive Mob. Comput., 2015
Wireless communication, identification and sensing technologies enabling integrated logistics: a study in the harbor environment.
CoRR, 2015
On the Schedulability of Deadline-Constrained Traffic in TDMA Wireless Mesh Networks.
Comput. J., 2015
Combining stigmergic and flocking behaviors to coordinate swarms of drones performing target search.
Proceedings of the 6th International Conference on Information, 2015
Enabling swarm aggregation of position data via adaptive stigmergy: A case study in urban traffic flows.
Proceedings of the 6th International Conference on Information, 2015
Improving the Analysis of Context-Aware Information via Marker-Based Stigmergy and Differential Evolution.
Proceedings of the Artificial Intelligence and Soft Computing, 2015
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015
2014
ACM Trans. Softw. Eng. Methodol., 2014
An Interval-Valued Approach to Business Process Simulation Based on Genetic Algorithms and the BPMN.
Inf., 2014
2013
Incremental construction of systems: An efficient characterization of the lacking sub-system.
Sci. Comput. Program., 2013
Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks.
Comput. Networks, 2013
Algorithms, 2013
Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic.
Proceedings of the ICSOFT 2013, 2013
2012
Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012
2011
Efficient link scheduling for online admission control of real-time traffic in wireless mesh networks.
Comput. Commun., 2011
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
2010
Optimal link scheduling for real-time traffic in wireless mesh networks in both per-flow and per-path frameworks.
Proceedings of the 11th IEEE International Symposium on a World of Wireless, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
2009
Proceedings of the 10th IEEE International Symposium on a World of Wireless, 2009
A Formula Driven Incremental Construction of Web Service Compositions.
Proceedings of the ICSOFT 2009, 2009
2008
Softw. Test. Verification Reliab., 2008
2007
Inf. Sci., 2007
2005
Compositionality and locality for improving model checking in the selective mu-calculus.
Sci. Comput. Program., 2005
J. Comput. Syst. Sci., 2005
2004
Microprocess. Microsystems, 2004
Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, 2004
2003
J. Autom. Reason., 2003
2002
Efficient model checking of properties of a distributed application: a multimedia case study.
Softw. Test. Verification Reliab., 2002
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
2001
2000
1999
Softw. Pract. Exp., 1999
J. Comput. Syst. Sci., 1999
Inf. Process. Lett., 1999
Proceedings of the FM'99 - Formal Methods, 1999
1998
Sci. Comput. Program., 1998
1997
Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997
1996
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996
1995
1994
Concurrent Behavior: A Construct to Specify the External Behavior of Objects in Object Databases.
Distributed Parallel Databases, 1994
1992
Specification of Concurrency Control in Persistent Programming Languages.
Proceedings of the Persistent Object Systems, 1992
1989
Proceedings of the MFDBS 89, 1989
1988
IEEE Trans. Software Eng., 1988
1986
1985
Proceedings of the Proceedings, 1985
1983
Proceedings of the symposium on High-level debugging, 1983