Остановите войну!
for scientists:
default search action
dblp keys for P. Madhusudan
- > Home > Persons > 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint