Phan Cong Vinh

According to our database1, Phan Cong Vinh authored at least 64 papers between 2000 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Formal Verification of mCWQ Using Extended Hoare Logic.
MONET, 2019

Modeling and Verifying Basic Modules of Floodlight.
MONET, 2019

Context-Aware Systems and Applications (ICCASA 2018) and Nature of Computation and Communication (ICTCC 2018).
MONET, 2019

2018
Formal Analysis of the PKMv3 Protocol.
MONET, 2018

Context-Aware Systems and Applications (ICCASA 2016, 2017) and Nature of Computation and Communication (ICTCC 2016, 2017).
MONET, 2018

Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources.
MONET, 2018

Book Titled Nature-Inspired Networking: Theory and Applications: An Introduction.
EAI Endorsed Trans. Context-aware Syst. & Appl., 2018

Toward Modeling and Reasoning with Words Based on Hedge Algebra.
EAI Endorsed Trans. Context-aware Syst. & Appl., 2018

Proposing Storage Structures and Interpolation Algorithms of 3D Spatial Data.
Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2018

Modeling with Words Based on Hedge Algebra.
Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2018

2017
Question matrix method according to divided dimensions of infographics evaluation.
Personal and Ubiquitous Computing, 2017

Modeling and Verifying HDFS Using Process Algebra.
MONET, 2017

Editorial: Context-Aware Systems and Applications (ICCASA 2015).
MONET, 2017

Applying and Deploying Cyber Physical System in Monitoring and Managing Operations Under Mines and Underground Works.
Proceedings of the Context-Aware Systems and Applications, 2017

Architectural Framework for Context Awareness and Health Conscious Applications on Mobile Devices.
Proceedings of the Context-Aware Systems and Applications, 2017

2016
Some Universal Constructions of Autonomic Systems.
MONET, 2016

Algebraically Autonomic Computing.
MONET, 2016

Nature of Computation and Communication.
MONET, 2016

Nature-inspired computation and communication: A formal approach.
Future Generation Comp. Syst., 2016

Concurrency of self-* in autonomic systems.
Future Generation Comp. Syst., 2016

Products, Coproducts and Universal Properties of Autonomic Systems.
EAI Endorsed Trans. Context-aware Syst. & Appl., 2016

Modeling the Connections of Dynamic Sensor Fields Based on BT-Graph.
EAI Endorsed Trans. Context-aware Syst. & Appl., 2016

A federation of simulations based on cellular automata in cyber-physical systems.
EAI Endorsed Trans. Context-aware Syst. & Appl., 2016

Classification of objective interestingness measures.
EAI Endorsed Trans. Context-aware Syst. & Appl., 2016

Clustering the objective interestingness measures based on tendency of variation in statistical implications.
EAI Endorsed Trans. Context-aware Syst. & Appl., 2016

Currying Self-* Actions in Autonomic Systems.
Proceedings of the Nature of Computation and Communication, 2016

Heuristic Solutions for the Lifetime Problem of Wireless Sensor Networks.
Proceedings of the Nature of Computation and Communication, 2016

2015
An Introduction to the Book Titled Nature of Computation and Communication.
EAI Endorsed Trans. Context-aware Syst. & Appl., 2015

Welcome message from the Editor-in-Chief.
EAI Endorsed Trans. Context-aware Syst. & Appl., 2015

Book Titled Autonomic Networking-on-Chip: Bio-Inspired Specification, Development, and Verification: An Introduction.
EAI Endorsed Trans. Context-aware Syst. & Appl., 2015

Welcome message from the Editor-in-Chief.
EAI Endorsed Trans. Context-aware Syst. & Appl., 2015

Finite Limits and Colimits in Autonomic Systems.
Proceedings of the Context-Aware Systems and Applications - 4th International Conference, 2015

Products and Coproducts of Autonomic Systems.
Proceedings of the Context-Aware Systems and Applications - 4th International Conference, 2015

2014
Self-Adaptation in Collective Adaptive Systems.
MONET, 2014

Toward Formalized Autonomic Networking.
MONET, 2014

Information and Service Integration Based on Agent-Oriented Ubiquitous Computing.
MONET, 2014

A Learning-Based Approach for Web Cache Management.
MONET, 2014

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., 2014

FoCAS Project's Interview with Dr. Phan Cong Vinh, ICCASA 2013 General Chair.
EAI Endorsed Trans. Context-aware Syst. & Appl., 2014

Welcome message from the Editor-in-Chief.
EAI Endorsed Trans. Context-aware Syst. & Appl., 2014

Welcome message from the Editor-in-Chief.
EAI Endorsed Trans. Context-aware Syst. & Appl., 2014

Self-adaptive Traits in Collective Adaptive Systems.
Proceedings of the Nature of Computation and Communication - International Conference, 2014

Categorical Structures of Self-adaptation in Collective Adaptive Systems.
Proceedings of the Nature of Computation and Communication - International Conference, 2014

Increasing the Quality of Medical Images Based on the Combination of Filters in Ridgelet Domain.
Proceedings of the Nature of Computation and Communication - International Conference, 2014

2013
Coalgebraic Aspects of Context-Awareness.
MONET, 2013

Special Issue on Context-Awareness of Mobile Systems: Models, Algorithms and Applications.
MONET, 2013

The Energy-Aware Operational Time of Wireless Ad-Hoc Sensor Networks.
MONET, 2013

Coinductively Combinational Context-Awareness.
Proceedings of the Context-Aware Systems and Applications, 2013

Ultrasound Images Denoising Based Context Awareness in Bandelet Domain.
Proceedings of the Context-Aware Systems and Applications, 2013

2012
Functional Stream Derivatives of Context-Awareness on P2P Networks.
Proceedings of the Context-Aware Systems and Applications - First International Conference, 2012

Power Save Protocol Using Chain Based Routing.
Proceedings of the Context-Aware Systems and Applications - First International Conference, 2012

Formal Agent-Oriented Ubiquitous Computing: A Computational Intelligence Support for Information and Services Integration.
Proceedings of the Intelligent Information and Database Systems - 4th Asian Conference, 2012

2011
Featured concurrency of mobile ad hoc computing.
Proceedings of the MoMM'2011, 2011

2009
Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures.
Proceedings of the Parallel Programming, Models and Applications in Grid and P2P Systems., 2009

Categorical Approaches to Models and Behaviors of Autonomic Agent Systems.
IJCINI, 2009

Formal Aspects of Self-* in Autonomic Networked Computing Systems.
Proceedings of the Autonomic Computing and Networking, 2009

2008
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis.
Trans. Computational Science, 2008

2007
Homomorphism between AOMRC and Hoare Model of Deterministic Reconfiguration Processes in Reconfigurable Computing Systems.
Sci. Ann. Comp. Sci., 2007

A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2005
Continuity aspects of embedded reconfigurable computing.
ISSE, 2005

A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing.
Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2004
An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs.
Proceedings of the ACM/SIGDA 12th International Symposium on Field Programmable Gate Arrays, 2004

2000
Protocol-based cooperation in a virtual manufacturing organization.
Proceedings of the E-Business and Virtual Enterprises: Managing Business-to-Business Cooperation, 2000


  Loading...