DOI,IST REx ID,Research Group,Title of publication
10.1371/journal.pone.0103989.s003,9888,SyCr,Supporting information
10.1111/evo.12373,9931,CaGu,Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes
10.5061/dryad.jc402,9932,CaGu,Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes
10.4171/120-1/3,2905,HeEd,Persistent homology: Theory and practice
10.4171/JEMS/467,1904,RoSe,Strichartz inequality for orthonormal functions
10.2168/LMCS-10(1:10)2014,2233,ToHe,Exact and approximate determinization of discounted-sum automata
10.2168/LMCS-10(1:13)2014,2234,KrCh,Markov decision processes with multiple long-run average objectives
10.1007/978-94-007-7687-6_1,2265,SiHi,Molecular pathways controlling the sequential steps of cortical projection neuron migration
10.1007/978-3-319-11936-6_8,2027,"KrCh,ToHe",Verification of Markov decision processes using learning algorithms
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