Concepedia

Tilak Agerwala

TA

20

Publications

846

Citations

16

H-Index

1973

Active since

Affiliations

IBM (United States)(Current)

Pace University

The University of Texas at Austin

IBM Research - Thomas J. Watson Research Center

Johns Hopkins University

Tilak Agerwala is an author at IBM (United States) specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringSystems EngineeringParallel ComputingComputer ArchitectureSystem SoftwareParallel ProgrammingFormal VerificationVerification

Publications per year

1973–2021

20

Publications

20

SP2 system architecture

Tilak Agerwala, J. L. Martín, Jamshed H. Mirza et al. · IBM Systems Journal · 1999 · 128 citations

Engineering, Scalable Parallel Systems, Computer Architecture +22

Comments on capabilities, limitations and “correctness” of Petri nets

Tilak Agerwala, Mike Flynn · ACM SIGARCH Computer Architecture News · 1973 · 95 citations

Petri Net, Engineering, Automated Reasoning +13

Communication Issues in the Design and Analysis of Parallel Algorithms

B. Lint, Tilak Agerwala · IEEE Transactions on Software Engineering · 1981 · 80 citations

Cluster Computing, Engineering, Multiple Processor Systems +18

A Synthesis Rule for Concurrent Systems

Tilak Agerwala, Yong-Chai Choed-Amphai · Design Automation Conference · 1978 · 80 citations

Synthesis Rule, Engineering, Control Structure +15

A Synthesis Rule for Concurrent Systems

Tilak Agerwala, Yong-Chai Choed-Amphai · 1978 · 66 citations

Synthesis Rule, Engineering, Control Structure +15

Rows per page

1–5 of 20