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.

2973 Publications


2016 | Conference Paper | IST-REx-ID: 482
Rueda A, Sedlmeir F, Collodo M, et al. Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. In: OSA; 2016. doi:10.1364/NP.2016.NTh3A.6
View | DOI
 

2016 | Journal Article | IST-REx-ID: 510 | OA
Liu Z, Yang N, Lv Y, et al. The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior. 2016;11(6). doi:10.1080/15592324.2016.1191734
View | DOI | Download Submitted Version (ext.)
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee K, Pavlogiannis A, Velner Y. Quantitative Interprocedural Analysis. IST Austria; 2016. doi:10.15479/AT:IST-2016-523-v1-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446 | OA
Anonymous 1, Anonymous 2, Anonymous 3. Termination and Worst-Case Analysis of Recursive Programs. IST Austria; 2016.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5447 | OA
Anonymous 1, Anonymous 2, Anonymous 3. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria; 2016.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5448 | OA
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Data-Centric Dynamic Partial Order Reduction. IST Austria; 2016.
View | Files available | arXiv
 

2016 | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria; 2016. doi:10.15479/AT:IST-2016-648-v1-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5451 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2016-728-v1-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5452 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-728-v2-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5453 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-749-v3-1
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5550 | OA
Ellis T, Field D. Flower Colour Data and Phylogeny (NEXUS) Files. IST Austria; 2016. doi:10.15479/AT:ISTA:34
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5551 | OA
Ellis T. Data on Pollinator Observations and Offpsring Phenotypes. IST Austria; 2016. doi:10.15479/AT:ISTA:35
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5552 | OA
Ellis T. Pollinator Visitation Data for Wild Antirrhinum Majus Plants, with Phenotypic and Frequency Data. IST Austria; 2016. doi:10.15479/AT:ISTA:36
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5553 | OA
Field D, Ellis T. Inference of Mating Patterns among Wild Snapdragons in a Natural Hybrid Zone in 2012. IST Austria; 2016. doi:10.15479/AT:ISTA:37
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5554 | OA
Tugrul M. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase. IST Austria; 2016. doi:10.15479/AT:ISTA:43
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5555 | OA
Hauschild R. Fiji Script to Determine Average Speed and Direction of Migration of Cells. IST Austria; 2016. doi:10.15479/AT:ISTA:44
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5557 | OA
Swoboda P. Synthetic Discrete Tomography Problems. IST Austria; 2016. doi:10.15479/AT:ISTA:46
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5558 | OA
Bojsen-Hansen M. Tracking, Correcting and Absorbing Water Surface Waves. IST Austria; 2016. doi:10.15479/AT:ISTA:48
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1545 | OA
Nam P, Napiórkowski MM, Solovej J. Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. 2016;270(11):4340-4368. doi:10.1016/j.jfa.2015.12.007
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1552 | OA
Qi Q, Toll Riera M, Heilbron K, Preston G, Maclean RC. The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa. Proceedings of the Royal Society of London Series B Biological Sciences. 2016;283(1822). doi:10.1098/rspb.2015.2452
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1592
Abe M, Fuchsbauer G, Groth J, Haralambiev K, Ohkubo M. Structure preserving signatures and commitments to group elements. Journal of Cryptology. 2016;29(2):363-421. doi:10.1007/s00145-014-9196-7
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1597
Schwarz J, Sixt MK. Quantitative analysis of dendritic cell haptotaxis. Methods in Enzymology. 2016;570:567-581. doi:10.1016/bs.mie.2015.11.004
View | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1599 | OA
Kiermaier E, Moussion C, Veldkamp C, et al. Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. 2016;351(6269):186-190. doi:10.1126/science.aad0512
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1608 | OA
Sadel C. Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare. 2016;17(7):1631-1675. doi:10.1007/s00023-015-0456-3
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1612 | OA
Kazda A. CSP for binary conservative relational structures. Algebra Universalis. 2016;75(1):75-84. doi:10.1007/s00012-015-0358-8
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1616 | OA
Kowalski J, Gan J, Jonas PM, Pernia-Andrade A. Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. Hippocampus. 2016;26(5):668-682. doi:10.1002/hipo.22550
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1617 | OA
Pausinger F, Steinerberger S. On the discrepancy of jittered sampling. Journal of Complexity. 2016;33:199-216. doi:10.1016/j.jco.2015.11.003
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1620 | OA
Frank R, Hainzl C, Seiringer R, Solovej J. The external field dependence of the BCS critical temperature. Communications in Mathematical Physics. 2016;342(1):189-216. doi:10.1007/s00220-015-2526-2
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1622 | OA
Lundholm D, Nam P, Portmann F. Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. 2016;219(3):1343-1382. doi:10.1007/s00205-015-0923-5
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1631 | OA
Kelleher J, Etheridge A, Véber A, Barton NH. Spread of pedigree versus genetic ancestry in spatially distributed populations. Theoretical Population Biology. 2016;108:1-12. doi:10.1016/j.tpb.2015.10.008
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1641 | OA
Zemová R, Zwiewka M, Bielach A, Robert H, Friml J. A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation. 2016;35(2):465-476. doi:10.1007/s00344-015-9553-2
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1653 | OA
Okamoto T, Pietrzak KZ, Waters B, Wichs D. New realizations of somewhere statistically binding hashing and positional accumulators. In: Vol 9452. Springer; 2016:121-145. doi:10.1007/978-3-662-48797-6_6
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1662 | OA
Edelsbrunner H, Pausinger F. Approximation and convergence of the intrinsic volume. Advances in Mathematics. 2016;287:674-703. doi:10.1016/j.aim.2015.10.004
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1705 | OA
Bogomolov S, Donzé A, Frehse G, et al. Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. 2016;18(4):449-467. doi:10.1007/s10009-015-0393-y
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1707
Pielorz J, Lampert C. Optimal geospatial allocation of volunteers for crisis management. In: IEEE; 2016. doi:10.1109/ICT-DM.2015.7402041
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1794 | OA
Kolmogorov V, Takhanov R. Inference algorithms for pattern-based CRFs on sequence data. Algorithmica. 2016;76(1):17-46. doi:10.1007/s00453-015-0017-7
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1833 | OA
Klimova A, Rudas T. On the closure of relational models. Journal of Multivariate Analysis. 2016;143:440-452. doi:10.1016/j.jmva.2015.10.005
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1881 | OA
Lee J, Schnelli K. Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields. 2016;164(1-2):165-241. doi:10.1007/s00440-014-0610-8
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 8094 | OA
Martius GS, Hostettler R, Knoll A, Der R. Self-organized control of an tendon driven arm by differential extrinsic plasticity. In: Proceedings of the Artificial Life Conference 2016. Vol 28. MIT Press; 2016:142-143. doi:10.7551/978-0-262-33936-0-ch029
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 948
Monk T, Savin C, Lücke J. Neurons equipped with intrinsic plasticity learn stimulus intensity statistics. In: Vol 29. Neural Information Processing Systems; 2016:4285-4293.
View | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 1181
Dwyer N, Chen B, Chou S, Hippenmeyer S, Nguyen L, Ghashghaei T. Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and productivity. Journal of Neuroscience. 2016;36(45):11394-11401. doi:10.1523/JNEUROSCI.2359-16.2016
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1182 | OA
Chatterjee K, Ibsen-Jensen R, Tkadlec J. Robust draws in balanced knockout tournaments. In: Vol 2016-January. AAAI Press; 2016:172-179.
View | Files available | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1183 | OA
Tarlungeanu D-C, Deliu E, Dotter C, et al. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 2016;167(6):1481-1494. doi:10.1016/j.cell.2016.11.013
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1184 | OA
Metzler S, Heinze J, Schrempf A. Mating and longevity in ant males. Ecology and Evolution. 2016;6(24):8903-8906. doi:10.1002/ece3.2474
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1185
Cucinotta M, Manrique S, Guazzotti A, et al. Cytokinin response factors integrate auxin and cytokinin pathways for female reproductive organ development. Development. 2016;143(23):4419-4424. doi:10.1242/dev.143545
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1186 | OA
Gutierrez-Fernandez J, Saleh M, Alcorlo M, et al. Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis. Scientific Reports. 2016;6. doi:10.1038/srep38094
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1188 | OA
De Martino D, Masoero D. Asymptotic analysis of noisy fitness maximization, applied to metabolism & growth. Journal of Statistical Mechanics: Theory and Experiment. 2016;2016(12). doi:10.1088/1742-5468/aa4e8f
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1193 | OA
Kolmogorov V. Commutativity in the algorithmic Lovasz local lemma. In: Proceedings - Annual IEEE Symposium on Foundations of Computer Science. Vol 2016-December. IEEE; 2016:7782993. doi:10.1109/FOCS.2016.88
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1195 | OA
Franssen S, Barton NH, Schlötterer C. Reconstruction of haplotype-blocks selected during experimental evolution. Molecular Biology and Evolution. 2016;34(1):174-184. doi:10.1093/molbev/msw210
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1197 | OA
Prentice J, Marre O, Ioffe M, Loback A, Tkačik G, Berry M. Error-robust modes of the retinal population code. PLoS Computational Biology. 2016;12(11). doi:10.1371/journal.pcbi.1005148
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1200 | OA
Hilbe C, Traulsen A. Only the combination of mathematics and agent based simulations can leverage the full potential of evolutionary modeling: Comment on “Evolutionary game theory using agent-based methods” by C. Adami, J. Schossau and A. Hintze. Physics of Life Reviews. 2016;19:29-31. doi:10.1016/j.plrev.2016.10.004
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1201
Renkawitz J, Sixt MK. Formin’ a nuclear protection. Cell. 2016;167(6):1448-1449. doi:10.1016/j.cell.2016.11.024
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1202 | OA
Milutinovic B, Peuß R, Ferro K, Kurtz J. Immune priming in arthropods: an update focusing on the red flour beetle. Zoology . 2016;119(4):254-261. doi:10.1016/j.zool.2016.03.006
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1203 | OA
Hu F, Rishishwar L, Sivadas A, et al. Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination. Journal of Clinical Microbiology. 2016;54(12):3010-3017. doi:10.1128/JCM.01511-16
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1204 | OA
Amir A, Lemeshko M, Tokieda T. Surprises in numerical expressions of physical constants. American Mathematical Monthly. 2016;123(6):609-612. doi:10.4169/amer.math.monthly.123.6.609
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1205 | OA
Jiang Y, Liu H, Song H, et al. Safety assured formal model driven design of the multifunction vehicle bus controller. In: Vol 9995. Springer; 2016:757-763. doi:10.1007/978-3-319-48989-6_47
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1206 | OA
Redchenko E, Lemeshko M. Libration of strongly oriented polar molecules inside a superfluid. ChemPhysChem. 2016;17(22):3649-3654. doi:10.1002/cphc.201601042
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1209 | OA
Letts JA, Degliesposti G, Fiedorczuk K, Skehel M, Sazanov LA. Purification of ovine respiratory complex i results in a highly active and stable preparation. Journal of Biological Chemistry. 2016;291(47):24657-24675. doi:10.1074/jbc.M116.735142
View | DOI | Download Submitted Version (ext.)
 

2016 | Book Chapter | IST-REx-ID: 1210
Zhu Q, Žádníková P, Smet D, Van Der Straeten D, Benková E. Real time analysis of the apical hook development. In: Plant Hormones. Vol 1497. Humana Press; 2016:1-8. doi:10.1007/978-1-4939-6469-7_1
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1212 | OA
Rakusová H, Abbas M, Han H, Song S, Robert H, Friml J. Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity. Current Biology. 2016;26(22):3026-3032. doi:10.1016/j.cub.2016.08.067
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1214
Martius GS, Hostettler R, Knoll A, Der R. Compliant control for soft robots: Emergent behavior of a tendon driven anthropomorphic arm. In: Vol 2016-November. IEEE; 2016. doi:10.1109/IROS.2016.7759138
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1216 | OA
Kasten J, Reininghaus J, Hotz I, et al. Acceleration feature points of unsteady shear flows. Archives of Mechanics. 2016;68(1):55-80.
View | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1217
Sreeramkumar V, Hons M, Punzón C, et al. Efficient T-cell priming and activation requires signaling through prostaglandin E2 (EP) receptors. Immunology and Cell Biology. 2016;94(1):39-51. doi:10.1038/icb.2015.62
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1218 | OA
Angermayr A, Van Alphen P, Hasdemir D, et al. Culturing synechocystis sp. Strain pcc 6803 with N2 and CO2 in a diel regime reveals multiphase glycogen dynamics with low maintenance costs. Applied and Environmental Microbiology. 2016;82(14):4180-4189. doi:10.1128/AEM.00256-16
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1219 | OA
Lee J, Schnelli K, Stetler B, Yau H. Bulk universality for deformed wigner matrices. Annals of Probability. 2016;44(3):2349-2425. doi:10.1214/15-AOP1023
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1220 | OA
Mikić G, Stoll A, Bevirt J, Grah R, Moore M. Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency. In: AIAA; 2016:1-19. doi:10.2514/6.2016-3764
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1221 | OA
Michalko J, Glanc M, Perrot Rechenmann C, Friml J. Strong morphological defects in conditional Arabidopsis abp1 knock-down mutants generated in absence of functional ABP1 protein. F1000 Research . 2016;5. doi:10.12688/f1000research.7654.1
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1222 | OA
Musin O, Nikitenko A. Optimal packings of congruent circles on a square flat torus. Discrete & Computational Geometry. 2016;55(1):1-20. doi:10.1007/s00454-015-9742-6
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1223 | OA
Froese R, Lee D, Sadel C, Spitzer W, Stolz G. Localization for transversally periodic random potentials on binary trees. Journal of Spectral Theory. 2016;6(3):557-600. doi:10.4171/JST/132
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1224
Teitel Z, Pickup M, Field D, Barrett S. The dynamics of resource allocation and costs of reproduction in a sexually dimorphic, wind-pollinated dioecious plant. Plant Biology. 2016;18(1):98-103. doi:10.1111/plb.12336
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1225 | OA
Fuchsbauer G, Hanser C, Kamath Hosdurg C, Slamanig D. Practical round-optimal blind signatures in the standard model from weaker assumptions. In: Vol 9841. Springer; 2016:391-408. doi:10.1007/978-3-319-44618-9_21
View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1226 | OA
Fiedorczuk K, Letts JA, Degliesposti G, Kaszuba K, Skehel M, Sazanov LA. Atomic structure of the entire mammalian mitochondrial complex i. Nature. 2016;538(7625):406-410. doi:10.1038/nature19794
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1227 | OA
Kong H, Bartocci E, Bogomolov S, et al. Discrete abstraction of multiaffine systems. In: Vol 9957. Springer; 2016:128-144. doi:10.1007/978-3-319-47151-8_9
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1229 | OA
Abusalah HM, Fuchsbauer G, Pietrzak KZ. Offline witness encryption. In: Vol 9696. Springer; 2016:285-303. doi:10.1007/978-3-319-39555-5_16
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1230 | OA
Daca P, Gupta A, Henzinger TA. Abstraction-driven concolic testing. In: Vol 9583. Springer; 2016:328-347. doi:10.1007/978-3-662-49122-5_16
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1231 | OA
Alwen JF, Chen B, Kamath Hosdurg C, Kolmogorov V, Pietrzak KZ, Tessaro S. On the complexity of scrypt and proofs of space in the parallel random oracle model. In: Vol 9666. Springer; 2016:358-387. doi:10.1007/978-3-662-49896-5_13
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1232
Letts JA, Fiedorczuk K, Sazanov LA. The architecture of respiratory supercomplexes. Nature. 2016;537(7622):644-648. doi:10.1038/nature19774
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1233 | OA
Fuchsbauer G, Heuer F, Kiltz E, Pietrzak KZ. Standard security does imply security against selective opening for markov distributions. In: Vol 9562. Springer; 2016:282-305. doi:10.1007/978-3-662-49096-9_12
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1234 | OA
Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. In: Vol 9636. Springer; 2016:112-129. doi:10.1007/978-3-662-49674-9_7
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1235 | OA
Abusalah HM, Fuchsbauer G. Constrained PRFs for unbounded inputs with short keys. In: Vol 9696. Springer; 2016:445-463. doi:10.1007/978-3-319-39555-5_24
View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1236 | OA
Abusalah HM, Fuchsbauer G, Pietrzak KZ. Constrained PRFs for unbounded inputs. In: Vol 9610. Springer; 2016:413-428. doi:10.1007/978-3-319-29485-8_24
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1237
Krcál M, Pilarczyk P. Computation of cubical Steenrod squares. In: Vol 9667. Springer; 2016:140-151. doi:10.1007/978-3-319-39441-1_13
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1238 | OA
von Wangenheim D, Rosero A, Komis G, et al. Endosomal interactions during root hair growth. Frontiers in Plant Science. 2016;6(JAN2016). doi:10.3389/fpls.2015.01262
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1239
Callan Jones A, Ruprecht V, Wieser S, Heisenberg C-PJ, Voituriez R. Cortical flow-driven shapes of nonadherent cells. Physical Review Letters. 2016;116(2). doi:10.1103/PhysRevLett.116.028102
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1240 | OA
Kornienko A, Dotter C, Guenzl P, et al. Long non-coding RNAs display higher natural expression variation than protein-coding genes in healthy humans. Genome Biology. 2016;17(1). doi:10.1186/s13059-016-0873-8
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1241 | OA
Uecker H, Hermisson J. The role of recombination in evolutionary rescue. Genetics. 2016;202(2):721-732. doi:10.1534/genetics.115.180299
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1242 | OA
Sokolowski TR, Walczak A, Bialek W, Tkacik G. Extending the dynamic range of transcription factor action by translational regulation. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2016;93(2). doi:10.1103/PhysRevE.93.022404
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1243
Pleska M, Qian L, Okura R, et al. Bacterial autoimmunity due to a restriction-modification system. Current Biology. 2016;26(3):404-409. doi:10.1016/j.cub.2015.12.041
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1244 | OA
Recouvreux P, Sokolowski TR, Grammoustianou A, Tenwolde P, Dogterom M. Chimera proteins with affinity for membranes and microtubule tips polarize in the membrane of fission yeast cells. PNAS. 2016;113(7):1811-1816. doi:10.1073/pnas.1419248113
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1245
Pandey V, Chatterjee K. Game-theoretic models identify useful principles for peer collaboration in online learning platforms. In: Proceedings of the ACM Conference on Computer Supported Cooperative Work. Vol 26. ACM; 2016:365-368. doi:10.1145/2818052.2869122
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1246 | OA
Kabakova I, De Hoogh A, Van Der Wel R, Wulf M, Le Feber B, Kuipers L. Imaging of electric and magnetic fields near plasmonic nanowires. Scientific Reports. 2016;6. doi:10.1038/srep22665
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1247 | OA
Karampelias M, Neyt P, De Groeve S, et al. ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling. PNAS. 2016;113(10):2768-2773. doi:10.1073/pnas.1501343112
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1248 | OA
Tkacik G, Bialek W. Information processing in living systems. Annual Review of Condensed Matter Physics. 2016;7:89-117. doi:10.1146/annurev-conmatphys-031214-014803
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1249 | OA
Saha A, Nishikawa M, Behrndt M, Heisenberg C-PJ, Julicher F, Grill S. Determining physical properties of the cell cortex. Biophysical Journal. 2016;110(6):1421-1429. doi:10.1016/j.bpj.2016.02.013
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1250 | OA
Boehm A, Arnoldini M, Bergmiller T, Röösli T, Bigosch C, Ackermann M. Genetic manipulation of glycogen allocation affects replicative lifespan in E coli. PLoS Genetics. 2016;12(4). doi:10.1371/journal.pgen.1005974
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1251 | OA
Zhu J, Bailly A, Zwiewka M, et al. TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics. Plant Cell. 2016;28(4):930-948. doi:10.1105/tpc.15.00726
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1252 | OA
Harker S, Kokubu H, Mischaikow K, Pilarczyk P. Inducing a map on homology from a correspondence. Proceedings of the American Mathematical Society. 2016;144(4):1787-1801. doi:10.1090/proc/12812
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1253 | OA
Tsai L, Siegert S. How MicroRNAs Are involved in splitting the mind. JAMA Psychiatry. 2016;73(4):409-410. doi:10.1001/jamapsychiatry.2015.3144
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1254 | OA
Golmakani A, Luzzatto S, Pilarczyk P. Uniform expansivity outside a critical neighborhood in the quadratic family. Experimental Mathematics. 2016;25(2):116-124. doi:10.1080/10586458.2015.1048011
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1255 | OA
Peuß R, Wensing K, Woestmann L, et al. Down syndrome cell adhesion molecule 1: Testing for a role in insect immunity, behaviour and reproduction. Royal Society Open Science. 2016;3(4). doi:10.1098/rsos.160138
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications