Sedzinski J, Hannezo EB, Tu F, Biro M, Wallingford J. RhoA regulates actin network dynamics during apical surface emergence in multiciliated epithelial cells . Journal of Cell Science. 2017;130(5). doi:10.1242/jcs.202234
LibreCat: https://research-explorer.ista.ac.at/record/936
DOI: 10.1242/jcs.202234

Pinheiro D, Hannezo EB, Herszterg S, et al. Transmission of cytokinesis forces via E cadherin dilution and actomyosin flows. Nature. 2017;545(7652):103-107. doi:10.1038/nature22041
LibreCat: https://research-explorer.ista.ac.at/record/937
DOI: 10.1038/nature22041

Le X, Chu DH, Lo D, Le Goues C, Visser W. JFIX: Semantics-based repair of Java programs via symbolic  PathFinder. In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM; 2017:376-379. doi:10.1145/3092703.3098225
LibreCat: https://research-explorer.ista.ac.at/record/941
DOI: 10.1145/3092703.3098225

Zilberman D. An evolutionary case for functional gene body methylation in plants and animals. Genome Biology. 2017;18(1). doi:10.1186/s13059-017-1230-2
LibreCat: https://research-explorer.ista.ac.at/record/9506
DOI: 10.1186/s13059-017-1230-2
PMID: 28486944

Mitchell J, Zhang W, Herde M, et al. Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment. In: Stein V, ed. Synthetic Protein Switches. Vol 1596. Synthetic Protein Switches. Springer; 2017:89-99. doi:10.1007/978-1-4939-6940-1_6
LibreCat: https://research-explorer.ista.ac.at/record/958
DOI: 10.1007/978-1-4939-6940-1_6

Cheng B, Tribello GA, Ceriotti M. The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit. The Journal of Chemical Physics. 2017;147(10). doi:10.1063/1.4997180
LibreCat: https://research-explorer.ista.ac.at/record/9660
DOI: 10.1063/1.4997180
PMID: 28915742
arXiv: 1703.06062

Cheng B, Ceriotti M. Bridging the gap between atomistic and macroscopic models of homogeneous nucleation. The Journal of Chemical Physics. 2017;146(3). doi:10.1063/1.4973883
LibreCat: https://research-explorer.ista.ac.at/record/9661
DOI: 10.1063/1.4973883
PMID: 28109231
arXiv: 1610.01322

Riccio P, Cebrián C, Zong H, Hippenmeyer S, Costantini F. Data from: Ret and Et promote directed movements of progenitor cells during renal branching morphogenesis. 2017. doi:10.5061/dryad.pk16b
LibreCat: https://research-explorer.ista.ac.at/record/9707
DOI: 10.5061/dryad.pk16b

Nikolic N, Schreiber F, Dal Co A, et al. Source data for figures and tables. 2017. doi:10.1371/journal.pgen.1007122.s018
LibreCat: https://research-explorer.ista.ac.at/record/9844
DOI: 10.1371/journal.pgen.1007122.s018

Ayala A, Pellicciotti F, MacDonell S, McPhee J, Burlando P. Patterns of glacier ablation across North-Central Chile: Identifying the limits of empirical melt models under sublimation-favorable conditions. Water Resources Research. 2017;53(7):5601-5625. doi:10.1002/2016wr020126
LibreCat: https://research-explorer.ista.ac.at/record/12611
DOI: 10.1002/2016wr020126

MILES ES, WILLIS IC, ARNOLD NS, STEINER J, Pellicciotti F. Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013. Journal of Glaciology. 2017;63(237):88-105. doi:10.1017/jog.2016.120
LibreCat: https://research-explorer.ista.ac.at/record/12612
DOI: 10.1017/jog.2016.120

Miles ES, Steiner J, Willis I, et al. Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal. Frontiers in Earth Science. 2017;5. doi:10.3389/feart.2017.00069
LibreCat: https://research-explorer.ista.ac.at/record/12610
DOI: 10.3389/feart.2017.00069

AYALA A, Pellicciotti F, PELEG N, BURLANDO P. Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile. Journal of Glaciology. 2017;63(241):803-822. doi:10.1017/jog.2017.46
LibreCat: https://research-explorer.ista.ac.at/record/12609
DOI: 10.1017/jog.2017.46

SHAW TE, BROCK BW, AYALA Á, RUTTER N, Pellicciotti F. Centreline and cross-glacier air temperature variability on an Alpine glacier: Assessing temperature distribution methods and their influence on melt model calculations. Journal of Glaciology. 2017;63(242):973-988. doi:10.1017/jog.2017.65
LibreCat: https://research-explorer.ista.ac.at/record/12608
DOI: 10.1017/jog.2017.65

Schlögl A, Kiss J. Scientific Computing at IST Austria. In: AHP – Austrian HPC Meeting 2017. FSP Scientific Computing; 2017:28.
LibreCat: https://research-explorer.ista.ac.at/record/12905

Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record for transforming Rabin automata into parity automata. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 10205. Springer; 2017:443-460. doi:10.1007/978-3-662-54577-5_26
LibreCat: https://research-explorer.ista.ac.at/record/13160
DOI: 10.1007/978-3-662-54577-5_26
arXiv: 1701.05738

Udayabhaskararao T, Altantzis T, Houben L, et al. Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices. Science. 2017;358(6362):514-518. doi:10.1126/science.aan6046
LibreCat: https://research-explorer.ista.ac.at/record/13381
DOI: 10.1126/science.aan6046
PMID: 29074773

Sawczyk M, Klajn R. Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles. Journal of the American Chemical Society. 2017;139(49):17973-17978. doi:10.1021/jacs.7b09111
LibreCat: https://research-explorer.ista.ac.at/record/13380
DOI: 10.1021/jacs.7b09111
PMID: 29193964

Ahrens J, Bian T, Vexler T, Klajn R. Irreversible bleaching of donor-acceptor stenhouse adducts on the surfaces of magnetite nanoparticles. ChemPhotoChem. 2017;1(5):230-236. doi:10.1002/cptc.201700009
LibreCat: https://research-explorer.ista.ac.at/record/13383
DOI: 10.1002/cptc.201700009

Samanta D, Klajn R. Clathrates grow up. Science. 2017;355(6328):912-912. doi:10.1126/science.aam7927
LibreCat: https://research-explorer.ista.ac.at/record/13384
DOI: 10.1126/science.aam7927
PMID: 28254902

van Esch JH, Klajn R, Otto S. Chemical systems out of equilibrium. Chemical Society Reviews. 2017;46(18):5474-5475. doi:10.1039/c7cs90088k
LibreCat: https://research-explorer.ista.ac.at/record/13382
DOI: 10.1039/c7cs90088k
PMID: 28884760

Zapartas E, de Mink SE, Izzard RG, et al. Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction. Astronomy &; Astrophysics. 2017;601(A&;A). doi:10.1051/0004-6361/201629685
LibreCat: https://research-explorer.ista.ac.at/record/13477
DOI: 10.1051/0004-6361/201629685
arXiv: 1701.07032

Götberg YLL, de Mink SE, Groh JH. Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity. Astronomy &; Astrophysics. 2017;608. doi:10.1051/0004-6361/201730472
LibreCat: https://research-explorer.ista.ac.at/record/13476
DOI: 10.1051/0004-6361/201730472
arXiv: 1701.07439

Baykusheva DR, Brennecke S, Lein M, Wörner HJ. Signatures of electronic structure in bicircular high-harmonic spectroscopy. Physical Review Letters. 2017;119(20). doi:10.1103/physrevlett.119.203201
LibreCat: https://research-explorer.ista.ac.at/record/14031
DOI: 10.1103/physrevlett.119.203201
PMID: 29219334
arXiv: 1710.04474

Baykusheva DR, Brennecke S, Lein M, Wörner HJ. Signatures of electronic structure in bicircular high-harmonic spectroscopy. Physical Review Letters. 2017;119(20). doi:10.1103/physrevlett.119.203201
LibreCat: https://research-explorer.ista.ac.at/record/14004
DOI: 10.1103/physrevlett.119.203201
arXiv: 1710.04474

Walt SG, Bhargava Ram N, Atala M, et al. Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering. Nature Communications. 2017;8. doi:10.1038/ncomms15651
LibreCat: https://research-explorer.ista.ac.at/record/14005
DOI: 10.1038/ncomms15651
PMID: 28643771

Pertot Y, Schmidt C, Matthews M, et al. Time-resolved x-ray absorption spectroscopy with a water window high-harmonic source. Science. 2017;355(6322):264-267. doi:10.1126/science.aah6114
LibreCat: https://research-explorer.ista.ac.at/record/14008
DOI: 10.1126/science.aah6114
PMID: 28059713

Baykusheva DR, Wörner HJ. Theory of attosecond delays in molecular photoionization. The Journal of Chemical Physics. 2017;146(12). doi:10.1063/1.4977933
LibreCat: https://research-explorer.ista.ac.at/record/14006
DOI: 10.1063/1.4977933
PMID: 28388142

Jordan I, Huppert M, Pabst S, Kheifets AS, Baykusheva DR, Wörner HJ. Spin-orbit delays in photoemission. Physical Review A. 2017;95(1). doi:10.1103/physreva.95.013404
LibreCat: https://research-explorer.ista.ac.at/record/14009
DOI: 10.1103/physreva.95.013404

Baykusheva DR, Wörner HJ. Comment on ‘Time delays in molecular photoionization.’ Journal of Physics B: Atomic, Molecular and Optical Physics. 2017;50(7). doi:10.1088/1361-6455/aa62b5
LibreCat: https://research-explorer.ista.ac.at/record/14007
DOI: 10.1088/1361-6455/aa62b5
arXiv: 1611.09352

Avni G, Henzinger TA, Chonev VK. Infinite-duration bidding games. In: Vol 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.CONCUR.2017.21
LibreCat: https://research-explorer.ista.ac.at/record/950
DOI: 10.4230/LIPIcs.CONCUR.2017.21
arXiv: 1705.01433

Lubiw A, Masárová Z, Wagner U. A proof of the orbit conjecture for flipping edge labelled triangulations. In: Vol 77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.SoCG.2017.49
LibreCat: https://research-explorer.ista.ac.at/record/683
DOI: 10.4230/LIPIcs.SoCG.2017.49

Daca P. Statistical and logical methods for property checking. 2017. doi:10.15479/AT:ISTA:TH_730
LibreCat: https://research-explorer.ista.ac.at/record/1155
DOI: 10.15479/AT:ISTA:TH_730

Payne P. Bacterial herd and social immunity to phages. 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6291

Pleska M, Guet CC. Effects of mutations in phage restriction sites during escape from restriction–modification. Biology Letters. 2017;13(12). doi:10.1098/rsbl.2017.0646
LibreCat: https://research-explorer.ista.ac.at/record/561
DOI: 10.1098/rsbl.2017.0646
PMID: 29237814

Mitosch K. Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. 2017. doi:10.15479/AT:ISTA:th_862
LibreCat: https://research-explorer.ista.ac.at/record/818
DOI: 10.15479/AT:ISTA:th_862

Mitosch K, Rieckh G, Bollenbach MT. Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment. Cell Systems. 2017;4(4):393-403. doi:10.1016/j.cels.2017.03.001
LibreCat: https://research-explorer.ista.ac.at/record/666
DOI: 10.1016/j.cels.2017.03.001

Pavlogiannis A. Algorithmic advances in program analysis and their applications. 2017. doi:10.15479/AT:ISTA:th_854
LibreCat: https://research-explorer.ista.ac.at/record/821
DOI: 10.15479/AT:ISTA:th_854

Jesse F. The lac operon in the wild. 2017. doi:10.15479/AT:ISTA:th_857
LibreCat: https://research-explorer.ista.ac.at/record/820
DOI: 10.15479/AT:ISTA:th_857

Rybar M. (The exact security of) Message authentication codes. 2017. doi:10.15479/AT:ISTA:th_828
LibreCat: https://research-explorer.ista.ac.at/record/838
DOI: 10.15479/AT:ISTA:th_828

Gazi P, Pietrzak KZ, Rybar M. The exact security of PMAC. IACR Transactions on Symmetric Cryptology. 2017;2016(2):145-161. doi:10.13154/TOSC.V2016.I2.145-161
LibreCat: https://research-explorer.ista.ac.at/record/6196
DOI: 10.13154/TOSC.V2016.I2.145-161

Xu H. Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. 2017. doi:10.15479/AT:ISTA:th_858
LibreCat: https://research-explorer.ista.ac.at/record/837
DOI: 10.15479/AT:ISTA:th_858

Adamowski M. Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . 2017. doi:10.15479/AT:ISTA:th_842
LibreCat: https://research-explorer.ista.ac.at/record/938
DOI: 10.15479/AT:ISTA:th_842

Rolinek M. Complexity of constraint satisfaction. 2017. doi:10.15479/AT:ISTA:th_815
LibreCat: https://research-explorer.ista.ac.at/record/992
DOI: 10.15479/AT:ISTA:th_815

Edelsbrunner H, Nikitenko A, Reitzner M. Expected sizes of poisson Delaunay mosaics and their discrete Morse functions. Advances in Applied Probability. 2017;49(3):745-767. doi:10.1017/apr.2017.20
LibreCat: https://research-explorer.ista.ac.at/record/718
DOI: 10.1017/apr.2017.20
arXiv: 1607.05915

Abusalah HM, Alwen JF, Cohen B, Khilko D, Pietrzak KZ, Reyzin L. Beyond Hellman’s time-memory trade-offs with applications to proofs of space. In: Vol 10625. Springer; 2017:357-379. doi:10.1007/978-3-319-70697-9_13
LibreCat: https://research-explorer.ista.ac.at/record/559
DOI: 10.1007/978-3-319-70697-9_13

Alt J. Singularities of the density of states of random Gram matrices. Electronic Communications in Probability. 2017;22. doi:10.1214/17-ECP97
LibreCat: https://research-explorer.ista.ac.at/record/550
DOI: 10.1214/17-ECP97

Bogomolov S, Giacobbe M, Henzinger TA, Kong H. Conic abstractions for hybrid systems. In: Vol 10419. Springer; 2017:116-132. doi:10.1007/978-3-319-65765-3_7
LibreCat: https://research-explorer.ista.ac.at/record/647
DOI: 10.1007/978-3-319-65765-3_7

Bogomolov S, Frehse G, Giacobbe M, Henzinger TA. Counterexample guided refinement of template polyhedra. In: Vol 10205. Springer; 2017:589-606. doi:10.1007/978-3-662-54577-5_34
LibreCat: https://research-explorer.ista.ac.at/record/631
DOI: 10.1007/978-3-662-54577-5_34

Erdös L, Schröder DJ. Fluctuations of functions of Wigner matrices. Electronic Communications in Probability. 2017;21. doi:10.1214/16-ECP38
LibreCat: https://research-explorer.ista.ac.at/record/1144
DOI: 10.1214/16-ECP38

Elek O, Sumin D, Zhang R, et al. Scattering-aware texture reproduction for 3D printing. ACM Transactions on Graphics. 2017;36(6). doi:10.1145/3130800.3130890
LibreCat: https://research-explorer.ista.ac.at/record/486
DOI: 10.1145/3130800.3130890

Jafargholi Z, Kamath Hosdurg C, Klein K, Komargodski I, Pietrzak KZ, Wichs D. Be adaptive avoid overcommitting. In: Katz J, Shacham H, eds. Vol 10401. Springer; 2017:133-163. doi:10.1007/978-3-319-63688-7_5
LibreCat: https://research-explorer.ista.ac.at/record/637
DOI: 10.1007/978-3-319-63688-7_5

Etheridge A, Barton NH. Data for: Establishment in a new habitat by polygenic adaptation. 2017. doi:10.17632/nw68fxzjpm.1
LibreCat: https://research-explorer.ista.ac.at/record/9842
DOI: 10.17632/nw68fxzjpm.1

Locatello F, Tschannen M, Rätsch G, Jaggi M. Greedy algorithms for cone constrained optimization with convergence guarantees. In: Advances in Neural Information Processing Systems. ; 2017.
LibreCat: https://research-explorer.ista.ac.at/record/14206
arXiv: 1705.11041

Locatello F, Khanna R, Tschannen M, Jaggi M. A unified optimization view on generalized matching pursuit and Frank-Wolfe. In: Proceedings of the 20th International Conference on Artificial Intelligence and Statistics. Vol 54. ML Research Press; 2017:860-868.
LibreCat: https://research-explorer.ista.ac.at/record/14205
arXiv: 1702.06457

Pleska M. Biology of restriction-modification systems at the single-cell and population level. 2017. doi:10.15479/AT:ISTA:th_916
LibreCat: https://research-explorer.ista.ac.at/record/202
DOI: 10.15479/AT:ISTA:th_916

Nikitenko A. Discrete Morse theory for random complexes . 2017. doi:10.15479/AT:ISTA:th_873
LibreCat: https://research-explorer.ista.ac.at/record/6287
DOI: 10.15479/AT:ISTA:th_873

Prat T. Identification of novel regulators of PIN polarity and development of novel auxin sensor. 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1127

Martin Del Campo Sanchez A, Cepeda Humerez SA, Uhler C. Exact goodness-of-fit testing for the Ising model. Scandinavian Journal of Statistics. 2017;44(2):285-306. doi:10.1111/sjos.12251
LibreCat: https://research-explorer.ista.ac.at/record/2016
DOI: 10.1111/sjos.12251
WoS: 000400985000001
arXiv: 1410.1242

Bao Z, Erdös L. Delocalization for a class of random block band matrices. Probability Theory and Related Fields. 2017;167(3-4):673-776. doi:10.1007/s00440-015-0692-y
LibreCat: https://research-explorer.ista.ac.at/record/1528
DOI: 10.1007/s00440-015-0692-y
WoS: 000398842700004

Bauer U, Kerber M, Reininghaus J, Wagner H. Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. 2017;78:76-90. doi:10.1016/j.jsc.2016.03.008
LibreCat: https://research-explorer.ista.ac.at/record/1433
DOI: 10.1016/j.jsc.2016.03.008
WoS: 000384396000005

Svoreová M, Kretinsky J, Chmelik M, Chatterjee K, Cbrná I, Belta C. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. 2017;23(2):230-253. doi:10.1016/j.nahs.2016.04.006
LibreCat: https://research-explorer.ista.ac.at/record/1407
DOI: 10.1016/j.nahs.2016.04.006
WoS: 000390637000014
arXiv: 1410.5387

Manteaux P, Wojtan C, Narain R, Redon S, Faure F, Cani M. Adaptive physically based models in computer graphics. Computer Graphics Forum. 2017;36(6):312-337. doi:10.1111/cgf.12941
LibreCat: https://research-explorer.ista.ac.at/record/1367
DOI: 10.1111/cgf.12941
WoS: 000408634200019

Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. 2017;50(2-3):97-139. doi:10.1007/s10703-016-0256-5
LibreCat: https://research-explorer.ista.ac.at/record/1338
DOI: 10.1007/s10703-016-0256-5
WoS: 000399888900001

Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking the evolution of gene regulatory networks. Acta Informatica. 2017;54(8):765-787. doi:10.1007/s00236-016-0278-x
LibreCat: https://research-explorer.ista.ac.at/record/1351
DOI: 10.1007/s00236-016-0278-x
WoS: 000414343200003

Paixao T, Pérez Heredia J, Sudholt D, Trubenova B. Towards a runtime comparison of natural and artificial evolution. Algorithmica. 2017;78(2):681-713. doi:10.1007/s00453-016-0212-1
LibreCat: https://research-explorer.ista.ac.at/record/1336
DOI: 10.1007/s00453-016-0212-1
WoS: 000400379500013

Ajanki OH, Erdös L, Krüger TH. Universality for general Wigner-type matrices. Probability Theory and Related Fields. 2017;169(3-4):667-727. doi:10.1007/s00440-016-0740-2
LibreCat: https://research-explorer.ista.ac.at/record/1337
DOI: 10.1007/s00440-016-0740-2
WoS: 000414358400002

Brázdil T, Chatterjee K, Forejt V, Kudera A. Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. 2017;84:144-170. doi:10.1016/j.jcss.2016.09.009
LibreCat: https://research-explorer.ista.ac.at/record/1294
DOI: 10.1016/j.jcss.2016.09.009
WoS: 000388430000011

Sauerzopf U, Sacco R, Novarino G, et al. Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. European Journal of Neuroscience. 2017;45(1):45-57. doi:10.1111/ejn.13418
LibreCat: https://research-explorer.ista.ac.at/record/1228
DOI: 10.1111/ejn.13418
WoS: 000392487100005
PMID: 27690184

Baranova NS, Loose M. Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers. In: Echard A, ed. Cytokinesis. Vol 137. Academic Press; 2017:355-370. doi:10.1016/bs.mcb.2016.03.036
LibreCat: https://research-explorer.ista.ac.at/record/1213
DOI: 10.1016/bs.mcb.2016.03.036
WoS: 000403542900022

Moser T, Seiringer R. Triviality of a model of particles with point interactions in the thermodynamic limit. Letters in Mathematical Physics. 2017;107(3):533-552. doi:10.1007/s11005-016-0915-x
LibreCat: https://research-explorer.ista.ac.at/record/1198
DOI: 10.1007/s11005-016-0915-x
WoS: 000394280200007

Bao Z, Erdös L, Schnelli K. Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics. 2017;349(3):947-990. doi:10.1007/s00220-016-2805-6
LibreCat: https://research-explorer.ista.ac.at/record/1207
DOI: 10.1007/s00220-016-2805-6
WoS: 000393696700005

Henzinger TA, Otop J. Model measuring for discrete and hybrid systems. Nonlinear Analysis: Hybrid Systems. 2017;23:166-190. doi:10.1016/j.nahs.2016.09.001
LibreCat: https://research-explorer.ista.ac.at/record/1196
DOI: 10.1016/j.nahs.2016.09.001
WoS: 000390637000011

Barton NH. How does epistasis influence the response to selection? Heredity. 2017;118:96-109. doi:10.1038/hdy.2016.109
LibreCat: https://research-explorer.ista.ac.at/record/1199
DOI: 10.1038/hdy.2016.109
WoS: 000392229100011

Zwiernik P, Uhler C, Richards D. Maximum likelihood estimation for linear Gaussian covariance models. Journal of the Royal Statistical Society Series B: Statistical Methodology. 2017;79(4):1269-1292. doi:10.1111/rssb.12217
LibreCat: https://research-explorer.ista.ac.at/record/1208
DOI: 10.1111/rssb.12217
WoS: 000411712300012

Skórski M. Lower bounds on key derivation for square-friendly applications. In: Vol 66. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.STACS.2017.57
LibreCat: https://research-explorer.ista.ac.at/record/1174
DOI: 10.4230/LIPIcs.STACS.2017.57
WoS: 000521077300057

Alwen JF, Blocki J. Towards practical attacks on Argon2i and balloon hashing. In: IEEE; 2017. doi:10.1109/EuroSP.2017.47
LibreCat: https://research-explorer.ista.ac.at/record/1176
DOI: 10.1109/EuroSP.2017.47
WoS: 000424197300011

Kiltz E, Pietrzak KZ, Venturi D, Cash D, Jain A. Efficient authentication from hard learning problems. Journal of Cryptology. 2017;30(4):1238-1275. doi:10.1007/s00145-016-9247-3
LibreCat: https://research-explorer.ista.ac.at/record/1187
DOI: 10.1007/s00145-016-9247-3
WoS: 000410788600007

Kazda A, Kolmogorov V, Rolinek M. Even delta-matroids and the complexity of planar Boolean CSPs. In: SIAM; 2017:307-326. doi:10.1137/1.9781611974782.20
LibreCat: https://research-explorer.ista.ac.at/record/1192
DOI: 10.1137/1.9781611974782.20
WoS: 000426965800020

Skórski M. Simulating auxiliary inputs, revisited. In: Vol 9985. Springer; 2017:159-179. doi:10.1007/978-3-662-53641-4_7
LibreCat: https://research-explorer.ista.ac.at/record/1178
DOI: 10.1007/978-3-662-53641-4_7
WoS: 000390176000007

Akopyan A, Bárány I, Robins S. Algebraic vertices of non-convex polyhedra. Advances in Mathematics. 2017;308:627-644. doi:10.1016/j.aim.2016.12.026
LibreCat: https://research-explorer.ista.ac.at/record/1180
DOI: 10.1016/j.aim.2016.12.026
WoS: 000409292900015

Steenackers W, Klíma P, Quareshy M, et al. Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation. Plant Physiology. 2017;173(1):552-565. doi:10.1104/pp.16.00943
LibreCat: https://research-explorer.ista.ac.at/record/1159
DOI: 10.1104/pp.16.00943
WoS: 000394135800041
PMID: 27837086

Novak S, Kollár R. Spatial gene frequency waves under genotype dependent dispersal. Genetics. 2017;205(1):367-374. doi:10.1534/genetics.116.193946
LibreCat: https://research-explorer.ista.ac.at/record/1169
DOI: 10.1534/genetics.116.193946
WoS: 000393677300025

Altmeyer S, Do Y, Lai Y. Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio. Scientific Reports. 2017;7. doi:10.1038/srep40012
LibreCat: https://research-explorer.ista.ac.at/record/1160
DOI: 10.1038/srep40012
WoS: 000391269700001

Spaek J, Zegrodnik M, Kaczmarczyk J. Universal properties of high temperature superconductors from real space pairing t-J-U model and its quantitative comparison with experiment. Physical Review B - Condensed Matter and Materials Physics. 2017;95(2). doi:10.1103/PhysRevB.95.024506
LibreCat: https://research-explorer.ista.ac.at/record/1162
DOI: 10.1103/PhysRevB.95.024506
WoS: 000391852800006

Gajda-Zagorska EP, Schaefer R, Smoka M, Pardo D, Alvarez Aramberri J. A multi objective memetic inverse solver reinforced by local optimization methods. Journal of Computational Science. 2017;18:85-94. doi:10.1016/j.jocs.2016.06.007
LibreCat: https://research-explorer.ista.ac.at/record/1152
DOI: 10.1016/j.jocs.2016.06.007
WoS: 000393528700009

Perrone E, Rappold A, Müller W. D inf s optimality in copula models. Statistical Methods and Applications. 2017;26(3):403-418. doi:10.1007/s10260-016-0375-6
LibreCat: https://research-explorer.ista.ac.at/record/1168
DOI: 10.1007/s10260-016-0375-6
WoS: 000407973200004

Wysokiski M, Kaczmarczyk J. Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms. Journal of Physics: Condensed Matter. 2017;29(8). doi:10.1088/1361-648X/aa532f
LibreCat: https://research-explorer.ista.ac.at/record/1163
DOI: 10.1088/1361-648X/aa532f
WoS: 000393955500001

Edelsbrunner H, Glazyrin A, Musin O, Nikitenko A. The Voronoi functional is maximized by the Delaunay triangulation in the plane. Combinatorica. 2017;37(5):887-910. doi:10.1007/s00493-016-3308-y
LibreCat: https://research-explorer.ista.ac.at/record/1173
DOI: 10.1007/s00493-016-3308-y
WoS: 000418056000005

Müller J, Sixt MK. Cell migration: Making the waves. Current Biology. 2017;27(1):-. doi:10.1016/j.cub.2016.11.035
LibreCat: https://research-explorer.ista.ac.at/record/1161
DOI: 10.1016/j.cub.2016.11.035
WoS: 000391902500010

Avni G, Goel S, Henzinger TA, Rodríguez Navas G. Computing scores of forwarding schemes in switched networks with probabilistic faults. In: Vol 10206. Springer; 2017:169-187. doi:10.1007/978-3-662-54580-5_10
LibreCat: https://research-explorer.ista.ac.at/record/1116
DOI: 10.1007/978-3-662-54580-5_10
WoS: 000440733400010

Gan J, Weng S-M, Pernia-Andrade A, Csicsvari JL, Jonas PM. Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo. Neuron. 2017;93(2):308-314. doi:10.1016/j.neuron.2016.12.018
LibreCat: https://research-explorer.ista.ac.at/record/1118
DOI: 10.1016/j.neuron.2016.12.018
WoS: 000396428200010

Chen C, Arai10.1016/j.celrep.2016.12.067__itaru, Satterield R, Young S, Jonas PM. Synaptotagmin 2 is the fast C+ sensor at a central inhibitory synapse. Cell Reports. 2017;18(3):723-736. doi:10.1016/j.celrep.2016.12.067
LibreCat: https://research-explorer.ista.ac.at/record/1117
DOI: 10.1016/j.celrep.2016.12.067
WoS: 000396470600013

O’Neill J, Boccara CN, Stella F, Schönenberger P, Csicsvari JL. Superficial layers of the medial entorhinal cortex replay independently of the hippocampus. Science. 2017;355(6321):184-188. doi:10.1126/science.aag2787
LibreCat: https://research-explorer.ista.ac.at/record/1132
DOI: 10.1126/science.aag2787
WoS: 000391743700044

Li X, Seiringer R, Lemeshko M. Angular self-localization of impurities rotating in a bosonic bath. Physical Review A. 2017;95(3). doi:10.1103/PhysRevA.95.033608
LibreCat: https://research-explorer.ista.ac.at/record/1120
DOI: 10.1103/PhysRevA.95.033608
WoS: 000395981900009

Yakaboylu E, Lemeshko M. Anomalous screening of quantum impurities by a neutral environment. Physical Review Letters. 2017;118(8). doi:10.1103/PhysRevLett.118.085302
LibreCat: https://research-explorer.ista.ac.at/record/1133
DOI: 10.1103/PhysRevLett.118.085302
WoS: 000394667600003

Lemeshko M. Quasiparticle approach to molecules interacting with quantum solvents. Physical Review Letters. 2017;118(9). doi:10.1103/PhysRevLett.118.095301
LibreCat: https://research-explorer.ista.ac.at/record/1119
DOI: 10.1103/PhysRevLett.118.095301
WoS: 000404769200006

Kuhn B, Nodzyski T, Errafi S, et al. Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. Scientific Reports. 2017;7. doi:10.1038/srep41906
LibreCat: https://research-explorer.ista.ac.at/record/1110
DOI: 10.1038/srep41906
WoS: 000393367600001

Deny S, Ferrari U, Mace E, et al. Multiplexed computations in retinal ganglion cells of a single type. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-02159-y
LibreCat: https://research-explorer.ista.ac.at/record/1104
DOI: 10.1038/s41467-017-02159-y
WoS: 000417241200004

Breuss M, Hansen AH, Landler L, Keays D. Brain specific knockin of the pathogenic Tubb5 1K allele causes defects in motor coordination and prepulse inhibition. Behavioural Brain Research. 2017;323:47-55. doi:10.1016/j.bbr.2017.01.029
LibreCat: https://research-explorer.ista.ac.at/record/1107
DOI: 10.1016/j.bbr.2017.01.029
WoS: 000397369100007