dblp keys for P. Madhusudan

P. Madhusudan
Parthasarathy Madhusudan

Keys

# of data records = 135

homepages/m/PMadhusudan journals/pacmpl/KrogmeierM23 journals/pacmpl/MuraliPJM23 journals/pacmpl/AstorgaHMM23 journals/toplas/MuraliPLM23 journals/corr/abs-2302-05741 journals/pacmpl/KrogmeierLMM22 journals/pacmpl/MuraliPBLM22 journals/pacmpl/KrogmeierM22 conf/ijcai/MuraliSKM22 journals/pacmpl/AstorgaSDWMX21 journals/corr/abs-2111-03534 journals/jar/NeiderMSGP20 journals/pacmpl/MathurMKMV20 conf/cav/Krogmeier0MM020 conf/esop/MuraliPLM20 conf/tacas/MathurM020 journals/corr/abs-2009-10207 journals/pacmpl/MathurMV19 conf/fmcad/KalimPMMGM19 conf/fsttcs/TorreM19 conf/pldi/AstorgaMSWX19 conf/sas/NeiderS0M19 journals/corr/abs-1901-09089 journals/corr/abs-1907-00298 journals/corr/abs-1907-05878 journals/corr/abs-1910-09744 journals/corr/abs-1910-10889 journals/pacmpl/EzudheenND0M18 journals/pacmpl/LodingMP18 journals/tocl/NeiderSM18 conf/csl/MadhusudanMS018 conf/mfcs/MadhusudanNRS18 conf/tacas/Neider0MS018 journals/corr/abs-1811-00192 conf/icst/Gyori0PM17 journals/corr/abs-1710-04247 journals/corr/abs-1712-05513 journals/corr/abs-1712-05581 journals/corr/abs-1712-09418 journals/corr/abs-1712-10056 conf/popl/0001NMR16 conf/tacas/LodingMN16 conf/tacas/NeiderSM16 journals/corr/CernyKM16 journals/fmsd/0001LMN15 conf/cav/Saha0M15 conf/sosr/SahaPM15 series/natosec/AlurBDF0JKMMRSSSSTU15 journals/corr/LodingMN15 journals/jcs/UzunAVSFPM14 conf/cav/0001LMN14 conf/cav/FerraraMNP14 conf/lats/CrossABCDKKMPRSST14 conf/oopsla/Desai0M14 conf/pldi/PekM14 conf/pldi/PekQM14 journals/corr/BonnetCMV13 conf/asplos/MaiPXKM13 conf/cav/0001LMN13 conf/pldi/Qiu0SM13 conf/sas/0001MP13 conf/tacas/FerraraMP13 journals/corr/abs-1302-2273 journals/corr/abs-1304-0660 conf/csfw/FerraraMP12 conf/fsttcs/Madhusudan12 conf/popl/MadhusudanQS12 conf/sacmat/UzunASVPFM12 conf/sigsoft/FarzanMRS12 conf/tacas/ChadhaMV12 journals/corr/abs-1207-4271 conf/cav/2012 journals/cacm/BandhakaviTPKMW11 journals/toplas/AlurCM11 conf/csl/Madhusudan11 conf/popl/MadhusudanP11 conf/popl/MadhusudanPQ11 conf/ppopp/KarmaniMM11 conf/sas/MadhusudanQ11 conf/tacas/GargM11 journals/tissec/BishtMV10 conf/cav/TorreMP10 conf/latin/TorreMP10 conf/sigsoft/SorrentinoFM10 conf/uss/BandhakaviKMW10 journals/jacm/AlurM09 conf/cav/FarzanMS09 conf/cav/TorreMP09 conf/mfcs/MadhusudanV09 conf/pldi/TorreMP09 conf/tacas/FarzanM09 journals/fmsd/NamMA08 conf/cav/FarzanM08 conf/ccs/OlsonGM08 conf/csl/TorreMP08 conf/tacas/TorreMP08 conf/ccs/BandhakaviBMV07 conf/lics/TorreMP07 conf/tacas/FarzanM07 conf/vmcai/Madhusudan07 conf/www/KumarMV07 journals/tcs/AlurTM06 conf/cav/FarzanM06 conf/cav/AlurCM06 conf/concur/KumarMV06 conf/dlt/AlurM06 conf/popl/AlurCM06 journals/sttt/AlurMN05 conf/cav/AlurMN05 conf/fsttcs/MadhusudanTY05 conf/hybrid/AlurTM05 conf/icalp/AlurKMV05 conf/popl/AlurCMN05 conf/tacas/AlurCEM05 conf/fsttcs/LodingMS04 conf/icalp/AlurBM04 conf/sfm/AlurM04 conf/stoc/AlurM04 conf/tacas/AlurEM04 conf/cav/AlurTM03 conf/cav/BouyerDMP03 conf/concur/AlurTM03 conf/lics/Madhusudan03 conf/tacas/AlurTM03 journals/entcs/MadhusudanNA03 journals/tcs/MadhusudanT02 conf/concur/MadhusudanT02 conf/fsttcs/LeuckerMM02 conf/stacs/DSouzaM02 conf/fsttcs/MadhusudanM01 conf/icalp/MadhusudanT01 conf/icalp/Madhusudan01 conf/concur/KupfermanMTV00 conf/concur/MadhusudanT98

a service of  Schloss Dagstuhl - Leibniz Center for Informatics