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.

3447 Publications


2016 | Conference Paper | IST-REx-ID: 1389 | OA
Chonev VK, Ouaknine J, Worrell J. On recurrent reachability for continuous linear dynamical systems. In: LICS ’16. IEEE; 2016:515-524. doi:10.1145/2933575.2934548
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1390
D’Antoni L, Samanta R, Singh R. QLOSE: Program repair with quantitative objectives. In: Vol 9780. Springer; 2016:383-401. doi:10.1007/978-3-319-41540-6_21
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1391 | OA
Daca P, Henzinger TA, Kupriyanov A. Array folds logic. In: Vol 9780. Springer; 2016:230-248. doi: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. Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli. Physical Biology. 2016;13(3). doi:10.1088/1478-3975/13/3/036005
View | DOI | Download Preprint (ext.)
 

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

2016 | Thesis | IST-REx-ID: 1398 | OA
Ellis T. The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone. 2016. doi:10.15479/AT:ISTA:TH_526
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1409 | OA
Abbott R, Barton NH, Good J. Genomics of hybridization and its evolutionary consequences. Molecular Ecology. 2016;25(11):2325-2332. doi: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, et al. Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development. Plant Science. 2016;250:10-19. doi: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. Untangling two systems of noncrossing curves. Israel Journal of Mathematics. 2016;212(1):37-79. doi: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 CJ. A practical method for high-resolution embedded liquid surfaces. Computer Graphics Forum. 2016;35(2):233-242. doi:10.1111/cgf.12826
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1413
Jeschke S. Generalized diffusion curves: An improved vector representation for smooth-shaded images. Computer Graphics Forum. 2016;35(2):71-79. doi:10.1111/cgf.12812
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1414
Miguel Villalba E, Miraut D, Otaduy M. Modeling and estimation of energy-based hyperelastic objects. Computer Graphics Forum. 2016;35(2):385-396. doi:10.1111/cgf.12840
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1415 | OA
Ferstl F, Ando R, Wojtan CJ, Westermann R, Thuerey N. Narrow band FLIP for liquid simulations. Computer Graphics Forum. 2016;35(2):225-232. doi: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. Interaction-driven Lifshitz transition with dipolar fermions in optical lattices. Physical Review B - Condensed Matter and Materials Physics. 2016;93(19). doi: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, et al. PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis. New Phytologist. 2016;211(1):65-74. doi:10.1111/nph.14019
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1420 | OA
Bod’ová K, Tkačik G, Barton NH. A general approximation for the dynamics of quantitative traits. Genetics. 2016;202(4):1523-1548. doi:10.1534/genetics.115.184127
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1421
Bak S, Bogomolov S, Henzinger TA, Johnson T, Prakash P. Scalable static hybridization methods for analysis of nonlinear systems. In: Springer; 2016:155-164. doi:10.1145/2883817.2883837
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1422 | OA
Frank R, Hainzl C, Schlein B, Seiringer R. Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations. Letters in Mathematical Physics. 2016;106(7):913-923. doi: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. Comparing reactive and memory-one strategies of direct reciprocity. Scientific Reports. 2016;6. doi:10.1038/srep25676
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1427 | OA
Lagator M, Igler C, Moreno A, Guet CC, Bollback JP. Epistatic interactions in the arabinose cis-regulatory element. Molecular Biology and Evolution. 2016;33(3):761-769. doi: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. Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential. In: Journal of Physics: Conference Series. Vol 691. IOP Publishing Ltd.; 2016. doi: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, et al. Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides. Nature Communications. 2016;7. doi:10.1038/ncomms11332
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1434 | OA
Bao Z, Erdös L, Schnelli K. Local stability of the free additive convolution. Journal of Functional Analysis. 2016;271(3):672-719. doi: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. P2Y receptors in synaptic transmission and plasticity: Therapeutic potential in cognitive dysfunction. Neural Plasticity. 2016;2016. doi:10.1155/2016/1207393
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1436 | OA
Bach V, Breteaux S, Petrat SP, Pickl P, Tzaneteas T. Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction. Journal de Mathématiques Pures et Appliquées. 2016;105(1):1-30. doi: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. Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. In: Vol 20-22. ACM; 2016:327-342. doi:10.1145/2837614.2837639
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1439 | OA
Dragoi C, Henzinger TA, Zufferey D. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. In: Vol 20-22. ACM; 2016:400-415. doi:10.1145/2837614.2837650
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1440
Janovjak HL. Light at the end of the protein: Crystal structure of a C-terminal light-sensing domain. Structure. 2016;24(2):213-215. doi: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 HL. A phytochrome sensory domain permits receptor activation by red light. Angewandte Chemie - International Edition. 2016;55(21):6339-6342. doi:10.1002/anie.201601736
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1445
Calatrava Moreno M, Auzinger T, Werthner H. Erratum to: On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data. Scientometrics. 2016;107(1):233-234. doi: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. On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data. Scientometrics. 2016;107(1):213-232. doi:10.1007/s11192-016-1842-4
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1448 | OA
Fathi M, Maas J. Entropic Ricci curvature bounds for discrete interacting systems. The Annals of Applied Probability. 2016;26(3):1774-1806. doi:10.1214/15-AAP1133
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1475 | OA
Toshima J, Furuya E, Nagano M, et al. Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton. eLife. 2016;5(February 2016). doi:10.7554/eLife.10276
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1476 | OA
Toshima J, Horikomi C, Okada A, et al. Srv2/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis. Journal of Cell Science. 2016;129(2):367-379. doi:10.1242/jcs.176651
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1477 | OA
Chatterjee K, Chmelik M, Tracol M. What is decidable about partially observable Markov decision processes with ω-regular objectives. Journal of Computer and System Sciences. 2016;82(5):878-911. doi: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. Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas. New Journal of Physics. 2016;18(3). doi:10.1088/1367-2630/18/3/035002
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1479 | OA
Krenn S, Pietrzak KZ, Wadia A, Wichs D. A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. 2016;25(3):567-605. doi: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. Exponential varieties. Proceedings of the London Mathematical Society. 2016;112(1):27-56. doi: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. Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization. PLoS One. 2016;11(2). doi: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. Environmental and endogenous control of cortical microtubule orientation. Trends in Cell Biology. 2016;26(6):409-419. doi:10.1016/j.tcb.2016.02.003
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1486 | OA
Hainzl C, Seiringer R. The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties. Journal of Mathematical Physics. 2016;57(2). doi: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. Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination. PLoS Biology. 2016;14(2). doi:10.1371/journal.pbio.1002384
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1490 | OA
Russo E, Teijeira A, Vaahtomeri K, et al. Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels. Cell Reports. 2016;14(7):1723-1734. doi: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. The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases. Transactions of the American Mathematical Society. 2016;368(9):6131-6157. doi:10.1090/tran/6537
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications