Hahn D, Wojtan C. 2015. High-resolution brittle fracture simulation with boundary elements. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 151.
LibreCat: https://research-explorer.ista.ac.at/record/1633
DOI: 10.1145/2766896

Ruprecht V, Wieser S, Callan Jones A, Smutny M, Morita H, Sako K, Barone V, Ritsch Marte M, Sixt MK, Voituriez R, Heisenberg C-PJ. 2015. Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell. 160(4), 673–685.
LibreCat: https://research-explorer.ista.ac.at/record/1537
DOI: 10.1016/j.cell.2015.01.008

Adamowski M, Friml J. 2015. PIN-dependent auxin transport: Action, regulation, and evolution. Plant Cell. 27(1), 20–32.
LibreCat: https://research-explorer.ista.ac.at/record/1591
DOI: 10.1105/tpc.114.134874
PMID: 25604445

Alt J. 2015. The local semicircle law for random matrices with a fourfold symmetry. Journal of Mathematical Physics. 56(10), 103301.
LibreCat: https://research-explorer.ista.ac.at/record/1677
DOI: 10.1063/1.4932606

Inglés Prieto Á, Gschaider-Reichhart E, Muellner M, Nowak M, Nijman S, Grusch M, Janovjak HL. 2015. Light-assisted small-molecule screening against protein kinases. Nature Chemical Biology. 11(12), 952–954.
LibreCat: https://research-explorer.ista.ac.at/record/1678
DOI: 10.1038/nchembio.1933

Cepeda Humerez SA, Rieckh G, Tkadik G. 2015. Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation. Physical Review Letters. 115(24), 248101.
LibreCat: https://research-explorer.ista.ac.at/record/1576
DOI: 10.1103/PhysRevLett.115.248101

Avvakumov S, Mabillard I, Skopenkov A, Wagner U. Eliminating higher-multiplicity intersections, III. Codimension 2. arXiv, 1511.03501.
LibreCat: https://research-explorer.ista.ac.at/record/8183
arXiv: 1511.03501

Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. 2015. Algorithms for algebraic path properties in concurrent systems of constant treewidth components, IST Austria, 24p.
LibreCat: https://research-explorer.ista.ac.at/record/5441
DOI: 10.15479/AT:IST-2015-340-v1-1

Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2015. Algorithms for algebraic path properties in concurrent systems of constant treewidth components, IST Austria, 22p.
LibreCat: https://research-explorer.ista.ac.at/record/5442

Svoreová M, Kretinsky J, Chmelik M, Chatterjee K, Cbrná I, Belta C. 2015. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, 259–268.
LibreCat: https://research-explorer.ista.ac.at/record/1689
DOI: 10.1145/2728606.2728608

Cerny P, Clarke E, Henzinger TA, Radhakrishna A, Ryzhyk L, Samanta R, Tarrach T. 2015. From non-preemptive to preemptive scheduling using synchronization synthesis. 9207, 180–197.
LibreCat: https://research-explorer.ista.ac.at/record/1729
DOI: 10.1007/978-3-319-21668-3_11

Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. 2015. Model checking gene regulatory networks. 9035, 469–483.
LibreCat: https://research-explorer.ista.ac.at/record/1835
DOI: 10.1007/978-3-662-46681-0_47

Michalko J, Lukacisinova M, Bollenbach MT, Friml J. 2015. Embryo-lethal phenotypes in early ab mutants are due to disruption of the neighboring BSM gene. 00 Research . 4.
LibreCat: https://research-explorer.ista.ac.at/record/1509
DOI: 10.12688/f1000research.7143.1

Priklopil T, Chatterjee K. 2015. Evolution of decisions in population games with sequentially searching individuals. Games. 6(4), 413–437.
LibreCat: https://research-explorer.ista.ac.at/record/1681
DOI: 10.3390/g6040413

Martius GS, Olbrich E. 2015. Quantifying emergent behavior of autonomous robots. Entropy. 17(10), 7266–7297.
LibreCat: https://research-explorer.ista.ac.at/record/1655
DOI: 10.3390/e17107266

Chen C, Wang C, Zhao X, Zhou T, Xu D, Wang Z, Wang Y. 2015. Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats. ASN Neuro. 7(2).
LibreCat: https://research-explorer.ista.ac.at/record/1834
DOI: 10.1177/1759091415575845

Erbar M, Maas J, Tetali P. 2015. Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models. Annales de la faculté des sciences de Toulouse. 24(4), 781–800.
LibreCat: https://research-explorer.ista.ac.at/record/1635
DOI: 10.5802/afst.1464
arXiv: 1409.8605

Kick B, Praetorius FM, Dietz H, Weuster-Botz D. 2015. Efficient production of single-stranded phage DNA as scaffolds for DNA origami. Nano Letters. 15(7), 4672–4676.
LibreCat: https://research-explorer.ista.ac.at/record/14303
DOI: 10.1021/acs.nanolett.5b01461
PMID: 26028443

Brázdil T, Chatterjee K, Chmelik M, Fellner A, Kretinsky J. 2015. Counterexample explanation by learning small strategies in Markov decision processes. CAV: Computer Aided Verification, LNCS, vol. 9206, 158–177.
LibreCat: https://research-explorer.ista.ac.at/record/1603
DOI: 10.1007/978-3-319-21690-4_10

Fellner A. 2015. Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes, Institute of Science and Technology Austria,10.15479/AT:ISTA:28 .
LibreCat: https://research-explorer.ista.ac.at/record/5549
DOI: 10.15479/AT:ISTA:28

Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2015. Bounding Helly numbers via Betti numbers. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 34, 507–521.
LibreCat: https://research-explorer.ista.ac.at/record/1512
DOI: 10.4230/LIPIcs.SOCG.2015.507

Browning TD, Prendiville S. Improvements in Birch’s theorem on forms in many variables. Journal fur die Reine und Angewandte Mathematik. 2017(731), 203–234.
LibreCat: https://research-explorer.ista.ac.at/record/271
DOI: 10.1515/crelle-2014-0122
arXiv: 1402.4489

Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. 2015. Proofs of space. 35th Annual Cryptology Conference. CRYPTO: International Cryptology Conference, LNCS, vol. 9216, 585–605.
LibreCat: https://research-explorer.ista.ac.at/record/1675
DOI: 10.1007/978-3-662-48000-7_29

Michael AK, Harvey SL, Sammons PJ, Anderson AP, Kopalle HM, Banham AH, Partch CL. 2015. Cancer/Testis antigen PAS silences the circadian clock. Molecular Cell. 58(5), 743–754.
LibreCat: https://research-explorer.ista.ac.at/record/15160
DOI: 10.1016/j.molcel.2015.03.031

Michael AK, Asimgil H, Partch CL. 2015. Cytosolic BMAL1 moonlights as a translation factor. Trends in Biochemical Sciences. 40(9), 489–490.
LibreCat: https://research-explorer.ista.ac.at/record/15159
DOI: 10.1016/j.tibs.2015.07.006

Chevereau G, Lukacisinova M, Batur T, Guvenek A, Ayhan D, Toprak E, Bollenbach MT. 2015. Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. 13(11), e1002299.
LibreCat: https://research-explorer.ista.ac.at/record/1619
DOI: 10.1371/journal.pbio.1002299

Sari A, Chebaro YC, Knowles TPJ, Frenkel D. 2014. Crucial role of nonspecific interactions in amyloid nucleation. Proceedings of the National Academy of Sciences. 111(50), 17869–17874.
LibreCat: https://research-explorer.ista.ac.at/record/10382
DOI: 10.1073/pnas.1410159111
PMID: 25453085
arXiv: 1412.0897

Mallory SA, Sari A, Valeriani C, Cacciuto A. 2014. Anomalous thermomechanical properties of a self-propelled colloidal fluid. Physical Review E. 89(5), 052303.
LibreCat: https://research-explorer.ista.ac.at/record/10383
DOI: 10.1103/physreve.89.052303
PMID: 25353796
arXiv: 1310.0826

Jensen N, Danzl JG, Willig K, Lavoie Cardinal F, Brakemann T, Hell S, Jakobs S. 2014. Coordinate-targeted and coordinate-stochastic super-resolution microscopy with the reversibly switchable fluorescent protein dreiklang. ChemPhysChem. 15(4), 756–762.
LibreCat: https://research-explorer.ista.ac.at/record/1058
DOI: 10.1002/cphc.201301034

Hashimoto M, Morita H, Ueno N. 2014. Molecular and cellular mechanisms of development underlying congenital diseases. Congenital Anomalies. 54(1), 1–7.
LibreCat: https://research-explorer.ista.ac.at/record/10815
DOI: 10.1111/cga.12039
PMID: 24666178

Zaeímalová E, Petrásek J, Benková E eds. 2014. Auxin and Its Role in Plant Development 1st ed., Vienna: Springer Nature, 444p.
LibreCat: https://research-explorer.ista.ac.at/record/10811
DOI: 10.1007/978-3-7091-1526-8

Aminof B, Jacobs S, Khalimov A, Rubin S. 2014. Parameterized model checking of token-passing systems. Verification, Model Checking, and Abstract Interpretation. VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318, 262–281.
LibreCat: https://research-explorer.ista.ac.at/record/10884
DOI: 10.1007/978-3-642-54013-4_15
arXiv: 1311.4425

Kasten J, Reininghaus J, Reich W, Scheuermann G. 2014.Toward the extraction of saddle periodic orbits. In: Topological Methods in Data Analysis and Visualization III . vol. 1, 55–69.
LibreCat: https://research-explorer.ista.ac.at/record/10893
DOI: 10.1007/978-3-319-04099-8_4

Buchwalter A, Hetzer M. 2014. Nuclear pores set the speed limit for mitosis. Cell. 156(5), 868–869.
LibreCat: https://research-explorer.ista.ac.at/record/11080
DOI: 10.1016/j.cell.2014.02.004
PMID: 24581486

Buchwalter AL, Liang Y, Hetzer M. 2014. Nu is required for cell differentiation and exhibits transcription-dependent dynamics. Molecular Biology of the Cell. 25(16), 2472–2484.
LibreCat: https://research-explorer.ista.ac.at/record/11082
DOI: 10.1091/mbc.e14-04-0865

Hatch E, Hetzer M. 2014. Breaching the nuclear envelope in development and disease. Journal of Cell Biology. 205(2), 133–141.
LibreCat: https://research-explorer.ista.ac.at/record/11081
DOI: 10.1083/jcb.201402003
PMID: 24751535

Matthee JJ, Sobral D, Swinbank AM, Smail I, Best PN, Kim J-W, Franx M, Milvang-Jensen B, Fynbo J. 2014. A 10 de Lyman ;1 survey at z=8.8 with spectroscopic follow-up: Strong constraints on the luminosity function and implications for other surveys. Monthly Notices of the Royal Astronomical Society. 440(3), 2375–2387.
LibreCat: https://research-explorer.ista.ac.at/record/11583
DOI: 10.1093/mnras/stu392
arXiv: 1402.6697

Stott JP, Sobral D, Swinbank AM, Smail I, Bower R, Best PN, Sharples RM, Geach JE, Matthee JJ. 2014. A relationship between specific star formation rate and metallicity gradient within z c 1 galaxies from KMOS-HiZELS. Monthly Notices of the Royal Astronomical Society. 443(3), 2695–2704.
LibreCat: https://research-explorer.ista.ac.at/record/11582
DOI: 10.1093/mnras/stu1343
arXiv: 1407.1047

Pokharel M, Zhao H, Modic KA, Ren Z, Opeil C. 2014. Magnetic properties of hot-pressed FeSb2. IEEE Transactions on Magnetics. 50(5), 6675864.
LibreCat: https://research-explorer.ista.ac.at/record/11750
DOI: 10.1109/TMAG.2013.2292607

Charikar M, Henzinger MH, Nguyên HL. 2014. Online bipartite matching with decomposable weights. 22nd Annual European Symposium on Algorithms. ESA: Annual European Symposium on Algorithms, LNCS, vol. 8737, 260–271.
LibreCat: https://research-explorer.ista.ac.at/record/11789
DOI: 10.1007/978-3-662-44777-2_22
arXiv: 1409.2139

Cigler L, Dvoák W, Henzinger MH, Starnberger M. 2014. Limiting price discrimination when selling products with positive network externalities. 10th International Conference of Web and Internet Economics. WINE: International Conference on Web and Internet Economics, LNCS, vol. 8877, 44–57.
LibreCat: https://research-explorer.ista.ac.at/record/11790
DOI: 10.1007/978-3-319-13129-0_4

Altshuler E, Torres H, González_Pita A, Sánchez CG, Pérez Penichet C, Waitukaitis SR, Hidalgo R. 2014. Settling into dry granular media in different gravities. Geophysical Research Letters. 41(9), 3032–3037.
LibreCat: https://research-explorer.ista.ac.at/record/118
DOI: 10.1002/2014GL059229

Henzinger MH, Krinninger S, Nanongkai D. 2014. Decremental single-source shortest paths on undirected graphs in near-linear total update time. 55th Annual Symposium on Foundations of Computer Science. FOCS: Annual Symposium on Foundations of Computer Science, 146–155.
LibreCat: https://research-explorer.ista.ac.at/record/11855
DOI: 10.1109/focs.2014.24
arXiv: 1402.0054

Henzinger MH, Krinninger S, Nanongkai D. 2014. Sublinear-time decremental algorithms for single-source reachability and shortest paths on directed graphs. 46th Annual ACM Symposium on Theory of Computing. STOC: Symposium on Theory of Computing, 674–683.
LibreCat: https://research-explorer.ista.ac.at/record/11870
DOI: 10.1145/2591796.2591869
arXiv: 1504.07959

Henzinger MH, Krinninger S, Nanongkai D. 2014. A subquadratic-time algorithm for decremental single-source shortest paths. 25th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1053–1072.
LibreCat: https://research-explorer.ista.ac.at/record/11876
DOI: 10.1137/1.9781611973402.79

Bhattacharya S, Henzinger MH, Italiano GF. 2014. Deterministic fully dynamic data structures for vertex cover and matching. 26th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 785–804.
LibreCat: https://research-explorer.ista.ac.at/record/11875
DOI: 10.1137/1.9781611973730.54
arXiv: 1412.1318

Waitukaitis SR, Lee V, Pierson J, Forman S, Jaeger H. 2014. Size-dependent same-material tribocharging in insulating grains. APS Physics, Physical Review Letters. 112(21), 218001.
LibreCat: https://research-explorer.ista.ac.at/record/119
DOI: 10.1103/PhysRevLett.112.218001
arXiv: 1309.2578

Hofbauer HF, Schopf FH, Schleifer H, Knittelfelder OL, Pieber B, Rechberger GN, Wolinski H, Gaspar ML, Kappe CO, Stadlmann J, Mechtler K, Zenz A, Lohner K, Tehlivets O, Henry SA, Kohlwein SD. 2014. Regulation of gene expression through a transcriptional repressor that senses acyl-chain length in membrane phospholipids. Developmental Cell. 29(6), 9-739.
LibreCat: https://research-explorer.ista.ac.at/record/11968
DOI: 10.1016/j.devcel.2014.04.025
PMID: 24960695

Moghaddam MM, Pieber B, Glasnov T, Kappe CO. 2014. Immobilized iron oxide nanoparticles as stable and reusable catalysts for hydrazine-mediated nitro reductions in continuous flow. ChemSusChem. 7(11), 3122–3131.
LibreCat: https://research-explorer.ista.ac.at/record/11967
DOI: 10.1002/cssc.201402455
PMID: 25209099

Pieber B, Glasnov T, Kappe CO. 2014. Flash carboxylation: Fast lithiation–carboxylation sequence at room temperature in continuous flow. RSC Advances. 4(26), 13430.
LibreCat: https://research-explorer.ista.ac.at/record/11987
DOI: 10.1039/c4ra01442a

Fischer JL. 2014. Infinite speed of support propagation for the Derrida-Lebowitz-Speer-Spohn equation and quantum drift-diffusion models. Nonlinear Differential Equations and Applications. 21(1), 27–50.
LibreCat: https://research-explorer.ista.ac.at/record/1309
DOI: 10.1007/s00030-013-0235-0

Fischer JL. 2014. Upper bounds on waiting times for the Thin-film equation: The case of weak slippage. Archive for Rational Mechanics and Analysis. 211(3), 771–818.
LibreCat: https://research-explorer.ista.ac.at/record/1312
DOI: 10.1007/s00205-013-0690-0

Chatterjee K, Henzinger MH, Krinninger S, Loitzenbauer V, Raskin M. 2014. Approximating the minimum cycle mean. Theoretical Computer Science. 547(C), 104–116.
LibreCat: https://research-explorer.ista.ac.at/record/1375
DOI: 10.1016/j.tcs.2014.06.031
arXiv: 1307.4473

Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. 2014. A logic-based framework for verifying consensus algorithms. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 8318, 161–181.
LibreCat: https://research-explorer.ista.ac.at/record/1392
DOI: 10.1007/978-3-642-54013-4_10

Gordon A, Henzinger TA, Nori A, Rajamani S. 2014. Probabilistic programming. Proceedings of the on Future of Software Engineering. FOSE: Future of Software Engineering, 167–181.
LibreCat: https://research-explorer.ista.ac.at/record/1393
DOI: 10.1145/2593882.2593900

Stock M. 2014. Evolution of a fungal pathogen towards individual versus social immunity in ants. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1404

Bräunlich G, Hainzl C, Seiringer R. 2014. On the BCS gap equation for superfluid fermionic gases. Proceedings of the QMat Conference. QMath: Mathematical Results in Quantum Physics, 127–137.
LibreCat: https://research-explorer.ista.ac.at/record/1516
DOI: 10.1142/9789814618144_0007
arXiv: 1403.2563

Guerrero P, Jeschke S, Wimmer M, Wonka P. 2014. Edit propagation using geometric relationship functions. ACM Transactions on Graphics. 33(2), 15.
LibreCat: https://research-explorer.ista.ac.at/record/1629
DOI: 10.1145/2591010

Fulek R, Kyndl J, Malinovi I, Pálvölgyi D. 2014. Clustered planarity testing revisited. International Symposium on Graph Drawing. , LNCS, vol. 8871, 428–436.
LibreCat: https://research-explorer.ista.ac.at/record/10793
DOI: 10.1007/978-3-662-45803-7_36
arXiv: 1305.4519

Fuchsbauer G. 2014. Constrained Verifiable Random Functions . SCN 2014. SCN: Security and Cryptography for Networks, LNCS, vol. 8642, 95–114.
LibreCat: https://research-explorer.ista.ac.at/record/1643
DOI: 10.1007/978-3-319-10879-7_7

Gupta A, Popeea C, Rybalchenko A. 2014. Generalised interpolation by solving recursion free-horn clauses. Electronic Proceedings in Theoretical Computer Science, EPTCS. HCVS: Horn Clauses for Verification and Synthesis, EPTCS, vol. 169, 31–38.
LibreCat: https://research-explorer.ista.ac.at/record/1702
DOI: 10.4204/EPTCS.169.5

Savin C, Denève S. 2014. Spatio-temporal representations of uncertainty in spiking neural networks. NIPS: Neural Information Processing Systems vol. 3, 2024–2032.
LibreCat: https://research-explorer.ista.ac.at/record/1708

Mongillo M, Spathis P, Katsaros G, De Franceschi S, Gentile P, Rurali R, Cartoixà X. 2014. PtSi clustering in silicon probed by transport spectroscopy. Physical Review X. 3(4).
LibreCat: https://research-explorer.ista.ac.at/record/1761
DOI: 10.1103/PhysRevX.3.041025

Baek S, Kerjan G, Bielas S, Lee J, Fenstermaker A, Novarino G, Gleeson J. 2014. Off-target effect of doublecortin family shRNA on neuronal migration associated with endogenous MicroRNA dysregulation. Neuron. 82(6), 1255–1262.
LibreCat: https://research-explorer.ista.ac.at/record/1791
DOI: 10.1016/j.neuron.2014.04.036

Baster P, Friml J. 2014.Auxin on the road navigated by cellular PIN polarity. In: Auxin and Its Role in Plant Development. , 143–170.
LibreCat: https://research-explorer.ista.ac.at/record/1806
DOI: 10.1007/978-3-7091-1526-8_8

Huber S, Held M, Meerwald P, Kwitt R. 2014. Topology-preserving watermarking of vector graphics. International Journal of Computational Geometry and Applications. 24(1), 61–86.
LibreCat: https://research-explorer.ista.ac.at/record/1816
DOI: 10.1142/S0218195914500034

Seiringer R. 2014. Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation. Journal of Mathematical Physics. 55(7), 1.4881536.
LibreCat: https://research-explorer.ista.ac.at/record/1821
DOI: 10.1063/1.4881536

Jaksi V, Pillet C, Seiringer R. 2014. Introduction. Journal of Mathematical Physics. 55(7), 075101.
LibreCat: https://research-explorer.ista.ac.at/record/1822
DOI: 10.1063/1.4884877

Muelling K, Kroemer O, Lampert C, Schölkopf B. 2014.Movement templates for learning of hitting and batting. In: Learning Motor Skills. Springer Tracts in Advanced Robotics, vol. 97, 69–82.
LibreCat: https://research-explorer.ista.ac.at/record/1829
DOI: 10.1007/978-3-319-03194-1_3

Risso V, Manssour Triedo F, Delgado Delgado A, Arco R, Barroso Deljesús A, Inglés Prieto Á, Godoy Ruiz R, Gavira J, Gaucher E, Ibarra Molero B, Sánchez Ruiz J. 2014. Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history. Molecular Biology and Evolution. 32(2), 440–455.
LibreCat: https://research-explorer.ista.ac.at/record/1844
DOI: 10.1093/molbev/msu312

Cibulka J, Gao P, Krcál M, Valla T, Valtr P. 2014. On the geometric ramsey number of outerplanar graphs. Discrete &; Computational Geometry. 53(1), 64–79.
LibreCat: https://research-explorer.ista.ac.at/record/1842
DOI: 10.1007/s00454-014-9646-x

Guerrero P, Auzinger T, Wimmer M, Jeschke S. 2014. Partial shape matching using transformation parameter similarity. Computer Graphics Forum. 34(1), 239–252.
LibreCat: https://research-explorer.ista.ac.at/record/1854
DOI: 10.1111/cgf.12509

Sassi M, Ali O, Boudon F, Cloarec G, Abad U, Cellier C, Chen X, Gilles B, Milani P, Friml J, Vernoux T, Godin C, Hamant O, Traas J. 2014. An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis. Current Biology. 24(19), 2335–2342.
LibreCat: https://research-explorer.ista.ac.at/record/1852
DOI: 10.1016/j.cub.2014.08.036

Jha S, Tripakis S, Seshia S, Chatterjee K. 2014. Game theoretic secure localization in wireless sensor networks. IOT: Internet of Things, 85–90.
LibreCat: https://research-explorer.ista.ac.at/record/1853
DOI: 10.1109/IOT.2014.7030120

Chen X, Grandont L, Li H, Hauschild R, Paque S, Abuzeineh A, Rakusova H, Benková E, Perrot Rechenmann C, Friml J. 2014. Inhibition of cell expansion by rapid AB-mediated auxin effect on microtubules. Nature. 516(729), 90–93.
LibreCat: https://research-explorer.ista.ac.at/record/1862
DOI: 10.1038/nature13889
PMID: 25409144

Hofferek G, Gupta A. 2014. Suraq - a controller synthesis tool using uninterpreted functions. HVC 2014. HVC: Haifa Verification Conference, LNCS, vol. 8855, 68–74.
LibreCat: https://research-explorer.ista.ac.at/record/1869
DOI: 10.1007/978-3-319-13338-6_6

Gupta A, Kovács L, Kragl B, Voronkov A. 2014. Extensional crisis and proving identity. ATVA 2014. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 8837, 185–200.
LibreCat: https://research-explorer.ista.ac.at/record/1872
DOI: 10.1007/978-3-319-11936-6_14

Henzinger TA, Otop J, Samanta R. 2014. Lipschitz robustness of finite-state transducers. Leibniz International Proceedings in Informatics, LIPIcs. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 29, 431–443.
LibreCat: https://research-explorer.ista.ac.at/record/1870
DOI: 10.4230/LIPIcs.FSTTCS.2014.431

Samanta R, Olivo O, Allen E. 2014. Cost-aware automatic program repair. SAS: Static Analysis Symposium, LNCS, vol. 8723, 268–284.
LibreCat: https://research-explorer.ista.ac.at/record/1875
DOI: 10.1007/978-3-319-10936-7_17

Dolbilin N, Edelsbrunner H, Glazyrin A, Musin O. 2014. Functionals on triangulations of delaunay sets. Moscow Mathematical Journal. 14(3), 491–504.
LibreCat: https://research-explorer.ista.ac.at/record/1876
DOI: 10.17323/1609-4514-2014-14-3-491-504
arXiv: 1211.7053

Sixt MK, Vaahtomeri K. 2014. Physiology: Relax and come in. Nature. 514(7523), 441–442.
LibreCat: https://research-explorer.ista.ac.at/record/1877
DOI: 10.1038/514441a

Hermundstad A, Briguglio J, Conte M, Victor J, Balasubramanian V, Tkadik G. 2014. Variance predicts salience in central sensory processing. eLife. (November), e03722.
LibreCat: https://research-explorer.ista.ac.at/record/1886
DOI: 10.7554/eLife.03722

Körner C, Braunstein V, Stangl M, Schlögl A, Neuper C, Ischebeck A. 2014. Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection. Psychophysiology. 51(4), 385–395.
LibreCat: https://research-explorer.ista.ac.at/record/1890
DOI: 10.1111/psyp.12062

Ocana S, Meidl P, Bonfils D, Taborsky M. 2014. Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids. Proceedings of the Royal Society of London Series B Biological Sciences. 281(1794), 20140253.
LibreCat: https://research-explorer.ista.ac.at/record/1892
DOI: 10.1098/rspb.2014.0253
PMID: 25232141

Chwastyk M, Galera Prat A, Sikora MK, Gómez Sicilia À, Carrión Vázquez M, Cieplak M. 2014. Theoretical tests of the mechanical protection strategy in protein nanomechanics. Proteins: Structure, Function and Bioinformatics. 82(5), 717–726.
LibreCat: https://research-explorer.ista.ac.at/record/1891
DOI: 10.1002/prot.24436

Landau D, Stewart C, Reiter J, Lawrence M, Sougnez C, Brown J, Lopez Guillermo A, Gabriel S, Lander E, Neuberg D, López Otín C, Campo E, Getz G, Wu C. 2014. Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples. Blood. 124(21), 1952–1952.
LibreCat: https://research-explorer.ista.ac.at/record/1884

Bräunlich G, Hainzl C, Seiringer R. 2014. Translation-invariant quasi-free states for fermionic systems and the BCS approximation. Reviews in Mathematical Physics. 26(7), 1450012.
LibreCat: https://research-explorer.ista.ac.at/record/1889
DOI: 10.1142/S0129055X14500123
arXiv: 1305.5135

Grabowska A, Wywia E, Dunin Horkawicz S, asica A, Wösten M, Nagy-Staron AA, Godlewska R, Bocian Ostrzycka K, Piekowska K, aniewski P, Bujnicki J, Van Putten J, Jagusztyn Krynicka E. 2014. Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA. PLoS One. 9(9), e106247.
LibreCat: https://research-explorer.ista.ac.at/record/1894
DOI: 10.1371/journal.pone.0106247

Edamura M, Murakami G, Meng H, Itakura M, Shigemoto R, Fukuda A, Nakahara D. 2014. Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice. PLoS One. 9(9), e107099.
LibreCat: https://research-explorer.ista.ac.at/record/1895
DOI: 10.1371/journal.pone.0107099

Marhavá P, Hirsch S, Feraru E, Tejos R, Van Wijk R, Viaene T, Heilmann M, Lerche J, De Rycke R, Feraru M, Grones P, Van Montagu M, Heilmann I, Munnik T, Friml J. 2014. SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis. PNAS. 111(7), 2818–2823.
LibreCat: https://research-explorer.ista.ac.at/record/1893
DOI: 10.1073/pnas.1324264111

Kollár R, Bodova K, Nosek J, Tomáska d. 2014. Mathematical model of alternative mechanism of telomere length maintenance. Physical Review E Statistical Nonlinear and Soft Matter Physics. 89(3), 032701.
LibreCat: https://research-explorer.ista.ac.at/record/1896
DOI: 10.1103/PhysRevE.89.032701

Naramoto S, Otegui M, Kutsuna N, De Rycke R, Dainobu T, Karampelias M, Fujimoto M, Feraru E, Miki D, Fukuda H, Nakano A, Friml J. 2014. Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis. Plant Cell. 26(7), 3062–3076.
LibreCat: https://research-explorer.ista.ac.at/record/1897
DOI: 10.1105/tpc.114.125880

Williams S, Ratliff L, Postiglione MP, Knoblich J, Fuchs E. 2014. Par3-mInsc and G;1 i3 cooperate to promote oriented epidermal cell divisions through LGN. Nature Cell Biology. 16(8), 758–769.
LibreCat: https://research-explorer.ista.ac.at/record/1899
DOI: 10.1038/ncb3001
PMID: 25016959

Ritzau Jost A, Delvendahl I, Rings A, Byczkowicz N, Harada H, Shigemoto R, Hirrlinger J, Eilers J, Hallermann S. 2014. Ultrafast action potentials mediate kilohertz signaling at a central synapse. Neuron. 84(1), 152–163.
LibreCat: https://research-explorer.ista.ac.at/record/1898
DOI: 10.1016/j.neuron.2014.08.036

Arikan M, Preiner R, Scheiblauer C, Jeschke S, Wimmer M. 2014. Large-scale point-cloud visualization through localized textured surface reconstruction. IEEE Transactions on Visualization and Computer Graphics. 20(9), 1280–1292.
LibreCat: https://research-explorer.ista.ac.at/record/1906
DOI: 10.1109/TVCG.2014.2312011

Tobler M, Plath M, Riesch R, Schlupp I, Grasse AV, Munimanda G, Setzer C, Penn D, Moodley Y. 2014. Selection from parasites favours immunogenetic diversity but not divergence among locally adapted host populations. Journal of Evolutionary Biology. 27(5), 960–974.
LibreCat: https://research-explorer.ista.ac.at/record/1905
DOI: 10.1111/jeb.12370
PMID: 24725091

Hall B, Acar H, Nandipati A, Barlow M. 2014. Growth rates made easy. Molecular Biology and Evolution. 31(1), 232–238.
LibreCat: https://research-explorer.ista.ac.at/record/1902
DOI: 10.1093/molbev/mst187
PMID: 24170494

Tian H, Wabnik KT, Niu T, Li H, Yu Q, Pollmann S, Vanneste S, Govaerts W, Roldík J, Geisler M, Friml J, Ding Z. 2014. WO-IA feedback circuit-mediated cellular auxin response is crucial for the patterning of root stem cell niches in arabidopsis. Molecular Plant. 7(2), 277–289.
LibreCat: https://research-explorer.ista.ac.at/record/1901
DOI: 10.1093/mp/sst118

Frank R, Lewin M, Lieb É, Seiringer R. 2014. Strichartz inequality for orthonormal functions. Journal of the European Mathematical Society. 16(7), 1507–1526.
LibreCat: https://research-explorer.ista.ac.at/record/1904
DOI: 10.4171/JEMS/467

Behrndt M, Heisenberg C-PJ. 2014. Lateral junction dynamics lead the way out. Nature Cell Biology. 16(2), 127–129.
LibreCat: https://research-explorer.ista.ac.at/record/1900
DOI: 10.1038/ncb2913