DOI,IST REx ID,Research Group,Title of publication
10.1111/j.1460-9568.2010.07189.x,3833,PeJo,"GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova)"
10.1186/1752-0509-4-42,3834,ToHe,Solving the chemical master equation using sliding windows
10.1145/1839764.1839772,3838,ToHe,Hybrid numerical solution of the chemical master equation
10.1007/978-3-642-11319-2_14,3839,ToHe,Invariant and type inference for matrices
10.1145/1706299.1706319,3840,ToHe,From boolean to quantitative notions of correctness
10.1049/iet-syb.2010.0005,3842,ToHe,Fast adaptive uniformization of the chemical master equation
10.1007/978-3-642-16242-8_25,3845,ToHe,Aligators for arrays
10.1109/QEST.2010.33,3847,"ToHe,CaGu",SABRE: A tool for the stochastic analysis of biochemical reaction networks
10.1007/978-3-642-15775-2_1,3848,HeEd,The robustness of level sets
10.1007/978-3-642-15155-2_2,3849,HeEd,Persistent homology under non-uniform error
null,3850,HeEd,Polygonal reconstruction from approximate offsets
10.1007/978-3-642-14162-1_50,3851,KrCh,Energy parity games
10.4204/EPTCS.25.6,3852,KrCh,Discounting in games across time scales
10.1007/978-3-642-15375-4_19,3853,"KrCh,HeEd,ToHe",Mean-payoff automaton expressions
10.1007/978-3-642-15375-4_20,3854,KrCh,Obliging games
10.1007/978-3-642-15155-2_24,3855,"KrCh,ToHe",Qualitative analysis of partially-observable Markov Decision Processes
10.1007/978-3-642-15155-2_23,3856,"KrCh,ToHe",Randomness for free
10.1007/978-3-642-15643-4_1,3857,"KrCh,ToHe",Probabilistic Automata on infinite words: decidability and undecidability results
10.1007/978-3-642-16242-8_1,3858,KrCh,The complexity of partial-observation parity games
10.1007/978-3-642-15297-9,3859,"KrCh,ToHe",Formal modeling and analysis of timed systems