| |
| 2009 | ||
|---|---|---|
| 8 | EE | Phan C. Vinh: Categorical Approaches to Models and Behaviors of Autonomic Agent Systems. IJCINI 3(1): 17-33 (2009) |
| 2008 | ||
| 7 | EE | Phan C. Vinh, Jonathan P. Bowen: Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis. Transactions on Computational Science 1: 1-36 (2008) |
| 2007 | ||
| 6 | EE | Phan C. Vinh, Jonathan P. Bowen: A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. TASE 2007: 369-378 |
| 2005 | ||
| 5 | EE | Phan C. Vinh, Jonathan P. Bowen: Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems. ECBS 2005: 247-254 |
| 4 | EE | Phan C. Vinh, Jonathan P. Bowen: A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. SEW 2005: 245-252 |
| 3 | EE | Phan C. Vinh, Jonathan P. Bowen: Continuity aspects of embedded reconfigurable computing. ISSE 1(1): 41-53 (2005) |
| 2004 | ||
| 2 | EE | Phan C. Vinh, Jonathan P. Bowen: An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs. FPGA 2004: 254 |
| 1 | EE | Phan C. Vinh, Jonathan P. Bowen: On the Visual Representation of Configuration in Reconfigurable Computing. Electr. Notes Theor. Comput. Sci. 109: 3-15 (2004) |
| 1 | Jonathan P. Bowen | [1] [2] [3] [4] [5] [6] [7] |