Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4634 Publications
2018 | Journal Article | IST-REx-ID: 402 | 
M. Brown et al., “Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice,” Science, vol. 359, no. 6382. American Association for the Advancement of Science, pp. 1408–1411, 2018.
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 28
X. Contreras and S. Hippenmeyer, “Incorrect trafficking route leads to autism,” Brain a journal of neurology, vol. 141, no. 9. Oxford University Press, pp. 2542–2544, 2018.
View
| Files available
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 422 |
J. Kühnen, D. Scarselli, M. Schaner, and B. Hof, “Relaminarization by steady modification of the streamwise velocity profile in a pipe,” Flow Turbulence and Combustion, vol. 100, no. 4. Springer, pp. 919–942, 2018.
View
| Files available
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 5914 |
D. K. Rangel Guerrero, J. G. Donnett, J. L. Csicsvari, and K. Kovács, “Tetrode recording from the hippocampus of behaving mice coupled with four-point-irradiation closed-loop optogenetics: A technique to study the contribution of Hippocampal SWR events to learning,” eNeuro, vol. 5, no. 4. Society of Neuroscience, 2018.
View
| Files available
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 461 |
J. Kühnen et al., “Destabilizing turbulence in pipe flow,” Nature Physics, vol. 14. Nature Publishing Group, pp. 386–390, 2018.
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2018 | Journal Article | IST-REx-ID: 544 |
A. György et al., “Tools allowing independent visualization and genetic manipulation of Drosophila melanogaster macrophages and surrounding tissues,” G3: Genes, Genomes, Genetics, vol. 8, no. 3. Genetics Society of America, pp. 845–857, 2018.
View
| Files available
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 449 |
T. Prat et al., “WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity,” PLoS Genetics, vol. 14, no. 1. Public Library of Science, 2018.
View
| Files available
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 191 |
P. Grones et al., “PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism,” Scientific Reports, vol. 8, no. 1. Springer, 2018.
View
| Files available
| DOI
| WoS
2018 | Thesis | IST-REx-ID: 6263 |
M. Lukacisinova, “Genetic determinants of antibiotic resistance evolution,” Institute of Science and Technology Austria, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 47
R. Abualia, E. Benková, and B. Lacombe, “Transporters and mechanisms of hormone transport in arabidopsis,” Advances in Botanical Research, vol. 87. Elsevier, pp. 115–138, 2018.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1013 |
J. M. Fink, “Viewpoint: Microwave quantum states beat the heat,” Physics, vol. 10, no. 32. American Physical Society, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1030 |
M. Villányi, “Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library,” Informationspraxis, vol. 3, no. 1. Univ.-Bibliothek Heidelberg, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 10418 |
A. Mciver, C. Morgan, B. L. Kaminski, and J. P. Katoen, “A new proof rule for almost-sure termination,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 1175 |
J. F. Alwen, S. De Rezende, J. Nordstrom, and M. Vinyals, “Cumulative space in black-white pebbling and resolution,” presented at the ITCS: Innovations in Theoretical Computer Science, Berkeley, CA, United States, 2017, vol. 67, p. 38:1-38-21.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1191 |
R. Kollár and S. Novak, “Existence of traveling waves for the generalized F–KPP equation,” Bulletin of Mathematical Biology, vol. 79, no. 3. Springer, pp. 525–559, 2017.
View
| DOI
| Download Preprint (ext.)
2017 | Journal Article | IST-REx-ID: 1211 |
N. B. Budanur and P. Cvitanović, “Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system,” Journal of Statistical Physics, vol. 167, no. 3–4. Springer, pp. 636–655, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1113 |
R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity,” Journal of Graph Algorithms and Applications, vol. 21, no. 1. Brown University, pp. 135–154, 2017.
View
| Files available
| DOI
| arXiv
2017 | Conference Paper | IST-REx-ID: 274 |
V. Kolmogorov, “A faster approximation algorithm for the Gibbs partition function,” in Proceedings of the 31st Conference On Learning Theory, 2017, vol. 75, pp. 228–249.
View
| Files available
| arXiv
2017 | Book Chapter | IST-REx-ID: 424 |
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding helly numbers via betti numbers,” in A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, M. Loebl, J. Nešetřil, and R. Thomas, Eds. Springer, 2017, pp. 407–447.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Conference Paper | IST-REx-ID: 432 |
H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, and C. Zhang, “ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning,” in Proceedings of Machine Learning Research, Sydney, Australia, 2017, vol. 70, pp. 4035–4043.
View
| Files available
2017 | Conference Paper | IST-REx-ID: 431 |
D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, and M. Vojnović, “QSGD: Communication-efficient SGD via gradient quantization and encoding,” presented at the NIPS: Neural Information Processing System, Long Beach, CA, United States, 2017, vol. 2017, pp. 1710–1721.
View
| Download Submitted Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 447 |
P. Ferrari and P. Nejjar, “Fluctuations of the competition interface in presence of shocks,” Revista Latino-Americana de Probabilidade e Estatística, vol. 9. ALEA Network, pp. 299–325, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 453 |
T. Fallesen, J. Roostalu, C. F. Düllberg, G. Pruessner, and T. Surrey, “Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement,” Biophysical Journal, vol. 113, no. 9. Biophysical Society, pp. 2055–2067, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 459 |
S. Cremer, “Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern,” Rundgespräche Forum Ökologie, vol. 46. Pfeil, pp. 105–116, 2017.
View
| Files available
2017 | Journal Article | IST-REx-ID: 463 |
S. Altmeyer, Y. Do, and S. Ryu, “Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow,” Chaos, vol. 27, no. 11. AIP, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 464 |
K. Chatterjee, M. H. Henzinger, and V. Loitzenbauer, “Improved algorithms for parity and Streett objectives,” Logical Methods in Computer Science, vol. 13, no. 3. International Federation of Computational Logic, 2017.
View
| Files available
| DOI
| arXiv
2017 | Journal Article | IST-REx-ID: 470 |
S. Jeschke and C. Wojtan, “Water wave packets,” ACM Transactions on Graphics, vol. 36, no. 4. ACM, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 471 |
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical model checking for unbounded temporal properties,” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 2. ACM, 2017.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 481 |
T. Biedl, S. Huber, and P. Palfrader, “Planar matchings for weighted straight skeletons,” International Journal of Computational Geometry and Applications, vol. 26, no. 3–4. World Scientific Publishing, pp. 211–229, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 484 |
P. Nam and M. M. Napiórkowski, “Bogoliubov correction to the mean-field dynamics of interacting bosons,” Advances in Theoretical and Mathematical Physics, vol. 21, no. 3. International Press, pp. 683–738, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 483 |
P. Bourgade, L. Erdös, H. Yau, and J. Yin, “Universality for a class of random band matrices,” Advances in Theoretical and Mathematical Physics, vol. 21, no. 3. International Press, pp. 739–800, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 487
G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, and L. Qiu, “Towards unlicensed cellular networks in TV white spaces,” in Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies, Incheon, South Korea, 2017, pp. 2–14.
View
| DOI
2017 | Journal Article | IST-REx-ID: 514 |
J. Simonnet et al., “Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 515 |
J. A. Letts and L. A. Sazanov, “Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain,” Nature Structural and Molecular Biology, vol. 24, no. 10. Nature Publishing Group, pp. 800–808, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 513 |
L. Klotz, G. M. Lemoult, I. Frontczak, L. Tuckerman, and J. Wesfreid, “Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence,” Physical Review Fluids, vol. 2, no. 4. American Physical Society, 2017.
View
| DOI
| Download Preprint (ext.)
2017 | Journal Article | IST-REx-ID: 520
W. Du et al., “Nonhierarchical flux regulation exposes the fitness burden associated with lactate production in Synechocystis sp. PCC6803,” ACS Synthetic Biology, vol. 6, no. 3. American Chemical Society, pp. 395–401, 2017.
View
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 521 |
K. Austin and Z. Virk, “Higson compactification and dimension raising,” Topology and its Applications, vol. 215. Elsevier, pp. 45–57, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 534 |
B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-Manifolds,” Discrete & Computational Geometry, vol. 58, no. 4. Springer, pp. 871–888, 2017.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 538 |
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, and H. L. Janovjak, “Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen,” Angewandte Chemie, vol. 129, no. 16. Wiley, pp. 4679–4682, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 540 |
K. Khamina et al., “Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein,” PLoS Pathogens, vol. 13, no. 12. Public Library of Science, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 466 |
K. Chatterjee, Z. Křetínská, and J. Kretinsky, “Unifying two views on multiple mean-payoff objectives in Markov decision processes,” Logical Methods in Computer Science, vol. 13, no. 2. International Federation of Computational Logic, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 467 |
K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted automata,” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 4. ACM, 2017.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 465 |
K. Chatterjee, T. A. Henzinger, R. Ibsen-Jensen, and J. Otop, “Edit distance for pushdown automata,” Logical Methods in Computer Science, vol. 13, no. 3. International Federation of Computational Logic, 2017.
View
| Files available
| DOI
2017 | Book Chapter | IST-REx-ID: 545 |
E. Mazur and J. Friml, “Vascular tissue development and regeneration in the model plant arabidopsis,” in Plant Engineering, S. Jurić, Ed. InTech, 2017, pp. 113–140.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 512 |
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, “Amplification on undirected population structures: Comets beat stars,” Scientific Reports, vol. 7, no. 1. Nature Publishing Group, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 10416 |
K. Chatterjee, B. Choudhary, and A. Pavlogiannis, “Optimal Dyck reachability for data-dependence and Alias analysis,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
View
| Files available
| DOI
| arXiv
2017 | Technical Report | IST-REx-ID: 5455 |
K. Chatterjee, B. Choudhary, and A. Pavlogiannis, Optimal Dyck reachability for data-dependence and alias analysis. IST Austria, 2017.
View
| Files available
| DOI
2017 | Report | IST-REx-ID: 5450 |
B. Petritsch, Implementing the institutional data repository IST DataRep. IST Austria, 2017.
View
| Files available
| Download (ext.)
2017 | Conference Paper | IST-REx-ID: 549 |
B. Finkbeiner and A. Kupriyanov, “Causality-based model checking,” in Electronic Proceedings in Theoretical Computer Science, Uppsala, Sweden, 2017, vol. 259, pp. 31–38.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 10417 |
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, and K. Vaidya, “Data-centric dynamic partial order reduction,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Technical Report | IST-REx-ID: 5456 |
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, and K. Vaidya, Data-centric dynamic partial order reduction. IST Austria, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 548 |
D. De Martino, “Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes,” Physical Review E, vol. 96, no. 6. American Physiological Society, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 551 |
K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, “Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs,” in Leibniz International Proceedings in Informatics, Aalborg, Denmark, 2017, vol. 83.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 552 |
K. Chatterjee, M. H. Henzinger, and A. Svozil, “Faster algorithms for mean-payoff parity games,” in Leibniz International Proceedings in Informatics, Aalborg, Denmark, 2017, vol. 83.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 553 |
K. Chatterjee, K. Hansen, and R. Ibsen-Jensen, “Strategy complexity of concurrent safety games,” in Leibniz International Proceedings in Informatics, Aalborg, Denmark, 2017, vol. 83.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Research Data | IST-REx-ID: 5562 |
O. Marre, G. Tkačik, D. Amodei, E. Schneidman, W. Bialek, and M. Berry, “Multi-electrode array recording from salamander retinal ganglion cells.” IST Austria, 2017.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5561 |
D. Kainmueller, F. Jug, C. Rother, and G. Meyers, “Graph matching problems for annotating C. Elegans.” IST Austria, 2017.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5563 |
M. Lukacisin, “MATLAB analysis code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.’” IST Austria, 2017.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5567 |
A. F. Leithner, “Immunological synapse DC-Tcells.” IST Austria, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 557 |
R. Nickells, H. Schmitt, M. E. Maes, and C. Schlamp, “AAV2 mediated transduction of the mouse retina after optic nerve injury,” Investigative Ophthalmology and Visual Science, vol. 58, no. 14. Association for Research in Vision and Ophthalmology Inc., pp. 6091–6104, 2017.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5570 |
R. Hauschild, “Forward migration indexes.” IST Austria, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 560 |
M. Gerencser, A. Jentzen, and D. Salimova, “On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions,” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 473, no. 2207. Royal Society of London, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 568 |
P. Franek and M. Krcál, “Persistence of zero sets,” Homology, Homotopy and Applications, vol. 19, no. 2. International Press, pp. 313–342, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 570 |
M. Lagator, S. Sarikas, H. Acar, J. P. Bollback, and C. C. Guet, “Regulatory network structure determines patterns of intermolecular epistasis,” eLife, vol. 6. eLife Sciences Publications, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 569 |
F. Spira et al., “Cytokinesis in vertebrate cells initiates by contraction of an equatorial actomyosin network composed of randomly oriented filaments,” eLife, vol. 6. eLife Sciences Publications, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 571
Gärtner FR, Ahmad Z, Rosenberger G, Fan S, Nicolai L, Busch B, Yavuz G, Luckner M, Ishikawa Ankerhold H, Hennel R, Benechet A, Lorenz M, Chandraratne S, Schubert I, Helmer S, Striednig B, Stark K, Janko M, Böttcher R, Verschoor A, Leon C, Gachet C, Gudermann T, Mederos Y Schnitzler M, Pincus Z, Iannacone M, Haas R, Wanner G, Lauber K, Sixt MK, Massberg S. 2017. Migrating platelets are mechano scavengers that collect and bundle bacteria. Cell Press. 171(6), 1368–1382.
View
| DOI
2017 | Journal Article | IST-REx-ID: 572 |
D. Olatunji, D. Geelen, and I. Verstraeten, “Control of endogenous auxin levels in plant root development,” International Journal of Molecular Sciences, vol. 18, no. 12. MDPI, 2017.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 313 |
N. Camus et al., “Experimental evidence for Wigner’s tunneling time,” presented at the Annual International Laser Physics Workshop LPHYS, Kazan, Russian Federation, 2017, vol. 999, no. 1.
View
| Files available
| DOI
| arXiv
2017 | Journal Article | IST-REx-ID: 6013 |
N. Camus et al., “Experimental evidence for quantum tunneling time,” Physical Review Letters, vol. 119, no. 2. American Physical Society, 2017.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 605 |
J. Brody, S. Dziembowski, S. Faust, and K. Z. Pietrzak, “Position based cryptography and multiparty communication complexity,” presented at the TCC: Theory of Cryptography Conference, Baltimore, MD, United States, 2017, vol. 10677, pp. 56–81.
View
| DOI
| Download Submitted Version (ext.)
2017 | Book Chapter | IST-REx-ID: 604 |
M. Lemeshko and R. Schmidt, “Molecular impurities interacting with a many-particle environment: From ultracold gases to helium nanodroplets,” in Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero , vol. 11, O. Dulieu and A. Osterwalder, Eds. The Royal Society of Chemistry, 2017, pp. 444–495.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 609 |
J. F. Alwen and B. Tackmann, “Moderately hard functions: Definition, instantiations, and applications,” presented at the TCC: Theory of Cryptography, Baltimore, MD, United States, 2017, vol. 10677, pp. 493–526.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 610 |
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “On generalized Heawood inequalities for manifolds: A van Kampen–Flores type nonembeddability result,” Israel Journal of Mathematics, vol. 222, no. 2. Springer, pp. 841–866, 2017.
View
| Files available
| DOI
| Download Preprint (ext.)
2017 | Journal Article | IST-REx-ID: 613 |
R. P. Chait, J. Ruess, T. Bergmiller, G. Tkačik, and C. C. Guet, “Shaping bacterial population behavior through computer interfaced control of individual cells,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 615 |
L. Erdös and K. Schnelli, “Universality for random matrix flows with time dependent density,” Annales de l’institut Henri Poincare (B) Probability and Statistics, vol. 53, no. 4. Institute of Mathematical Statistics, pp. 1606–1656, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 621 |
R. J. Beattie and S. Hippenmeyer, “Mechanisms of radial glia progenitor cell lineage progression,” FEBS letters, vol. 591, no. 24. Wiley-Blackwell, pp. 3993–4008, 2017.
View
| Files available
| DOI
2017 | Book Chapter | IST-REx-ID: 623
E. Hill Yardin, S. Mckeown, G. Novarino, and A. Grabrucker, “Extracerebral dysfunction in animal models of autism spectrum disorder,” in Translational Anatomy and Cell Biology of Autism Spectrum Disorder, vol. 224, M. Schmeisser and T. Boekers, Eds. Springer, 2017, pp. 159–187.
View
| DOI
2017 | Journal Article | IST-REx-ID: 626 |
N. H. Barton, A. Etheridge, and A. Véber, “The infinitesimal model: Definition derivation and implications,” Theoretical Population Biology, vol. 118. Academic Press, pp. 50–73, 2017.
View
| Files available
| DOI
2017 | Book Chapter | IST-REx-ID: 625 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, “The cost of exactness in quantitative reachability,” in Models, Algorithms, Logics and Tools, vol. 10460, L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, and R. Mardare, Eds. Springer, 2017, pp. 367–381.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 624 |
N. Nikolic, Z. Didara, and I. Moll, “MazF activation promotes translational heterogeneity of the grcA mRNA in Escherichia coli populations,” PeerJ, vol. 2017, no. 9. PeerJ, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 627 |
C. Jiang et al., “Dietary menthol-induced TRPM8 activation enhances WAT ‘browning’ and ameliorates diet-induced obesity,” Oncotarget, vol. 8, no. 43. Impact Journals LLC, pp. 75114–75126, 2017.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 628 |
K. Chatterjee, H. Fu, and A. Murhekar, “Automated recurrence analysis for almost linear expected runtime bounds,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10426, pp. 118–139.
View
| DOI
| Download Submitted Version (ext.)
2017 | Book Chapter | IST-REx-ID: 629
M. Loose, K. Zieske, and P. Schwille, “Reconstitution of protein dynamics involved in bacterial cell division,” in Prokaryotic Cytoskeletons, vol. 84, Springer, 2017, pp. 419–444.
View
| DOI
| PubMed | Europe PMC
2017 | Conference Paper | IST-REx-ID: 630 |
S. Sauermann et al., “Biosignals standards and FHIR: The way to go,” presented at the eHealth: Health Informatics Meets eHealth, Vienna, Austria, 2017, vol. 236, pp. 356–362.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 632 |
M. Lewin, P. Nam, and N. Rougerie, “A note on 2D focusing many boson systems,” Proceedings of the American Mathematical Society, vol. 145, no. 6. American Mathematical Society, pp. 2441–2454, 2017.
View
| DOI
| Download Submitted Version (ext.)
2017 | Book Chapter | IST-REx-ID: 634
J. Schroeder, E. Deliu, G. Novarino, and M. Schmeisser, “Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder,” in Translational Anatomy and Cell Biology of Autism Spectrum Disorder, vol. 224, M. Schmeisser and T. Boekers, Eds. Springer, 2017, pp. 189–211.
View
| DOI
2017 | Conference Paper | IST-REx-ID: 635 |
J. F. Alwen, B. Chen, K. Z. Pietrzak, L. Reyzin, and S. Tessaro, “Scrypt is maximally memory hard,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Paris, France, 2017, vol. 10212, pp. 33–62.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 636 |
A. Bakhirkin, T. Ferrere, O. Maler, and D. Ulus, “On the quantitative semantics of regular expressions over real-valued signals,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 189–206.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 640 |
J. F. Alwen, J. Blocki, and K. Z. Pietrzak, “Depth-robust graphs and their cumulative memory complexity,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Paris, France, 2017, vol. 10212, pp. 3–32.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 641
V. Trajkovska, P. Swoboda, F. Åström, and S. Petra, “Graphical model parameter learning by inverse linear programming,” presented at the SSVM: Scale Space and Variational Methods in Computer Vision, Kolding, Denmark, 2017, vol. 10302, pp. 323–334.
View
| DOI