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.

5633 Publications


2019 | Journal Article | IST-REx-ID: 6092   OA
Mentink JH, Katsnelson M, Lemeshko M. Quantum many-body dynamics of the Einstein-de Haas effect. Physical Review B. 2019;99(6). doi:10.1103/PhysRevB.99.064428
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6042   OA
Christakis M, Heizmann M, Mansur MN, Schilling C, Wüstholz V. Semantic fault localization and suspiciousness ranking. In: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . Vol 11427. Springer Nature; 2019:226-243. doi:10.1007/978-3-030-17462-0_13
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6648   OA
Edelsbrunner H, Virk Z, Wagner H. Topological data analysis in information space. In: 35th International Symposium on Computational Geometry. Vol 129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:31:1-31:14. doi:10.4230/LIPICS.SOCG.2019.31
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 5948
Fu H, Chatterjee K. Termination of nondeterministic probabilistic programs. In: International Conference on Verification, Model Checking, and Abstract Interpretation. Vol 11388. Springer Nature; 2019:468-490. doi:10.1007/978-3-030-11245-5_22
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7026   OA
Lukacisin M, Bollenbach T. Emergent gene expression responses to drug combinations predict higher-order drug interactions. Cell Systems. 2019;9(5):423-433.e1-e3. doi:10.1016/j.cels.2019.10.004
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7158
Chatterjee K, Goharshady AK, Goyal P, Ibsen-Jensen R, Pavlogiannis A. Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems. 2019;41(4). doi:10.1145/3363525
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6756   OA
Pranav P, Adler RJ, Buchert T, et al. Unexpected topology of the temperature fluctuations in the cosmic microwave background. Astronomy and Astrophysics. 2019;627. doi:10.1051/0004-6361/201834916
View | Files available | DOI | arXiv
 

2019 | Thesis | IST-REx-ID: 6681
Zhechev SY. Algorithmic Aspects of Homotopy Theory and Embeddability. IST Austria; 2019. doi:10.15479/AT:ISTA:6681
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6888
Lechner M, Hasani R, Zimmer M, Henzinger TA, Grosu R. Designing worm-inspired neural networks for interpretable robotic control. In: Proceedings - IEEE International Conference on Robotics and Automation. Vol 2019-May. IEEE; 2019. doi:10.1109/icra.2019.8793840
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7280   OA
Kwak W-J, Kim H, Petit YK, et al. Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen. Nature Communications. 2019;10:1380. doi:10.1038/s41467-019-09399-0
View | Files available | DOI
 

2019 | Preprint | IST-REx-ID: 7083   OA
Kavcic B, Tkačik G, Bollenbach T. Mechanistic origin of drug interactions between translation-inhibiting antibiotics. bioRxiv.
View | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 7420   OA
Sahgal P, Alanko JH, Icha J, et al. GGA2 and RAB13 promote activity-dependent β1-integrin recycling. Journal of Cell Science. 2019;132(11):jcs233387. doi:10.1242/jcs.233387
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7437   OA
Yu C, Tang H, Renggli C, et al. Distributed learning over unreliable networks. In: 36th International Conference on Machine Learning, ICML 2019. Vol 2019-June. IMLS; 2019:12481-12512.
View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7418
Karlík O, Šik M, Vévoda P, Skrivan T, Křivánek J. MIS compensation: Optimizing sampling techniques in multiple importance sampling. ACM Transactions on Graphics. 2019;38(6):151. doi:10.1145/3355089.3356565
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7413   OA
Boccato C, Brennecke C, Cenatiempo S, Schlein B. Bogoliubov theory in the Gross–Pitaevskii limit. Acta Mathematica. 2019;222(2):219-335. doi:10.4310/acta.2019.v222.n2.a1
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7393   OA
Morales HE, Faria R, Johannesson K, et al. Genomic architecture of parallel ecological divergence: Beyond a single environmental contrast. Science Advances. 2019;5(12):eaav9963. doi:10.1126/sciadv.aav9963
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7406
Mckenzie C, Spanova M, Johnson AJ, et al. Isolation of synaptic vesicles from genetically engineered cultured neurons. Journal of Neuroscience Methods. 2019;312:114-121. doi:10.1016/j.jneumeth.2018.11.018
View | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7401   OA
Fulek R, Kyncl J. Z_2-Genus of graphs and minimum rank of partial symmetric matrices. In: 35th International Symposium on Computational Geometry (SoCG 2019). Vol 129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:39. doi:10.4230/LIPICS.SOCG.2019.39
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6035   OA
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. JuliaReach: A toolbox for set-based reachability. In: Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control. Vol 22. ACM; 2019:39-44. doi:10.1145/3302504.3311804
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7398   OA
Erdem FA, Ilic M, Koppensteiner P, et al. A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2. The Journal of General Physiology. 2019;151(8):1035-1050. doi:10.1085/jgp.201912318
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6186   OA
Cipolloni G, Erdös L, Krüger TH, Schröder DJ. Cusp universality for random matrices, II: The real symmetric case. Pure and Applied Analysis . 2019;1(4):615–707. doi:10.2140/paa.2019.1.615
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6857   OA
Giese B, Friess JL, Schetelig MF, et al. Gene Drives: Dynamics and regulatory matters – A report from the workshop “Evaluation of spatial and temporal control of Gene Drives”, 4 – 5 April 2019, Vienna. BioEssays. 2019;41(11):1900151. doi:10.1002/bies.201900151
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5789
Petridou N, Grigolon S, Salbreux G, Hannezo EB, Heisenberg C-PJ. Fluidization-mediated tissue spreading by mitotic cell rounding and non-canonical Wnt signalling. Nature Cell Biology. 2019;21:169–178. doi:10.1038/s41556-018-0247-4
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7468   OA
Swoboda P, Kolmogorov V. Map inference via block-coordinate Frank-Wolfe algorithm. In: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. Vol 2019-June. IEEE; 2019:11138-11147. doi:10.1109/CVPR.2019.01140
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7451   OA
Vukics A, Dombi A, Fink JM, Domokos P. Finite-size scaling of the photon-blockade breakdown dissipative quantum phase transition. Quantum. 2019;3:150. doi:10.22331/q-2019-06-03-150
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 5986   OA
Lubiw A, Masárová Z, Wagner U. A proof of the orbit conjecture for flipping edge-labelled triangulations. Discrete & Computational Geometry. 2019;61(4):880-898. doi:10.1007/s00454-018-0035-8
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7014
Chatterjee K, Fu H, Goharshady AK. Non-polynomial worst-case analysis of recursive programs. ACM Transactions on Programming Languages and Systems. 2019;41(4). doi:10.1145/3339984
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6713   OA
Castro JP, Yancoskie MN, Marchini M, et al. An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice. eLife. 2019;8:e42014. doi:10.7554/eLife.42014
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6338
Stella F, Baracskay P, O’Neill J, Csicsvari JL. Hippocampal reactivation of random trajectories resembling Brownian diffusion. Neuron. 2019;102:1-12. doi:10.1016/j.neuron.2019.01.052
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 151   OA
Fischer JL, Kneuss O. Bi-Sobolev solutions to the prescribed Jacobian inequality in the plane with L p data and applications to nonlinear elasticity. Journal of Differential Equations. 2019;266(1):257-311. doi:10.1016/j.jde.2018.07.045
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7160
Salazar JE, Severin D, Vega Zuniga TA, et al. Anatomical specializations related to foraging in the visual system of a nocturnal insectivorous bird, the band-winged nightjar (Aves: Caprimulgiformes). Brain, Behavior and Evolution. 2019;94(1-4):27-36. doi:10.1159/000504162
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6819   OA
Antoniou MN, Nicolas A, Mesnage R, Biserni M, Rao FV, Martin CV. Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. BMC Research Notes. 2019;12:494. doi:10.1186/s13104-019-4534-3
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6511   OA
Bao Z, Erdös L, Schnelli K. Local single ring theorem on optimal scale. Annals of Probability. 2019;47(3):1270-1334. doi:10.1214/18-AOP1284
View | DOI | Download (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 7552   OA
Bialek W, Gregor T, Tkačik G. Action at a distance in transcriptional regulation. arXiv:191208579.
View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 175   OA
Browning TD, Loughran D. Sieving rational points on varieties. Transactions of the American Mathematical Society. 2019;371(8):5757-5785. doi:10.1090/tran/7514
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6477   OA
Abanin DA, Altman E, Bloch I, Serbyn M. Colloquium: Many-body localization, thermalization, and entanglement. Reviews of Modern Physics. 2019;91(2):021001. doi:10.1103/revmodphys.91.021001
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7576   OA
Immler F, Althoff M, Benet L, et al. ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. In: EPiC Series in Computing. Vol 61. EasyChair Publications; 2019:41-61. doi:10.29007/m75b
View | Files available | DOI
 

2019 | Preprint | IST-REx-ID: 7627   OA
Prehal C, Samojlov A, Nachtnebel M, Kriechbaum M, Amenitsch H, Freunberger SA. A revised O2 reduction model in Li-O2 batteries as revealed by in situ small angle X-ray scattering.
View | Download (ext.)
 

2019 | Conference Paper | IST-REx-ID: 7639
Rannen-Triki A, Berman M, Kolmogorov V, Blaschko MB. Function norms for neural networks. In: Proceedings of the 2019 International Conference on Computer Vision Workshop. IEEE; 2019:748-752. doi:10.1109/ICCVW.2019.00097
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7711
Bevers RPJ, Litovchenko M, Kapopoulou A, et al. Mitochondrial haplotypes affect metabolic phenotypes in the Drosophila Genetic Reference Panel. Nature Metabolism. 2019;1(12):1226-1242. doi:10.1038/s42255-019-0147-3
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6179
Schröder DJ. From Dyson to Pearcey: Universal Statistics in Random Matrix Theory. IST Austria; 2019. doi:10.15479/AT:ISTA:th6179
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5878   OA
Budanur NB, Fleury M. State space geometry of the chaotic pilot-wave hydrodynamics. Chaos: An Interdisciplinary Journal of Nonlinear Science. 2019;29(1):013122. doi:10.1063/1.5058279
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5943   OA
Klotz L, Gumowski K, Wesfreid JE. Experiments on a jet in a crossflow in the low-velocity-ratio regime. Journal of Fluid Mechanics. 2019;863:386-406. doi:10.1017/jfm.2018.974
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6821   OA
Yourick MR, Sandkam BA, Gammerdinger WJ, et al. Diurnal variation in opsin expression and common housekeeping genes necessitates comprehensive normalization methods for quantitative real-time PCR analyses. Molecular Ecology Resources. 2019;19(6):1447-1460. doi:10.1111/1755-0998.13062
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6371
Igler C. On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation. IST Austria; 2019. doi:10.15479/AT:ISTA:6371
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 138   OA
Nikolic N. Autoregulation of bacterial gene expression: lessons from the MazEF toxin–antitoxin system. Current Genetics. 2019;65(1):133-138. doi:10.1007/s00294-018-0879-8
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 405   OA
Virosztek D. Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications. 2019;576:67-78. doi:10.1016/j.laa.2018.03.002
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 429   OA
Ajanki OH, Erdös L, Krüger TH. Stability of the matrix Dyson equation and random matrices with correlations. Probability Theory and Related Fields. 2019;173(1-2):293–373. doi:10.1007/s00440-018-0835-z
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5944   OA
Corominas-Murtra B. Thermodynamics of duplication thresholds in synthetic protocell systems. Life. 2019;9(1). doi:10.3390/life9010009
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6029   OA
Lindner M, Tresztenyak A, Fülöp G, et al. A fast and simple contact printing approach to generate 2D protein nanopatterns. Frontiers in Chemistry. 2019;6. doi:10.3389/fchem.2018.00655
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6050   OA
Akopyan A, Fedorov R. Two circles and only a straightedge. Proceedings of the American Mathematical Society. 2019;147:91-102. doi:10.1090/proc/14240
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6163
Biswas R, Largeteau-Skapin G, Zrour R, Andres E. Rhombic dodecahedron grid—coordinate system and 3D digital object definitions. In: Lecture Notes in Computer Science. Vol 11414. Berlin, Heidelberg: Springer Berlin Heidelberg; 2019:27-37. doi:10.1007/978-3-030-14085-4_3
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6086   OA
Sadel C, Xu D. Singular analytic linear cocycles with negative infinite Lyapunov exponents. Ergodic Theory and Dynamical Systems. 2019;39(4):1082-1098. doi:10.1017/etds.2017.52
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6093   OA
Goudarzi M, Boquet-Pujadas A, Olivo-Marin JC, Raz E. Fluid dynamics during bleb formation in migrating cells in vivo. PLOS ONE. 2019;14(2). doi:10.1371/journal.pone.0212699
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6182   OA
Erdös L, Krüger TH, Schröder DJ. Random matrices with slow correlation decay. Forum of Mathematics, Sigma. 2019;7. doi:10.1017/fms.2019.2
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6442   OA
Schreck C, Hafner C, Wojtan CJ. Fundamental solutions for water wave animation. ACM Transactions on Graphics. 2019;38(4). doi:10.1145/3306346.3323002
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6454   OA
Ortiz-Álvarez G, Daclin M, Shihavuddin A, et al. Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members. Neuron. 2019;102(1):159-172.e7. doi:10.1016/j.neuron.2019.01.051
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6466   OA
Field D, Fraisse C. Breaking down barriers in morning glories. Molecular ecology. 2019;28(7):1579-1581. doi:10.1111/mec.15048
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6430
Fuchsbauer G, Kamath Hosdurg C, Klein K, Pietrzak KZ. Adaptively secure proxy re-encryption. In: Vol 11443. Springer Nature; 2019:317-346. doi:10.1007/978-3-030-17259-6_11
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6586   OA
Ibáñez M, Hasler R, Genç A, et al. Ligand-mediated band engineering in bottom-up assembled SnTe nanocomposites for thermoelectric energy conversion. Journal of the American Chemical Society. 2019;141(20):8025-8029. doi:10.1021/jacs.9b01394
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6620   OA
De La Bretèche R, Destagnol KN, Liu J, Wu J, Zhao Y. On a certain non-split cubic surface. Science China Mathematics. 2019;62(12):2435–2446. doi:10.1007/s11425-018-9543-8
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6632   OA
Karle V, Defenu N, Enss T. Coupled superfluidity of binary Bose mixtures in two dimensions. Physical Review A. 2019;99(6). doi:10.1103/PhysRevA.99.063627
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6637   OA
Trubenova B, Krejca M, Lehre PK, Kötzing T. Surfing on the seascape: Adaptation in a changing environment. Evolution. 2019;73(7):1356-1374. doi:10.1111/evo.13784
View | Files available | DOI
 

2019 | Conference Poster | IST-REx-ID: 6485
Koval N, Alistarh D-A, Elizarov R. Lock-Free Channels for Programming via Communicating Sequential Processes. ACM Press; 2019:417-418. doi:10.1145/3293883.3297000
View | DOI
 

2019 | Book Chapter | IST-REx-ID: 6726
Walter M. Sampling the integers with low relative error. In: Buchmann J, Nitaj A, Rachidi T, eds. Progress in Cryptology – AFRICACRYPT 2019. Vol 11627. LNCS. Cham: Springer Nature; 2019:157-180. doi:10.1007/978-3-030-23696-0_9
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6663
Mondelli M, Hassani H, Urbanke R. Construction of polar codes with sublinear complexity. IEEE. 2019;65(5):2782-2791. doi:10.1109/tit.2018.2889667
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6788   OA
Leopold NK, Petrat SP. Mean-field dynamics for the Nelson model with fermions. Annales Henri Poincare. 2019;20(10):3471–3508. doi:10.1007/s00023-019-00828-w
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6795   OA
Trubenova B, Hager R. Green beards in the light of indirect genetic effects. Ecology and Evolution. 2019;9(17):9597-9608. doi:10.1002/ece3.5484
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6858
Barton NH. Is speciation driven by cycles of mixing and isolation? National Science Review. 2019;6(2):291-292. doi:10.1093/nsr/nwy113
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6978   OA
Budanur NB, Dogra A, Hof B. Geometry of transient chaos in streamwise-localized pipe flow turbulence. Physical Review Fluids. 2019;4(10):102401. doi:10.1103/PhysRevFluids.4.102401
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6935   OA
Foerster K-T, Korhonen J, Rybicki J, Schmid S. Does preprocessing help under congestion? In: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. ACM; 2019:259-261. doi:10.1145/3293611.3331581
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6896
Oliveira B, Yahya AÇ, Novarino G. Modeling cell-cell interactions in the brain using cerebral organoids. Brain Research. 2019;1724. doi:10.1016/j.brainres.2019.146458
View | DOI | PubMed | Europe PMC
 

2019 | Research Data | IST-REx-ID: 7154   OA
Guseinov R. Supplementary Data for “Programming Temporal Morphing of Self-Actuated Shells.” IST Austria; 2019. doi:10.15479/AT:ISTA:7154
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7161
Shehu Y, Gibali A, Sagratella S. Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications. 2019. doi:10.1007/s10957-019-01616-6
View | DOI
 

2019 | Preprint | IST-REx-ID: 7084   OA
Ghosh S, Matty M, Baumbach R, et al. Single-component order parameter in URu2Si2 uncovered by resonant  ultrasound spectroscopy and machine learning. arXiv:190300552.
View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7128   OA
Torrini C, Cubero RJ, Dirkx E, et al. Common regulatory pathways mediate activity of microRNAs inducing cardiomyocyte proliferation. Cell Reports. 2019;27(9):2759-2771.e5. doi:10.1016/j.celrep.2019.05.005
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7130   OA
Cubero RJ, Jo J, Marsili M, Roudi Y, Song J. Statistical criticality arises in most informative representations. Journal of Statistical Mechanics: Theory and Experiment. 2019;2019(6). doi:10.1088/1742-5468/ab16c8
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7015   OA
Lewin M, Lieb EH, Seiringer R. Floating Wigner crystal with no boundary charge fluctuations. Physical Review B. 2019;100(3). doi:10.1103/physrevb.100.035127
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6985   OA
Hasani R, Amini A, Lechner M, Naser F, Grosu R, Rus D. Response characterization for auditing cell dynamics in long short-term memory networks. In: Proceedings of the International Joint Conference on Neural Networks. IEEE; 2019. doi:10.1109/ijcnn.2019.8851954
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7197   OA
Dos Santos Caldas PR, Lopez Pelegrin MD, Pearce DJG, Budanur NB, Brugués J, Loose M. Cooperative ordering of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinker ZapA. Nature Communications. 2019;10. doi:10.1038/s41467-019-13702-4
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7200   OA
Brighi P, Grilli M, Leridon B, Caprara S. Effect of anomalous diffusion of fluctuating Cooper pairs on the density of states of superconducting NbN thin films. Physical Review B. 2019;100(17). doi:10.1103/PhysRevB.100.174518
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7205
Johannesson K, Zagrodzka Z, Faria R, Westram AM, Butlin RK. Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes? Journal of Evolutionary Biology. 2019. doi:10.1111/jeb.13570
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6377
Dejonghe W, Sharma I, Denoo B, et al. Disruption of endocytosis through chemical inhibition of clathrin heavy chain function. Nature Chemical Biology. 2019;15(6):641–649. doi:10.1038/s41589-019-0262-1
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5886   OA
Li X, Bighin G, Yakaboylu E, Lemeshko M. Variational approaches to quantum impurities: from the Fröhlich polaron to the angulon. Molecular Physics. 2019. doi:10.1080/00268976.2019.1567852
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6428
Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. Interface-aware signal temporal logic. In: Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. ACM; 2019:57-66. doi:10.1145/3302504.3311800
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6601
Hannezo EB, Heisenberg C-PJ. Mechanochemical feedback loops in development and disease. Cell. 2019;178(1):12-25. doi:10.1016/j.cell.2019.05.052
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6822   OA
Avni G, Henzinger TA, Ibsen-Jensen R, Novotny P. Bidding games on Markov decision processes. In: Proceedings of the 13th International Conference of Reachability Problems. Vol 11674. Springer; 2019:1-12. doi:10.1007/978-3-030-30806-3_1
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6884   OA
Avni G, Henzinger TA, Zikelic D. Bidding mechanisms in graph games. In: Vol 138. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.MFCS.2019.11
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6889   OA
Chatterjee K, Piterman N. Combinations of Qualitative Winning for Stochastic Parity Games. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.6
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6942   OA
Ashok P, Brázdil T, Chatterjee K, Křetínský J, Lampert C, Toman V. Strategy representation by decision trees with linear classifiers. In: 16th International Conference on Quantitative Evaluation of Systems. Vol 11785. Springer Nature; 2019:109-128. doi:10.1007/978-3-030-30281-8_7
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6980   OA
Petridou N, Heisenberg C-PJ. Tissue rheology in embryonic organization. The EMBO Journal. 2019;38(20). doi:10.15252/embj.2019102497
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6891
Kopf A. The Implication of Cytoskeletal Dynamics on Leukocyte Migration. IST Austria; 2019. doi:10.15479/AT:ISTA:6891
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6877
Kopf A, Sixt MK. The neural crest pitches in to remove apoptotic debris. Cell. 2019;179(1):51-53. doi:10.1016/j.cell.2019.08.047
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7109
Ferrere T, Maler O, Ničković D, Pnueli A. From real-time logic to timed automata. Journal of the ACM. 2019;66(3). doi:10.1145/3286976
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7147
Guet CC, Henzinger TA, Igler C, Petrov T, Sezgin A. Transient memory in gene regulation. In: 17th International Conference on Computational Methods in Systems Biology. Vol 11773. Springer Nature; 2019:155-187. doi:10.1007/978-3-030-31304-3_9
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7159
Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. Shape expressions for specifying and extracting signal features. In: 19th International Conference on Runtime Verification. Vol 11757. Springer Nature; 2019:292-309. doi:10.1007/978-3-030-32079-9_17
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7180   OA
Retzer K, Akhmanova M, Konstantinova N, et al. Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter. Nature Communications. 2019;10. doi:10.1038/s41467-019-13543-1
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7231   OA
Kong H, Bartocci E, Jiang Y, Henzinger TA. Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 11750. Springer Nature; 2019:123-141. doi:10.1007/978-3-030-29662-9_8
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6752
Avni G, Henzinger TA, Chonev VK. Infinite-duration bidding games. Journal of the ACM. 2019;66(4). doi:10.1145/3340295
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7281
Kwak W-J, Freunberger SA, Kim H, et al. Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries. ACS Catalysis. 2019;9(11):9914-9922. doi:10.1021/acscatal.9b01337
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed