default search action
P. A. Subrahmanyam
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2005
- [j16]Patrick Lysaght, P. A. Subrahmanyam:
Guest Editors' Introduction: Advances in Configurable Computing. IEEE Des. Test Comput. 22(2): 85-89 (2005)
1990 – 1999
- 1998
- [j15]Asawaree Kalavade, P. A. Subrahmanyam:
Hardware/software partitioning for multifunction systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(9): 819-837 (1998) - 1997
- [c22]Asawaree Kalavade, P. A. Subrahmanyam:
Hardware/software partitioning for multi-function systems. ICCAD 1997: 516-521 - [c21]P. A. Subrahmanyam, R. Gupta, B. S. Rao:
T2: HW-SW Codesign. VLSI Design 1997: 2 - 1996
- [c20]P. A. Subrahmanyam, Bryan D. Ackland:
Design technologies for embedded multimedia systems. IFIP World Conference on IT Tools 1996: 265-274 - 1995
- [j14]P. A. Subrahmanyam, K. J. Singh, Guy A. Story, William M. Schell:
Quality Assurance in Scripting. IEEE Multim. 2(2): 50-59 (1995) - [j13]Timothy Kam, P. A. Subrahmanyam:
Comparing layouts with HDL models: a formal verification technique. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(4): 503-509 (1995) - [c19]K. J. Singh, P. A. Subrahmanyam:
Extracting RTL models from transistor netlists. ICCAD 1995: 11-17 - 1993
- [c18]P. A. Subrahmanyam:
Towards Verifying Large(r) Systems: A Strategy and an Experiment. CHARME 1993: 135-154 - [c17]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 - [c16]Meng-Lin Yu, P. A. Subrahmanyam:
Hazard-Free Asynchronous Circuit Synthesis. Asynchronous Design Methodologies 1993: 87-105 - 1992
- [c15]Meng-Lin Yu, P. A. Subrahmanyam:
A Path-Oriented Approach for Reducing Hazards in Asynchronous Designs. DAC 1992: 239-244 - [c14]Timothy Kam, P. A. Subrahmanyam:
State machine abstraction from circuit layouts using BDD's: applications in verification and synthesis. EURO-DAC 1992: 92-97 - [c13]Timothy Kam, P. A. Subrahmanyam:
Comparing Layouts with HDL Models: A Formal Verification Technique. ICCD 1992: 588-591 - [c12]P. A. Subrahmanyam:
A Verification Guide for the Perplexed Designer: Matching Verification Techniques and Design Tasks. VLSI Design 1992: 341-342
1980 – 1989
- 1989
- [j12]S. Purushothaman, P. A. Subrahmanyam:
Mechanical Certification of Systolic Algorithms. J. Autom. Reason. 5(1): 67-91 (1989) - [c11]John D. Gabbe, P. A. Subrahmanyam:
A Note on Clustering Modules for Floorplanning. DAC 1989: 594-597 - [c10]P. A. Subrahmanyam:
Automated synthesis of systems with interacting asynchronous (self-timed) and synchronous components. ICCD 1989: 334-337 - [c9]Jia-Huai You, P. A. Subrahmanyam:
On the Completeness of Narrowing for E-Unification. KBCS 1989: 296-305 - [c8]P. 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 - 1988
- [j11]S. Purushothaman, P. A. Subrahmanyam:
Reasoning about Systolic Algorithms. J. Parallel Distributed Comput. 5(6): 669-699 (1988) - 1987
- [j10]John D. Gabbe, P. A. Subrahmanyam:
An object-based representation for the evolution of VLSI designs. Artif. Intell. Eng. 2(4): 204-223 (1987) - [j9]S. Purushothaman, P. A. Subrahmanyam:
Reasoning About Probabilistic Behavior in Concurrent Systems. IEEE Trans. Software Eng. 13(6): 740-745 (1987) - [c7]P. A. Subrahmanyam:
LCS - A Leaf Cell Synthesizer Employing Formal Deduction Techniques. DAC 1987: 459-465 - 1986
- [j8]L. K. Putnam, P. A. Subrahmanyam:
Boolean Operations on n-Dimensional Objects. IEEE Computer Graphics and Applications 6(6): 43-51 (1986) - [j7]P. A. Subrahmanyam:
Synapse: An Expert System for VLSI Design. Computer 19(7): 78-89 (1986) - [j6]Jia-Huai You, P. A. Subrahmanyam:
A Class of Confluent Term Rewriting Systems and Unification. J. Autom. Reason. 2(4): 391-418 (1986) - [c6]Jia-Huai You, P. A. Subrahmanyam:
E-Unification Algorithms for a Class of Confluent Term Rewriting Systems. ICALP 1986: 454-463 - [c5]Jia-Huai You, P. A. Subrahmanyam:
Equational Logic Programming: An Extension to Equational Programming. POPL 1986: 209-218 - [p1]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 - 1985
- [j5]Sanjay V. Rajopadhye, P. A. Subrahmanyam:
Formal semantics for a symbolic IC design technique: Examples and applications. Integr. 3(1): 13-32 (1985) - [j4]P. A. Subrahmanyam:
The "Software Engineering'' of Expert Systems: Is Prolog Appropriate? IEEE Trans. Software Eng. 11(11): 1391-1400 (1985) - 1984
- [j3]P. A. Subrahmanyam, Jia-Huai You:
On Embedding Functions in Logic. Inf. Process. Lett. 19(1): 41-46 (1984) - [c4]P. A. Subrahmanyam, Jia-Huai You:
Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs. POPL 1984: 228-234 - [c3]P. A. Subrahmanyam, Jia-Huai You:
Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming. SLP 1984: 144-153 - 1981
- [c2]P. A. Subrahmanyam:
Nondeterminism in Abstract Data Types. ICALP 1981: 148-164 - 1980
- [c1]P. A. Subrahmanyam:
A Basis for a Theory of Program Synthesis. AAAI 1980: 74-76
1970 – 1979
- 1978
- [j2]P. A. Subrahmanyam:
Review of "Linguistic Structures Processing" by A. Zampolli. North Holland Publishing Company 1977. SIGACT News 10(2): 39-41 (1978) - [j1]P. A. Subrahmanyam:
On a finite axiomatization of the data type L. ACM SIGPLAN Notices 13(4): 80-84 (1978)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: