https://dblp.org/rdf/schema#authorOf
|
https://dblp.org/rec/conf/icml/OrlanskiXGHHMAS23 +
, https://dblp.org/rec/journals/corr/abs-2302-01973 +
, https://dblp.org/rec/journals/ijhcitp/PabrejaSSAKM22 +
, https://dblp.org/rec/journals/nn/VasicPWNSK22 +
, https://dblp.org/rec/journals/toplas/HuSD22 +
, https://dblp.org/rec/journals/toplas/ShiBS22 +
, https://dblp.org/rec/conf/acl/SinghG22 +
, https://dblp.org/rec/conf/icmla/HssayeniASPLBCK22 +
, https://dblp.org/rec/journals/corr/abs-2211-01999 +
, https://dblp.org/rec/journals/corr/abs-2211-02005 +
, https://dblp.org/rec/journals/eait/SinghTKRCP21 +
, https://dblp.org/rec/journals/fmsd/FismanSS21 +
, https://dblp.org/rec/journals/ftpl/ChaudhuriEPSSY21 +
, https://dblp.org/rec/journals/neco/SinghP21 +
, https://dblp.org/rec/conf/icip/Singh21 +
, https://dblp.org/rec/conf/iclr/OdenaSBSSD21 +
, https://dblp.org/rec/conf/iclr/SahooV0S021 +
, https://dblp.org/rec/conf/icml/ChenMSSDLZ21 +
, https://dblp.org/rec/conf/icml/HongDSSZ21 +
, https://dblp.org/rec/conf/iecon/SinghSAGP21 +
, https://dblp.org/rec/conf/nips/VasudevanJBSSHS21 +
, https://dblp.org/rec/journals/corr/abs-2103-01374 +
, https://dblp.org/rec/journals/corr/abs-2105-09253 +
, https://dblp.org/rec/journals/corr/abs-2106-15339 +
, https://dblp.org/rec/journals/corr/abs-2108-06670 +
, https://dblp.org/rec/journals/corr/abs-2109-10888 +
, https://dblp.org/rec/journals/aisy/SinghRASKSJTLL20 +
, https://dblp.org/rec/journals/aisy/SinghRASKSJTLL20a +
, https://dblp.org/rec/journals/i-jep/ReddySKC20 +
, https://dblp.org/rec/journals/pacmpl/AnSMS20 +
, https://dblp.org/rec/conf/esop/PanHSD20 +
, https://dblp.org/rec/conf/icassp/SinghYP20 +
, https://dblp.org/rec/conf/iclr/HellendoornSSMB20 +
, https://dblp.org/rec/conf/icml/HuangSBSAN20 +
, https://dblp.org/rec/conf/istas/ReddySKC20 +
, https://dblp.org/rec/conf/nips/DaiSDSS20 +
, https://dblp.org/rec/conf/uai/SinghP20 +
, https://dblp.org/rec/journals/corr/abs-2001-11495 +
, https://dblp.org/rec/journals/corr/abs-2003-04227 +
, https://dblp.org/rec/journals/corr/abs-2003-09040 +
, https://dblp.org/rec/journals/corr/abs-2006-10924 +
, https://dblp.org/rec/journals/corr/abs-2006-16322 +
, https://dblp.org/rec/journals/corr/abs-2007-14381 +
, https://dblp.org/rec/journals/corr/abs-2009-08525 +
, https://dblp.org/rec/journals/corr/abs-2011-05363 +
, https://dblp.org/rec/journals/corr/abs-2012-00377 +
, https://dblp.org/rec/conf/aaai/KumarGSLKGS19 +
, https://dblp.org/rec/conf/iclr/ShinKGBTSS19 +
, https://dblp.org/rec/conf/iclr/VasicKMBS19 +
, https://dblp.org/rec/conf/nips/DaiLWSHK19 +
, https://dblp.org/rec/conf/sas/HuSSD19 +
, https://dblp.org/rec/journals/corr/abs-1901-07714 +
, https://dblp.org/rec/journals/corr/abs-1904-01720 +
, https://dblp.org/rec/journals/corr/abs-1904-07146 +
, https://dblp.org/rec/journals/corr/abs-1906-06717 +
, https://dblp.org/rec/journals/corr/abs-1910-12980 +
, https://dblp.org/rec/journals/corr/abs-1912-12345 +
, https://dblp.org/rec/journals/cacm/AlurSFS18 +
, https://dblp.org/rec/journals/pacmpl/InalaS18 +
, https://dblp.org/rec/journals/pacmpl/WangDS18 +
, https://dblp.org/rec/conf/automotiveUI/ShahPSS18 +
, https://dblp.org/rec/conf/icassp/SinghLP18 +
, https://dblp.org/rec/conf/iclr/BunelHDSK18 +
, https://dblp.org/rec/conf/iclr/FernandezCSS18 +
, https://dblp.org/rec/conf/iclr/WangSS18 +
, https://dblp.org/rec/conf/icml/VermaMSKC18 +
, https://dblp.org/rec/conf/icse/BhatiaKS18 +
, https://dblp.org/rec/conf/ijcnn/SinghP18 +
, https://dblp.org/rec/conf/naacl/HuangWSYH18 +
, https://dblp.org/rec/conf/nips/ZhangSS18 +
, https://dblp.org/rec/conf/pldi/WangSS18 +
, https://dblp.org/rec/conf/sp/BottingerGS18 +
, https://dblp.org/rec/journals/corr/abs-1801-04589 +
, https://dblp.org/rec/journals/corr/abs-1802-07384 +
, https://dblp.org/rec/journals/corr/abs-1803-02400 +
, https://dblp.org/rec/journals/corr/abs-1803-03834 +
, https://dblp.org/rec/journals/corr/abs-1803-07522 +
, https://dblp.org/rec/journals/corr/abs-1804-02477 +
, https://dblp.org/rec/journals/corr/abs-1805-04276 +
, https://dblp.org/rec/journals/corr/abs-1807-00403 +
, https://dblp.org/rec/journals/corr/abs-1807-03100 +
, https://dblp.org/rec/journals/ftpl/GulwaniPS17 +
, https://dblp.org/rec/journals/pacmpl/WangDS17 +
, https://dblp.org/rec/conf/icdar/VenugopalSSSS17 +
, https://dblp.org/rec/conf/iclr/ParisottoMS0ZK17 +
, https://dblp.org/rec/conf/icml/DevlinUBSMK17 +
, https://dblp.org/rec/conf/kbse/GodefroidPS17 +
, https://dblp.org/rec/conf/lats/WangLRPS17 +
, https://dblp.org/rec/conf/nips/DevlinBSHK17 +
, https://dblp.org/rec/conf/sigsoft/DAntoniSV17 +
, https://dblp.org/rec/conf/snapl/SinghK17 +
, https://dblp.org/rec/journals/corr/abs-1711-11438 +
, https://dblp.org/rec/journals/corr/GodefroidPS17 +
, https://dblp.org/rec/journals/corr/DevlinUBSMK17 +
, https://dblp.org/rec/journals/corr/BhupatirajuSMK17 +
, https://dblp.org/rec/journals/corr/WangDS17 +
, https://dblp.org/rec/journals/corr/abs-1710-04157 +
, https://dblp.org/rec/journals/corr/abs-1710-07740 +
, https://dblp.org/rec/journals/corr/abs-1710-11054 +
, https://dblp.org/rec/journals/corr/abs-1711-04596 +
, https://dblp.org/rec/journals/corr/abs-1711-05787 +
, https://dblp.org/rec/journals/corr/abs-1711-07148 +
, https://dblp.org/rec/journals/corr/abs-1711-07163 +
, https://dblp.org/rec/journals/dagstuhl-reports/SchmidMS17 +
, https://dblp.org/rec/journals/pvldb/Singh16 +
, https://dblp.org/rec/conf/cav/DAntoniSS16 +
, https://dblp.org/rec/conf/chi/ChilanaSG16 +
, https://dblp.org/rec/conf/oopsla/WangGS16 +
, https://dblp.org/rec/conf/popl/SinghG16 +
, https://dblp.org/rec/conf/wocn/SinghAQ16 +
, https://dblp.org/rec/journals/corr/AlurFSS16a +
, https://dblp.org/rec/journals/corr/BhatiaS16 +
, https://dblp.org/rec/journals/corr/GauntBSKKTT16 +
, https://dblp.org/rec/journals/corr/DAntoniSV16 +
, https://dblp.org/rec/journals/corr/ParisottoMSLZK16 +
, https://dblp.org/rec/journals/corr/GauntBSKKTT16a +
, https://dblp.org/rec/journals/tochi/GlassmanSSGM15 +
, https://dblp.org/rec/conf/cav/SinghG15 +
, https://dblp.org/rec/conf/uist/MayerSGLMPSZG15 +
, https://dblp.org/rec/journals/corr/AlurFSS16 +
, https://dblp.org/rec/series/natosec/AlurBDF0JKMMRSSSSTU15 +
, https://dblp.org/rec/phd/ndltd/Singh14 +
, https://dblp.org/rec/conf/lats/GlassmanSM14 +
, https://dblp.org/rec/conf/uist/GlassmanSSGM14 +
, https://dblp.org/rec/conf/vmcai/SinghSXKS14 +
, https://dblp.org/rec/conf/fmcad/AlurBJMRSSSTU13 +
, https://dblp.org/rec/conf/pldi/SinghGS13 +
, https://dblp.org/rec/journals/cacm/GulwaniHS12 +
, https://dblp.org/rec/journals/pvldb/SinghG12 +
, https://dblp.org/rec/conf/cav/SinghG12 +
, https://dblp.org/rec/conf/cav/SinghS12 +
, https://dblp.org/rec/journals/corr/abs-1204-1751 +
, https://dblp.org/rec/journals/corr/abs-1204-6079 +
, https://dblp.org/rec/conf/sigsoft/SinghS11 +
, https://dblp.org/rec/conf/cav/SinghGP10 +
, https://dblp.org/rec/conf/icse/RaysideBSNMJ09 +
, https://dblp.org/rec/conf/spin/RybalchenkoS09 +
|
https://dblp.org/rdf/schema#coCreatorWith
|
https://dblp.org/pid/191/4304 +
, https://dblp.org/pid/213/7595 +
, https://dblp.org/pid/328/5112 +
, https://dblp.org/pid/190/7111 +
, https://dblp.org/pid/306/2624 +
, https://dblp.org/pid/90/8295 +
, https://dblp.org/pid/a/RAlur +
, https://dblp.org/pid/168/9413 +
, https://dblp.org/pid/53/4094 +
, https://dblp.org/pid/311/9348 +
, https://dblp.org/pid/254/1973 +
, https://dblp.org/pid/166/1616 +
, https://dblp.org/pid/21/11275 +
, https://dblp.org/pid/236/4763 +
, https://dblp.org/pid/46/7057 +
, https://dblp.org/pid/177/9301 +
, https://dblp.org/pid/198/1043 +
, https://dblp.org/pid/200/8035 +
, https://dblp.org/pid/09/2048 +
, https://dblp.org/pid/20/1858 +
, https://dblp.org/pid/343/4816 +
, https://dblp.org/pid/122/3548 +
, https://dblp.org/pid/80/8292 +
, https://dblp.org/pid/180/5419 +
, https://dblp.org/pid/61/2164 +
, https://dblp.org/pid/15/3724 +
, https://dblp.org/pid/343/5423 +
, https://dblp.org/pid/37/6100 +
, https://dblp.org/pid/03/8495 +
, https://dblp.org/pid/99/2099 +
, https://dblp.org/pid/277/7202 +
, https://dblp.org/pid/64/2903-1 +
, https://dblp.org/pid/144/7311 +
, https://dblp.org/pid/64/11044 +
, https://dblp.org/pid/85/770 +
, https://dblp.org/pid/d/PremkumarTDevanbu +
, https://dblp.org/pid/116/0575 +
, https://dblp.org/pid/85/3688 +
, https://dblp.org/pid/172/2151 +
, https://dblp.org/pid/d/MatthewBDwyer +
, https://dblp.org/pid/e/SebastianGElbaum +
, https://dblp.org/pid/150/5951 +
, https://dblp.org/pid/217/2470 +
, https://dblp.org/pid/164/9490 +
, https://dblp.org/pid/01/3227 +
, https://dblp.org/pid/94/5088 +
, https://dblp.org/pid/258/0934 +
, https://dblp.org/pid/57/9299-1 +
, https://dblp.org/pid/185/1083 +
, https://dblp.org/pid/39/117 +
, https://dblp.org/pid/118/6231 +
, https://dblp.org/pid/20/1639 +
, https://dblp.org/pid/192/3577 +
, https://dblp.org/pid/160/9926 +
, https://dblp.org/pid/g/SumitGulwani +
, https://dblp.org/pid/52/9991 +
, https://dblp.org/pid/32/193 +
, https://dblp.org/pid/271/9077 +
, https://dblp.org/pid/245/4802 +
, https://dblp.org/pid/22/10701 +
, https://dblp.org/pid/88/5361-2 +
, https://dblp.org/pid/38/7508 +
, https://dblp.org/pid/26/7488 +
, https://dblp.org/pid/03/3923-1 +
, https://dblp.org/pid/164/5751 +
, https://dblp.org/pid/82/6933 +
, https://dblp.org/pid/188/6056 +
, https://dblp.org/pid/336/2639 +
, https://dblp.org/pid/188/3673 +
, https://dblp.org/pid/201/4822 +
, https://dblp.org/pid/233/8129 +
, https://dblp.org/pid/25/9874 +
, https://dblp.org/pid/01/8253 +
, https://dblp.org/pid/166/1342 +
, https://dblp.org/pid/261/1810 +
, https://dblp.org/pid/80/1906-1 +
, https://dblp.org/pid/03/3399 +
, https://dblp.org/pid/312/0674 +
, https://dblp.org/pid/138/2551 +
, https://dblp.org/pid/343/5104 +
, https://dblp.org/pid/61/2636 +
, https://dblp.org/pid/312/0136 +
, https://dblp.org/pid/215/3916 +
, https://dblp.org/pid/277/7411 +
, https://dblp.org/pid/328/4658 +
, https://dblp.org/pid/k/SarfrazKhurshid +
, https://dblp.org/pid/94/248 +
, https://dblp.org/pid/245/3521 +
, https://dblp.org/pid/36/4385 +
, https://dblp.org/pid/58/3743 +
, https://dblp.org/pid/139/4977 +
, https://dblp.org/pid/115/6458-4 +
, https://dblp.org/pid/298/5648 +
, https://dblp.org/pid/98/6661 +
, https://dblp.org/pid/311/8942 +
, https://dblp.org/pid/00/2651-2 +
, https://dblp.org/pid/21/2083 +
, https://dblp.org/pid/53/2189-60 +
, https://dblp.org/pid/l/LihongLi +
, https://dblp.org/pid/67/3069 +
, https://dblp.org/pid/31/5330 +
, https://dblp.org/pid/04/10853 +
, https://dblp.org/pid/97/4566 +
, https://dblp.org/pid/148/7873 +
, https://dblp.org/pid/m/PMadhusudan +
, https://dblp.org/pid/328/4093 +
, https://dblp.org/pid/129/1580 +
, https://dblp.org/pid/m/PetrosManiatis +
, https://dblp.org/pid/88/1390 +
, https://dblp.org/pid/21/3908 +
, https://dblp.org/pid/33/8166 +
, https://dblp.org/pid/74/1958 +
, https://dblp.org/pid/m/RobMiller +
, https://dblp.org/pid/00/4734 +
, https://dblp.org/pid/28/8759 +
, https://dblp.org/pid/151/7453 +
, https://dblp.org/pid/m/StephenMuggleton +
, https://dblp.org/pid/65/7449 +
, https://dblp.org/pid/206/1624 +
, https://dblp.org/pid/92/6794 +
, https://dblp.org/pid/39/5361 +
, https://dblp.org/pid/37/7137 +
, https://dblp.org/pid/175/1583 +
, https://dblp.org/pid/294/6286 +
, https://dblp.org/pid/164/2450 +
, https://dblp.org/pid/180/8207 +
, https://dblp.org/pid/94/1243 +
, https://dblp.org/pid/198/7434 +
, https://dblp.org/pid/166/6579 +
, https://dblp.org/pid/03/4368 +
, https://dblp.org/pid/293/6646 +
, https://dblp.org/pid/343/5738 +
, https://dblp.org/pid/130/9934 +
, https://dblp.org/pid/226/4109 +
, https://dblp.org/pid/179/6306 +
, https://dblp.org/pid/297/7265 +
, https://dblp.org/pid/151/3318 +
, https://dblp.org/pid/02/320 +
, https://dblp.org/pid/p/JoseCPrincipe +
, https://dblp.org/pid/16/9688 +
, https://dblp.org/pid/03/10548 +
, https://dblp.org/pid/209/4858 +
, https://dblp.org/pid/74/1969 +
, https://dblp.org/pid/65/5877 +
, https://dblp.org/pid/277/7370 +
, https://dblp.org/pid/198/7424 +
, https://dblp.org/pid/r/PatrickRiley +
, https://dblp.org/pid/311/9691 +
, https://dblp.org/pid/r/AndreyRybalchenko +
, https://dblp.org/pid/193/9414 +
, https://dblp.org/pid/165/2723 +
, https://dblp.org/pid/268/6867 +
, https://dblp.org/pid/78/7445 +
, https://dblp.org/pid/191/6050 +
, https://dblp.org/pid/s/UteSchmid +
, https://dblp.org/pid/96/6660 +
, https://dblp.org/pid/76/8930 +
, https://dblp.org/pid/s/SanjitASeshia +
, https://dblp.org/pid/226/4172 +
, https://dblp.org/pid/57/7446 +
, https://dblp.org/pid/52/4917-6 +
, https://dblp.org/pid/135/8307 +
, https://dblp.org/pid/13/8735 +
, https://dblp.org/pid/87/2170 +
, https://dblp.org/pid/180/2555 +
, https://dblp.org/pid/328/4674 +
, https://dblp.org/pid/123/3322 +
, https://dblp.org/pid/21/3400-2 +
, https://dblp.org/pid/312/0483 +
, https://dblp.org/pid/172/7089 +
, https://dblp.org/pid/48/1105 +
, https://dblp.org/pid/66/9641 +
, https://dblp.org/pid/95/6919 +
, https://dblp.org/pid/s/DXSong +
, https://dblp.org/pid/181/2675 +
, https://dblp.org/pid/s/ZhendongSu +
, https://dblp.org/pid/63/7379-1 +
, https://dblp.org/pid/59/5879 +
, https://dblp.org/pid/79/5873 +
, https://dblp.org/pid/68/6729-1 +
, https://dblp.org/pid/311/9036 +
, https://dblp.org/pid/297/7014 +
, https://dblp.org/pid/59/10762 +
, https://dblp.org/pid/55/1457 +
, https://dblp.org/pid/245/4761 +
, https://dblp.org/pid/26/7125 +
, https://dblp.org/pid/198/1298 +
, https://dblp.org/pid/299/7836 +
, https://dblp.org/pid/204/3616 +
, https://dblp.org/pid/70/5718 +
, https://dblp.org/pid/36/10322 +
, https://dblp.org/pid/125/3287 +
, https://dblp.org/pid/21/11044 +
, https://dblp.org/pid/01/1084-1 +
, https://dblp.org/pid/94/9817 +
, https://dblp.org/pid/193/4231 +
, https://dblp.org/pid/181/2613-22 +
, https://dblp.org/pid/68/1277-6 +
, https://dblp.org/pid/194/6968 +
, https://dblp.org/pid/34/2799 +
, https://dblp.org/pid/07/7129 +
, https://dblp.org/pid/154/5763 +
, https://dblp.org/pid/28/1244 +
, https://dblp.org/pid/40/10701 +
, https://dblp.org/pid/95/3760 +
, https://dblp.org/pid/76/1584-35 +
, https://dblp.org/pid/29/6597 +
, https://dblp.org/pid/178/3277 +
, https://dblp.org/pid/z/BGZorn +
|