Phan Cong Vinh

116 papers A 1C 2Misc 1Journal 70Unranked 27
YearRankTypeTitle / Venue / Authors
2024 — conf
An Algebraic Structure for Computing Big Data in Livestream.
ICCAIS
Dang Van Pham, Phan Cong Vinh, Toan Trong Tran, Bao Khang Nguyen
2024 J jnl
Formal Modeling and Verifying Dubbo Using Process Algebra.
Mob. Networks Appl.
Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh
2024 J jnl
Formalization and Analysis of Aeolus-based File System from Process Algebra Perspective.
Mob. Networks Appl.
Zhiru Hou, Lili Xiao, Huibiao Zhu, Phan Cong Vinh
2024 — ed.
Nature of Computation and Communication - 9th EAI International Conference, ICTCC 2023, Ho Chi Minh City, Vietnam, October 26-27, 2023, Proceedings
ICTCC
Phan Cong Vinh, Hafiz Mahfooz Ul Haque
2024 J jnl
Towards Modeling Conceptual Graphs and Transparent Intensional Logic.
Mob. Networks Appl.
Nguyen Van Han, Phan Cong Vinh, Marie Duzí
2024 J jnl
UGGNet: Bridging U-Net and VGG for Advanced Breast Cancer Diagnosis.
EAI Endorsed Trans. Context aware Syst. Appl.
Tran Cao Minh, Nguyen Kim Quoc, Phan Cong Vinh, Dang Nhu Phu, Vuong Xuan Chi, Ha Minh Tan
2024 J jnl
UGGNet: Bridging U-Net and VGG for Advanced Breast Cancer Diagnosis.
CoRR
Tran Cao Minh, Nguyen Kim Quoc, Phan Cong Vinh, Dang Nhu Phu, Vuong Xuan Chi, Ha Minh Tan
2023 — conf
A Self-organization Model for MAS Based on Trust.
ICTCC
Dang Nhu Phu, Phan Cong Vinh, Nguyen Kim Quoc
2023 J jnl
A context-aware multi-agent reasoning based intelligent assistive formalism.
Internet Things
Shahid Yousaf, Hafiz Mahfooz Ul Haque, Muhammad Atif, Muhammad Adnan Hashmi, Abbas Khalid, Phan Cong Vinh
2023 J jnl
Advancements in Iris Recognition: WAHET-CNN Framework for Accurate Segmentation and Pattern Classification.
EAI Endorsed Trans. Context aware Syst. Appl.
Nguyen Kim Quoc, Ha Minh Tan, Dang Nhu Phu, Vuong Xuan Chi, Phan Cong Vinh
2023 — conf
Algebraic Semantics of Register Transfer Level in Synthesis of Stream Calculus-Based Computing Big Data in Livestream.
ICTCC
Dang Van Pham, Phan Cong Vinh, Bao Khang Nguyen
2023 J jnl
Contextual Perception in Internet of Mobile Things: A categorical structure.
Internet Things
Vu Tuan Anh, Phan Cong Vinh, Cuong Pham-Quoc
2023 J jnl
Enhanced Diagnosis of Influenza and COVID-19 Using Machine Learning.
EAI Endorsed Trans. Context aware Syst. Appl.
Dang Nhu Phu, Phan Cong Vinh, Nguyen Kim Quoc
2023 J jnl
Facial Sentiment Recognition using artificial intelligence techniques.
EAI Endorsed Trans. Context aware Syst. Appl.
Vuong Xuan Chi, Phan Cong Vinh
2023 — conf
Reasoning with Words: Steps Towards Applying in Mobile System.
ICTCC
Nguyen Van Han, Phan Cong Vinh
2023 — conf
Steps Towards Fuzzy Homotopy Based on Linguistic Variables.
ICTCC
Nguyen Van Han, Phan Cong Vinh
2022 J jnl
A Framework for Similarity Search in Streaming Time Series based on Spark Streaming.
Mob. Networks Appl.
Bui Cong Giao, Phan Cong Vinh
2022 J jnl
A Gentle Introduction to Cognitive Map Based on Input Output Linguistic Variables.
EAI Endorsed Trans. Context aware Syst. Appl.
Nguyen Van Han, Phan Cong Vinh
2022 J jnl
Context-awareness and Nature of Computation and Communication.
Mob. Networks Appl.
Phan Cong Vinh
2022 J jnl
Modeling and Verifying PSO Memory Model Using CSP.
Mob. Networks Appl.
Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh
2022 — conf
Modeling with Words: Steps Towards a Fuzzy Quantum Logic.
ICTCC
Nguyen Van Han, Phan Cong Vinh
2022 J jnl
Steps Towards Modeling and Querying Based on Linguistic Fuzzy Graph Database.
EAI Endorsed Trans. Context aware Syst. Appl.
Nguyen Van Han, Phan Cong Vinh
2022 J jnl
Towards Linguistic Fuzzy Topological Spaces Based on Hedge Algebra.
EAI Endorsed Trans. Context aware Syst. Appl.
Nguyen Van Han, Phan Cong Vinh
2022 J jnl
Verification of RabbitMQ with Kerberos Using Timed Automata.
Mob. Networks Appl.
Ran Li, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh
2021 J jnl
Context-Aware Computing and Nature-Inspired Computing.
Mob. Networks Appl.
Phan Cong Vinh
2021 — ed.
Context-Aware Systems and Applications - 10th EAI International Conference, ICCASA 2021, Virtual Event, October 28-29, 2021, Proceedings
ICCASA
Phan Cong Vinh, Abdur Rakib
2021 — ed.
Context-Aware Systems and Applications, and Nature of Computation and Communication - 9th EAI International Conference, ICCASA 2020, and 6th EAI International Conference, ICTCC 2020, Thai Nguyen, Vietnam, November 26-27, 2020, Proceedings
ICCASA/ICTCC
Phan Cong Vinh, Abdur Rakib
2021 J jnl
Editorial from the Editor-in-Chief.
EAI Endorsed Trans. Context aware Syst. Appl.
Phan Cong Vinh
2021 — conf
Hidden Pattern: Toward Decision Support Fuzzy Systems.
ICCASA
Nguyen Van Han, Phan Cong Vinh, Bui Minh Phung, Tran Ngoc Dan
2021 — conf
Memory-Constrained Context-Aware Reasoning.
ICCASA
Ijaz Uddin, Abdur Rakib, Mumtaz Ali, Phan Cong Vinh
2021 J jnl
Modeling and verifying SDN under Multi-controller architectures using CSP.
Concurr. Comput. Pract. Exp.
Lili Xiao, Huibiao Zhu, Shuangqing Xiang, Phan Cong Vinh
2021 — ed.
Nature of Computation and Communication - 7th EAI International Conference, ICTCC 2021, Virtual Event, October 28-29, 2021, Proceedings
ICTCC
Phan Cong Vinh, Nguyen Huu Nhan
2021 J jnl
Reasoning with words: A hedge algebra linguistic cognitive map approach.
Concurr. Comput. Pract. Exp.
Nguyen Van Han, Phan Cong Vinh
2021 J jnl
Special Issue on Context-Aware Computing: Theory and Applications.
Concurr. Comput. Pract. Exp.
Phan Cong Vinh
2021 J jnl
Toward Modeling Fuzzy Dynamic System Based on Linguistic Values.
Mob. Networks Appl.
Nguyen Van Han, Phan Cong Vinh
2020 J jnl
Context-Aware Computing and Nature-Inspired Computing.
Mob. Networks Appl.
Phan Cong Vinh
2020 J jnl
Editorial from the Editor-in-Chief.
EAI Endorsed Trans. Context aware Syst. Appl.
Phan Cong Vinh
2020 J jnl
Editorial from the Editor-in-Chief.
EAI Endorsed Trans. Context aware Syst. Appl.
Phan Cong Vinh
2020 J jnl
Formalization and Analysis of Haystack Architecture from Process Algebra Perspective.
Mob. Networks Appl.
Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh
2020 J jnl
Security Analysis of the Access Control Solution of NDN Using BAN Logic.
Mob. Networks Appl.
Yuan Fei, Huibiao Zhu, Phan Cong Vinh
2020 J jnl
Toward Computing Linguistic Fuzzy Graphs And Applying to Illegal Immigration Problem.
EAI Endorsed Trans. Context aware Syst. Appl.
Nguyen Van Han, Phan Cong Vinh
2019 J jnl
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).
EAI Endorsed Trans. Context aware Syst. Appl.
Phan Cong Vinh
2019 — conf
Context-Aware Mobility Based on \pi -Calculus in Internet of Thing: A Survey.
ICCASA/ICTCC
Vu Tuan Anh, Cuong Pham-Quoc, Phan Cong Vinh
2019 J jnl
Context-Aware Mobility in Internet of Thing: A Survey.
EAI Endorsed Trans. Context aware Syst. Appl.
Vu Tuan Anh, Cuong Pham-Quoc, Phan Cong Vinh
2019 J jnl
Context-Aware Systems and Applications (ICCASA 2018) and Nature of Computation and Communication (ICTCC 2018).
Mob. Networks Appl.
Phan Cong Vinh
2019 — ed.
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
ICCASA/ICTCC
Phan Cong Vinh, Vangalur S. Alagar
2019 — ed.
Context-Aware Systems and Applications, and Nature of Computation and Communication - 8th EAI International Conference, ICCASA 2019, and 5th EAI International Conference, ICTCC 2019, My Tho City, Vietnam, November 28-29, 2019, Proceedings
ICCASA/ICTCC
Phan Cong Vinh, Abdur Rakib
2019 J jnl
Editorial from the Editor-in-Chief.
EAI Endorsed Trans. Context aware Syst. Appl.
Phan Cong Vinh
2019 J jnl
Editorial from the Editor-in-Chief.
EAI Endorsed Trans. Context aware Syst. Appl.
Phan Cong Vinh
2019 J jnl
Formal Verification of mCWQ Using Extended Hoare Logic.
Mob. Networks Appl.
Wanling Xie, Huibiao Zhu, Xi Wu, Phan Cong Vinh
2019 J jnl
Modeling and Verifying Basic Modules of Floodlight.
Mob. Networks Appl.
Shuangqing Xiang, Xi Wu, Huibiao Zhu, Wanling Xie, Lili Xiao, Phan Cong Vinh
2019 — conf
Toward Aggregating Fuzzy Graphs a Model Theory Approach.
ICCASA/ICTCC
Nguyen Van Han, Nguyen Cong Hao, Phan Cong Vinh
2019 J jnl
Toward Combining Fuzzy Graphs Based on Hedge Algebra.
EAI Endorsed Trans. Context aware Syst. Appl.
Nguyen Van Han, Nguyen Cong Hao, Phan Cong Vinh
2018 J jnl
Book Titled Nature-Inspired Networking: Theory and Applications: An Introduction.
EAI Endorsed Trans. Context aware Syst. Appl.
Phan Cong Vinh
2018 J jnl
Context-Aware Systems and Applications (ICCASA 2016, 2017) and Nature of Computation and Communication (ICTCC 2016, 2017).
Mob. Networks Appl.
Phan Cong Vinh, Leonard Barolli, Giacomo Cabri, Emil Vassev
2018 — ed.
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.
ICCASA/ICTCC
Phan Cong Vinh, Nguyen Ha Huy Cuong, Emil Vassev
2018 J jnl
Formal Analysis of the PKMv3 Protocol.
Mob. Networks Appl.
Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh
2018 J jnl
Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources.
Mob. Networks Appl.
Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque, Phan Cong Vinh
2018 — conf
Modeling with Words Based on Hedge Algebra.
ICCASA/ICTCC
Nguyen Van Han, Phan Cong Vinh
2018 J jnl
Toward Modeling and Reasoning with Words Based on Hedge Algebra.
EAI Endorsed Trans. Context aware Syst. Appl.
Nguyen Van Han, Phan Cong Vinh
2017 — conf
Applying and Deploying Cyber Physical System in Monitoring and Managing Operations Under Mines and Underground Works.
ICCASA/ICTCC
Nguyen Thanh Tung, Vu Khanh Hoan, Le Van Thuan, Phan Cong Vinh
2017 — conf
Architectural Framework for Context Awareness and Health Conscious Applications on Mobile Devices.
ICCASA/ICTCC
Huynh Trong Duc, Phan Cong Vinh, Nguyen Dang Binh
2017 — ed.
Context-Aware Systems and Applications - 5th International Conference, ICCASA 2016, Thu Dau Mot, Vietnam, November 24-25, 2016, Proceedings
ICCASA
Phan Cong Vinh, Le Tuan Anh, Nguyen Thi Thuy Loan, Waralak Vongdoiwang Siricharoen
2017 J jnl
Editorial: Context-Aware Systems and Applications (ICCASA 2015).
Mob. Networks Appl.
Phan Cong Vinh, Leonard Barolli, Emil Vassev
2017 J jnl
Modeling and Verifying HDFS Using Process Algebra.
Mob. Networks Appl.
Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo, Phan Cong Vinh
2017 J jnl
Question matrix method according to divided dimensions of infographics evaluation.
Pers. Ubiquitous Comput.
Waralak V. Siricharoen, Phan Cong Vinh
2016 J jnl
Algebraically Autonomic Computing.
Mob. Networks Appl.
Phan Cong Vinh
2016 J jnl
Concurrency of self-* in autonomic systems.
Future Gener. Comput. Syst.
Phan Cong Vinh
2016 — ed.
Context-Aware Systems and Applications - 4th International Conference, ICCASA 2015, Vung Tau, Vietnam, November 26-27, 2015, Revised Selected Papers
ICCASA
Phan Cong Vinh, Vangalur S. Alagar
2016 — conf
Currying Self-* Actions in Autonomic Systems.
ICTCC
Phan Cong Vinh, Nguyen Thanh Tung
2016 — conf
Heuristic Solutions for the Lifetime Problem of Wireless Sensor Networks.
ICTCC
Nguyen Thanh Tung, Phan Cong Vinh
2016 — ed.
Nature of Computation and Communication - Second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016, Revised Selected Papers
ICTCC
Phan Cong Vinh, Leonard Barolli
2016 J jnl
Nature of Computation and Communication.
Mob. Networks Appl.
Phan Cong Vinh
2016 J jnl
Nature-inspired computation and communication: A formal approach.
Future Gener. Comput. Syst.
Phan Cong Vinh, Emil Vassev
2016 J jnl
Products, Coproducts and Universal Properties of Autonomic Systems.
EAI Endorsed Trans. Context aware Syst. Appl.
Phan Cong Vinh, Nguyen Minh Truong
2016 J jnl
Some Universal Constructions of Autonomic Systems.
Mob. Networks Appl.
Phan Cong Vinh
2015 J jnl
An Introduction to the Book Titled Nature of Computation and Communication.
EAI Endorsed Trans. Context aware Syst. Appl.
Phan Cong Vinh
2015 J jnl
Book Titled Autonomic Networking-on-Chip: Bio-Inspired Specification, Development, and Verification: An Introduction.
EAI Endorsed Trans. Context aware Syst. Appl.
Phan Cong Vinh
2015 — conf
Finite Limits and Colimits in Autonomic Systems.
ICCASA
Phan Cong Vinh
2015 — ed.
Nature of Computation and Communication - International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
ICTCC
Phan Cong Vinh, Emil Vassev, Mike Hinchey
2015 — conf
Products and Coproducts of Autonomic Systems.
ICCASA
Phan Cong Vinh
2015 J jnl
Welcome message from the Editor-in-Chief.
EAI Endorsed Trans. Context aware Syst. Appl.
Phan Cong Vinh
2015 J jnl
Welcome message from the Editor-in-Chief.
EAI Endorsed Trans. Context aware Syst. Appl.
Phan Cong Vinh
2014 J jnl
A Learning-Based Approach for Web Cache Management.
Mob. Networks Appl.
Areerat Songwattana, Thanaruk Theeramunkong, Phan Cong Vinh
2014 J jnl
An Introduction to the Book Titled "Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification".
EAI Endorsed Trans. Context aware Syst. Appl.
Phan Cong Vinh
2014 — conf
Categorical Structures of Self-adaptation in Collective Adaptive Systems.
ICTCC
Phan Cong Vinh
2014 — ed.
Context-Aware Systems and Applications - Second International Conference, ICCASA 2013, Phu Quoc Island, Vietnam, November 25-26, 2013, Revised Selected Papers
ICCASA
Phan Cong Vinh, Vangalur S. Alagar, Emil Vassev, Ashish Khare
2014 J jnl
FoCAS Project's Interview with Dr. Phan Cong Vinh, ICCASA 2013 General Chair.
EAI Endorsed Trans. Context aware Syst. Appl.
Phan Cong Vinh
2014 — conf
Increasing the Quality of Medical Images Based on the Combination of Filters in Ridgelet Domain.
ICTCC
Thanh Binh Nguyen, Vo Thi Hong Tuyet, Phan Cong Vinh
2014 J jnl
Information and Service Integration Based on Agent-Oriented Ubiquitous Computing.
Mob. Networks Appl.
Phan Cong Vinh
2014 J jnl
Self-Adaptation in Collective Adaptive Systems.
Mob. Networks Appl.
Phan Cong Vinh
2014 — conf
Self-adaptive Traits in Collective Adaptive Systems.
ICTCC
Phan Cong Vinh, Nguyen Thanh Tung
2014 J jnl
Toward Formalized Autonomic Networking.
Mob. Networks Appl.
Phan Cong Vinh
2014 J jnl
Welcome message from the Editor-in-Chief.
EAI Endorsed Trans. Context aware Syst. Appl.
Phan Cong Vinh
2014 J jnl
Welcome message from the Editor-in-Chief.
EAI Endorsed Trans. Context aware Syst. Appl.
Phan Cong Vinh
2013 J jnl
Coalgebraic Aspects of Context-Awareness.
Mob. Networks Appl.
Phan Cong Vinh, Nguyen Thanh Tung
2013 — conf
Coinductively Combinational Context-Awareness.
ICCASA
Phan Cong Vinh, Nguyen Kim Quoc
2013 — ed.
Context-Aware Systems and Applications - First International Conference, ICCASA 2012, Ho Chi Minh City, Vietnam, November 26-27, 2012, Revised Selected Papers
ICCASA
Phan Cong Vinh, Nguyen Manh Hung, Nguyen Thanh Tung, Junichi Suzuki
2013 J jnl
Special Issue on Context-Awareness of Mobile Systems: Models, Algorithms and Applications.
Mob. Networks Appl.
Phan Cong Vinh, Jun Suzuki
2013 J jnl
The Energy-Aware Operational Time of Wireless Ad-Hoc Sensor Networks.
Mob. Networks Appl.
Nguyen Thanh Tung, Phan Cong Vinh
2013 — conf
Ultrasound Images Denoising Based Context Awareness in Bandelet Domain.
ICCASA
Thanh Binh Nguyen, Vo Thi Hong Tuyet, Phan Cong Vinh
2012 — conf
Formal Agent-Oriented Ubiquitous Computing: A Computational Intelligence Support for Information and Services Integration.
ACIIDS (2)
Phan Cong Vinh
2012 — conf
Functional Stream Derivatives of Context-Awareness on P2P Networks.
ICCASA
Phan Cong Vinh, Nguyen Thanh Tung, Nguyen Van Phuc, Nguyen Hai Thanh
2012 — conf
Power Save Protocol Using Chain Based Routing.
ICCASA
Nguyen Thanh Tung, Van Duc Nguyen, Nguyen Hai Thanh, Phan Cong Vinh, Nguyen Dai Tho
2011 C conf
Featured concurrency of mobile ad hoc computing.
MoMM
Phan Cong Vinh
2009 J jnl
Categorical Approaches to Models and Behaviors of Autonomic Agent Systems.
Int. J. Cogn. Informatics Nat. Intell.
Phan Cong Vinh
2009 — ch.
Formal Aspects of Self-* in Autonomic Networked Computing Systems.
Autonomic Computing and Networking
Phan Cong Vinh
2009 — ch.
Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures.
Parallel Programming, Models and Applications in Grid and P2P Systems
Phan Cong Vinh
2008 J jnl
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis.
Trans. Comput. Sci.
Phan Cong Vinh, Jonathan P. Bowen
2007 Misc conf
A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing.
TASE
Phan Cong Vinh, Jonathan P. Bowen
2007 J jnl
Homomorphism between AOMRC and Hoare Model of Deterministic Reconfiguration Processes in Reconfigurable Computing Systems.
Sci. Ann. Comput. Sci.
Phan Cong Vinh
2005 C conf
A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing.
SEW
Phan Cong Vinh, Jonathan P. Bowen
2005 J jnl
Continuity aspects of embedded reconfigurable computing.
Innov. Syst. Softw. Eng.
Phan Cong Vinh, Jonathan P. Bowen
2005 — conf
Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems.
ECBS
Phan Cong Vinh, Jonathan P. Bowen
2004 A conf
An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs.
FPGA
Phan Cong Vinh, Jonathan P. Bowen
2000 — conf
Protocol-based cooperation in a virtual manufacturing organization.
E-Business and Virtual Enterprises
Tomasz Janowski, Phan Cong Vinh