( en | de | ru )

 

Disambiguation of "Kumar, K. Narayan"

Author of the publication

copydeleteadd this publication to your clipboard
Acceleration in Multi-PushDown Systems.

, , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 698-714. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kamlesh Kumar

Surendra Kumar

Podiyanachari Santhosh Kumar

Pardeep Kumar

Aditya Kumar

 

Other publications of authors with the same name

Adjacent Ordered Multi-Pushdown Systems., , and . Int. J. Found. Comput. Sci., 25 (8): 1083-1096 (2014)The Theory of Message Sequence Charts.. Modern Applications of Automata Theory, volume 2 of IISc Research Monographs Series, World Scientific, (2012)Keeping Track of the Latest Gossip in Message-Passing Systems., , and . STRICT, page 249-263. Springer, (1995)Acceleration in Multi-PushDown Systems., , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 698-714. Springer, (2016)Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains., , and . ESOP, volume 12648 of Lecture Notes in Computer Science, page 30-58. Springer, (2021)Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models., , and . ICLP, volume 2237 of Lecture Notes in Computer Science, page 227-241. Springer, (2001)Verifying Reachability for TSO Programs with Dynamic Thread Creation., , , , and . NETYS, volume 13464 of Lecture Notes in Computer Science, page 283-300. Springer, (2022)A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs., , , and . PPDP, volume 1702 of Lecture Notes in Computer Science, page 396-413. Springer, (1999)Checking Coverage for Infinite Collections of Timed Scenarios., , and . CONCUR, volume 4703 of Lecture Notes in Computer Science, page 181-196. Springer, (2007)ICSP and Its Relationship with ACSP and CSP., and . FSTTCS, volume 761 of Lecture Notes in Computer Science, page 358-372. Springer, (1993)