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.

5685 Publications


2016 | Journal Article | IST-REx-ID: 7599   OA
Tang Y, Zhao C-Y, Tan S, Xue H-W. 2016. Arabidopsis type II phosphatidylinositol 4-kinase PI4Kγ5 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor ANAC078. PLOS Genetics. 12(8), e1006252.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7734
Peyrot WJ, Robinson MR, Penninx BWJH, Wray NR. 2016. Exploring boundaries for the genetic consequences of assortative mating for psychiatric traits. JAMA Psychiatry. 73(11), 1189–1195.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7760
Goodrich CP, Liu AJ, Sethna JP. 2016. Scaling ansatz for the jamming transition. Proceedings of the National Academy of Sciences. 113(35), 9745–9750.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 592
Engelsen N, Hosten O, Krishnakumar R, Kasevich M. 2016. Engineering spin squeezed states for quantum-enhanced atom interferometry. CLEO: Conference on Lasers and Electro Optics
View | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 101   OA
Albrecht SM, Higginbotham AP, Jespersen T, Madsen M, Kuemmeth F, Nygård J, Krogstrup P, Marcus C. 2016. Exponential protection of zero modes in Majorana islands. Nature. 531(7593), 206–209.
View | DOI | Download (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1059
Butkevich A, Mitronova G, Sidenstein S, Klocke J, Kamin D, Meineke D, D’Este E, Kraemer P, Danzl J, Belov V, Hell S. 2016. Fluorescent rhodamines and fluorogenic carbopyronines for super-resolution STED microscopy in living cells. Angewandte Chemie - International Edition. 55(10), 3290–3294.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1105
Savin C, Tkacik G. 2016. Estimating nonlinear neural response functions using GP priors and Kronecker methods. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 29. 3610–3618.
View | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1097   OA
Du T, Schulz A, Zhu B, Bickel B, Matusik W. 2016. Computational multicopter design. SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, ACM Transactions on Graphics, vol. 35.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1179   OA
Pietrzak KZ, Maciej S. 2016. Pseudoentropy: Lower-bounds for chain rules and transformations. TCC: Theory of Cryptography Conference, LNCS, vol. 9985. 183–203.
View | DOI | Download (ext.)
 

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

2016 | Thesis | IST-REx-ID: 1129
Schwarz J. 2016. Quantitative analysis of haptotactic cell migration, IST Austria, 178p.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1136   OA
Manteaux P, Vimont U, Wojtan CJ, Rohmer D, Cani M. 2016. Space time sculpting of liquid animation. Proceedings of the 9th International Conference on Motion in Games . MIG: Motion in Games
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1143   OA
Nam P, Rougerie N, Seiringer R. 2016. Ground states of large bosonic systems: The gross Pitaevskii limit revisited. Analysis and PDE. 9(2), 459–485.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1186   OA
Gutierrez-Fernandez J, Saleh M, Alcorlo M, Gómez Mejóa A, Pantoja Uceda D, Treviño M, Vob F, Abdullah M, Galán Bartual S, Seinen J, Sánchez Murcia P, Gago F, Bruix M, Hammerschmidt S, Hermoso J. 2016. Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis. Scientific Reports. 6, 38094.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1150
Renkawitz J, Sixt MK. 2016. A Radical Break Restraining Neutrophil Migration. Developmental Cell. 38(5), 448–450.
View | DOI
 

2016 | Thesis | IST-REx-ID: 1124
Morri M. 2016. Optical functionalization of human class A orphan G-protein coupled receptors, IST Austria, 129p.
View | Files available
 

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

2016 | Journal Article | IST-REx-ID: 1218   OA
Angermayr A, Van Alphen P, Hasdemir D, Kramer G, Iqbal M, Van Grondelle W, Hoefsloot H, Choi Y, Hellingwerf K. 2016. 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. 82(14), 4180–4189.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1220   OA
Mikić G, Stoll A, Bevirt J, Grah R, Moore M. 2016. Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency. AIAA: Aviation Technology, Integration, and Operations Conference 1–19.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1201
Renkawitz J, Sixt MK. 2016. Formin’ a nuclear protection. Cell. 167(6), 1448–1449.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1237
Krcál M, Pilarczyk P. 2016. Computation of cubical Steenrod squares. CTIC: Computational Topology in Image Context, LNCS, vol. 9667. 140–151.
View | DOI
 

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

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

2016 | Journal Article | IST-REx-ID: 1251   OA
Zhu J, Bailly A, Zwiewka M, Sovero V, Di Donato M, Ge P, Oehri J, Aryal B, Hao P, Linnert M, Burgardt N, Lücke C, Weiwad M, Michel M, Weiergräber O, Pollmann S, Azzarello E, Mancuso S, Ferro N, Fukao Y, Hoffmann C, Wedlich Söldner R, Friml J, Thomas C, Geisler M. 2016. TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics. Plant Cell. 28(4), 930–948.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1256   OA
Jiang Y, Yang Y, Liu H, Kong H, Gu M, Sun J, Sha L. 2016. From stateflow simulation to verified implementation: A verification approach and a real-time train controller design. RTAS: Real-time and Embedded Technology and Applications Symposium
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1263   OA
Rueda A, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2016. Efficient microwave to optical photon conversion: An electro-optical realization. Optica. 3(6), 597–604.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1268
Milutinovic B, Kurtz J. 2016. Immune memory in invertebrates. Seminars in Immunology. 28(4), 328–342.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1319
Bächer M, Hepp B, Pece F, Kry P, Bickel B, Thomaszewski B, Hilliges O. 2016. DefSense: computational design of customized deformable input devices. CHI: Conference on Human Factors in Computing Systems 3806–3816.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1345   OA
Molnar G, Fendrych M, Friml J. 2016. Plasma membrane: Negative attraction. Nature Plants. 2, 16102.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1326   OA
Brázdil T, Kučera A, Novotny P. 2016. Optimizing the expected mean payoff in Energy Markov Decision Processes. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 9938. 32–49.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1275
Callan Jones A, Ruprecht V, Wieser S, Heisenberg C-PJ, Voituriez R. 2016. Callan-Jones et al. Reply. Physical Review Letters. 117(13), 139802.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1282   OA
Gundert A, Wagner U. 2016. On eigenvalues of random complexes. Israel Journal of Mathematics. 216(2), 545–582.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1287   OA
Midya B, Konotop V. 2016. Modes and exceptional points in waveguides with impedance boundary conditions. Optics Letters. 41(20), 4621–4624.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1333   OA
Milinski M, Hilbe C, Semmann D, Sommerfeld R, Marotzke J. 2016. Humans choose representatives who enforce cooperation in social dilemmas through extortion. Nature Communications. 7, 10915.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1364   OA
Miguel Villalba E, Lepoutre M, Bickel B. 2016. Computational design of stable planar-rod structures. ACM SIGGRAPH, ACM Transactions on Graphics, vol. 35.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1369   OA
Kolesnikov A, Lampert C. 2016. Seed, expand and constrain: Three principles for weakly-supervised image segmentation. ECCV: European Conference on Computer Vision, LNCS, vol. 9908. 695–711.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1371
Martin O, Krzywicki A, Zagórski MP. 2016. Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function. Physics of Life Reviews. 17, 124–158.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1352   OA
Kaczmarczyk J, Schickling T, Bünemann J. 2016. Coexistence of nematic order and superconductivity in the Hubbard model. Physical Review B - Condensed Matter and Materials Physics. 94(8), 085152.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1357   OA
Barton NH. 2016. Richard Hudson and Norman Kaplan on the coalescent process. Genetics. 202(3), 865–866.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1415   OA
Ferstl F, Ando R, Wojtan CJ, Westermann R, Thuerey N. 2016. Narrow band FLIP for liquid simulations. Computer Graphics Forum. 35(2), 225–232.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1427   OA
Lagator M, Igler C, Moreno A, Guet CC, Bollback JP. 2016. Epistatic interactions in the arabinose cis-regulatory element. Molecular Biology and Evolution. 33(3), 761–769.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1410   OA
Ugalde J, Rodríguez Furlán C, De Rycke R, Norambuena L, Friml J, León G, Tejos R. 2016. Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development. Plant Science. 250, 10–19.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1434   OA
Bao Z, Erdös L, Schnelli K. 2016. Local stability of the free additive convolution. Journal of Functional Analysis. 271(3), 672–719.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1446   OA
Calatrava Moreno M, Auzinger T, Werthner H. 2016. On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data. Scientometrics. 107(1), 213–232.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1491   OA
Lewin M, Nam P, Rougerie N. 2016. The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases. Transactions of the American Mathematical Society. 368(9), 6131–6157.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1496   OA
Amaro P, Fratini F, Safari L, Machado J, Guerra M, Indelicato P, Santos J. 2016. Relativistic evaluation of the two-photon decay of the metastable 1s22s2p3P0 state in berylliumlike ions with an effective-potential model. Physical Review A - Atomic, Molecular, and Optical Physics. 93(3), 032502.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1484   OA
Chen X, Wu S, Liu Z, Friml J. 2016. Environmental and endogenous control of cortical microtubule orientation. Trends in Cell Biology. 26(6), 409–419.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1489   OA
Ajanki OH, Erdös L, Krüger TH. 2016. Local spectral statistics of Gaussian matrices with correlated entries. Journal of Statistical Physics. 163(2), 280–302.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1523   OA
Gundert A, Wagner U. 2016. On topological minors in random simplicial complexes. Proceedings of the American Mathematical Society. 144(4), 1815–1828.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1612   OA
Kazda A. 2016. CSP for binary conservative relational structures. Algebra Universalis. 75(1), 75–84.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1617   OA
Pausinger F, Steinerberger S. 2016. On the discrepancy of jittered sampling. Journal of Complexity. 33, 199–216.
View | DOI | Download (ext.)
 

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

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

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

2016 | Journal Article | IST-REx-ID: 1833   OA
Klimova A, Rudas T. 2016. On the closure of relational models. Journal of Multivariate Analysis. 143, 440–452.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1794
Kolmogorov V, Takhanov R. 2016. Inference algorithms for pattern-based CRFs on sequence data. Algorithmica. 76(1), 17–46.
View | Files available | DOI | Download (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 264   OA
Bright M, Browning TD, Loughran D. 2016. Failures of weak approximation in families. Compositio Mathematica. 152(7), 1435–1475.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 372
Dalmases M, Ibanez Sabate M, Torruella P, Fernàndez Altable V, López Conesa L, Cadavid D, Piveteau L, Nachtegaal M, Llorca J, Ruiz González M, Estradé S, Peiró F, Kovalenko M, Cabot A, Figuerola A. 2016. Synthesis and thermoelectric properties of noble metal ternary chalcogenide systems of Ag Au Se in the forms of alloyed nanoparticles and colloidal nanoheterostructures. Chemistry of Materials. 28(19), 7017–7028.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 389   OA
Mahmood F, Chan C, Alpichshev Z, Gardner D, Lee Y, Lee P, Gedik N. 2016. Selective scattering between Floquet Bloch and Volkov states in a topological insulator. Nature Physics. 12(4), 306–310.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 478   OA
Chatterjee K, Ibsen-Jensen R. 2016. The complexity of deciding legality of a single step of magic: The gathering. ECAI: European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, vol. 285. 1432–1439.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5448
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2016. Data-centric dynamic partial order reduction, IST Austria, 20p.
View | Files available | arXiv
 

2016 | Research Data | IST-REx-ID: 5551   OA
Ellis T. 2016. Data on pollinator observations and offpsring phenotypes, IST Austria,p.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1131
Tugrul M. 2016. Evolution of transcriptional regulatory sequences, IST Austria, 89p.
View | Files available
 

2016 | Research Data | IST-REx-ID: 5556   OA
Lukacisin M, Landon M, Jajoo R. 2016. MATLAB analysis code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast’, IST Austria,p.
View | Files available | DOI
 

2016 | Book Chapter | IST-REx-ID: 5809
Biswas R, Bhowmick P, Brimkov VE. 2016. On the Connectivity and Smoothness of Discrete Spherical Circles. Combinatorial image analysis. IWCIA: International Workshop on Combinatorial Image AnalysisLecture Notes in Computer Science vol. 9448. 86–100.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 6732   OA
Mondelli M, Hassani SH, Urbanke RL. 2016. Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors. IEEE Transactions on Information Theory. 62(12), 6698–6712.
View | DOI | Download (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 6770
Mondelli M, Kudekar S, Kumar S, Pfister HD, Şaşoğlu E, Urbanke R. 2016. Reed-Muller codes: Thresholds and weight distribution. 24th International Zurich Seminar on Communications. IZS: International Zurich Seminar on Communications 50.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7069
Chan MK, Harrison N, McDonald RD, Ramshaw BJ, Modic KA, Barišić N, Greven M. 2016. Single reconstructed Fermi surface pocket in an underdoped single-layer cuprate superconductor. Nature Communications. 7, 12244.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7141
Rolando C, Erni A, Grison A, Beattie RJ, Engler A, Gokhale PJ, Milo M, Wegleiter T, Jessberger S, Taylor V. 2016. Multipotency of adult hippocampal NSCs in vivo is restricted by Drosha/NFIB. Cell Stem Cell. 19(5), 653–662.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 853
Rivkina E, Petrovskaya L, Vishnivetskaya T, Krivushin K, Shmakova L, Tutukina M, Meyers A, Kondrashov F. 2016. Metagenomic analyses of the late Pleistocene permafrost - Additional tools for reconstruction of environmental conditions. Biogeosciences. 13(7), 2207–2219.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 896
Howe K, Schiffer P, Zielinski J, Wiehe T, Laird G, Marioni J, Soylemez O, Kondrashov F, Leptin M. 2016. Structure and evolutionary history of a large family of NLR proteins in the zebrafish. Open Biology. 6(4).
View | DOI
 

2016 | Journal Article | IST-REx-ID: 930
Sánchez Danés A, Hannezo E, Larsimont J, Liagre M, Youssef K, Simons B, Blanpain C. 2016. Defining the clonal dynamics leading to mouse skin tumour initiation. Nature. 536(7616), 298–303.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 985   OA
Campos L, Taychatanapat T, Serbyn M, Surakitbovorn K, Watanabe K, Taniguchi T, Abanin D, Jarillo Herrero P. 2016. Landau Level Splittings, Phase Transitions, and Nonuniform Charge Distribution in Trilayer Graphene. Physical Review Letters. 117(6).
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1340   OA
Hansen K, Ibsen-Jensen R, Koucký M. 2016. The big match in small space. SAGT: Symposium on Algorithmic Game Theory, LNCS, vol. 9928. 64–76.
View | DOI | Download (ext.)
 

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

2016 | Journal Article | IST-REx-ID: 1270   OA
Hillenbrand P, Gerland U, Tkacik G. 2016. Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information. PLoS One. 11(9), e0163628.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1408   OA
Franek P, Krcál M. 2016. On computability and triviality of well groups. Discrete & Computational Geometry. 56(1), 126–164.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1422   OA
Frank R, Hainzl C, Schlein B, Seiringer R. 2016. Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations. Letters in Mathematical Physics. 106(7), 913–923.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1390
D’Antoni L, Samanta R, Singh R. 2016. QLOSE: Program repair with quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 9780. 383–401.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1597   OA
Schwarz J, Sixt MK. 2016. Quantitative analysis of dendritic cell haptotaxis. Methods in Enzymology. 570, 567–581.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1441   OA
Gschaider-Reichhart E, Inglés Prieto Á, Tichy A-M, Mckenzie C, Janovjak HL. 2016. A phytochrome sensory domain permits receptor activation by red light. Angewandte Chemie - International Edition. 55(21), 6339–6342.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1439   OA
Dragoi C, Henzinger TA, Zufferey D. 2016. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 20–22. 400–415.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1148
Schilling C, Bogomolov S, Henzinger TA, Podelski A, Ruess J. 2016. Adaptive moment closure for parameter inference of biochemical reaction networks. Biosystems. 149, 15–25.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1477
Chatterjee K, Chmelik M, Tracol M. 2016. What is decidable about partially observable Markov decision processes with ω-regular objectives. Journal of Computer and System Sciences. 82(5), 878–911.
View | Files available | DOI | Download (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 480   OA
Chatterjee K, Doyen L. 2016. Perfect-information stochastic games with generalized mean-payoff objectives. LICS: Logic in Computer Science, Proceedings Symposium on Logic in Computer Science, vol. 05-08-July-2016. 247–256.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1100
Sako K, Pradhan S, Barone V, Inglés Prieto Á, Mueller P, Ruprecht V, Capek D, Galande S, Janovjak HL, Heisenberg C-PJ. 2016. Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation. Cell Reports. 16(3), 866–877.
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1167   OA
Zagórski MP, Burda Z, Wacław B. 2016. Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks. PLoS Computational Biology. 12(12), e1005218.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7761
Graves AL, Nashed S, Padgett E, Goodrich CP, Liu AJ, Sethna JP. 2016. Pinning susceptibility: The effect of dilute, quenched disorder on jamming. Physical Review Letters. 116(23), 235501.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1225
Fuchsbauer G, Hanser C, Kamath Hosdurg C, Slamanig D. 2016. Practical round-optimal blind signatures in the standard model from weaker assumptions. SCN: Security and Cryptography for Networks, LNCS, vol. 9841. 391–408.
View | Files available | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1321   OA
Leithner AF, Eichner A, Müller J, Reversat A, Brown M, Schwarz J, Merrin J, De Gorter D, Schur F, Bayerl J, De Vries I, Wieser S, Hauschild R, Lai F, Moser M, Kerjaschki D, Rottner K, Small V, Stradal T, Sixt MK. 2016. Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes. Nature Cell Biology. 18, 1253–1259.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7297   OA
Freunberger SA. 2016. Batteries: Charging ahead rationally. Nature Energy. 1(6), 16074.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 102   OA
Mishmash R, Aasen D, Higginbotham AP, Alicea J. 2016. Approaching a topological phase transition in Majorana nanowires. Physical Review B. 93(24), 245404.
View | DOI | Download (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1081   OA
Łangowski Ł, Wabnik KT, Li H, Vanneste S, Naramoto S, Tanaka H, Friml J. 2016. Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells. Cell Discovery. 2, 16018.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1098   OA
Pentina A, Urner R. 2016. Lifelong learning with weighted majority votes. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 29. 3619–3627.
View | Files available
 

2016 | Journal Article | IST-REx-ID: 1149
Miyaji T, Pilarczyk P, Gameiro M, Kokubu H, Mischaikow K. 2016. A study of rigorous ODE integrators for multi scale set oriented computations. Applied Numerical Mathematics. 107, 34–47.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1151   OA
Simonini S, Deb J, Moubayidin L, Stephenson P, Valluru M, Freire Rios A, Sorefan K, Weijers D, Friml J, Östergaard L. 2016. A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis. Genes and Development. 30(20), 2286–2296.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1156
Hibi T, Solus LT. 2016. Facets of the r-stable (n, k)-hypersimplex. Annals of Combinatorics. 20(4), 815–829.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1214
Martius GS, Hostettler R, Knoll A, Der R. 2016. Compliant control for soft robots: Emergent behavior of a tendon driven anthropomorphic arm. IEEE RSJ International Conference on Intelligent Robots and Systems IROS vol. 2016–November.
View | DOI
 

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

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed