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.

3486 Publications


2016 | Journal Article | IST-REx-ID: 1360 | OA
Akopyan A, Balitskiy A, Karasev R, Sharipova A. 2016. Elementary approach to closed billiard trajectories in asymmetric normed spaces. Proceedings of the American Mathematical Society. 144(10), 4501–4513.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1361 | OA
Da F, Hahn D, Batty C, Wojtan CJ, Grinspun E. 2016. Surface only liquids. ACM SIGGRAPH, ACM Transactions on Graphics, vol. 35, a78.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1362 | OA
Hahn D, Wojtan CJ. 2016. Fast approximations for boundary element based brittle fracture simulation. ACM SIGGRAPH, ACM Transactions on Graphics, vol. 35, 104.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1363 | OA
Bojsen-Hansen M, Wojtan CJ. 2016. Generalized non-reflecting boundaries for fluid re-simulation. ACM SIGGRAPH, ACM Transactions on Graphics, vol. 35, 96.
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, 86.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1365 | OA
Alwen JF, Blocki J. 2016. Efficiently computing data-independent memory-hard functions. CRYPTO: International Cryptology Conference, LNCS, vol. 9815, 241–271.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1366 | OA
Gazi P, Tessaro S. 2016. Provably robust sponge-based PRNGs and KDFs. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 9665, 87–116.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1368 | OA
Wysokiński M, Kaczmarczyk J, Spałek J. 2016. Correlation driven d wave superconductivity in Anderson lattice model: Two gaps. Physical Review B - Condensed Matter and Materials Physics. 94(2), 024517.
View | DOI | Download Preprint (ext.)
 

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

2016 | Journal Article | IST-REx-ID: 1370 | OA
Barzanjeh S, Vitali D. 2016. Phonon Josephson junction with nanomechanical resonators. Physical Review A - Atomic, Molecular, and Optical Physics. 93(3), 033846.
View | DOI | Download Preprint (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: 1372 | OA
Pernisová M, Prat T, Grones P, Haruštiaková D, Matonohova M, Spíchal L, Nodzyński T, Friml J, Hejátko J. 2016. Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis. New Phytologist. 212(2), 497–509.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1373 | OA
Martin O, Zagórski MP. 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. 17, 168–171.
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. 9(2), 605–636.
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. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 35.1-35.10.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1379 | OA
Burton B, de Mesmay AN, Wagner U. 2016. Finding non-orientable surfaces in 3-manifolds. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 24.1-24.15.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1380 | OA
Chonev VK, Ouaknine J, Worrell J. 2016. On the complexity of the orbit problem. Journal of the ACM. 63(3), 23.
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. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 51.1-51.12.
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. 117(7), 1133–1140.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1389 | OA
Chonev VK, Ouaknine J, Worrell J. 2016. On recurrent reachability for continuous linear dynamical systems. LICS ’16. LICS: Logic in Computer Science, 515–524.
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. CAV: Computer Aided Verification, LNCS, vol. 9780, 383–401.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1391 | OA
Daca P, Henzinger TA, Kupriyanov A. 2016. Array folds logic. CAV: Computer Aided Verification, LNCS, vol. 9780, 230–248.
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. 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.
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: 1409 | OA
Abbott R, Barton NH, Good J. 2016. Genomics of hybridization and its evolutionary consequences. Molecular Ecology. 25(11), 2325–2332.
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: 1411 | OA
Matoušek J, Sedgwick E, Tancer M, Wagner U. 2016. Untangling two systems of noncrossing curves. Israel Journal of Mathematics. 212(1), 37–79.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1412 | OA
Goldade R, Batty C, Wojtan CJ. 2016. A practical method for high-resolution embedded liquid surfaces. Computer Graphics Forum. 35(2), 233–242.
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. 35(2), 71–79.
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. 35(2), 385–396.
View | 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: 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. 93(19), 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, Čarná M, Rolčík J, De Rycke R, Moreno I, Dobrev P, Orellana A, Zažímalová E, Friml J. 2016. PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis. New Phytologist. 211(1), 65–74.
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. 28(17), 175701.
View | DOI
 

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

2016 | Conference Paper | IST-REx-ID: 1421
Bak S, Bogomolov S, Henzinger TA, Johnson T, Prakash P. 2016. Scalable static hybridization methods for analysis of nonlinear systems. HSCC 2016: International Conference on Hybrid Systems: Computation and Control, 155–164.
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. 106(7), 913–923.
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. 6, 25676.
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. 3(5), 160036.
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 | 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. Journal of Physics: Conference Series. 24th International Laser Physics Workshop (LPHYS’15) vol. 691, 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, Eggleton B, Kuipers L. 2016. Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides. Nature Communications. 7, 11332 (2016).
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. 2016(3), 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. 271(3), 672–719.
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. 2016, 1207393.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1436 | OA
Bach V, Breteaux S, Petrat SP, 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. 105(1), 1–30.
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. POPL: Principles of Programming Languages, POPL, vol. 20–22, 327–342.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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

Filters and Search Terms

extern<>1

Search

Filter Publications