DOI,IST REx ID,Research Group,Title of publication
10.1016/j.jtbi.2014.09.041,2028,GaTk,Characterizing spiking in noisy type II neurons
10.15479/AT:IST-2014-170-v1-1,5415,"KrCh,ToHe",Nested weighted automata
10.1145/2629686,2038,"ToHe,KrCh",Temporal specifications with accumulative values
10.1007/978-3-662-44522-8_1,1903,KrCh,Partial-observation stochastic reachability and parity games
10.1145/2579821,2211,KrCh,Partial-observation stochastic games: How to win when belief fails
10.1007/978-3-662-44584-6_37,2054,KrCh,Qualitative concurrent parity games: Bounded rationality
10.1007/s00453-013-9843-7,535,KrCh,Polynomial-time algorithms for energy games with special weight structures
10.1007/978-3-319-11936-6_14,1872,ToHe,Extensional crisis and proving identity
10.1016/j.cois.2014.09.001,1999,SyCr,Organisational immunity in social insects
10.3390/plants2040650,10895,JiFr,Calcium: The missing link in auxin action
10.1007/978-3-642-38221-5_19,10897,HeEd,Persistent homology in image processing
10.1145/2482767.2482789,10898,ToHe,Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation
10.1016/b978-0-12-384719-5.00031-9,10899,NiBa,Differentiation
10.1007/978-1-62703-426-5_14,10900,MiSi,Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations
10.1007/978-3-642-37064-9_20,10902,KrCh,How to travel between languages
10.1016/j.tcb.2012.10.013,11083,,The role of Nup98 in transcription regulation in healthy and diseased cells
10.1038/nrm3496,11084,,"Protein homeostasis: Live long, won't prosper"
10.1016/j.cell.2013.06.007,11085,,Catastrophic nuclear envelope collapse in cancer cell micronuclei
10.1371/journal.pgen.1003308,11086,,Dynamic association of NUP98 with the human genome
10.1016/j.cell.2013.07.037,11087,MaHe,Identification of long-lived proteins reveals exceptional stability of essential cellular structures