Chatterjee, K., Chmelik, M., &; Davies, J. (2015). A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs. IST Austria.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, R., &; Bhowmick, P. (2015). From prima quadraginta octant to lattice sphere through primitive integer operations. Theoretical Computer Science. Elsevier.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, R., &; Bhowmick, P. (2015). On different topological classes of spherical geodesic paths and circles inZ3. Theoretical Computer Science. Elsevier.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, R., &; Bhowmick, P. (2015). Layer the sphere. The Visual Computer. Springer Nature.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, S., Bernecky, C., &; Cramer, P. (2015). Structural basis of transcription initiation by RNA polymerase II. Nature Reviews Molecular Cell Biology. Nature Publishing Group.https://doi.org/10.1038/nrm3952 
LibreCat: https://research-explorer.ista.ac.at/record/594
DOI: 10.1038/nrm3952