The Static Derivation of Concurrency and its Mechanzed Certification. - Christian Lengauer; Chua-Huang Huang (Seminar on Concurrency, 1984)

A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks. - Christian Lengauer; Chua-Huang Huang (POPL, 1986)

The automated proof of a trace transformation for a bitonic sort. - Chua-Huang Huang; Christian Lengauer (Theor. Comput. Sci., 1986)

An Implemented Method for Incremmental Systolic Design. - Chua-Huang Huang; Christian Lengauer (PARLE (1), 1987)

The Derivation of Systolic Implementations of Programs. - Chua-Huang Huang; Christian Lengauer (Acta Informatica, 1987)

An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem. - Chua-Huang Huang; Christian Lengauer (Acta Informatica, 1989)

On the Synthesis of Programs for Various Parallel Architectures. - H. Allan Fend; Chua-Huang Huang (ICPP (2), 1991)

Multilinear algebra and parallel programming. - Rodney W. Johnson; Chua-Huang Huang; John R. Johnson (J. Supercomput., 1991)

Generating Parallel Programs from Tensor Product Formulas: A Case Study of Strassen's Matrix Multiplication Algorithm. - Chua-Huang Huang; John R. Johnson; Rodney W. Johnson (ICPP (3), 1992)

On the Synthesis of Parallel Programs from Tensor Product Formulas for Block Recursive Algorithms. - Sandeep K. S. Gupta; Chua-Huang Huang; P. Sadayappan; Rodney W. Johnson (LCPC, 1992)

An Algebraic Theory for Modeling Direct Interconnection Networks. - S. D. Kaushik; Sanjay Sharma; Chua-Huang Huang; Jeremy R. Johnson; Rodney W. Johnson; P. Sadayappan (SC, 1992)

On the Automatic Generation of Data Distributions. - Sandeep K. S. Gupta; S. D. Kaushik; Chua-Huang Huang; John R. Johnson; Rodney W. Johnson; P. Sadayappan (SIGPLAN Workshop, 1992)

On Data Dependence Analysis for Compiling Programs on Distributed-Memory Machines (Extended Abstract). - Sanjay Sharma; Chua-Huang Huang; P. Sadayappan (SIGPLAN Workshop, 1992)

A Methodology for Generating Data Distributions to Optimize Communication. - Sandeep K. S. Gupta; S. D. Kaushik; Chua-Huang Huang; John R. Johnson; Rodney W. Johnson; P. Sadayappan (SPDP, 1992)

Compile-Time Characterization of Recurrent Patterns in Irregular Computations. - Kalluri Eswar; P. Sadayappan; Chua-Huang Huang (ICPP (2), 1993)

Supernodal Sparse Cholesky Facotrization on Distributed-Memory Multiprocessors. - Kalluri Eswar; P. Sadayappan; Chua-Huang Huang; V. Visvanathan (ICPP (3), 1993)

On Compiling Array Expressions for Efficient Execution on Distributed-Memory Machines. - Sandeep K. S. Gupta; S. D. Kaushik; S. Mufti; Sanjay Sharma; Chua-Huang Huang; P. Sadayappan (ICPP (2), 1993)

A Methodology for Generating Efficient Disk-Based Algorithms from Tensor Product Formulas. - S. D. Kaushik; Chua-Huang Huang; Rodney W. Johnson; P. Sadayappan (LCPC, 1993)

Efficient transposition algorithms for large matrices. - S. D. Kaushik; Chua-Huang Huang; John R. Johnson; Rodney W. Johnson; P. Sadayappan (SC, 1993)

An Algebraic Theory for Modeling Multistage Interconnection Networks. - S. D. Kaushik; Sanjay Sharma; Chua-Huang Huang (J. Inf. Sci. Eng., 1993)

Communication-Free Hyperplane Partitioning of Nested Loops. - Chua-Huang Huang; P. Sadayappan (J. Parallel Distributed Comput., 1993)

Communication-Efficient Implementation of Block Recursive Algorithms on Distributed-Memory Machines. - Sandeep K. S. Gupta; Chua-Huang Huang; Rodney W. Johnson; P. Sadayappan (ICPADS, 1994)

An approach to communication-efficient data redistribution. - S. D. Kaushik; Chua-Huang Huang; Rodney W. Johnson; P. Sadayappan (International Conference on Supercomputing, 1994)

On sparse matrix reordering for parallel factorization. - Bharat Kumar; P. Sadayappan; Chua-Huang Huang (International Conference on Supercomputing, 1994)

Incremental Generation of Index Sets for Array Statement Execution on Distributed-Memory Machines. - S. D. Kaushik; Chua-Huang Huang; P. Sadayappan (LCPC, 1994)

EXTENT: a portable programming environment for designing and implementing high-performance block recursive algorithms. - Donglai Dai; Sandeep K. S. Gupta; S. D. Kaushik; J. H. Lu; Raj Verdhan Singh; Chua-Huang Huang; P. Sadayappan; Rodney W. Johnson (SC, 1994)

Implementing Fast Fourier Transforms on Distributed-Memory Multiprocessors Using Data Redistributions. - Sandeep K. S. Gupta; Chua-Huang Huang; P. Sadayappan; Rodney W. Johnson (Parallel Process. Lett., 1994)

Multi-phase array redistribution: modeling and evaluation. - S. D. Kaushik; Chua-Huang Huang; J. Ramanujam; P. Sadayappan (IPPS, 1995)

Compiling Array Statements for Efficient Execution on Distributed-Memory Machines: Two-Level Mappings. - S. D. Kaushik; Chua-Huang Huang; P. Sadayappan (LCPC, 1995)

A Clustering Algorithm for Parallel Sparse Cholesky Factorization. - Bharat Kumar; Kalluri Eswar; P. Sadayappan; Chua-Huang Huang (Parallel Process. Lett., 1995)

A Tensor Product Formulation of Strassen's Matrix Multiplication Algorithm with Memory Reduction. - Bharat Kumar; Chua-Huang Huang; P. Sadayappan; Rodney W. Johnson (Sci. Program., 1995)

Introduction. - Chua-Huang Huang; P. Sadayappan (Int. J. Parallel Program., 1996)

An Algebraic Theory for Modeling Directt Interconnection Networks. - S. D. Kaushik; Sanjay Sharma; Chua-Huang Huang; John R. Johnson; Rodney W. Johnson; P. Sadayappan (J. Inf. Sci. Eng., 1996)

A Framework for Generating Distributed-Memory Parallel Programs for Block Recursive Algorithms. - Sandeep K. S. Gupta; Chua-Huang Huang; P. Sadayappan; Rodney W. Johnson (J. Parallel Distributed Comput., 1996)

Compiling Array Expressions for Efficient Execution on Distributed-Memory Machines. - Sandeep K. S. Gupta; S. D. Kaushik; Chua-Huang Huang; P. Sadayappan (J. Parallel Distributed Comput., 1996)

Efficient Index Set Generation for Compiling HPF Array Statements on Distributed-Memory Machines. - S. D. Kaushik; Chua-Huang Huang; P. Sadayappan (J. Parallel Distributed Comput., 1996)

Table-Lookup Approach for Compiling Two-Level Data-Processor Mappings in HPF. - Kuei-Ping Shih; Jang-Ping Sheu; Chua-Huang Huang (LCPC, 1997)

Reuse-Driven Tiling for Data Locality. - Jingling Xue; Chua-Huang Huang (LCPC, 1997)

Optimal Algorithms for All-to-All Personalized Communication on Rings and Two Dimensional Tori. - Chi-Chung Lam; Chua-Huang Huang; P. Sadayappan (J. Parallel Distributed Comput., 1997)

A technique for overlapping computation and communication for block recursive algorithms. - Sandeep K. S. Gupta; Chua-Huang Huang; P. Sadayappan; Rodney W. Johnson (Concurr. Pract. Exp., 1998)

Reuse-Driven Tiling for Improving Data Locality. - Jingling Xue; Chua-Huang Huang (Int. J. Parallel Program., 1998)

Efficient Index Generation for Compiling Two-Level Mappings in Data-Parallel Programs. - Kuei-Ping Shih; Jang-Ping Sheu; Chua-Huang Huang; Chih-Yung Chang (J. Parallel Distributed Comput., 2000)

Statement-Level Communication-Free Partitioning Techniques for Parallelizing Compilers. - Kuei-Ping Shih; Jang-Ping Sheu; Chua-Huang Huang (J. Supercomput., 2000)

Communication-Free Partitioning of Nested Loops. - Kuei-Ping Shih; Chua-Huang Huang; Jang-Ping Sheu (Compiler Optimizations for Scalable Parallel Systems Languages, 2001)

A Programming Methodology for Designing Parallel Prefix Algorithms. - Min-Hsuan Fan; Chua-Huang Huang; Yeh-Ching Chung; Jen-Shiuh Liu; Jei-Zhii Lee (ICPP, 2001)

Tensor Product Modeling of Fault Tolerant Multiprocessor Architectures. - Jyh-Ming Huang; Chua-Huang Huang; Ted C. Yang (ICPADS, 2002)

A Programming Methodology for Designing Block Recursive Algorithms on Various Computer Networks. - Min-Hsuan Fan; Chua-Huang Huang; Yeh-Ching Chung (ICPP Workshops, 2002)

Algebraic Formulation and Program Generation of Three-Dimensional Hilbert Space-Filling Curves. - Chih-Sheng Chen; Shen-Yi Lin; Chua-Huang Huang (CISST, 2004)

Quantum Gates Revisited: A Tensor Product Based Interpretation Model. - Chao-Ming Tseng; Chih-Sheng Chen; Chua-Huang Huang (ESA/VLSI, 2004)

A Multi-Role Collaborative Method and Platform for Developing Software Requirements. - Chin-Yi Tsai; Chua-Huang Huang (Software Engineering Research and Practice, 2006)

A Programming Methodology for Designing Block Recursive Algorithms. - Min-Hsuan Fan; Chua-Huang Huang; Yeh-Ching Chung; Jen-Shiuh Liu; Jei-Zhii Lee (J. Inf. Sci. Eng., 2006)

A Rule-Based Disease Diagnostic System Using a Temporal Relationship Model. - Chien-Chih Wang; Ming-Nan Chien; Chua-Huang Huang; Li Liu (FSKD (4), 2007)

Algebraic Specification and Program Synthesis for Computing Hilbert Space-Filling Curve Indices. - Chih-Sheng Chen; Min-Hsuan Fan; Chua-Huang Huang (IPCV, 2007)

Efficient Searching Algorithms for Multi-Dimensional Space Data Using Hilbert Space-Filling Curves. - Chih-Sheng Chen; Jan-Yi Liang; Yi-Kun Lee; Min-Hsuan Fan; Chua-Huang Huang (FCS, 2008)

An Integrated Information System for Real Estate Agency Based on Service-Oriented Architecture. - Li-Yu Lin; Chua-Huang Huang (SOSE, 2008)

A Service-Oriented Architecture Based Vendor Managed Inventory System. - Hsiang-I Tseng; Chua-Huang Huang (SOSE, 2008)

Lossless compression of medical images using Hilbert space-filling curves. - Jan-Yi Liang; Chih-Sheng Chen; Chua-Huang Huang; Li Liu (Comput. Medical Imaging Graph., 2008)

Tensor Product Formulation for Hilbert Space-Filling Curves. - Shen-Yi Lin; Chih-Shen Chen; Li Liu; Chua-Huang Huang (J. Inf. Sci. Eng., 2008)

An integrated information system for real estate agency-based on service-oriented architecture. - Yao-Min Fang; Li-Yu Lin; Chua-Huang Huang; Tien-Yin Chou (Expert Syst. Appl., 2009)

A practice of ESL verification methodology from SystemC to FPGA: using EPC class-1 generation-2 RFID tag design as an example. - W. M. Young; Chua-Huang Huang; Alan P. Su; Chewnpu Jou; Fu-Lung Hsueh (ASP-DAC, 2010)

A Novel Construction Method for n-Dimensional Hilbert Space-Filling Curves. - Chih-Sheng Chen; Shen-Yi Lin; Min-Hsuan Fan; Chua-Huang Huang (IEICE Trans. Inf. Syst., 2010)

Complex sensing event process of IoT application based on epcglobal architecture and IEEE 1451. - Chao-Wen Tseng; Chih-Ming Chang; Chua-Huang Huang (IOT, 2012)

A uniform EPC scheme design of IEEE 1451 transducers for IoT applications. - Chao-Wen Tseng; Chua-Huang Huang (ICUFN, 2014)

Extending EPCglobal ALE middleware to integrate transducer capability of IEEE 1451 standards. - Chao-Wen Tseng; Yu-Sheng Lin; Wei-Han Lu; Chua-Huang Huang (ICUFN, 2014)

Adding IEEE 1451 Transducer Capability to EPCglobal Information Service. - Chao-Wen Tseng; Yi-Ting Liao; Chua-Huang Huang (iThings/GreenCom/CPSCom, 2014)

A Design of GS1 EPCglobal Application Level Events Extension for IoT Applications. - Chao-Wen Tseng; Yu-Chang Chen; Chua-Huang Huang (IEICE Trans. Inf. Syst., 2016)

Complex event recognition and anomaly detection with event behavior model. - Min-Chang Liu; Fang-Rong Hsu; Chua-Huang Huang (Pattern Anal. Appl., 2024)