Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

390 Publications


2015 | Technical Report | IST-REx-ID: 5441 | OA
Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., & Pavlogiannis, A. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria. https://doi.org/10.15479/AT:IST-2015-340-v1-1
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5442 | OA
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria.
View | Files available
 

2015 | Technical Report | IST-REx-ID: 5443 | OA
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
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5444 | OA
Reiter, J., Makohon-Moore, A., Gerold, J., Bozic, I., Chatterjee, K., Iacobuzio-Donahue, C., … Nowak, M. (2015). Reconstructing robust phylogenies of metastatic cancers. IST Austria. https://doi.org/10.15479/AT:IST-2015-399-v1-1
View | Files available | DOI
 

2015 | Research Data | IST-REx-ID: 5549 | OA
Fellner, A. (2015). Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. IST Austria. https://doi.org/10.15479/AT:ISTA:28
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 5804
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
View | DOI
 

2015 | Journal Article | IST-REx-ID: 5807
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
View | DOI
 

2015 | Journal Article | IST-REx-ID: 5808
Biswas, R., & Bhowmick, P. (2015). Layer the sphere. The Visual Computer. Springer Nature. https://doi.org/10.1007/s00371-015-1101-3
View | DOI
 

2015 | Journal Article | IST-REx-ID: 594
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
View | DOI
 

2015 | Journal Article | IST-REx-ID: 6118 | OA
Fenk, L. A., & de Bono, M. (2015). Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1423808112
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 6120 | OA
Laurent, P., Soltesz, Z., Nelson, G. M., Chen, C., Arellano-Carbajal, F., Levy, E., & de Bono, M. (2015). Decoding a neural circuit controlling global animal state in C. elegans. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.04241
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 6507
Zhou, L., Hinerman, J. M., Blaszczyk, M., Miller, J. L. C., Conrady, D. G., Barrow, A. D., … Herr, A. B. (2015). Structural basis for collagen recognition by the immune receptor OSCAR. Blood. American Society of Hematology. https://doi.org/10.1182/blood-2015-08-667055
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 6736 | OA
Mondelli, M., Hassani, H., & Urbanke, R. (2015). Scaling exponent of list decoders with applications to polar codes. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/tit.2015.2453315
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 6737 | OA
Mondelli, M., Hassani, H., Sason, I., & Urbanke, R. (2015). Achieving Marton’s region for broadcast channels using polar codes. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/tit.2014.2368555
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 7070
Yu, J. F., Ramshaw, B. J., Kokanović, I., Modic, K. A., Harrison, N., Day, J., … Cooper, J. R. (2015). Magnetization of underdoped YBa2Cu3Oy above the irreversibility field. Physical Review B. APS. https://doi.org/10.1103/physrevb.92.180509
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1311
Fischer, J. L., & Grün, G. (2015). Finite speed of propagation and waiting times for the stochastic porous medium equation: A unifying approach. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/140960578
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1313
Fischer, J. L. (2015). Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach. Interfaces and Free Boundaries. European Mathematical Society Publishing House. https://doi.org/10.4171/IFB/331
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1314
Fischer, J. L. (2015). A posteriori modeling error estimates for the assumption of perfect incompressibility in the Navier-Stokes equation. SIAM Journal on Numerical Analysis. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/140966654
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1316
Fischer, J. L. (2015). Global existence of renormalized solutions to entropy-dissipating reaction–diffusion systems. Archive for Rational Mechanics and Analysis. Springer. https://doi.org/10.1007/s00205-015-0866-x
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1383 | OA
Yu, L., Scholl, S., Doering, A., Yi, Z., Irani, N., Di Rubbo, S., … Russinova, E. (2015). V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis. Nature Plants. Nature Publishing Group. https://doi.org/10.1038/nplants.2015.94
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

year=2015

Search

Filter Publications