P. A. Subrahmanyam
According to our database1,
P. A. Subrahmanyam
authored at least 38 papers
between 1978 and 2005.
Collaborative distances:
Collaborative distances:
Timeline
1980
1985
1990
1995
2000
2005
0
1
2
3
4
5
6
7
1
1
1
2
1
1
2
3
2
1
2
2
1
1
3
3
4
1
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2005
IEEE Des. Test Comput., 2005
1998
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998
1997
Proceedings of the 10th International Conference on VLSI Design (VLSI Design 1997), 1997
Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997
1996
Design technologies for embedded multimedia systems.
Proceedings of the Advanced IT Tools, 1996
1995
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995
Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995
1993
Hazard-Free Asynchronous Circuit Synthesis.
Proceedings of the Asynchronous Design Methodologies, Proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March, 1993
Specification and Synthesis of Mixed-Mode Systems: Experiments in a VHDL Environment.
Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993
Proceedings of the Correct Hardware Design and Verification Methods, 1993
1992
A Verification Guide for the Perplexed Designer: Matching Verification Techniques and Design Tasks.
Proceedings of the Fifth International Conference on VLSI Design, 1992
State machine abstraction from circuit layouts using BDD's: applications in verification and synthesis.
Proceedings of the conference on European design automation, 1992
Proceedings of the 29th Design Automation Conference, 1992
1989
What's in a Timing Discipline? Considerations in the Specification and Synthesis of Systems with Interacting Asynchronous and Synchronous Components.
Proceedings of the Hardware Specification, 1989
Proceedings of the Knowledge Based Computer Systems, 1989
Automated synthesis of systems with interacting asynchronous (self-timed) and synchronous components.
Proceedings of the Computer Design: VLSI in Computers and Processors, 1989
Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989
1988
1987
IEEE Trans. Software Eng., 1987
Artif. Intell. Eng., 1987
Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28, 1987
1986
IEEE Computer Graphics and Applications, 1986
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986
Proceedings of the Automata, Languages and Programming, 13th International Colloquium, 1986
FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming.
Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986
1985
IEEE Trans. Software Eng., 1985
Integr., 1985
1984
Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming.
Proceedings of the 1984 International Symposium on Logic Programming, 1984
Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs.
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984
1981
1980
Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980
1978
Review of "Linguistic Structures Processing" by A. Zampolli. North Holland Publishing Company 1977.
SIGACT News, 1978