| Generating images from caption and vice versa via CLIP-Guided Generative Latent Space Search | 0 | 0.34 | 2021 |
| Solving The Scalarization Issues Of Advantage-Based Reinforcement Learning Algorithms | 0 | 0.34 | 2021 |
| Technological Troubleshooting Based On Sentence Embedding With Deep Transformers | 0 | 0.34 | 2021 |
| A Hyper-Heuristic Methodology For Coordinating Swarms Of Robots In Target Search | 1 | 0.37 | 2021 |
| Model checking for malicious family detection and phylogenetic analysis in mobile environment | 0 | 0.34 | 2020 |
| Model checking and machine learning techniques for mobile malware detection and mitigation. | 0 | 0.34 | 2020 |
| Using an autoencoder in the design of an anomaly detector for smart manufacturing. | 2 | 0.40 | 2020 |
| Model Checking to Detect the Hummingbad Malware. | 0 | 0.34 | 2019 |
| An Adaptive Stigmergy-based System for Evaluating Technological Indicator Dynamics in the Context of Smart Specialization. | 2 | 0.39 | 2019 |
| Using Stigmergy As A Computational Memory In The Design Of Recurrent Neural Networks | 1 | 0.39 | 2019 |
| Detecting User's Behavior Shift with Sensorized Shoes and Stigmergic Perceptrons | 0 | 0.34 | 2019 |
| Model Checking Based Approach For Compliance Checking | 1 | 0.36 | 2019 |
| Detecting Permanent And Intermittent Purchase Hotspots Via Computational Stigmergy | 0 | 0.34 | 2019 |
| Assessing Refugees’ Integration via Spatio-Temporal Similarities of Mobility and Calling Behaviors | 0 | 0.34 | 2019 |
| Formal Derivation Of Mesh Neural Networks With Their Forward-Only Gradient Propagation | 1 | 0.39 | 2019 |
| Measuring Physical Activity Of Older Adults Via Smartwatch And Stigmergic Receptive Fields | 5 | 0.60 | 2019 |
| A “pay-how-you-drive” car insurance approach through cluster analysis | 0 | 0.34 | 2019 |
| Sleep behavior assessment via smartwatch and stigmergic receptive fields. | 4 | 0.46 | 2018 |
| Safety Critical Systems Formal Verification Using Execution Traces | 0 | 0.34 | 2018 |
| A stigmergy-based analysis of city hotspots to discover trends and anomalies in urban transportation usage. | 0 | 0.34 | 2018 |
| Using stigmergy to incorporate the time into artificial neural networks. | 1 | 0.40 | 2018 |
| Using Stigmergy to Distinguish Event-Specific Topics in Social Discussions. | 0 | 0.34 | 2018 |
| Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning | 0 | 0.34 | 2018 |
| Fostering distributed business logic in Open Collaborative Networks: an integrated approach based on semantic and swarm coordination. | 0 | 0.34 | 2018 |
| Model Checking for Mobile Android Malware Evolution. | 3 | 0.68 | 2017 |
| Localization And Inhibition Of Malicious Behaviors Through A Model Checking Based Methodology | 0 | 0.34 | 2017 |
| Spikiness Assessment Of Term Occurrences In Microblogs: An Approach Based On Computational Stigmergy | 0 | 0.34 | 2017 |
| Evaluating the impact of smart technologies on harbor's logistics via BPMN modeling and simulation. | 1 | 0.41 | 2017 |
| Stigmergy-based modeling to discover urban activity patterns from positioning data. | 2 | 0.37 | 2017 |
| Conformance Checking Using Formal Methods | 1 | 0.37 | 2016 |
| Detecting Elderly Behavior Shift via Smart Devices and Stigmergic Receptive Fields. | 0 | 0.34 | 2016 |
| Heuristic search for equivalence checking. | 10 | 0.62 | 2016 |
| Using Differential Evolution to Improve Pheromone-based Coordination of Swarms of Drones for Collaborative Target Detection. | 4 | 0.50 | 2016 |
| Using Smartwatch Sensors to Support the Acquisition of Sleep Quality Data for Supervised Machine Learning. | 0 | 0.34 | 2016 |
| Improving The Analysis Of Context-Aware Information Via Marker-Based Stigmergy And Differential Evolution | 10 | 0.81 | 2015 |
| k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes. | 2 | 0.39 | 2015 |
| Monitoring elderly behavior via indoor position-based stigmergy | 20 | 0.92 | 2015 |
| On the Schedulability of Deadline-Constrained Traffic in TDMA Wireless Mesh Networks. | 0 | 0.34 | 2015 |
| Wireless communication, identification and sensing technologies enabling integrated logistics: a study in the harbor environment | 0 | 0.34 | 2015 |
| An Interval-Valued Approach To Business Process Simulation Based On Genetic Algorithms And The Bpmn | 6 | 0.63 | 2014 |
| GreASE: A Tool for Efficient “Nonequivalence” Checking | 4 | 0.42 | 2014 |
| Model Checking Properties On Reduced Trace Systems | 0 | 0.34 | 2014 |
| Incremental construction of systems: An efficient characterization of the lacking sub-system. | 11 | 0.53 | 2013 |
| Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic. | 2 | 0.37 | 2013 |
| An Emergent Approach To Text Analysis Based On A Connectionist Model And The Web | 0 | 0.34 | 2013 |
| Optimal joint routing and link scheduling for real-time traffic in TDMA Wireless Mesh Networks | 17 | 0.61 | 2013 |
| Abstract reduction in directed model checking CCS processes | 10 | 0.53 | 2012 |
| High availability using virtualization - 3RC | 0 | 0.34 | 2012 |
| Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches. | 0 | 0.34 | 2012 |
| Ant Colony Optimization for Deadlock Detection in Concurrent Systems | 14 | 0.55 | 2011 |
