Search the dblp DataBase
P. A. Subrahmanyam: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- P. A. Subrahmanyam, Jia-Huai You
Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming. [Citation Graph (1, 0)][DBLP]
SLP, 1984, pp:144-153 [Conf] - P. A. Subrahmanyam
A Basis for a Theory of Program Synthesis. [Citation Graph (0, 0)][DBLP]
AAAI, 1980, pp:74-76 [Conf] - P. A. Subrahmanyam
Towards Verifying Large(r) Systems: A Strategy and an Experiment. [Citation Graph (0, 0)][DBLP]
CHARME, 1993, pp:135-154 [Conf] - John D. Gabbe, P. A. Subrahmanyam
A Note on Clustering Modules for Floorplanning. [Citation Graph (0, 0)][DBLP]
DAC, 1989, pp:594-597 [Conf] - Meng-Lin Yu, P. A. Subrahmanyam
A Path-Oriented Approach for Reducing Hazards in Asynchronous Designs. [Citation Graph (0, 0)][DBLP]
DAC, 1992, pp:239-244 [Conf] - P. A. Subrahmanyam
LCS - A Leaf Cell Synthesizer Employing Formal Deduction Techniques. [Citation Graph (0, 0)][DBLP]
DAC, 1987, pp:459-465 [Conf] - P. A. Subrahmanyam
Nondeterminism in Abstract Data Types. [Citation Graph (0, 0)][DBLP]
ICALP, 1981, pp:148-164 [Conf] - Jia-Huai You, P. A. Subrahmanyam
E-Unification Algorithms for a Class of Confluent Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
ICALP, 1986, pp:454-463 [Conf] - Asawaree Kalavade, P. A. Subrahmanyam
Hardware/software partitioning for multi-function systems. [Citation Graph (0, 0)][DBLP]
ICCAD, 1997, pp:516-521 [Conf] - K. J. Singh, P. A. Subrahmanyam
Extracting RTL models from transistor netlists. [Citation Graph (0, 0)][DBLP]
ICCAD, 1995, pp:11-17 [Conf] - Timothy Kam, P. A. Subrahmanyam
Comparing Layouts with HDL Models: A Formal Verification Technique. [Citation Graph (0, 0)][DBLP]
ICCD, 1992, pp:588-591 [Conf] - P. A. Subrahmanyam, Josep M. Espinalt, Meng-Lin Yu
Specification and Synthesis of Mixed-Mode Systems: Experiments in a VHDL Environment. [Citation Graph (0, 0)][DBLP]
ICCD, 1993, pp:235-241 [Conf] - P. A. Subrahmanyam, Bryan D. Ackland
Design technologies for embedded multimedia systems. [Citation Graph (0, 0)][DBLP]
IFIP World Conference on IT Tools, 1996, pp:265-274 [Conf] - Meng-Lin Yu, P. A. Subrahmanyam
Hazard-Free Asynchronous Circuit Synthesis. [Citation Graph (0, 0)][DBLP]
Asynchronous Design Methodologies, 1993, pp:87-105 [Conf] - Jia-Huai You, P. A. Subrahmanyam
On the Completeness of Narrowing for E-Unification. [Citation Graph (0, 0)][DBLP]
KBCS, 1989, pp:296-305 [Conf] - P. A. Subrahmanyam
What's in a Timing Discipline? Considerations in the Specification and Synthesis of Systems with Interacting Asynchronous and Synchronous Components. [Citation Graph (0, 0)][DBLP]
Hardware Specification, Verification and Synthesis, 1989, pp:202-223 [Conf] - P. A. Subrahmanyam, Jia-Huai You
Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs. [Citation Graph (0, 0)][DBLP]
POPL, 1984, pp:228-234 [Conf] - Jia-Huai You, P. A. Subrahmanyam
Equational Logic Programming: An Extension to Equational Programming. [Citation Graph (0, 0)][DBLP]
POPL, 1986, pp:209-218 [Conf] - P. A. Subrahmanyam, R. Gupta, B. S. Rao
T2: HW-SW Codesign. [Citation Graph (0, 0)][DBLP]
VLSI Design, 1997, pp:2-0 [Conf] - John D. Gabbe, P. A. Subrahmanyam
An object-based representation for the evolution of VLSI designs. [Citation Graph (0, 0)][DBLP]
AI in Engineering, 1987, v:2, n:4, pp:204-223 [Journal] - P. A. Subrahmanyam
Synapse: An Expert System for VLSI Design. [Citation Graph (0, 0)][DBLP]
IEEE Computer, 1986, v:19, n:7, pp:78-89 [Journal] - Patrick Lysaght, P. A. Subrahmanyam
Guest Editors' Introduction: Advances in Configurable Computing. [Citation Graph (0, 0)][DBLP]
IEEE Design & Test of Computers, 2005, v:22, n:2, pp:85-89 [Journal] - P. A. Subrahmanyam, K. J. Singh, Guy A. Story, William Schell
Quality Assurance in Scripting. [Citation Graph (0, 0)][DBLP]
IEEE MultiMedia, 1995, v:2, n:2, pp:50-59 [Journal] - P. A. Subrahmanyam, Jia-Huai You
On Embedding Functions in Logic. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1984, v:19, n:1, pp:41-46 [Journal] - S. Purushothaman, P. A. Subrahmanyam
Mechanical Certification of Systolic Algorithms. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 1989, v:5, n:1, pp:67-91 [Journal] - Jia-Huai You, P. A. Subrahmanyam
A Class of Confluent Term Rewriting Systems and Unification. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 1986, v:2, n:4, pp:391-418 [Journal] - S. Purushothaman, P. A. Subrahmanyam
Reasoning about Systolic Algorithms. [Citation Graph (0, 0)][DBLP]
J. Parallel Distrib. Comput., 1988, v:5, n:6, pp:669-699 [Journal] - Asawaree Kalavade, P. A. Subrahmanyam
Hardware/software partitioning for multifunction systems. [Citation Graph (0, 0)][DBLP]
IEEE Trans. on CAD of Integrated Circuits and Systems, 1998, v:17, n:9, pp:819-837 [Journal] - Timothy Kam, P. A. Subrahmanyam
Comparing layouts with HDL models: a formal verification technique. [Citation Graph (0, 0)][DBLP]
IEEE Trans. on CAD of Integrated Circuits and Systems, 1995, v:14, n:4, pp:503-509 [Journal] - S. Purushothaman, P. A. Subrahmanyam
Reasoning About Probabilistic Behavior in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1987, v:13, n:6, pp:740-745 [Journal] - P. A. Subrahmanyam
The ``Software Engineering'' of Expert Systems: Is Prolog Appropriate? [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1985, v:11, n:11, pp:1391-1400 [Journal]
Search in 0.003secs, Finished in 0.302secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002