K. Narayan Kumar | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Jean Goubault-Larrecq
9 publications
Raghavan Komondoor
5 publications
Philippe Schnoebelen
2 publications
Snigdha Athaiya
1 publication
Simon Halfon
1 publication
Prateek Karandikar
1 publication

research

∙ 01/25/2021

Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains

Asynchronous message-passing systems are employed frequently to implemen...

0 Snigdha Athaiya, et al. ∙

research

∙ 04/24/2019

The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering

Elegant and general algorithms for handling upwards-closed and downwards...

0 Jean Goubault-Larrecq, et al. ∙

Success!

An error occurred