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.

6504 Publications


2016 | Journal Article | IST-REx-ID: 1373 | OA
Martin, O., & Zagórski, M. P. (2016). Network architectures and operating principles. Reply to comments on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function" Physics of Life Reviews. Elsevier. https://doi.org/10.1016/j.plrev.2016.06.006
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1377 | OA
Kolmogorov, V., Pock, T., & Rolinek, M. (2016). Total variation on a tree. SIAM Journal on Imaging Sciences. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/15M1010257
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1378 | OA
Dotterrer, D., Kaufman, T., & Wagner, U. (2016). On expansion and topological overlap (Vol. 51, p. 35.1-35.10). Presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2016.35
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1379 | OA
Burton, B., de Mesmay, A. N., & Wagner, U. (2016). Finding non-orientable surfaces in 3-manifolds (Vol. 51, p. 24.1-24.15). Presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2016.24
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1380 | OA
Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On the complexity of the orbit problem. Journal of the ACM. ACM. https://doi.org/10.1145/2857050
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1381 | OA
Mabillard, I., & Wagner, U. (2016). Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range (Vol. 51, p. 51.1-51.12). Presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH. https://doi.org/10.4230/LIPIcs.SoCG.2016.51
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1382
Ellis, T., & Field, D. (2016). Repeated gains in yellow and anthocyanin pigmentation in flower colour transitions in the Antirrhineae. Annals of Botany. Oxford University Press. https://doi.org/10.1093/aob/mcw043
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1389 | OA
Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On recurrent reachability for continuous linear dynamical systems. In LICS ’16 (pp. 515–524). New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2934548
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1390
D’Antoni, L., Samanta, R., & Singh, R. (2016). QLOSE: Program repair with quantitative objectives (Vol. 9780, pp. 383–401). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41540-6_21
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1391 | OA
Daca, P., Henzinger, T. A., & Kupriyanov, A. (2016). Array folds logic (Vol. 9780, pp. 230–248). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41540-6_13
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1394 | OA
De Martino, D., Capuani, F., & De Martino, A. (2016). Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli. Physical Biology. IOP Publishing Ltd. https://doi.org/10.1088/1478-3975/13/3/036005
View | DOI | Download Preprint (ext.)
 

2016 | Thesis | IST-REx-ID: 1397
Chmelik, M. (2016). Algorithms for partially observable markov decision processes. IST Austria.
View
 

2016 | Thesis | IST-REx-ID: 1398 | OA
Ellis, T. (2016). The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_526
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. Springer. https://doi.org/10.1007/s00454-016-9794-2
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1409 | OA
Abbott, R., Barton, N. H., & Good, J. (2016). Genomics of hybridization and its evolutionary consequences. Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1111/mec.13685
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. Elsevier. https://doi.org/10.1016/j.plantsci.2016.05.014
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1411 | OA
Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2016). Untangling two systems of noncrossing curves. Israel Journal of Mathematics. Springer. https://doi.org/10.1007/s11856-016-1294-9
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1412 | OA
Goldade, R., Batty, C., & Wojtan, C. J. (2016). A practical method for high-resolution embedded liquid surfaces. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/cgf.12826
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1413
Jeschke, S. (2016). Generalized diffusion curves: An improved vector representation for smooth-shaded images. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/cgf.12812
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1414
Miguel Villalba, E., Miraut, D., & Otaduy, M. (2016). Modeling and estimation of energy-based hyperelastic objects. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/cgf.12840
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1415 | OA
Ferstl, F., Ando, R., Wojtan, C. J., Westermann, R., & Thuerey, N. (2016). Narrow band FLIP for liquid simulations. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/cgf.12825
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1416 | OA
Van Loon, E., Katsnelson, M., Chomaz, L., & Lemeshko, M. (2016). Interaction-driven Lifshitz transition with dipolar fermions in optical lattices. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.93.195145
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1417 | OA
Simon, S., Skůpa, P., Viaene, T., Zwiewka, M., Tejos, R., Klíma, P., … Friml, J. (2016). PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis. New Phytologist. Wiley-Blackwell. https://doi.org/10.1111/nph.14019
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1419
Tomski, A., & Kaczmarczyk, J. (2016). Gutzwiller wave function for finite systems: Superconductivity in the Hubbard model. Journal of Physics: Condensed Matter. IOP Publishing Ltd. https://doi.org/10.1088/0953-8984/28/17/175701
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1420 | OA
Bod’ová, K., Tkačik, G., & Barton, N. H. (2016). A general approximation for the dynamics of quantitative traits. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.115.184127
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1421
Bak, S., Bogomolov, S., Henzinger, T. A., Johnson, T., & Prakash, P. (2016). Scalable static hybridization methods for analysis of nonlinear systems (pp. 155–164). Presented at the HSCC 2016: International Conference on Hybrid Systems: Computation and Control, Vienna, Austria: Springer. https://doi.org/10.1145/2883817.2883837
View | 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. Springer. https://doi.org/10.1007/s11005-016-0847-5
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1423 | OA
Baek, S., Jeong, H., Hilbe, C., & Nowak, M. (2016). Comparing reactive and memory-one strategies of direct reciprocity. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep25676
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1426 | OA
Chakra, M., Hilbe, C., & Traulsen, A. (2016). Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites. Royal Society Open Science. Royal Society, The. https://doi.org/10.1098/rsos.160036
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1427 | OA
Lagator, M., Igler, C., Moreno, A., Guet, C. C., & Bollback, J. P. (2016). Epistatic interactions in the arabinose cis-regulatory element. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msv269
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1428 | OA
Könenberg, M., Moser, T., Seiringer, R., & Yngvason, J. (2016). Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential. In Journal of Physics: Conference Series (Vol. 691). Shanghai, China: IOP Publishing Ltd. https://doi.org/10.1088/1742-6596/691/1/012016
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1429 | OA
Husko, C., Wulf, M., Lefrançois, S., Combrié, S., Lehoucq, G., De Rossi, A., … Kuipers, L. (2016). Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms11332
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1431 | OA
Tartally, A., Kelager, A., Fürst, M., & Nash, D. (2016). Host plant use drives genetic differentiation in syntopic populations of Maculinea alcon. PeerJ. PeerJ. https://doi.org/10.7717/peerj.1865
View | Files available | DOI
 

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. Academic Press. https://doi.org/10.1016/j.jfa.2016.04.006
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1435 | OA
Guzmán, J., & Gerevich, Z. (2016). P2Y receptors in synaptic transmission and plasticity: Therapeutic potential in cognitive dysfunction. Neural Plasticity. Hindawi Publishing Corporation. https://doi.org/10.1155/2016/1207393
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1436 | OA
Bach, V., Breteaux, S., Petrat, S. P., Pickl, P., & Tzaneteas, T. (2016). Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction. Journal de Mathématiques Pures et Appliquées. Elsevier. https://doi.org/10.1016/j.matpur.2015.09.003
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1438 | OA
Chatterjee, K., Fu, H., Novotný, P., & Hasheminezhad, R. (2016). Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs (Vol. 20–22, pp. 327–342). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837639
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1439 | OA
Dragoi, C., Henzinger, T. A., & Zufferey, D. (2016). PSYNC: A partially synchronous language for fault-tolerant distributed algorithms (Vol. 20–22, pp. 400–415). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837650
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1440
Janovjak, H. L. (2016). Light at the end of the protein: Crystal structure of a C-terminal light-sensing domain. Structure. Cell Press. https://doi.org/10.1016/j.str.2016.01.002
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1441 | OA
Gschaider-Reichhart, E., Inglés Prieto, Á., Tichy, A.-M., Mckenzie, C., & Janovjak, H. L. (2016). A phytochrome sensory domain permits receptor activation by red light. Angewandte Chemie - International Edition. Wiley. https://doi.org/10.1002/anie.201601736
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1445
Calatrava Moreno, M., Auzinger, T., & Werthner, H. (2016). Erratum to: On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data. Scientometrics. Springer. https://doi.org/10.1007/s11192-016-1902-9
View | Files available | DOI
 

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. Springer. https://doi.org/10.1007/s11192-016-1842-4
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1448 | OA
Fathi, M., & Maas, J. (2016). Entropic Ricci curvature bounds for discrete interacting systems. The Annals of Applied Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/15-AAP1133
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1475 | OA
Toshima, J., Furuya, E., Nagano, M., Kanno, C., Sakamoto, Y., Ebihara, M., … Toshima, J. (2016). Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.10276
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1476 | OA
Toshima, J., Horikomi, C., Okada, A., Hatori, M., Nagano, M., Masuda, A., … Toshima, J. (2016). Srv2/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.176651
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1477 | OA
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. Elsevier. https://doi.org/10.1016/j.jcss.2016.02.009
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1478 | OA
Seiringer, R., & Warzel, S. (2016). Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas. New Journal of Physics. IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/18/3/035002
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1479 | OA
Krenn, S., Pietrzak, K. Z., Wadia, A., & Wichs, D. (2016). A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. Springer. https://doi.org/10.1007/s00037-015-0120-9
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1480 | OA
Michałek, M., Sturmfels, B., Uhler, C., & Zwiernik, P. (2016). Exponential varieties. Proceedings of the London Mathematical Society. Oxford University Press. https://doi.org/10.1112/plms/pdv066
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1482 | OA
Adibi, M., Yoshida, S., Weijers, D., & Fleck, C. (2016). Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0147830
View | Files available | DOI
 

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. Cell Press. https://doi.org/10.1016/j.tcb.2016.02.003
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1485 | OA
De Martino, D. (2016). Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis. Physical Biology. IOP Publishing Ltd. https://doi.org/10.1088/1478-3975/13/1/016003
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1486 | OA
Hainzl, C., & Seiringer, R. (2016). The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.4941723
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1487 | OA
Grion, N., Akrami, A., Zuo, Y., Stella, F., & Diamond, M. (2016). Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1002384
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1489 | OA
Ajanki, O. H., Erdös, L., & Krüger, T. H. (2016). Local spectral statistics of Gaussian matrices with correlated entries. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-016-1479-y
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1490 | OA
Russo, E., Teijeira, A., Vaahtomeri, K., Willrodt, A., Bloch, J., Nitschké, M., … Halin, C. (2016). Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2016.01.048
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. American Mathematical Society. https://doi.org/10.1090/tran/6537
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1492 | OA
Marhavý, P., Montesinos López, J. C., Abuzeineh, A., Van Damme, D., Vermeer, J., Duclercq, J., … Benková, E. (2016). Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.276964.115
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1493 | OA
Petrat, S. P., & Pickl, P. (2016). A new method and a new scaling for deriving fermionic mean-field dynamics. Mathematical Physics, Analysis and Geometry. Springer. https://doi.org/10.1007/s11040-016-9204-2
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1494
Lemoult, G. M., Shi, L., Avila, K., Jalikop, S. V., Avila, M., & Hof, B. (2016). Directed percolation phase transition to sustained turbulence in Couette flow. Nature Physics. Nature Publishing Group. https://doi.org/10.1038/nphys3675
View | DOI
 

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. American Physical Society. https://doi.org/10.1103/PhysRevA.93.032502
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1518 | OA
Lohse, K., Chmelik, M., Martin, S., & Barton, N. H. (2016). Efficient strategies for calculating blockwise likelihoods under the coalescent. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.115.183814
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1521
Berrisford, J., Baradaran, R., & Sazanov, L. A. (2016). Structure of bacterial respiratory complex I. Biochimica et Biophysica Acta - Bioenergetics. Elsevier. https://doi.org/10.1016/j.bbabio.2016.01.012
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1522 | OA
Avvakumov, S. (2016). The classification of certain linked 3-manifolds in 6-space. Moscow Mathematical Journal. Independent University of Moscow.
View | Download Preprint (ext.)
 

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. American Mathematical Society. https://doi.org/10.1090/proc/12824
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1524 | OA
Beica, A., Guet, C. C., & Petrov, T. (2016). Efficient reduction of kappa models by static inspection of the rule-set (Vol. 9271, pp. 173–191). Presented at the HSB: Hybrid Systems Biology, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-319-26916-0_10
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1526 | OA
Henzinger, T. A., Otop, J., & Samanta, R. (2016). Lipschitz robustness of timed I/O systems (Vol. 9583, pp. 250–267). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer. https://doi.org/10.1007/978-3-662-49122-5_12
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1529 | OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2016). Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. Elsevier. https://doi.org/10.1016/j.artint.2016.01.007
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1545 | OA
Nam, P., Napiórkowski, M. M., & Solovej, J. (2016). Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. Academic Press. https://doi.org/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, R. C. (2016). 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. Royal Society, The. https://doi.org/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. (2016). Structure preserving signatures and commitments to group elements. Journal of Cryptology. Springer. https://doi.org/10.1007/s00145-014-9196-7
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1597
Schwarz, J., & Sixt, M. K. (2016). Quantitative analysis of dendritic cell haptotaxis. Methods in Enzymology. Elsevier. https://doi.org/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., Gerardy  Schahn, R., de Vries, I., Williams, L., … Sixt, M. K. (2016). Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aad0512
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

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

2016 | Journal Article | IST-REx-ID: 1613 | OA
Mungenast, A., Siegert, S., & Tsai, L. (2016). Modeling Alzheimer’s disease with human induced pluripotent stem (iPS) cells. Molecular and Cellular Neuroscience. Academic Press. https://doi.org/doi:10.1016/j.mcn.2015.11.010
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1616 | OA
Kowalski, J., Gan, J., Jonas, P. M., & Pernia-Andrade, A. (2016). Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. Hippocampus. John Wiley and Sons Inc. https://doi.org/10.1002/hipo.22550
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1617 | OA
Pausinger, F., & Steinerberger, S. (2016). On the discrepancy of jittered sampling. Journal of Complexity. Academic Press. https://doi.org/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. (2016). The external field dependence of the BCS critical temperature. Communications in Mathematical Physics. Springer. https://doi.org/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. (2016). Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. Springer. https://doi.org/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, N. H. (2016). Spread of pedigree versus genetic ancestry in spatially distributed populations. Theoretical Population Biology. Academic Press. https://doi.org/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. (2016). A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation. Springer. https://doi.org/10.1007/s00344-015-9553-2
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1653 | OA
Okamoto, T., Pietrzak, K. Z., Waters, B., & Wichs, D. (2016). New realizations of somewhere statistically binding hashing and positional accumulators (Vol. 9452, pp. 121–145). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand: Springer. https://doi.org/10.1007/978-3-662-48797-6_6
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. Academic Press. https://doi.org/10.1016/j.aim.2015.10.004
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 100 | OA
Aasen, D., Hell, M., Mishmash, R., Higginbotham, A. P., Danon, J., Leijnse, M., … Alicea, J. (2016). Milestones toward Majorana-based quantum computing. Physical Review X. American Physical Society. https://doi.org/10.1103/PhysRevX.6.031016
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1008
Gnügge, R., Dharmarajan, L., Lang, M., & Stelling, J. (2016). An orthogonal permease–inducer–repressor feedback loop shows bistability. ACS Synthetic Biology. American Chemical Society. https://doi.org/10.1021/acssynbio.6b00013
View | DOI
 

2016 | Journal Article | IST-REx-ID: 101 | OA
Albrecht, S. M., Higginbotham, A. P., Jespersen, T., Madsen, M., Kuemmeth, F., Nygård, J., … Marcus, C. (2016). Exponential protection of zero modes in Majorana islands. Nature. Nature Publishing Group. https://doi.org/10.1038/nature17162
View | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 102 | OA
Mishmash, R., Aasen, D., Higginbotham, A. P., & Alicea, J. (2016). Approaching a topological phase transition in Majorana nanowires. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.93.245404
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1057
Danzl, J. G., Sidenstein, S., Gregor, C., Urban, N., Ilgen, P., Jakobs, S., & Hell, S. (2016). Coordinate-targeted fluorescence nanoscopy with multiple off states. Nature Photonics. Nature Publishing Group. https://doi.org/10.1038/nphoton.2015.266
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1059
Butkevich, A., Mitronova, G., Sidenstein, S., Klocke, J., Kamin, D., Meineke, D., … Hell, S. (2016). Fluorescent rhodamines and fluorogenic carbopyronines for super-resolution STED microscopy in living cells. Angewandte Chemie - International Edition. Wiley-Blackwell. https://doi.org/10.1002/anie.201511018
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1060
Sidenstein, S., D’Este, E., Böhm, M., Danzl, J. G., Belov, V., & Hell, S. (2016). Multicolour multilevel STED nanoscopy of actin/spectrin organization at synapses. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep26725
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee, K., Dvorák, W., Henzinger, M., & Loitzenbauer, V. (2016). Conditionally optimal algorithms for generalized Büchi Games (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2016.25
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1069 | OA
Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On the skolem problem for continuous linear dynamical systems (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.100
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee, K., & Doyen, L. (2016). Computation tree logic for synchronization properties (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.98
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs (Vol. 57). Presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ESA.2016.28
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1081 | OA
Łangowski, Ł., Wabnik, K. T., 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. Nature Publishing Group. https://doi.org/10.1038/celldisc.2016.18
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1082 | OA
Chalk, M. J., Marre, O., & Tkačik, G. (2016). Relevant sparse codes with variational information bottleneck (Vol. 29, pp. 1965–1973). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain: Neural Information Processing Systems.
View | Files available | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1083
Booker, S., Althof, D., Gross, A., Loreth, D., Müller, J., Unger, A., … Kulik, Á. (2016). KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. Oxford University Press. https://doi.org/10.1093/cercor/bhw090
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1088
Uhler, C., & Shivashankar, G. V. (2016). Geometric control and modeling of genome reprogramming. BioArchitecture. Taylor & Francis. https://doi.org/10.1080/19490992.2016.1201620
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1090 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Nested weighted limit-average automata of bounded width (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2016.24
View | Files available | DOI
 

Search

Filter Publications