CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, M. Chmelik, P. Daca, in:, Springer, 2014, pp. 473–490.
LibreCat: https://research-explorer.ista.ac.at/record/2063
DOI: 10.1007/978-3-319-08867-9_31

Bacterial responses to antibiotics and their combinations
K. Mitosch, M.T. Bollenbach, Environmental Microbiology Reports 6 (2014) 545–557.
LibreCat: https://research-explorer.ista.ac.at/record/2001
DOI: 10.1111/1758-2229.12190

The exact PRF-security of NMAC and HMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
LibreCat: https://research-explorer.ista.ac.at/record/2082
DOI: 10.1007/978-3-662-44371-2_7

The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ
J. Compagnon, V. Barone, S. Rajshekar, R. Kottmeier, K. Pranjic-Ferscha, M. Behrndt, C.-P.J. Heisenberg, Developmental Cell 31 (2014) 774–783.
LibreCat: https://research-explorer.ista.ac.at/record/1912
DOI: 10.1016/j.devcel.2014.11.003
PMID: 25535919

Spatio-temporally precise activation of engineered receptor tyrosine kinases by light
M. Grusch, K. Schelch, R. Riedler, E. Gschaider-Reichhart, C. Differ, W. Berger, Á. Inglés Prieto, H.L. Janovjak, EMBO Journal 33 (2014) 1713–1726.
LibreCat: https://research-explorer.ista.ac.at/record/2084
DOI: 10.15252/embj.201387695

Embeddability in the 3 sphere is decidable
J. Matousek, E. Sedgwick, M. Tancer, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 78–84.
LibreCat: https://research-explorer.ista.ac.at/record/2157
DOI: 10.1145/2582112.2582137

PHAT – Persistent Homology Algorithms Toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, in:, ICMS 2014: International Congress on Mathematical Software, Springer Berlin Heidelberg, Berlin, Heidelberg, 2014, pp. 137–143.
LibreCat: https://research-explorer.ista.ac.at/record/10894
DOI: 10.1007/978-3-662-44199-2_24

Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Quantitative Fair Simulation Games, IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/5428
DOI: 10.15479/AT:IST-2014-315-v1-1

Gemeinsame Krankheitsabwehr in Ameisengesellschaften
S. Cremer, Zoologie (2014) 23–30.
LibreCat: https://research-explorer.ista.ac.at/record/1887

Monitoring neurogenesis in the cerebral cortex: an update
M.P. Postiglione, S. Hippenmeyer, Future Neurology 9 (2014) 323–340.
LibreCat: https://research-explorer.ista.ac.at/record/2175
DOI: 10.2217/fnl.14.18

Patterns of hippocampal tau pathology differentiate neurodegenerative dementias
I. Milenkovi, T. Petrov, G. Kovács, Dementia and Geriatric Cognitive Disorders 38 (2014) 375–388.
LibreCat: https://research-explorer.ista.ac.at/record/1913
DOI: 10.1159/000365548
PMID: 25195847

Random matrices, log-gases and Hölder regularity
L. Erdös, in:, Proceedings of the International Congress of Mathematicians, International Congress of Mathematicians, 2014, pp. 214–236.
LibreCat: https://research-explorer.ista.ac.at/record/1507

Structure of the excitation spectrum for many-body quantum systems
R. Seiringer, in:, Proceeding of the International Congress of Mathematicans, International Congress of Mathematicians, 2014, pp. 1175–1194.
LibreCat: https://research-explorer.ista.ac.at/record/8044

A PAC-Bayesian bound for Lifelong Learning
A. Pentina, C. Lampert, in:, ML Research Press, 2014, pp. 991–999.
LibreCat: https://research-explorer.ista.ac.at/record/2160

Forces driving epithelial spreading in zebrafish epiboly
M. Behrndt, Forces Driving Epithelial Spreading in Zebrafish Epiboly, IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1403

Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt  Bayerische Akademie der Wissenschaften
S. Cremer, in:, Soziale Insekten in Einer Sich Wandelnden Welt, Verlag Dr. Friedrich Pfeil, 2014, pp. 65–72.
LibreCat: https://research-explorer.ista.ac.at/record/1888

Sphere packing with limited overlap
M. Iglesias Ham, M. Kerber, C. Uhler, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/2012
DOI: 10.48550/arXiv.1401.0468
arXiv: 1401.0468

Facile and scalable preparation of pure and dense DNA origami solutions
E. Stahl, T. Martin, F.M. Praetorius, H. Dietz, Angewandte Chemie International Edition 126 (2014) 12949–12954.
LibreCat: https://research-explorer.ista.ac.at/record/14301
DOI: 10.1002/ange.201405991
PMID: 25346175

Harnessing vocal patterns for social communication
L.B. Sweeney, D.B. Kelley, Current Opinion in Neurobiology 28 (2014) 34–41.
LibreCat: https://research-explorer.ista.ac.at/record/7699
DOI: 10.1016/j.conb.2014.06.006

On the mass concentration for Bose-Einstein condensates with attractive interactions
Y. Guo, R. Seiringer, Letters in Mathematical Physics 104 (2014) 141–156.
LibreCat: https://research-explorer.ista.ac.at/record/2281
DOI: 10.1007/s11005-013-0667-9
arXiv: 1301.5682

Searching for collective behavior in a large network of sensory neurons
G. Tkadik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/2257
DOI: 10.1371/journal.pcbi.1003408

Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated elimination of ;1-hydroxyboronate esters
W. Guan, A.K. Michael, M.L. McIntosh, L. Koren-Selfridge, J.P. Scott, T.B. Clark, The Journal of Organic Chemistry 79 (2014) 7199–7204.
LibreCat: https://research-explorer.ista.ac.at/record/15161
DOI: 10.1021/jo500773t

Organisational immunity in social insects
N. Stroeymeyt, B.E. Casillas Perez, S. Cremer, Current Opinion in Insect Science 5 (2014) 1–15.
LibreCat: https://research-explorer.ista.ac.at/record/1999
DOI: 10.1016/j.cois.2014.09.001

Living clusters and crystals from low-density suspensions of active colloids
B.M. Mognetti, A. Sari, S. Angioletti-Uberti, A. Cacciuto, C. Valeriani, D. Frenkel, Physical Review Letters 111 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/10384
DOI: 10.1103/physrevlett.111.245702
PMID: 24483677
arXiv: 1311.4681

Self-assembly of nanoparticles adsorbed on fluid and elastic membranes
A. Sari, A. Cacciuto, Soft Matter 9 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/10386
DOI: 10.1039/c3sm50188d

Collapsing nanoparticle-laden nanotubes
J.A. Napoli, A. Sari, A. Cacciuto, Soft Matter 9 (2013) 8881–8886.
LibreCat: https://research-explorer.ista.ac.at/record/10385
DOI: 10.1039/c3sm51495a

Stimfit: A fast visualization and analysis environment for cellular neurophysiology
A. Schlögl, P.M. Jonas, C. Schmidt-Hieber, S.J. Guzman, Biomedical Engineering / Biomedizinische Technik 58 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/10396
DOI: 10.1515/bmt-2013-4181
PMID: 24042795

Cantilever micro-susceptometry of mesoscopic Bi2212 samples
H. Polshyn, R. Budakian, G. Gu, in:, APS March Meeting 2013, American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/10749

Calcium: The missing link in auxin action
S. Vanneste, J. Friml, Plants 2 (2013) 650–675.
LibreCat: https://research-explorer.ista.ac.at/record/10895
DOI: 10.3390/plants2040650
PMID: 27137397

Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation
A. Haas, M. Lippautz, T.A. Henzinger, H. Payer, A. Sokolova, C.M. Kirsch, A. Sezgin, in:, Proceedings of the ACM International Conference on Computing Frontiers - CF ’13, ACM Press, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/10898
DOI: 10.1145/2482767.2482789

Differentiation
N.H. Barton, in:, Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–515.
LibreCat: https://research-explorer.ista.ac.at/record/10899
DOI: 10.1016/b978-0-12-384719-5.00031-9

Dynamic association of NU with the human genome
Y. Liang, T.M. Franks, M.C. Marchetto, F.H. Gage, M. Hetzer, PLoS Genetics 9 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/11086
DOI: 10.1371/journal.pgen.1003308
PMID: 23468646

Identification of long-lived proteins reveals exceptional stability of essential cellular structures
B.H. Toyama, J.N. Savas, S.K. Park, M.S. Harris, N.T. Ingolia, J.R. Yates, M. Hetzer, Cell 154 (2013) 971–982.
LibreCat: https://research-explorer.ista.ac.at/record/11087
DOI: 10.1016/j.cell.2013.07.037
PMID: 23993091

Catastrophic nuclear envelope collapse in cancer cell micronuclei
E.M. Hatch, A.H. Fischer, T.J. Deerinck, M. Hetzer, Cell 154 (2013) 47–60.
LibreCat: https://research-explorer.ista.ac.at/record/11085
DOI: 10.1016/j.cell.2013.06.007
PMID: 23827674

Anomalous diffusion of single particles in cytoplasm
B.M. Regner, D. Vudini, C. Domnisoru, T.M. Bartol, M. Hetzer, D.M. Tartakovsky, T.J. Sejnowski, Biophysical Journal 104 (2013) 1652–1660.
LibreCat: https://research-explorer.ista.ac.at/record/11088
DOI: 10.1016/j.bpj.2013.01.049
PMID: 23601312

