DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2015-319-v1-1,5430,KrCh,Faster algorithms for quantitative verification in constant treewidth graphs
10.15479/AT:IST-2015-322-v1-1,5431,KrCh,The patience of concurrent stochastic games with safety and reachability objectives
10.15479/AT:IST-2015-323-v1-1,5432,KrCh,The complexity of evolutionary games on graphs
null,5434,,Optimal cost indefinite-horizon reachability in goal DEC-POMDPs
10.15479/AT:IST-2015-330-v2-1,5437,KrCh,Faster algorithms for quantitative verification in constant treewidth graphs
10.15479/AT:IST-2015-335-v1-1,5439,ToHe,The target discounted-sum problem
10.15479/AT:IST-2015-323-v2-2,5440,KrCh,The complexity of evolutionary games on graphs
10.15479/AT:IST-2015-340-v1-1,5441,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
null,5442,,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
10.15479/AT:IST-2015-325-v2-1,5443,KrCh,A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
10.15479/AT:IST-2015-399-v1-1,5444,KrCh,Reconstructing robust phylogenies of metastatic cancers
10.15479/AT:ISTA:28,5549,"KrCh,ToHe",Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
10.1016/j.tcs.2015.11.018,5804,,From prima quadraginta octant to lattice sphere through primitive integer operations
10.1016/j.tcs.2015.09.003,5807,,On different topological classes of spherical geodesic paths and circles inZ3
10.1007/s00371-015-1101-3,5808,,Layer the sphere
10.1038/nrm3952,594,,Structural basis of transcription initiation by RNA polymerase II
10.1073/pnas.1423808112,6118,,Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity
10.7554/elife.04241,6120,,Decoding a neural circuit controlling global animal state in C. elegans
10.1126/sciadv.1500692,19805,,Nearly free electrons in a 5d delafossite oxide metal
10.1111/jzs.12079,1981,,Review and meta-analysis of natural selection in mitochondrial complex I in metazoans