Chatterjee, Krishnendu, Martin Chmelik, and Jessica Davies. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-325-v2-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5443
DOI: 10.15479/AT:IST-2015-325-v2-1

Biswas, Ranita, and Partha Bhowmick. “From Prima Quadraginta Octant to Lattice Sphere through Primitive Integer Operations.”https://doi.org/10.1016/j.tcs.2015.11.018__Theoretical Computer Science. Elsevier, 2015.https://doi.org/10.1016/j.tcs.2015.11.018 .
LibreCat: https://research-explorer.ista.ac.at/record/5804
DOI: 10.1016/j.tcs.2015.11.018

Biswas, Ranita, and Partha Bhowmick. “On Different Topological Classes of Spherical Geodesic Paths and Circles InZ3.”https://doi.org/10.1016/j.tcs.2015.09.003__Theoretical Computer Science. Elsevier, 2015.https://doi.org/10.1016/j.tcs.2015.09.003 .
LibreCat: https://research-explorer.ista.ac.at/record/5807
DOI: 10.1016/j.tcs.2015.09.003

Biswas, Ranita, and Partha Bhowmick. “Layer the Sphere.”https://doi.org/10.1007/s00371-015-1101-3__The Visual Computer. Springer Nature, 2015.https://doi.org/10.1007/s00371-015-1101-3 .
LibreCat: https://research-explorer.ista.ac.at/record/5808
DOI: 10.1007/s00371-015-1101-3

Sainsbury, Sarah, Carrie Bernecky, and Patrick Cramer. “Structural Basis of Transcription Initiation by RNA Polymerase II.”https://doi.org/10.1038/nrm3952__Nature Reviews Molecular Cell Biology. Nature Publishing Group, 2015.https://doi.org/10.1038/nrm3952 .
LibreCat: https://research-explorer.ista.ac.at/record/594
DOI: 10.1038/nrm3952