The role of Nu in transcription regulation in healthy and diseased cells
T.M. Franks, M. Hetzer, Trends in Cell Biology 23 (2013) 112–117.
LibreCat: https://research-explorer.ista.ac.at/record/11083
DOI: 10.1016/j.tcb.2012.10.013
PMID: 23246429

Protein homeostasis: Live long, won't prosper
B.H. Toyama, M. Hetzer, Nature Reviews Molecular Cell Biology 14 (2013) 55–61.
LibreCat: https://research-explorer.ista.ac.at/record/11084
DOI: 10.1038/nrm3496
PMID: 23258296

In situ granular charge measurement by free-fall videography
S.R. Waitukaitis, H. Jaeger, Review of Scientific Instruments 84 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/115
DOI: 10.1063/1.4789496

The dynamics of z=0.8 H-alpha-selected star-forming galaxies from KMOS/CF-HiZELS
D. Sobral, A.M. Swinbank, J.P. Stott, J.J. Matthee, R.G. Bower, I. Smail, P. Best, J.E. Geach, R.M. Sharples, The Astrophysical Journal 779 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/11520
DOI: 10.1088/0004-637x/779/2/139
arXiv: 1310.3822

Dynamic jamming fronts
S.R. Waitukaitis, L. Roth, V. Vitelli, H. Jaeger, EPL 102 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/116
DOI: 10.1209/0295-5075/102/44001

A comprehensive study of techniques for URL-based web page language classification
E. Baykan, I. Weber, M.H. Henzinger, ACM Transactions on the Web 7 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/11671
DOI: 10.1145/2435215.2435218

From nanoscale cohesion to macroscale entanglement: opportunities for designing granular aggregate behaviour by tailoring grain shape and interactions
H. Jaeger, M. Miskin, S.R. Waitukaitis, in:,  AIP Conference Proceedings, AIP, 2013, pp. 3–6.
LibreCat: https://research-explorer.ista.ac.at/record/117
DOI: 10.1063/1.4811858

Sponsored search, market equilibria, and the Hungarian Method
P. Dütting, M.H. Henzinger, I. Weber, Information Processing Letters 113 (2013) 67–73.
LibreCat: https://research-explorer.ista.ac.at/record/11759
DOI: 10.1016/j.ipl.2012.11.006
arXiv: 0912.1934

Sublinear-time maintenance of breadth-first spanning tree in partially dynamic networks
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 40th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2013, pp. 607–619.
LibreCat: https://research-explorer.ista.ac.at/record/11793
DOI: 10.1007/978-3-642-39212-2_53
arXiv: 1512.08147

Valuation compressions in VCG-based combinatorial auctions
P. Dütting, M.H. Henzinger, M. Starnberger, in:, 9th International Conference on Web and Internet Economics, Springer Nature, 2013, pp. 146–159.
LibreCat: https://research-explorer.ista.ac.at/record/11791
DOI: 10.1007/978-3-642-45046-4_13
arXiv: 1310.3153

Maximizing a submodular function with viability constraints
W. Dvoák, M.H. Henzinger, D.P. Williamson, in:, 21st Annual European Symposium on Algorithms, Springer Nature, 2013, pp. 409–420.
LibreCat: https://research-explorer.ista.ac.at/record/11792
DOI: 10.1007/978-3-642-40450-4_35
arXiv: 1611.05753

Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 54th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2013, pp. 538–547.
LibreCat: https://research-explorer.ista.ac.at/record/11856
DOI: 10.1109/focs.2013.64
arXiv: 1308.0776

Bidder optimal assignments for general utilities
P. Dütting, M.H. Henzinger, I. Weber, Theoretical Computer Science 478 (2013) 22–32.
LibreCat: https://research-explorer.ista.ac.at/record/11902
DOI: 10.1016/j.tcs.2013.01.030

In situ generation of diimide from hydrazine and oxygen: Continuous-flow transfer hydrogenation of olefins
B. Pieber, S.T. Martinez, D. Cantillo, C.O. Kappe, Angewandte Chemie International Edition 52 (2013) 10241–10244.
LibreCat: https://research-explorer.ista.ac.at/record/11959
DOI: 10.1002/anie.201303528

Microwave effects in organic synthesis: Myth or reality?
C.O. Kappe, B. Pieber, D. Dallinger, Angewandte Chemie International Edition 52 (2013) 1088–1094.
LibreCat: https://research-explorer.ista.ac.at/record/11960
DOI: 10.1002/anie.201204103