DOI,IST REx ID,Research Group,Title of publication
10.1007/s00220-017-2980-0,741,RoSe,Stability of a fermionic N+1 particle system with point interactions
10.15479/AT:ISTA:th_857,820,JoBo,The lac operon in the wild
null,1127,JiFr,Identification of novel regulators of PIN polarity and development of novel auxin sensor
10.15479/AT:ISTA:th_815,992,VlKo,Complexity of constraint satisfaction
null,6291,"NiBa,JoBo",Bacterial herd and social immunity to phages
10.15479/AT:ISTA:th_858,837,JoCs,Reactivation of the hippocampal cognitive map in goal-directed spatial tasks
10.15479/AT:ISTA:th_828,838,KrPi,(The exact security of) Message authentication codes
10.13154/TOSC.V2016.I2.145-161,6196,KrPi,The exact security of PMAC
10.1186/s12862-017-1062-4,732,SyCr,Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour
10.15479/AT:ISTA:th_873,6287,HeEd,Discrete Morse theory for random complexes 
10.1017/apr.2017.20,718,HeEd,Expected sizes of poisson Delaunay mosaics and their discrete Morse functions
10.15479/AT:ISTA:th_855,839,ChWo,Brittle fracture simulation with boundary elements for computer graphics
10.15479/AT:ISTA:th_916,202,CaGu,Biology of restriction-modification systems at the single-cell and population level
10.1098/rsbl.2017.0646,561,CaGu,"Effects of mutations in phage restriction sites during escape from restriction–modification"
10.15479/AT:ISTA:73,5568,ChWo,Source codes: Brittle fracture simulation with boundary elements for computer graphics
10.15479/AT:ISTA:th_842,938,JiFr,Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana 
10.15479/AT:ISTA:th_862,818,ToBo,"Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics"
10.1016/j.cels.2017.03.001,666,"ToBo,GaTk",Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment
10.15479/AT:ISTA:th_854,821,KrCh,Algorithmic advances in program analysis and their applications
10.15479/AT:ISTA:TH_730,1155,ToHe,Statistical and logical methods for property checking