DOI,IST REx ID,Research Group,Title of publication
10.1142/S0129054112400308,3314,KrCh,Discounting and averaging in games across time scales
10.1007/978-1-4614-3903-5_6,10896,HaJa,The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books
10.1007/978-3-642-33386-6_14,10903,ToHe,Accurate invariant checking for programs manipulating lists and arrays with infinite data
10.1007/978-3-642-32940-1_10,10904,KrCh,Strategy synthesis for multi-dimensional quantitative objectives
10.1007/978-3-642-33090-2_27,10905,KrCh,Polynomial-time algorithms for energy games with special weight structures
10.1007/978-3-642-28756-5_46,10906,ToHe,HSF(C): A software verifier based on Horn clauses
10.15479/AT:IST-2011-0001,5387,KrCh,Energy and mean-payoff parity Markov decision processes
10.1016/j.bpj.2011.09.040,6496,CaGu,Noise underlies switching behavior of the bacterial flagellum
10.1073/pnas.1019273108,9483,DaZi,Regulation of imprinted gene expression in Arabidopsis endosperm
10.1016/j.devcel.2011.05.018,9522,DaZi,Balancing parental contributions in plant embryonic gene activation
10.1007/978-3-642-23672-3_35,9648,HeEd,Incremental-decremental algorithm for computing AT-models and persistent homology
10.5061/dryad.299h8,9762,NiBa,Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas)
10.1038/nn.3002,3318,PeJo,"How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses"
null,3319,ChLa,Learning multi-view neighborhood preserving projections
10.1561/0600000033,3320,ChLa,Structured learning and prediction in computer vision
null,3322,ChLa,Maximum margin multi label structured prediction
10.1007/978-3-642-22438-6_36,3323,ToHe,An efficient decision procedure for imperative tree data structures
10.1007/978-3-642-18275-4_26,3324,ToHe,Decision procedures for automating termination proofs
10.1145/1926385.1926454,3325,ToHe,Streaming transducers for algorithmic verification of single pass list processing programs
10.1007/978-3-642-24372-1_37,3326,ToHe,"What’s decidable about weighted automata "