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.
6122 Publications
2015 | Journal Article | IST-REx-ID: 848
D. Usmanova, L. Ferretti, I. Povolotskaya, P. Vlasov, and F. Kondrashov, “A model of substitution trajectories in sequence space and long-term protein evolution,” Molecular Biology and Evolution, vol. 32, no. 2. Oxford University Press, pp. 542–554, 2015.
View
| DOI
2015 | Journal Article | IST-REx-ID: 981 |

I. Zeljkovic et al., “Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators,” Nature Materials, vol. 14, no. 3. Nature Publishing Group, pp. 318–324, 2015.
View
| DOI
| Download (ext.)
2015 | Journal Article | IST-REx-ID: 982 |

M. Serbyn, Z. Papić, and D. Abanin, “Criterion for many-body localization-delocalization phase transition,” Physical Review X, vol. 5, no. 4. American Physical Society, 2015.
View
| DOI
| Download (ext.)
2015 | Journal Article | IST-REx-ID: 99 |

A. P. Higginbotham et al., “Parity lifetime of bound states in a proximitized semiconductor nanowire,” Nature Physics, vol. 11, no. 12. Nature Publishing Group, pp. 1017–1021, 2015.
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Journal Article | IST-REx-ID: 1537 |

V. Ruprecht et al., “Cortical contractility triggers a stochastic switch to fast amoeboid cell motility,” Cell, vol. 160, no. 4. Cell Press, pp. 673–685, 2015.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 7456
D. Caruntu, T. Rostamzadeh, T. Costanzo, S. Salemizadeh Parizi, and G. Caruntu, “Solvothermal synthesis and controlled self-assembly of monodisperse titanium-based perovskite colloidal nanocrystals,” Nanoscale, vol. 7, no. 30. RSC, pp. 12955–12969, 2015.
View
| DOI
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 7457
S. S. Parizi, G. Conley, T. Costanzo, B. Howell, A. Mellinger, and G. Caruntu, “Fabrication of barium titanate/acrylonitrile-butadiene styrene/poly(methyl methacrylate) nanocomposite films for hybrid ferroelectric capacitors,” RSC Advances, vol. 5, no. 93. RSC, pp. 76356–76362, 2015.
View
| DOI
2015 | Conference Paper | IST-REx-ID: 783 |

D.-A. Alistarh, R. Gelashvili, and A. Vladu, “How to elect a leader faster than a tournament,” presented at the PODC: Principles of Distributed Computing, 2015, vol. 2015–July, pp. 365–374.
View
| DOI
| Download None (ext.)
2015 | Conference Paper | IST-REx-ID: 780 |

D.-A. Alistarh and R. Gelashvili, “Polylogarithmic-time leader election in population protocols,” presented at the ICALP: International Colloquium on Automota, Languages and Programming, 2015, vol. 9135, pp. 479–491.
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Journal Article | IST-REx-ID: 802
J. Engel, P. S. Schmalhorst, A. Kruger, C. Muller, F. Buettner, and F. Routier, “Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis,” Glycobiology, vol. 25, no. 12. Oxford University Press, pp. 1423–1430, 2015.
View
| DOI
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 815
F. K. Schur, R. Dick, W. Hagen, V. Vogt, and J. Briggs, “The structure of immature virus like Rous sarcoma virus gag particles reveals a structural role for the p10 domain in assembly,” Journal of Virology, vol. 89, no. 20. ASM, pp. 10294–10302, 2015.
View
| DOI
| PubMed | Europe PMC
2015 | Conference Paper | IST-REx-ID: 1633 |

D. Hahn and C. J. Wojtan, “High-resolution brittle fracture simulation with boundary elements,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 928 |

I. Sehring et al., “Assembly and positioning of actomyosin rings by contractility and planar cell polarity,” eLife, vol. 4. eLife Sciences Publications, 2015.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 933 |

S. García, E. B. Hannezo, J. Elgeti, J. Joanny, P. Silberzan, and N. Gov, “Physics of active jamming during collective cellular motion in a monolayer,” PNAS, vol. 112, no. 50. National Academy of Sciences, pp. 15314–15319, 2015.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1591 |

