Please note that ISTA 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.

4895 Publications


2018 | Journal Article | IST-REx-ID: 426
Metzler S, Schrempf A, Heinze J. 2018. Individual- and ejaculate-specific sperm traits in ant males. Journal of Insect Physiology. 107, 284–290.
View | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 5788 | OA
Avni G, Henzinger TA, Ibsen-Jensen R. 2018. Infinite-duration poorman-bidding games. 14th International Conference on Web and Internet Economics, WINE, LNCS, vol. 11316, 21–36.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 150 | OA
Dick R, Zadrozny KK, Xu C, Schur FK, Lyddon TD, Ricana CL, Wagner JM, Perilla JR, Ganser PBK, Johnson MC, Pornillos O, Vogt V. 2018. Inositol phosphates are assembly co-factors for HIV-1. Nature. 560(7719), 509–512.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 303 | OA
Kalinin N, Shkolnikov M. 2018. Introduction to tropical series and wave dynamic on them. Discrete and Continuous Dynamical Systems- Series A. 38(6), 2827–2849.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 282 | OA
Sachdeva H, Barton NH. 2018. Introgression of a block of genome under infinitesimal selection. Genetics. 209(4), 1279–1303.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Conference Paper | IST-REx-ID: 108 | OA
Obremski M, Skórski M. 2018. Inverted leftover hash lemma. ISIT: International Symposium on Information Theory, ISIT Proceedings, vol. 2018.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Conference Paper | IST-REx-ID: 160 | OA
Kragl B, Qadeer S. 2018. Layered Concurrent Programs. CAV: Computer Aided Verification, LNCS, vol. 10981, 79–102.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 280
Gao Z, Daneva A, Salanenka Y, Van Durme M, Huysmans M, Lin Z, De Winter F, Vanneste S, Karimi M, Van De Velde J, Vandepoele K, Van De Walle D, Dewettinck K, Lambrecht B, Nowack M. 2018. KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis. Nature Plants. 4(6), 365–375.
View | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 503
Tomasek K, Bergmiller T, Guet CC. 2018. Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains. Journal of Biotechnology. 268, 40–52.
View | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 82 | OA
Chaudhry W, Pleska M, Shah N, Weiss H, Mccall I, Meyer J, Gupta A, Guet CC, Levin B. 2018. Leaky resistance and the conditions for the existence of lytic bacteriophage. PLoS Biology. 16(8), 2005971.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 4 | OA
Umetani N, Bickel B. 2018. Learning three-dimensional flow for interactive aerodynamic design. ACM Trans. Graph. 37(4), 89.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 183
Bartocci E, Ferrere T, Manjunath N, Nickovic D. 2018. Localizing faults in simulink/stateflow models with STL. HSCC: Hybrid Systems: Computation and Control, HSCC Proceedings, , 197–206.
View | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 566 | OA
Alt J, Erdös L, Krüger TH. 2018. Local inhomogeneous circular law. Annals Applied Probability . 28(1), 148–203.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 106 | OA
Akopyan A, Petrunin A. 2018. Long geodesics on convex surfaces. Mathematical Intelligencer. 40(3), 26–31.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Research Data Reference | IST-REx-ID: 9810
Chaudhry W, Pleska M, Shah N, Weiss H, Mccall I, Meyer J, Gupta A, Guet CC, Levin B. 2018. Numerical data used in figures, Public Library of Science, 10.1371/journal.pbio.2005971.s008.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 275 | OA
Brown M, Johnson L, Leone D, Májek P, Vaahtomeri K, Senfter D, Bukosza N, Schachner H, Asfour G, Langer B, Hauschild R, Parapatics K, Hong Y, Bennett K, Kain R, Detmar M, Sixt MK, Jackson D, Kerjaschki D. 2018. Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. 217(6), 2205–2221.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 158 | OA
Robert H, Park C, Gutièrrez C, Wójcikowska B, Pěnčík A, Novák O, Chen J, Grunewald W, Dresselhaus T, Friml J, Laux T. 2018. Maternal auxin supply contributes to early embryo patterning in Arabidopsis. Nature Plants. 4(8), 548–553.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 152 | OA
Fiedorczuk K, Sazanov LA. 2018. Mammalian mitochondrial complex I structure and disease causing mutations. Trends in Cell Biology. 28(10), 835–867.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 310 | OA
Chatterjee K, Dvorák W, Henzinger MH, Loitzenbauer V. 2018. Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter. SODA: Symposium on Discrete Algorithms, 2341–2356.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 436 | OA
Barzanjeh S, Aquilina M, Xuereb A. 2018. Manipulating the flow of thermal noise in quantum devices. Physical Review Letters. 120(6), 060601.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 5858 | OA
Hross S, Theis FJ, Sixt MK, Hasenauer J. 2018. Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data. Journal of the Royal Society Interface. 15(149), 20180600.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 16 | OA
Varshney A, Steinberg V. 2018. Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. Physical Review Fluids. 3(10), 103303.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 43 | OA
Rybicki J, Kisdi E, Anttila J. 2018. Model of bacterial toxin-dependent pathogenesis explains infective dose. PNAS. 115(42), 10690–10695.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 13 | OA
Alderighi T, Malomo L, Giorgi D, Pietroni N, Bickel B, Cignoni P. 2018. Metamolds: Computational design of silicone molds. ACM Trans. Graph. 37(4), 136.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 137 | OA
Zhang W, Herde M, Mitchell J, Whitfield J, Wulff A, Vongsouthi V, Sanchez-Romero I, Gulakova P, Minge D, Breithausen B, Schoch S, Janovjak HL, Jackson C, Henneberger C. 2018. Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS. Nature Chemical Biology. 14(9), 861–869.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Book Chapter | IST-REx-ID: 153
Renkawitz J, Reversat A, Leithner AF, Merrin J, Sixt MK. 2018.Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments. In: Methods in Cell Biology. vol. 147, 79–91.
View | DOI | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 54
Nunes Pinheiro DC, Bellaïche Y. 2018. Mechanical force-driven adherents junction remodeling and epithelial dynamics. Developmental Cell. 47(1), 3–19.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 276 | OA
Frick C, Dettinger P, Renkawitz J, Jauch A, Berger C, Recher M, Schroeder T, Mehling M. 2018. Nano-scale microfluidics to study 3D chemotaxis at the single cell level. PLoS One. 13(6), e0198330.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 283 | OA
Ceinos RM, Frigato E, Pagano C, Frohlich N, Negrini P, Cavallari N, Vallone D, Fuselli S, Bertolucci C, Foulkes NS. 2018. Mutations in blind cavefish target the light regulated circadian clock gene period 2. Scientific Reports. 8(1), 8754.
[Published Version] View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 81 | OA
Elgyütt A, Ferrere T, Henzinger TA. 2018. Monitoring temporal logic with clock variables. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 11022, 53–70.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 76 | OA
Lenzen C, Rybicki J. 2018. Near-optimal self-stabilising counting and firing squads. Distributed Computing.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 530 | OA
Edelsbrunner H, Iglesias Ham M. 2018. Multiple covers with balls I: Inclusion–exclusion. Computational Geometry: Theory and Applications. 68, 119–133.
[Preprint] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 307 | OA
Redchenko E, Makarov A, Yudson V. 2018. Nanoscopy of pairs of atoms by fluorescence in a magnetic field. Physical Review A - Atomic, Molecular, and Optical Physics. 97(4), 043812.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 279 | OA
Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. 2018. Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome. Genome Biology. 19, 67.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 145 | OA
Truckenbrodt SM, Viplav A, Jähne S, Vogts A, Denker A, Wildhagen H, Fornasiero E, Rizzoli S. 2018. Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission. The EMBO Journal. 37(15), e98044.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 462 | OA
Fan L, Zhao L, Hu W, Li W, Novák O, Strnad M, Simon S, Friml J, Shen J, Jiang L, Qiu Q. 2018. NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated development. Plant, Cell and Environment. 41, 850–864.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 519 | OA
Altmeyer S. 2018. Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic Taylor-Couette flow. Journal of Magnetism and Magnetic Materials. 452, 427–441.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 5679 | OA
Huang M, Fu H, Chatterjee K. 2018. New approaches for almost-sure termination of probabilistic programs. 16th Asian Symposium on Programming Languages and Systems, APLAS, LNCS, vol. 11275, 181–201.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 546
Sacco R, Cacci E, Novarino G. 2018. Neural stem cells in neuropsychiatric disorders. Current Opinion in Neurobiology. 48(2), 131–138.
View | DOI | WoS
 

