Review of "Linguistic Structures Processing" by A. Zampolli. North Holland Publishing Company 1977. - P. A. Subrahmanyam (SIGACT News, 1978)

On a finite axiomatization of the data type L. - P. A. Subrahmanyam (ACM SIGPLAN Notices, 1978)

A Basis for a Theory of Program Synthesis. - P. A. Subrahmanyam (AAAI, 1980)

Nondeterminism in Abstract Data Types. - P. A. Subrahmanyam (ICALP, 1981)

Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs. - P. A. Subrahmanyam; Jia-Huai You (POPL, 1984)

Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming. - P. A. Subrahmanyam; Jia-Huai You (SLP, 1984)

On Embedding Functions in Logic. - P. A. Subrahmanyam; Jia-Huai You (Inf. Process. Lett., 1984)

Formal semantics for a symbolic IC design technique: Examples and applications. - Sanjay V. Rajopadhye; P. A. Subrahmanyam (Integr., 1985)

The "Software Engineering'' of Expert Systems: Is Prolog Appropriate? - P. A. Subrahmanyam (IEEE Trans. Software Eng., 1985)

FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming. - P. A. Subrahmanyam; Jia-Huai You (Logic Programming: Functions, Relations, and Equations, 1986)

E-Unification Algorithms for a Class of Confluent Term Rewriting Systems. - Jia-Huai You; P. A. Subrahmanyam (ICALP, 1986)

Equational Logic Programming: An Extension to Equational Programming. - Jia-Huai You; P. A. Subrahmanyam (POPL, 1986)

Boolean Operations on n-Dimensional Objects. - L. K. Putnam; P. A. Subrahmanyam (IEEE Computer Graphics and Applications, 1986)

Synapse: An Expert System for VLSI Design. - P. A. Subrahmanyam (Computer, 1986)

A Class of Confluent Term Rewriting Systems and Unification. - Jia-Huai You; P. A. Subrahmanyam (J. Autom. Reason., 1986)

LCS - A Leaf Cell Synthesizer Employing Formal Deduction Techniques. - P. A. Subrahmanyam (DAC, 1987)

An object-based representation for the evolution of VLSI designs. - John D. Gabbe; P. A. Subrahmanyam (Artif. Intell. Eng., 1987)

Reasoning About Probabilistic Behavior in Concurrent Systems. - S. Purushothaman; P. A. Subrahmanyam (IEEE Trans. Software Eng., 1987)

Reasoning about Systolic Algorithms. - S. Purushothaman; P. A. Subrahmanyam (J. Parallel Distributed Comput., 1988)

A Note on Clustering Modules for Floorplanning. - John D. Gabbe; P. A. Subrahmanyam (DAC, 1989)

Automated synthesis of systems with interacting asynchronous (self-timed) and synchronous components. - P. A. Subrahmanyam (ICCD, 1989)

On the Completeness of Narrowing for E-Unification. - Jia-Huai You; P. A. Subrahmanyam (KBCS, 1989)

What's in a Timing Discipline? Considerations in the Specification and Synthesis of Systems with Interacting Asynchronous and Synchronous Components. - P. A. Subrahmanyam (Hardware Specification, Verification and Synthesis, 1989)

Mechanical Certification of Systolic Algorithms. - S. Purushothaman; P. A. Subrahmanyam (J. Autom. Reason., 1989)

A Path-Oriented Approach for Reducing Hazards in Asynchronous Designs. - Meng-Lin Yu; P. A. Subrahmanyam (DAC, 1992)

State machine abstraction from circuit layouts using BDD's: applications in verification and synthesis. - Timothy Kam; P. A. Subrahmanyam (EURO-DAC, 1992)

A Verification Guide for the Perplexed Designer: Matching Verification Techniques and Design Tasks. - P. A. Subrahmanyam (VLSI Design, 1992)

Towards Verifying Large(r) Systems: A Strategy and an Experiment. - P. A. Subrahmanyam (CHARME, 1993)

Specification and Synthesis of Mixed-Mode Systems: Experiments in a VHDL Environment. - P. A. Subrahmanyam; Josep M. Espinalt; Meng-Lin Yu (ICCD, 1993)

Hazard-Free Asynchronous Circuit Synthesis. - Meng-Lin Yu; P. A. Subrahmanyam (Asynchronous Design Methodologies, 1993)

Extracting RTL models from transistor netlists. - K. J. Singh; P. A. Subrahmanyam (ICCAD, 1995)

Quality Assurance in Scripting. - P. A. Subrahmanyam; K. J. Singh; Guy A. Story; William M. Schell (IEEE Multim., 1995)

Comparing layouts with HDL models: a formal verification technique. - Timothy Kam; P. A. Subrahmanyam (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995)

Design technologies for embedded multimedia systems. - P. A. Subrahmanyam; Bryan D. Ackland (IFIP World Conference on IT Tools, 1996)

Hardware/software partitioning for multi-function systems. - Asawaree Kalavade; P. A. Subrahmanyam (ICCAD, 1997)

T2: HW-SW Codesign. - P. A. Subrahmanyam; R. Gupta; B. S. Rao (VLSI Design, 1997)

Hardware/software partitioning for multifunction systems. - Asawaree Kalavade; P. A. Subrahmanyam (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)

Guest Editors' Introduction: Advances in Configurable Computing. - Patrick Lysaght; P. A. Subrahmanyam (IEEE Des. Test Comput., 2005)