| Verification of RabbitMQ with Kerberos Using Timed Automata. | 0 | 0.34 | 2022 |
| Modeling and Verifying PSO Memory Model Using CSP. | 0 | 0.34 | 2022 |
| A Framework for Similarity Search in Streaming Time Series based on Spark Streaming. | 0 | 0.34 | 2022 |
| Context-awareness and Nature of Computation and Communication. | 0 | 0.34 | 2022 |
| Context-Aware Computing And Nature-Inspired Computing Iccasa And Ictcc 2019 | 0 | 0.34 | 2021 |
| Reasoning With Words: A Hedge Algebra Linguistic Cognitive Map Approach | 0 | 0.34 | 2021 |
| Toward Modeling Fuzzy Dynamic System Based On Linguistic Values | 0 | 0.34 | 2021 |
| Special Issue On Context-Aware Computing: Theory And Applications | 0 | 0.34 | 2021 |
| Modeling And Verifying Sdn Under Multi-Controller Architectures Using Csp | 0 | 0.34 | 2021 |
| Formalization and Analysis of Haystack Architecture from Process Algebra Perspective | 0 | 0.34 | 2020 |
| Toward Computing Linguistic Fuzzy Graphs And Applying to Illegal Immigration Problem. | 0 | 0.34 | 2020 |
| Security Analysis of the Access Control Solution of NDN Using BAN Logic | 0 | 0.34 | 2020 |
| Context-Aware Computing and Nature-Inspired Computing: ICCASA and ICTCC 2019 | 0 | 0.34 | 2020 |
| Context-Aware Systems and Applications, and Nature of Computation and Communication - 7th EAI International Conference, ICCASA 2018, and 4th EAI International Conference, ICTCC 2018, Viet Tri City, Vietnam, November 22-23, 2018, Proceedings | 0 | 0.34 | 2019 |
| 8th EAI International Conference on Context-Aware Systems and Applications (ICCASA 2019) AND 5th EAI International Conference on Nature of Computation and Communication (ICTCC 2019). | 0 | 0.34 | 2019 |
| Formal Verification of mCWQ Using Extended Hoare Logic. | 0 | 0.34 | 2019 |
| Context-Aware Systems and Applications (ICCASA 2018) and Nature of Computation and Communication (ICTCC 2018). | 0 | 0.34 | 2019 |
| Toward Combining Fuzzy Graphs Based on Hedge Algebra. | 0 | 0.34 | 2019 |
| Modeling and Verifying Basic Modules of Floodlight. | 0 | 0.34 | 2019 |
| Context-Aware Mobility in Internet of Thing: A Survey. | 0 | 0.34 | 2019 |
| Book Titled Nature-Inspired Networking: Theory and Applications: An Introduction. | 0 | 0.34 | 2018 |
| Toward Modeling and Reasoning with Words Based on Hedge Algebra. | 0 | 0.34 | 2018 |
| Modeling with Words Based on Hedge Algebra. | 0 | 0.34 | 2018 |
| Context-Aware Systems and Applications, and Nature of Computation and Communication, 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings. | 0 | 0.34 | 2018 |
| Formal Analysis of the PKMv3 Protocol. | 1 | 0.35 | 2018 |
| Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources. | 0 | 0.34 | 2018 |
| Context-Aware Systems and Applications (ICCASA 2016, 2017) and Nature of Computation and Communication (ICTCC 2016, 2017). | 3 | 0.37 | 2018 |
| Modeling and Verifying HDFS Using Process Algebra. | 0 | 0.34 | 2017 |
| Applying and Deploying Cyber Physical System in Monitoring and Managing Operations Under Mines and Underground Works. | 0 | 0.34 | 2017 |
| Architectural Framework for Context Awareness and Health Conscious Applications on Mobile Devices. | 0 | 0.34 | 2017 |
| Editorial: Context-Aware Systems and Applications (ICCASA 2015). | 0 | 0.34 | 2017 |
| Question matrix method according to divided dimensions of infographics evaluation. | 2 | 0.65 | 2017 |
| Heuristic Solutions for the Lifetime Problem of Wireless Sensor Networks. | 0 | 0.34 | 2016 |
| Nature-inspired computation and communication: A formal approach | 0 | 0.34 | 2016 |
| Some Universal Constructions of Autonomic Systems. | 1 | 0.40 | 2016 |
| Algebraically Autonomic Computing | 0 | 0.34 | 2016 |
| Nature of Computation and Communication. | 4 | 0.64 | 2016 |
| Products, Coproducts and Universal Properties of Autonomic Systems. | 1 | 0.40 | 2016 |
| Currying Self-* Actions in Autonomic Systems. | 0 | 0.34 | 2016 |
| Concurrency of self-* in autonomic systems | 5 | 0.52 | 2016 |
| An Introduction to the Book Titled Nature of Computation and Communication. | 0 | 0.34 | 2015 |
| Finite Limits and Colimits in Autonomic Systems. | 1 | 0.42 | 2015 |
| Book Titled Autonomic Networking-on-Chip: Bio-Inspired Specification, Development, and Verification: An Introduction. | 0 | 0.34 | 2015 |
| Products and Coproducts of Autonomic Systems. | 3 | 0.84 | 2015 |
| Welcome message from the Editor-in-Chief. | 0 | 0.34 | 2015 |
| Increasing the Quality of Medical Images Based on the Combination of Filters in Ridgelet Domain | 3 | 0.42 | 2014 |
| Information and Service Integration Based on Agent-Oriented Ubiquitous Computing. | 1 | 0.36 | 2014 |
| An Introduction to the Book Titled "Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification". | 0 | 0.34 | 2014 |
| FoCAS Project's Interview with Dr. Phan Cong Vinh, ICCASA 2013 General Chair. | 0 | 0.34 | 2014 |
| Self-Adaptation in Collective Adaptive Systems | 5 | 0.60 | 2014 |