M. Adamowski and J. Friml, “PIN-dependent auxin transport: Action, regulation, and evolution,” Plant Cell, vol. 27, no. 1. American Society of Plant Biologists, pp. 20–32, 2015.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 9017
N. Richet et al., “Structural insight into how the human helicase subunit MCM2 may act as a histone chaperone together with ASF1 at the replication fork,” Nucleic Acids Research, vol. 43, no. 3. Oxford University Press, pp. 1905–1917, 2015.
View
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 119 |

S. R. Waitukaitis, V. Lee, J. Pierson, S. Forman, and H. Jaeger, “Size-dependent same-material tribocharging in insulating grains,” APS Physics, Physical Review Letters, vol. 112, no. 21. American Physical Society, 2014.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 1375 |

K. Chatterjee, M. Henzinger, S. Krinninger, V. Loitzenbauer, and M. Raskin, “Approximating the minimum cycle mean,” Theoretical Computer Science, vol. 547, no. C. Elsevier, pp. 104–116, 2014.
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 1392 |

C. Dragoi, T. A. Henzinger, H. Veith, J. Widder, and D. Zufferey, “A logic-based framework for verifying consensus algorithms,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA, 2014, vol. 8318, pp. 161–181.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1393 |

A. Gordon, T. A. Henzinger, A. Nori, and S. Rajamani, “Probabilistic programming,” in Proceedings of the on Future of Software Engineering, Hyderabad, India, 2014, pp. 167–181.
View
| DOI
| Download Published Version (ext.)
2014 | Thesis | IST-REx-ID: 1395
M. Konrad, “Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus,” IST Austria, 2014.
View
2014 | Thesis | IST-REx-ID: 1402
P. Marhavá, “Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana,” IST Austria, 2014.
View
2014 | Thesis | IST-REx-ID: 1404
M. Stock, “Evolution of a fungal pathogen towards individual versus social immunity in ants,” IST Austria, 2014.
View
2014 | Conference Paper | IST-REx-ID: 1507 |

L. Erdös, “Random matrices, log-gases and Hölder regularity,” presented at the ICM: International Congress of Mathematicians, Seoul, Korea, 2014, vol. 3, pp. 214–236.
View
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 1516 |

G. Bräunlich, C. Hainzl, and R. Seiringer, “On the BCS gap equation for superfluid fermionic gases,” in Proceedings of the QMath12 Conference, Berlin, Germany, 2014, pp. 127–137.
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 1532
H. Yang, J. Von Der Fecht Bartenbach, J. Friml, J. Lohmann, B. Neuhäuser, and U. Ludewig, “Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source,” Functional Plant Biology, vol. 42, no. 3. CSIRO, pp. 239–251, 2014.
View
| DOI
2014 | Journal Article | IST-REx-ID: 1629 |

P. Guerrero, S. Jeschke, M. Wimmer, and P. Wonka, “Edit propagation using geometric relationship functions,” ACM Transactions on Graphics, vol. 33, no. 2. ACM, 2014.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1643 |

G. Fuchsbauer, “Constrained Verifiable Random Functions ,” in SCN 2014, Amalfi, Italy, 2014, vol. 8642, pp. 95–114.
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 1702 |

A. Gupta, C. Popeea, and A. Rybalchenko, “Generalised interpolation by solving recursion free-horn clauses,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Vienna, Austria, 2014, vol. 169, pp. 31–38.
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 1708
C. Savin and S. Denève, “Spatio-temporal representations of uncertainty in spiking neural networks,” presented at the NIPS: Neural Information Processing Systems, Montreal, Canada, 2014, vol. 3, no. January, pp. 2024–2032.
View
| Download None (ext.)
2014 | Journal Article | IST-REx-ID: 1761 |

M. Mongillo et al., “PtSi clustering in silicon probed by transport spectroscopy,” Physical Review X, vol. 3, no. 4. American Physical Society, 2014.
View
| DOI
| Download (ext.)
2014 | Journal Article | IST-REx-ID: 1816 |

S. Huber, M. Held, P. Meerwald, and R. Kwitt, “Topology-preserving watermarking of vector graphics,” International Journal of Computational Geometry and Applications, vol. 24, no. 1. World Scientific Publishing, pp. 61–86, 2014.
View
| Files available
| DOI