DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:ISTA:th_997,324,PeJo,Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release
10.1145/3158122,325,KrCh,Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
10.1111/ejn.13901,326,RySh,Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices
10.1103/PhysRevB.97.104307,327,MaSe,Slow dynamics in translation-invariant quantum lattice models
10.1103/PhysRevLett.120.124501,328,BjHo,Exceeding the asymptotic limit of polymer drag reduction
10.7717/peerj.5325,33,NiBa,Can secondary contact following range expansion be distinguished from barriers to gene flow?
10.1007/978-3-319-10575-8,3300,ToHe,Handbook of Model Checking
null,34,KrCh,Sensor synthesis for POMDPs with reachability objectives
null,35,KrCh,Algorithms and conditional lower bounds for planning problems
10.1093/jxb/ery204,36,JiFr,Temperature-induced changes in the wheat phosphoproteome reveal temperature-regulated interconversion of phosphoforms
10.1007/978-1-4939-8772-6_4,37,AnKi,Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube
10.1073/pnas.1801832115,38,NiBa,Selection and gene flow shape genomic islands that control floral guides
10.1093/gbe/evy049,384,FyKo,Evolutionary interplay between symbiotic relationships and patterns of signal peptide gain and loss
10.1534/genetics.118.301429,39,NiBa,"Replicability of introgression under linked, polygenic selection"
10.1021/acs.nanolett.7b03953,394,,Observation of exciton-exciton interaction mediated valley Depolarization in Monolayer MoSe2
10.15479/AT:ISTA:th_992,395,GaNo,The branched chain amino acids in autism spectrum disorders 
10.1145/3178487.3178489,397,DaAl,Harnessing epoch-based reclamation for efficient range queries
10.1016/j.wneu.2018.02.096,398,BeBi,Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device
10.1209/0295-5075/121/10007,399,RoSe,Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov approximation
10.1145/3197517.3201325,4,BeBi,Learning three-dimensional flow for interactive aerodynamic design