2018 | Research Data Reference | IST-REx-ID: 9812 | OA
Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. 2018. Additional file 2: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome, Springer Nature, 10.6084/m9.figshare.6401414.v1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2018 | Research Data Reference | IST-REx-ID: 9811 | OA
Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. 2018. Additional file 1: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome, Springer Nature, 10.6084/m9.figshare.6401390.v1.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 20 | OA
Higareda Almaraz J, Karbiener M, Giroud M, Pauler F, Gerhalter T, Herzig S, Scheideler M. 2018. Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes. BMC Genomics. 19(1).
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 107 | OA
Dziembowski S, Pietrzak KZ, Wichs D. 2018. Non-malleable codes. Journal of the ACM. 65(4), 20.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 5676 | OA
Carvalho L, Patricio P, Ponte S, Heisenberg C-PJ, Almeida L, Nunes AS, Araújo NAM, Jacinto A. 2018. Occluding junctions as novel regulators of tissue mechanics during wound repair. Journal of Cell Biology. 217(12), 4267–4283.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Research Data Reference | IST-REx-ID: 9807 | OA
Higareda Almaraz J, Karbiener M, Giroud M, Pauler F, Gerhalter T, Herzig S, Scheideler M. 2018. Additional file 1: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes, Springer Nature, 10.6084/m9.figshare.7295339.v1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2018 | Research Data Reference | IST-REx-ID: 9808 | OA
Higareda Almaraz J, Karbiener M, Giroud M, Pauler F, Gerhalter T, Herzig S, Scheideler M. 2018. Additional file 3: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes, Springer Nature, 10.6084/m9.figshare.7295369.v1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2018 | Conference Paper | IST-REx-ID: 193 | OA
Alwen JF, Gazi P, Kamath Hosdurg C, Klein K, Osang GF, Pietrzak KZ, Reyzin L, Rolinek M, Rybar M. 2018. On the memory hardness of data independent password hashing functions. Proceedings of the 2018 on Asia Conference on Computer and Communication Security. ASIACCS: Asia Conference on Computer and Communications Security , 51–65.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Conference Paper | IST-REx-ID: 300 | OA
Micciancio D, Walter M. 2018. On the bit security of cryptographic primitives. Eurocrypt: Advances in Cryptology, LNCS, vol. 10820, 3–28.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 312 | OA
Edelsbrunner H, Iglesias Ham M. 2018. On the optimality of the FCC lattice for soft sphere packing. SIAM J Discrete Math. 32(1), 750–782.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 409 | OA
Akopyan A. 2018. On the number of non-hexagons in a planar tiling. Comptes Rendus Mathematique. 356(4), 412–414.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications