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.

5625 Publications


2019 | Thesis | IST-REx-ID: 6681
S. Y. Zhechev, Algorithmic aspects of homotopy theory and embeddability. IST Austria, 2019.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6888
M. Lechner, R. Hasani, M. Zimmer, T. A. Henzinger, and R. Grosu, “Designing worm-inspired neural networks for interpretable robotic control,” in Proceedings - IEEE International Conference on Robotics and Automation, Montreal, QC, Canada, 2019, vol. 2019–May.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7280   OA
W.-J. Kwak et al., “Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen,” Nature Communications, vol. 10, p. 1380, 2019.
View | Files available | DOI
 

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

2019 | Journal Article | IST-REx-ID: 7420   OA
P. Sahgal et al., “GGA2 and RAB13 promote activity-dependent β1-integrin recycling,” Journal of Cell Science, vol. 132, no. 11, p. jcs233387, 2019.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7437   OA
C. Yu et al., “Distributed learning over unreliable networks,” in 36th International Conference on Machine Learning, ICML 2019, Long Beach, CA, United States, 2019, vol. 2019–June, pp. 12481–12512.
View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7418
O. Karlík, M. Šik, P. Vévoda, T. Skrivan, and J. Křivánek, “MIS compensation: Optimizing sampling techniques in multiple importance sampling,” ACM Transactions on Graphics, vol. 38, no. 6, p. 151, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7413   OA
C. Boccato, C. Brennecke, S. Cenatiempo, and B. Schlein, “Bogoliubov theory in the Gross–Pitaevskii limit,” Acta Mathematica, vol. 222, no. 2, pp. 219–335, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7393   OA
H. E. Morales et al., “Genomic architecture of parallel ecological divergence: Beyond a single environmental contrast,” Science Advances, vol. 5, no. 12, p. eaav9963, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7406
C. Mckenzie et al., “Isolation of synaptic vesicles from genetically engineered cultured neurons,” Journal of Neuroscience Methods, vol. 312, pp. 114–121, 2019.
View | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7401   OA
R. Fulek and J. Kyncl, “Z_2-Genus of graphs and minimum rank of partial symmetric matrices,” in 35th International Symposium on Computational Geometry (SoCG 2019), Portland, OR, United States, 2019, vol. 129, p. 39.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6035   OA
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “JuliaReach: A toolbox for set-based reachability,” in Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, Montreal, QC, Canada, 2019, vol. 22, pp. 39–44.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7398   OA
F. A. Erdem et al., “A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2,” The Journal of General Physiology, vol. 151, no. 8, pp. 1035–1050, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6186   OA
G. Cipolloni, L. Erdös, T. H. Krüger, and D. J. Schröder, “Cusp universality for random matrices, II: The real symmetric case,” Pure and Applied Analysis , vol. 1, no. 4, pp. 615–707, 2019.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6857   OA
B. Giese 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, vol. 41, no. 11, p. 1900151, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5789
N. Petridou, S. Grigolon, G. Salbreux, E. B. Hannezo, and C.-P. J. Heisenberg, “Fluidization-mediated tissue spreading by mitotic cell rounding and non-canonical Wnt signalling,” Nature Cell Biology, vol. 21, pp. 169–178, 2019.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7468   OA
P. Swoboda and V. Kolmogorov, “Map inference via block-coordinate Frank-Wolfe algorithm,” in Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, Long Beach, CA, United States, 2019, vol. 2019–June, pp. 11138–11147.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7451   OA
A. Vukics, A. Dombi, J. M. Fink, and P. Domokos, “Finite-size scaling of the photon-blockade breakdown dissipative quantum phase transition,” Quantum, vol. 3, p. 150, 2019.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 5986   OA
A. Lubiw, Z. Masárová, and U. Wagner, “A proof of the orbit conjecture for flipping edge-labelled triangulations,” Discrete & Computational Geometry, vol. 61, no. 4, pp. 880–898, 2019.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7014
K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst-case analysis of recursive programs,” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4, 2019.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6713   OA
J. P. Castro et al., “An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice,” eLife, vol. 8, p. e42014, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6338
F. Stella, P. Baracskay, J. O’Neill, and J. L. Csicsvari, “Hippocampal reactivation of random trajectories resembling Brownian diffusion,” Neuron, vol. 102, pp. 1–12, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 151   OA
J. L. Fischer and O. Kneuss, “Bi-Sobolev solutions to the prescribed Jacobian inequality in the plane with L p data and applications to nonlinear elasticity,” Journal of Differential Equations, vol. 266, no. 1, pp. 257–311, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7160
J. E. Salazar 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, vol. 94, no. 1–4, pp. 27–36, 2019.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6819   OA
M. N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F. V. Rao, and C. V. Martin, “Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells,” BMC Research Notes, vol. 12, p. 494, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6511   OA
Z. Bao, L. Erdös, and K. Schnelli, “Local single ring theorem on optimal scale,” Annals of Probability, vol. 47, no. 3, pp. 1270–1334, 2019.
View | DOI | Download (ext.) | arXiv
 

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

2019 | Journal Article | IST-REx-ID: 175   OA
T. D. Browning and D. Loughran, “Sieving rational points on varieties,” Transactions of the American Mathematical Society, vol. 371, no. 8, pp. 5757–5785, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6477   OA
D. A. Abanin, E. Altman, I. Bloch, and M. Serbyn, “Colloquium: Many-body localization, thermalization, and entanglement,” Reviews of Modern Physics, vol. 91, no. 2, p. 021001, 2019.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7576   OA
F. Immler et al., “ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics,” in EPiC Series in Computing, Montreal, Canada, 2019, vol. 61, pp. 41–61.
View | Files available | DOI
 

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

2019 | Conference Paper | IST-REx-ID: 7639
A. Rannen-Triki, M. Berman, V. Kolmogorov, and M. B. Blaschko, “Function norms for neural networks,” in Proceedings of the 2019 International Conference on Computer Vision Workshop, Seoul, South Korea, 2019, pp. 748–752.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7711
R. P. J. Bevers et al., “Mitochondrial haplotypes affect metabolic phenotypes in the Drosophila Genetic Reference Panel,” Nature Metabolism, vol. 1, no. 12, pp. 1226–1242, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6179
D. J. Schröder, From Dyson to Pearcey: Universal statistics in random matrix theory. IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5878   OA
N. B. Budanur and M. Fleury, “State space geometry of the chaotic pilot-wave hydrodynamics,” Chaos: An Interdisciplinary Journal of Nonlinear Science, vol. 29, no. 1, p. 013122, 2019.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5943   OA
L. Klotz, K. Gumowski, and J. E. Wesfreid, “Experiments on a jet in a crossflow in the low-velocity-ratio regime,” Journal of Fluid Mechanics, vol. 863, pp. 386–406, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6821   OA
M. R. Yourick et al., “Diurnal variation in opsin expression and common housekeeping genes necessitates comprehensive normalization methods for quantitative real-time PCR analyses,” Molecular Ecology Resources, vol. 19, no. 6, pp. 1447–1460, 2019.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6371
C. Igler, On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation. IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 138   OA
N. Nikolic, “Autoregulation of bacterial gene expression: lessons from the MazEF toxin–antitoxin system,” Current Genetics, vol. 65, no. 1, pp. 133–138, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 405   OA
D. Virosztek, “Jointly convex quantum Jensen divergences,” Linear Algebra and Its Applications, vol. 576, pp. 67–78, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 429   OA
O. H. Ajanki, L. Erdös, and T. H. Krüger, “Stability of the matrix Dyson equation and random matrices with correlations,” Probability Theory and Related Fields, vol. 173, no. 1–2, pp. 293–373, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5944   OA
B. Corominas-Murtra, “Thermodynamics of duplication thresholds in synthetic protocell systems,” Life, vol. 9, no. 1, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6029   OA
M. Lindner et al., “A fast and simple contact printing approach to generate 2D protein nanopatterns,” Frontiers in Chemistry, vol. 6, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6050   OA
A. Akopyan and R. Fedorov, “Two circles and only a straightedge,” Proceedings of the American Mathematical Society, vol. 147, pp. 91–102, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6163
R. Biswas, G. Largeteau-Skapin, R. Zrour, and E. Andres, “Rhombic dodecahedron grid—coordinate system and 3D digital object definitions,” in Lecture Notes in Computer Science, Marne-la-Vallée, France, 2019, vol. 11414, pp. 27–37.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6086   OA
C. Sadel and D. Xu, “Singular analytic linear cocycles with negative infinite Lyapunov exponents,” Ergodic Theory and Dynamical Systems, vol. 39, no. 4, pp. 1082–1098, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6093   OA
M. Goudarzi, A. Boquet-Pujadas, J. C. Olivo-Marin, and E. Raz, “Fluid dynamics during bleb formation in migrating cells in vivo,” PLOS ONE, vol. 14, no. 2, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6182   OA
L. Erdös, T. H. Krüger, and D. J. Schröder, “Random matrices with slow correlation decay,” Forum of Mathematics, Sigma, vol. 7, 2019.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6442   OA
C. Schreck, C. Hafner, and C. J. Wojtan, “Fundamental solutions for water wave animation,” ACM Transactions on Graphics, vol. 38, no. 4, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6454   OA
G. Ortiz-Álvarez et al., “Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members,” Neuron, vol. 102, no. 1, p. 159–172.e7, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6466   OA
D. Field and C. Fraisse, “Breaking down barriers in morning glories,” Molecular ecology, vol. 28, no. 7, pp. 1579–1581, 2019.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6430
G. Fuchsbauer, C. Kamath Hosdurg, K. Klein, and K. Z. Pietrzak, “Adaptively secure proxy re-encryption,” presented at the PKC: Public-Key Cryptograhy, Beijing, China, 2019, vol. 11443, pp. 317–346.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6586   OA
M. Ibáñez et al., “Ligand-mediated band engineering in bottom-up assembled SnTe nanocomposites for thermoelectric energy conversion,” Journal of the American Chemical Society, vol. 141, no. 20, pp. 8025–8029, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6620   OA
R. De La Bretèche, K. N. Destagnol, J. Liu, J. Wu, and Y. Zhao, “On a certain non-split cubic surface,” Science China Mathematics, vol. 62, no. 12, pp. 2435–2446, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6632   OA
V. Karle, N. Defenu, and T. Enss, “Coupled superfluidity of binary Bose mixtures in two dimensions,” Physical Review A, vol. 99, no. 6, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6637   OA
B. Trubenova, M. Krejca, P. K. Lehre, and T. Kötzing, “Surfing on the seascape: Adaptation in a changing environment,” Evolution, vol. 73, no. 7, pp. 1356–1374, 2019.
View | Files available | DOI
 

2019 | Conference Poster | IST-REx-ID: 6485
N. Koval, D.-A. Alistarh, and R. Elizarov, Lock-free channels for programming via communicating sequential processes. ACM Press, 2019, pp. 417–418.
View | DOI
 

2019 | Book Chapter | IST-REx-ID: 6726
M. Walter, “Sampling the integers with low relative error,” in Progress in Cryptology – AFRICACRYPT 2019, vol. 11627, J. Buchmann, A. Nitaj, and T. Rachidi, Eds. Cham: Springer Nature, 2019, pp. 157–180.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6663
M. Mondelli, H. Hassani, and R. Urbanke, “Construction of polar codes with sublinear complexity,” IEEE, vol. 65, no. 5, pp. 2782–2791, 2019.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6788   OA
N. K. Leopold and S. P. Petrat, “Mean-field dynamics for the Nelson model with fermions,” Annales Henri Poincare, vol. 20, no. 10, pp. 3471–3508, 2019.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6795   OA
B. Trubenova and R. Hager, “Green beards in the light of indirect genetic effects,” Ecology and Evolution, vol. 9, no. 17, pp. 9597–9608, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6858
N. H. Barton, “Is speciation driven by cycles of mixing and isolation?,” National Science Review, vol. 6, no. 2, pp. 291–292, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6978   OA
N. B. Budanur, A. Dogra, and B. Hof, “Geometry of transient chaos in streamwise-localized pipe flow turbulence,” Physical Review Fluids, vol. 4, no. 10, p. 102401, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6935   OA
K.-T. Foerster, J. Korhonen, J. Rybicki, and S. Schmid, “Does preprocessing help under congestion?,” in Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, Toronto, ON, Canada, 2019, pp. 259–261.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6896
B. Oliveira, A. Ç. Yahya, and G. Novarino, “Modeling cell-cell interactions in the brain using cerebral organoids,” Brain Research, vol. 1724, 2019.
View | DOI | PubMed | Europe PMC
 

2019 | Research Data | IST-REx-ID: 7154   OA
R. Guseinov, Supplementary data for “Programming temporal morphing of self-actuated shells.” IST Austria, 2019.
View | Files available | DOI
 

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

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

2019 | Journal Article | IST-REx-ID: 7128   OA
C. Torrini et al., “Common regulatory pathways mediate activity of microRNAs inducing cardiomyocyte proliferation,” Cell Reports, vol. 27, no. 9, p. 2759–2771.e5, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7130   OA
R. J. Cubero, J. Jo, M. Marsili, Y. Roudi, and J. Song, “Statistical criticality arises in most informative representations,” Journal of Statistical Mechanics: Theory and Experiment, vol. 2019, no. 6, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7015   OA
M. Lewin, E. H. Lieb, and R. Seiringer, “Floating Wigner crystal with no boundary charge fluctuations,” Physical Review B, vol. 100, no. 3, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6985   OA
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, and D. Rus, “Response characterization for auditing cell dynamics in long short-term memory networks,” in Proceedings of the International Joint Conference on Neural Networks, Budapest, Hungary, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7197   OA
P. R. Dos Santos Caldas, M. D. Lopez Pelegrin, D. J. G. Pearce, N. B. Budanur, J. Brugués, and M. Loose, “Cooperative ordering of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinker ZapA,” Nature Communications, vol. 10, 2019.
View | Files available | DOI
 

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

2019 | Journal Article | IST-REx-ID: 7205
K. Johannesson, Z. Zagrodzka, R. Faria, A. M. Westram, and R. K. Butlin, “Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes?,” Journal of Evolutionary Biology, 2019.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6377
W. Dejonghe et al., “Disruption of endocytosis through chemical inhibition of clathrin heavy chain function,” Nature Chemical Biology, vol. 15, no. 6, pp. 641–649, 2019.
View | Files available | DOI
 

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

2019 | Conference Paper | IST-REx-ID: 6428
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, and J. Kapinski, “Interface-aware signal temporal logic,” in Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, 2019, pp. 57–66.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6601
E. B. Hannezo and C.-P. J. Heisenberg, “Mechanochemical feedback loops in development and disease,” Cell, vol. 178, no. 1, pp. 12–25, 2019.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6822   OA
G. Avni, T. A. Henzinger, R. Ibsen-Jensen, and P. Novotny, “Bidding games on Markov decision processes,” in Proceedings of the 13th International Conference of Reachability Problems, Brussels, Belgium, 2019, vol. 11674, pp. 1–12.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6884   OA
G. Avni, T. A. Henzinger, and D. Zikelic, “Bidding mechanisms in graph games,” presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany, 2019, vol. 138.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6889   OA
K. Chatterjee and N. Piterman, “Combinations of Qualitative Winning for Stochastic Parity Games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6942   OA
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, and V. Toman, “Strategy representation by decision trees with linear classifiers,” in 16th International Conference on Quantitative Evaluation of Systems, Glasgow, United Kingdom, 2019, vol. 11785, pp. 109–128.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6980   OA
N. Petridou and C.-P. J. Heisenberg, “Tissue rheology in embryonic organization,” The EMBO Journal, vol. 38, no. 20, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6891
A. Kopf, The implication of cytoskeletal dynamics on leukocyte migration. IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6877
A. Kopf and M. K. Sixt, “The neural crest pitches in to remove apoptotic debris,” Cell, vol. 179, no. 1, pp. 51–53, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7109
T. Ferrere, O. Maler, D. Ničković, and A. Pnueli, “From real-time logic to timed automata,” Journal of the ACM, vol. 66, no. 3, 2019.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7147
C. C. Guet, T. A. Henzinger, C. Igler, T. Petrov, and A. Sezgin, “Transient memory in gene regulation,” in 17th International Conference on Computational Methods in Systems Biology, Trieste, Italy, 2019, vol. 11773, pp. 155–187.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7159
D. Ničković, X. Qin, T. Ferrere, C. Mateis, and J. Deshmukh, “Shape expressions for specifying and extracting signal features,” in 19th International Conference on Runtime Verification, Porto, Portugal, 2019, vol. 11757, pp. 292–309.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7180   OA
K. Retzer et al., “Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter,” Nature Communications, vol. 10, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7231   OA
H. Kong, E. Bartocci, Y. Jiang, and T. A. Henzinger, “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), Amsterdam, The Netherlands, 2019, vol. 11750, pp. 123–141.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6752
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” Journal of the ACM, vol. 66, no. 4, 2019.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7281
W.-J. Kwak et al., “Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries,” ACS Catalysis, vol. 9, no. 11, pp. 9914–9922, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7421
M. A. Toups, N. Rodrigues, N. Perrin, and M. Kirkpatrick, “A reciprocal translocation radically reshapes sex‐linked inheritance in the common frog,” Molecular Ecology, vol. 28, no. 8, pp. 1877–1889, 2019.
View | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7402   OA
K. Chatterjee and L. Doyen, “Graph planning with expected finite horizon,” in 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Vancouver, BC, Canada, 2019, pp. 1–13.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7399   OA
D. Andergassen et al., “The Airn lncRNA does not require any DNA elements within its locus to silence distant imprinted genes,” PLOS Genetics, vol. 15, no. 7, p. e1008268, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7414
L. Knaus, D.-C. Tarlungeanu, and G. Novarino, “S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly,” European Neuropsychopharmacology, vol. 29, no. Supplement 6, p. S11, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7394
E. Benková and Y. Dagdas, “Editorial overview: Cell biology in the era of omics?,” Current Opinion in Plant Biology, vol. 52, no. 12, pp. A1–A2, 2019.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7476   OA
M. S. Andersen et al., “Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states,” Nature Cell Biology, vol. 21, no. 8, pp. 924–932, 2019.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7034   OA
R. Fulek and J. Kynčl, “Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4,” Combinatorica, vol. 39, no. 6, pp. 1267–1279, 2019.
View | DOI | Download (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed