The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

P. A. Subrahmanyam: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. P. A. Subrahmanyam
    A Basis for a Theory of Program Synthesis. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:74-76 [Conf]
  3. P. A. Subrahmanyam
    Towards Verifying Large(r) Systems: A Strategy and an Experiment. [Citation Graph (0, 0)][DBLP]
    CHARME, 1993, pp:135-154 [Conf]
  4. John D. Gabbe, P. A. Subrahmanyam
    A Note on Clustering Modules for Floorplanning. [Citation Graph (0, 0)][DBLP]
    DAC, 1989, pp:594-597 [Conf]
  5. 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]
  6. P. A. Subrahmanyam
    LCS - A Leaf Cell Synthesizer Employing Formal Deduction Techniques. [Citation Graph (0, 0)][DBLP]
    DAC, 1987, pp:459-465 [Conf]
  7. P. A. Subrahmanyam
    Nondeterminism in Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ICALP, 1981, pp:148-164 [Conf]
  8. 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]
  9. Asawaree Kalavade, P. A. Subrahmanyam
    Hardware/software partitioning for multi-function systems. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1997, pp:516-521 [Conf]
  10. K. J. Singh, P. A. Subrahmanyam
    Extracting RTL models from transistor netlists. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1995, pp:11-17 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. Meng-Lin Yu, P. A. Subrahmanyam
    Hazard-Free Asynchronous Circuit Synthesis. [Citation Graph (0, 0)][DBLP]
    Asynchronous Design Methodologies, 1993, pp:87-105 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. P. A. Subrahmanyam, R. Gupta, B. S. Rao
    T2: HW-SW Codesign. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 1997, pp:2-0 [Conf]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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.028secs, Finished in 0.029secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002