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.

3165 Publications


2017 | Journal Article | IST-REx-ID: 960 | OA
Hansen AH, Düllberg CF, Mieck C, Loose M, Hippenmeyer S. 2017. Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks. Frontiers in Cellular Neuroscience. 11, 176.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 961 | OA
Barone V. 2017. Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. IST Austria.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 962
Trinh M, Chu DH, Jaffar J. 2017. Model counting for recursively-defined strings. CAV: Computer Aided Verification, LNCS, vol. 10427, 399–418.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 963 | OA
Avni G, Guha S, Kupferman O. 2017. Timed network games with clocks. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 37.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 988 | OA
Nanda G, Aguilera Servin JL, Rakyta P, Kormányos A, Kleiner R, Koelle D, Watanabe K, Taniguchi T, Vandersypen L, Goswami S. 2017. Current-phase relation of ballistic graphene Josephson junctions. Nano Letters. 17(6), 3396–3401.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 989
Maas J, Rumpf M, Simon S. 2017. Transport based image morphing with intensity modulation. SSVM:  Scale Space and Variational Methods in Computer Vision, LNCS, vol. 10302, 563–577.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 990 | OA
Sachdeva H, Barton NH. 2017. Divergence and evolution of assortative mating in a polygenic trait model of speciation with gene flow. Evolution; International Journal of Organic Evolution. 71(6), 1478–1493.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 991
Chen C, Jonas PM. 2017. Synaptotagmins: That’s why so many. Neuron. 94(4), 694–696.
View | DOI
 

2017 | Thesis | IST-REx-ID: 992 | OA
Rolinek M. 2017. Complexity of constraint satisfaction. IST Austria.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 993 | OA
Levina (Martius) A, Priesemann V. 2017. Subsampling scaling. Nature Communications. 8, 15140.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 994 | OA
Cherepanov I, Lemeshko M. 2017. Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules. Physical Review Materials. 1(3).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 995 | OA
Bighin G, Lemeshko M. 2017. Diagrammatic approach to orbital quantum impurities interacting with a many-particle environment. Physical Review B - Condensed Matter and Materials Physics. 96(8), 085410.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 996 | OA
Shepperson B, Chatterley A, Søndergaard A, Christiansen L, Lemeshko M, Stapelfeldt H. 2017. Strongly aligned molecules inside helium droplets in the near-adiabatic regime. The Journal of Chemical Physics. 147(1), 013946.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 997 | OA
Yakaboylu E, Deuchert A, Lemeshko M. 2017. Emergence of non-abelian magnetic monopoles in a quantum impurity problem. APS Physics, Physical Review Letters. 119(23), 235301.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 998 | OA
Rebuffi SA, Kolesnikov A, Sperl G, Lampert C. 2017. iCaRL: Incremental classifier and representation learning. CVPR: Computer Vision and Pattern Recognition vol. 2017, 5533–5542.
View | DOI | Download Submitted Version (ext.)
 

2017 | Book Chapter | IST-REx-ID: 424 | OA
Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2017.Bounding helly numbers via betti numbers. In: A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. , 407–447.
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 431 | OA
Alistarh D-A, Grubic D, Li J, Tomioka R, Vojnović M. 2017. QSGD: Communication-efficient SGD via gradient quantization and encoding. NIPS: Neural Information Processing System, Advances in Neural Information Processing Systems, vol. 2017, 1710–1721.
View | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 432 | OA
Zhang H, Li J, Kara K, Alistarh D-A, Liu J, Zhang C. 2017. ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. Proceedings of Machine Learning Research. ICML: International  Conference  on  Machine Learning, PMLR Press, vol. 70, 4035–4043.
View | Files available
 

2017 | Book Chapter | IST-REx-ID: 444
Sazanov LA. 2017.Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions. In: Mechanisms of primary energy transduction in biology . , 25–59.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 447 | OA
Ferrari P, Nejjar P. 2017. Fluctuations of the competition interface in presence of shocks. Revista Latino-Americana de Probabilidade e Estatística. 9, 299–325.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 453 | OA
Fallesen T, Roostalu J, Düllberg CF, Pruessner G, Surrey T. 2017. Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement. Biophysical Journal. 113(9), 2055–2067.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 459 | OA
Cremer S. 2017. Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern. Rundgespräche Forum Ökologie. 46, 105–116.
View | Files available
 

2017 | Conference Paper | IST-REx-ID: 313 | OA
Camus N, Yakaboylu E, Fechner L, Klaiber M, Laux M, Mi Y, Hatsagortsyan K, Pfeifer T, Keitel C, Moshammer R. 2017. Experimental evidence for Wigner’s tunneling time. Annual International Laser Physics Workshop LPHYS, Journal of Physics: Conference Series, vol. 999, 012004.
View | Files available | DOI | arXiv
 

2017 | Thesis | IST-REx-ID: 6291 | OA
Payne P. 2017. Bacterial herd and social immunity to phages. IST Austria.
View | Files available
 

2017 | Thesis | IST-REx-ID: 1127 | OA
Prat T. 2017. Identification of novel regulators of PIN polarity and development of novel auxin sensor. IST Austria.
View | Files available
 

2017 | Conference Paper | IST-REx-ID: 999 | OA
Pentina A, Lampert C. 2017. Multi-task learning with labeled and unlabeled tasks. ICML: International Conference on Machine Learning, PMLR, vol. 70, 2807–2816.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 684 | OA
Chatterjee K, Piterman N. 2017. Obligation blackwell games and p-automata. Journal of Symbolic Logic. 82(2), 420–452.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1029 | OA
Lukacisin M, Landon M, Jajoo R. 2017. Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. PLoS One. 12(3), e0174066.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 664
Assen FP, Sixt MK. 2017. The dynamic cytokine niche. Immunity. 46(4), 519–520.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 696 | OA
Lukacisinova M, Novak S, Paixao T. 2017. Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes. PLoS Computational Biology. 13(7), e1005609.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1027 | OA
Lukacisinova M, Bollenbach MT. 2017. Toward a quantitative understanding of antibiotic resistance evolution. Current Opinion in Biotechnology. 46, 90–97.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 682 | OA
Ukai H, Kawahara A, Hirayama K, Case MJ, Aino S, Miyabe M, Wakita K, Oogi R, Kasayuki M, Kawashima S, Sugimoto S, Chikamatsu K, Nitta N, Koga T, Shigemoto R, Takai T, Ito I. 2017. PirB regulates asymmetries in hippocampal circuitry. PLoS One. 12(6), e0179377.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1024 | OA
Hurny A, Benková E. 2017. Methodological advances in auxin and cytokinin biology. Auxins and Cytokinins in Plant Biology. 1569, 1–29.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 704 | OA
Steinrück M, Guet CC. 2017. Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection. eLife. 6, e25100.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 676 | OA
Krens G, Veldhuis J, Barone V, Capek D, Maître J-L, Brodland W, Heisenberg C-PJ. 2017. Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation. Development. 144(10), 1798–1806.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 661 | OA
Smutny M, Ákos Z, Grigolon S, Shamipour S, Ruprecht V, Capek D, Behrndt M, Papusheva E, Tada M, Hof B, Vicsek T, Salbreux G, Heisenberg C-PJ. 2017. Friction forces position the neural anlage. Nature Cell Biology. 19, 306–317.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Conference Paper | IST-REx-ID: 949 | OA
Chatterjee K, Goharshady AK, Pavlogiannis A. 2017. JTDec: A tool for tree decompositions in soot. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 10482, 59–66.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 639 | OA
Chatterjee K, Fu H, Goharshady AK. 2017. Non-polynomial worst case analysis of recursive programs. CAV: Computer Aided Verification, LNCS, vol. 10427, 41–63.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 8094 | OA
Martius GS, Hostettler R, Knoll A, Der R. 2016. Self-organized control of an tendon driven arm by differential extrinsic plasticity. Proceedings of the Artificial Life Conference 2016. ALIFE 2016: 15th International Conference on the Synthesis and Simulation of Living Systems vol. 28, 142–143.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1705 | OA
Bogomolov S, Donzé A, Frehse G, Grosu R, Johnson T, Ladan H, Podelski A, Wehrle M. 2016. Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. 18(4), 449–467.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1707
Pielorz J, Lampert C. 2016. Optimal geospatial allocation of volunteers for crisis management. ICT-DM: Information and Communication Technologies for Disaster Management, 7402041.
View | DOI
 

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

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 Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1881 | OA
Lee J, Schnelli K. 2016. Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields. 164(1–2), 165–241.
View | DOI | Download Preprint (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 | Conference Paper | IST-REx-ID: 479
Jiang Y, Liu H, Kong H, Wang R, Hosseini M, Sun J, Sha L. 2016. Use runtime verification to improve the quality of medical care practice. Proceedings of the 38th International Conference on Software Engineering Companion . ICSE: International Conference on Software Engineering, Proceedings International Conference on Software Engineering, , 112–121.
View | DOI
 

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 Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 482
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. Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. NP: Nonlinear Photonics, Optics InfoBase Conference Papers, .
View | DOI
 

2016 | Journal Article | IST-REx-ID: 510 | OA
Liu Z, Yang N, Lv Y, Pan L, Lv S, Han H, Wang G. 2016. The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior. 11(6), e1191734.
View | DOI | Download Submitted Version (ext.)
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee K, Pavlogiannis A, Velner Y. 2016. Quantitative interprocedural analysis, IST Austria, 33p.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications