dblp.uni-trier.dewww.uni-trier.de

P. A. Subrahmanyam Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
32EEPatrick Lysaght, P. A. Subrahmanyam: Guest Editors' Introduction: Advances in Configurable Computing. IEEE Design & Test of Computers 22(2): 85-89 (2005)
1998
31EEAsawaree Kalavade, P. A. Subrahmanyam: Hardware/software partitioning for multifunction systems. IEEE Trans. on CAD of Integrated Circuits and Systems 17(9): 819-837 (1998)
1997
30EEAsawaree Kalavade, P. A. Subrahmanyam: Hardware/software partitioning for multi-function systems. ICCAD 1997: 516-521
29EEP. A. Subrahmanyam, R. Gupta, B. S. Rao: T2: HW-SW Codesign. VLSI Design 1997: 2-
1996
28 P. A. Subrahmanyam, Bryan D. Ackland: Design technologies for embedded multimedia systems. IFIP World Conference on IT Tools 1996: 265-274
1995
27EEK. J. Singh, P. A. Subrahmanyam: Extracting RTL models from transistor netlists. ICCAD 1995: 11-17
26EEP. A. Subrahmanyam, K. J. Singh, Guy A. Story, William Schell: Quality Assurance in Scripting. IEEE MultiMedia 2(2): 50-59 (1995)
25EETimothy Kam, P. A. Subrahmanyam: Comparing layouts with HDL models: a formal verification technique. IEEE Trans. on CAD of Integrated Circuits and Systems 14(4): 503-509 (1995)
1993
24 Meng-Lin Yu, P. A. Subrahmanyam: Hazard-Free Asynchronous Circuit Synthesis. Asynchronous Design Methodologies 1993: 87-105
23 P. A. Subrahmanyam: Towards Verifying Large(r) Systems: A Strategy and an Experiment. CHARME 1993: 135-154
22 P. A. Subrahmanyam, Josep M. Espinalt, Meng-Lin Yu: Specification and Synthesis of Mixed-Mode Systems: Experiments in a VHDL Environment. ICCD 1993: 235-241
1992
21EEMeng-Lin Yu, P. A. Subrahmanyam: A Path-Oriented Approach for Reducing Hazards in Asynchronous Designs. DAC 1992: 239-244
20 Timothy Kam, P. A. Subrahmanyam: Comparing Layouts with HDL Models: A Formal Verification Technique. ICCD 1992: 588-591
1989
19EEJohn D. Gabbe, P. A. Subrahmanyam: A Note on Clustering Modules for Floorplanning. DAC 1989: 594-597
18EEP. A. Subrahmanyam: What's in a Timing Discipline? Considerations in the Specification and Synthesis of Systems with Interacting Asynchronous and Synchronous Components. Hardware Specification, Verification and Synthesis 1989: 202-223
17EEJia-Huai You, P. A. Subrahmanyam: On the Completeness of Narrowing for E-Unification. KBCS 1989: 296-305
16 S. Purushothaman, P. A. Subrahmanyam: Mechanical Certification of Systolic Algorithms. J. Autom. Reasoning 5(1): 67-91 (1989)
1988
15 S. Purushothaman, P. A. Subrahmanyam: Reasoning about Systolic Algorithms. J. Parallel Distrib. Comput. 5(6): 669-699 (1988)
1987
14EEP. A. Subrahmanyam: LCS - A Leaf Cell Synthesizer Employing Formal Deduction Techniques. DAC 1987: 459-465
13EEJohn D. Gabbe, P. A. Subrahmanyam: An object-based representation for the evolution of VLSI designs. AI in Engineering 2(4): 204-223 (1987)
12 S. Purushothaman, P. A. Subrahmanyam: Reasoning About Probabilistic Behavior in Concurrent Systems. IEEE Trans. Software Eng. 13(6): 740-745 (1987)
1986
11EEJia-Huai You, P. A. Subrahmanyam: E-Unification Algorithms for a Class of Confluent Term Rewriting Systems. ICALP 1986: 454-463
10 Jia-Huai You, P. A. Subrahmanyam: Equational Logic Programming: An Extension to Equational Programming. POPL 1986: 209-218
9 P. A. Subrahmanyam, Jia-Huai You: FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming. Logic Programming: Functions, Relations, and Equations 1986: 157-198
8 P. A. Subrahmanyam: Synapse: An Expert System for VLSI Design. IEEE Computer 19(7): 78-89 (1986)
7 Jia-Huai You, P. A. Subrahmanyam: A Class of Confluent Term Rewriting Systems and Unification. J. Autom. Reasoning 2(4): 391-418 (1986)
1985
6 P. A. Subrahmanyam: The ``Software Engineering'' of Expert Systems: Is Prolog Appropriate? IEEE Trans. Software Eng. 11(11): 1391-1400 (1985)
1984
5 P. A. Subrahmanyam, Jia-Huai You: Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs. POPL 1984: 228-234
4 P. A. Subrahmanyam, Jia-Huai You: Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming. SLP 1984: 144-153
3 P. A. Subrahmanyam, Jia-Huai You: On Embedding Functions in Logic. Inf. Process. Lett. 19(1): 41-46 (1984)
1981
2EEP. A. Subrahmanyam: Nondeterminism in Abstract Data Types. ICALP 1981: 148-164
1980
1 P. A. Subrahmanyam: A Basis for a Theory of Program Synthesis. AAAI 1980: 74-76

Coauthor Index

1Bryan D. Ackland [28]
2Josep M. Espinalt [22]
3John D. Gabbe [13] [19]
4R. Gupta [29]
5S. Purushothaman Iyer (S. Purushothaman) [12] [15] [16]
6Asawaree Kalavade [30] [31]
7Timothy Kam [20] [25]
8Patrick Lysaght [32]
9B. S. Rao [29]
10William Schell [26]
11K. J. Singh [26] [27]
12Guy A. Story [26]
13Jia-Huai You [3] [4] [5] [7] [9] [10] [11] [17]
14Meng-Lin Yu [21] [22] [24]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)