Ilya Sergey

◁  joint publications with coauthor community group 1

Keys

# of publication records = 20

conf/oopsla/SergeyNBD16 journals/corr/DelbiancoSNB16 journals/corr/PodkopaevSN16 conf/esop/SergeyNB15 conf/pldi/SergeyNB15 journals/corr/SergeyNBD15 journals/jfp/JohnsonSEMH14 conf/esop/NanevskiLSD14 journals/corr/JohnsonSEMH14 journals/corr/SergeyNB14 conf/pepm/DevrieseSCP13 conf/pldi/SergeyDMMDCP13 series/lncs/ClarkeOSW13 journals/ipl/SergeyC12 conf/esop/SergeyC12 conf/icfp/EarlSMH12 conf/mpc/SergeyMC12 journals/corr/abs-1207-1813 conf/ldta/SergeyC11 conf/ecoop/ClarkeS09

Publications

maintained by Schloss Dagstuhl LZI at University of Trier