DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-99154-2_4,79,"KrCh,ToHe",Parameter-independent strategies for pMDPs via POMDPs
10.1007/978-3-030-00151-3_4,81,ToHe,Monitoring temporal logic with clock variables
10.18632/oncotarget.24876,8232,,Near infrared photoimmunotherapy targeting bladder cancer with a canine anti-epidermal growth factor receptor (EGFR) antibody
10.1186/s12864-018-5245-1,8262,,Genome rearrangements and selection in multi-chromosome bacteria Burkholderia spp.
10.1007/978-3-319-99073-6_6,8298,,Channels: Horizontal scaling and confidentiality on permissioned blockchains
10.1007/978-3-319-96983-1_33,85,DaAl,Snapshot based synchronization: A fast replacement for Hand-over-Hand locking
10.1007/978-3-319-95246-8_9,86,"KrCh,ToHe",Computing average response time
10.1038/s41598-018-19947-1,8618,JoDa,Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA
10.6084/m9.figshare.7295369.v1,9808,SiHi,Additional file 3: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes
10.1007/s00440-017-0787-8,690,LaEr,"Local law and Tracy–Widom limit for sparse random matrices"
10.1007/s10711-017-0265-6,692,HeEd,3-Webs generated by confocal conics and circles
10.1007/978-3-662-58387-6_26,6941,KrPi,SpaceMint: A cryptocurrency based on proofs of space
10.30757/ALEA.v15-49,70,"LaEr,JaMa",Transition to shocks in TASEP and decoupling of last passage times
10.1007/s11241-017-9293-4,738,KrCh,Automated competitive analysis of real time scheduling with graph games
10.4230/LIPICS.ITCS.2019.59,7407,KrPi,Proofs of catalytic space
10.1038/s41467-018-06899-3,21,PeJo,Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus
10.1063/1.5038258,5816,GeKa,30 GHz-voltage controlled oscillator operating at 4 K
10.15479/AT:ISTA:th_998,323,MiSi,Branched actin networks in dendritic cell biology
10.4230/LIPIcs.CONCUR.2018.11,66,KrCh,Ergodic mean-payoff games for the analysis of attacks in crypto-currencies
10.1007/978-3-319-89884-1_26,311,KrCh,Quantitative analysis of smart contracts