Phan Cong Vinh

According to our database1, Phan Cong Vinh
  • authored at least 42 papers between 2009 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

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

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

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


  Loading...