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.
3877 Publications
2014 | Conference Paper | IST-REx-ID: 1392 |

A logic-based framework for verifying consensus algorithms
C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.
View
| Files available
| DOI
C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.
2014 | Conference Paper | IST-REx-ID: 1393 |

Probabilistic programming
A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.
View
| DOI
| Download Published Version (ext.)
A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.
2014 | Thesis | IST-REx-ID: 1395
Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
M. Konrad, Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus, IST Austria, 2014.
View
M. Konrad, Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus, IST Austria, 2014.
2014 | Thesis | IST-REx-ID: 1402
Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
P. Marhavá, Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana, IST Austria, 2014.
View
P. Marhavá, Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana, IST Austria, 2014.
2014 | Thesis | IST-REx-ID: 1403
Forces driving epithelial spreading in zebrafish epiboly
M. Behrndt, Forces Driving Epithelial Spreading in Zebrafish Epiboly, IST Austria, 2014.
View
| Files available
M. Behrndt, Forces Driving Epithelial Spreading in Zebrafish Epiboly, IST Austria, 2014.
2014 | Thesis | IST-REx-ID: 1404
Evolution of a fungal pathogen towards individual versus social immunity in ants
M. Stock, Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants, IST Austria, 2014.
View
M. Stock, Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants, IST Austria, 2014.
2014 | Conference Paper | IST-REx-ID: 1507 |

Random matrices, log-gases and Hölder regularity
L. Erdös, in:, Kyung Moon SA Co. Ltd., 2014, pp. 214–236.
View
| Download Submitted Version (ext.)
L. Erdös, in:, Kyung Moon SA Co. Ltd., 2014, pp. 214–236.
2014 | Conference Paper | IST-REx-ID: 1516 |

On the BCS gap equation for superfluid fermionic gases
G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–137.
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–137.
2014 | Journal Article | IST-REx-ID: 1994
Directional auxin transport mechanisms in early diverging land plants
T. Viaene, K. Landberg, M. Thelander, E. Medvecka, E. Pederson, E. Feraru, E. Cooper, M. Karimi, C. Delwiche, K. Ljung, M. Geisler, E. Sundberg, J. Friml, Current Biology 24 (2014) 2786–2791.
View
| DOI
T. Viaene, K. Landberg, M. Thelander, E. Medvecka, E. Pederson, E. Feraru, E. Cooper, M. Karimi, C. Delwiche, K. Ljung, M. Geisler, E. Sundberg, J. Friml, Current Biology 24 (2014) 2786–2791.
2014 | Journal Article | IST-REx-ID: 1995 |

Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification
F. Fratini, E. Mascarenhas, L. Safari, J. Poizat, D. Valente, A. Auffèves, D. Gerace, M. Santos, Physical Review Letters 113 (2014).
View
| DOI
| Download Submitted Version (ext.)
F. Fratini, E. Mascarenhas, L. Safari, J. Poizat, D. Valente, A. Auffèves, D. Gerace, M. Santos, Physical Review Letters 113 (2014).
2014 | Journal Article | IST-REx-ID: 1996 |

Bimodal regulation of ICR1 levels generates self-organizing auxin distribution
O. Hazak, U. Obolski, T. Prat, J. Friml, L. Hadany, S. Yalovsky, PNAS 111 (2014) E5471–E5479.
View
| DOI
| Download Submitted Version (ext.)
O. Hazak, U. Obolski, T. Prat, J. Friml, L. Hadany, S. Yalovsky, PNAS 111 (2014) E5471–E5479.
2014 | Journal Article | IST-REx-ID: 1998
Individual and social immunisation in insects
L. El Masri, S. Cremer, Trends in Immunology 35 (2014) 471–482.
View
| DOI
L. El Masri, S. Cremer, Trends in Immunology 35 (2014) 471–482.
2014 | Journal Article | IST-REx-ID: 2001
Bacterial responses to antibiotics and their combinations
K. Mitosch, M.T. Bollenbach, Environmental Microbiology Reports 6 (2014) 545–557.
View
| Files available
| DOI
K. Mitosch, M.T. Bollenbach, Environmental Microbiology Reports 6 (2014) 545–557.
2014 | Journal Article | IST-REx-ID: 2002 |

Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus
S. Kim, PLoS One 9 (2014).
View
| Files available
| DOI
S. Kim, PLoS One 9 (2014).
2014 | Journal Article | IST-REx-ID: 2003
Learning by example in the hippocampus
J. O’Neill, J.L. Csicsvari, Neuron 83 (2014) 8–10.
View
| DOI
J. O’Neill, J.L. Csicsvari, Neuron 83 (2014) 8–10.
2014 | Journal Article | IST-REx-ID: 2004 |

Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord
A. Lovrics, Y. Gao, B. Juhász, I. Bock, H. Byrne, A. Dinnyés, K. Kovács, PLoS One 9 (2014).
View
| Files available
| DOI
A. Lovrics, Y. Gao, B. Juhász, I. Bock, H. Byrne, A. Dinnyés, K. Kovács, PLoS One 9 (2014).
2014 | Journal Article | IST-REx-ID: 2005
Turning heads to remember places
D. Dupret, J.L. Csicsvari, Nature Neuroscience 17 (2014) 643–644.
View
| DOI
D. Dupret, J.L. Csicsvari, Nature Neuroscience 17 (2014) 643–644.
2014 | Other Publication | IST-REx-ID: 2007 |

gIPFrm: Generalized iterative proportional fitting for relational models
A. Klimova, T. Rudas, GIPFrm: Generalized Iterative Proportional Fitting for Relational Models, The Comprehensive R Archive Network, 2014.
View
| Download (ext.)
A. Klimova, T. Rudas, GIPFrm: Generalized Iterative Proportional Fitting for Relational Models, The Comprehensive R Archive Network, 2014.
2014 | Journal Article | IST-REx-ID: 2011 |

Scalable privacy-preserving data sharing methodology for genome-wide association studies
F. Yu, S. Fienberg, A. Slaković, C. Uhler, Journal of Biomedical Informatics 50 (2014) 133–141.
View
| DOI
| Download Submitted Version (ext.)
F. Yu, S. Fienberg, A. Slaković, C. Uhler, Journal of Biomedical Informatics 50 (2014) 133–141.
2014 | Conference Paper | IST-REx-ID: 2012 |

Sphere packing with limited overlap
M. Iglesias Ham, M. Kerber, C. Uhler, in:, Unknown, 2014, pp. 155–161.
View
| Download Submitted Version (ext.)
M. Iglesias Ham, M. Kerber, C. Uhler, in:, Unknown, 2014, pp. 155–161.