Please note that ISTA 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.
6985 Publications
2014 |Published| Technical Report | IST-REx-ID: 5427 | 
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2014). Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-314-v1-1
[Published Version]
View
| Files available
| DOI
2014 |Published| Technical Report | IST-REx-ID: 5415 |
Chatterjee, K., Henzinger, T. A., & Otop, J. (2014). Nested weighted automata. IST Austria. https://doi.org/10.15479/AT:IST-2014-170-v1-1
[Published Version]
View
| Files available
| DOI
2014 |Published| Technical Report | IST-REx-ID: 5421 |
Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2014). The complexity of evolution on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-190-v2-2
[Published Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 5813 |
Dereziński, J., & Napiórkowski, M. M. (2014). Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincaré. Springer Nature. https://doi.org/10.1007/s00023-013-0302-4
[Published Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 5810
Biswas, R., & Bhowmick, P. (2014). On Finding Spherical Geodesic Paths and Circles in ℤ3. Presented at the DGCI: International Conference on Discrete Geometry for Computer Imagery, Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-319-09955-2_33
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 589 |
Lee, J., Vrijsen, G., Teper, I., Hosten, O., & Kasevich, M. (2014). Many-atom-cavity QED system with homogeneous atom-cavity coupling. Optics Letters. OSA. https://doi.org/10.1364/OL.39.004005
View
| DOI
| Download (ext.)
2014 |Published| Journal Article | IST-REx-ID: 6126 |
Gross, E., Soltesz, Z., Oda, S., Zelmanovich, V., Abergel, Z., & de Bono, M. (2014). GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/jneurosci.5368-13.2014
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 |Published| Journal Article | IST-REx-ID: 6124 |
Chen, C., Itakura, E., Weber, K. P., Hegde, R. S., & de Bono, M. (2014). An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics. Public Library of Science (PLoS). https://doi.org/10.1371/journal.pgen.1004082
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 |Published| Journal Article | IST-REx-ID: 6122 |
Linneweber, G. A., Jacobson, J., Busch, K. E., Hudry, B., Christov, C. P., Dormann, D., … Miguel-Aliaga, I. (2014). Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell. Elsevier. https://doi.org/10.1016/j.cell.2013.12.008
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 |Published| Journal Article | IST-REx-ID: 6319 |
Bretèche, R. de la, & Browning, T. D. (2014). Contre-exemples au principe de Hasse pour certains tores coflasques. Journal de Théorie Des Nombres de Bordeaux. Cellule MathDoc/CEDRAM. https://doi.org/10.5802/jtnb.857
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Conference Paper | IST-REx-ID: 10885
Chatterjee, K., Doyen, L., Filiot, E., & Raskin, J.-F. (2014). Doomsday equilibria for omega-regular games. In VMCAI 2014: Verification, Model Checking, and Abstract Interpretation (Vol. 8318, pp. 78–97). San Diego, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-642-54013-4_5
[Preprint]
View
| Files available
| DOI
| arXiv
2014 |Published| Book | IST-REx-ID: 6853
Edelsbrunner, H. (2014). A Short Course in Computational Geometry and Topology (1st ed.). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-05957-0
View
| Files available
| DOI
2014 |Draft| Working Paper | IST-REx-ID: 7038 |
Huszár, K., & Rolinek, M. (n.d.). Playful Math - An introduction to mathematical games. IST Austria.
[Published Version]
View
| Files available
2014 |Published| Journal Article | IST-REx-ID: 7361
Lebar, T., Bezeljak, U., Golob, A., Jerala, M., Kadunc, L., Pirš, B., … Jerala, R. (2014). A bistable genetic switch based on designable DNA-binding domains. Nature Communications. Springer Nature. https://doi.org/10.1038/ncomms6007
View
| DOI
| PubMed | Europe PMC
2014 |Published| Journal Article | IST-REx-ID: 7598 |
Tan, S., & Xue, H.-W. (2014). Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2014.10.047
[Published Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 768
Alistarh, D.-A., Aspnes, J., Bender, M., Gelashvili, R., & Gilbert, S. (2014). Dynamic task allocation in asynchronous shared memory (pp. 416–435). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/10.1137/1.9781611973402.31
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 769
Alistarh, D.-A., Aspnes, J., Censor Hillel, K., Gilbert, S., & Guerraoui, R. (2014). Tight bounds for asynchronous renaming. Journal of the ACM. ACM. https://doi.org/10.1145/2597630
View
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 770
Alistarh, D.-A., Eugster, P., Herlihy, M., Matveev, A., & Shavit, N. (2014). StackTrack: An automated transactional approach to concurrent memory reclamation. Presented at the EuroSys: European Conference on Computer Systems, ACM. https://doi.org/10.1145/2592798.2592808
View
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 771
Alistarh, D.-A., Denysyuk, O., Rodrígues, L., & Shavit, N. (2014). Balls-into-Leaves: Sub-logarithmic renaming in synchronous message-passing systems (pp. 232–241). Presented at the PODC: Principles of Distributed Computing, ACM. https://doi.org/10.1145/2611462.2611499
View
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 772 |
Alistarh, D.-A., Censor Hillel, K., & Shavit, N. (2014). Are lock-free concurrent algorithms practically wait-free? (pp. 714–723). Presented at the STOC: Symposium on Theory of Computing, ACM. https://doi.org/10.1145/2591796.2591836
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv