Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4396 Publications
2016 | Journal Article | IST-REx-ID: 1612 | 
Kazda A. 2016. CSP for binary conservative relational structures. Algebra Universalis. 75(1), 75–84.
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1617 |
Pausinger F, Steinerberger S. 2016. On the discrepancy of jittered sampling. Journal of Complexity. 33, 199–216.
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1620 |
Frank R, Hainzl C, Seiringer R, Solovej J. 2016. The external field dependence of the BCS critical temperature. Communications in Mathematical Physics. 342(1), 189–216.
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1622 |
Lundholm D, Nam P, Portmann F. 2016. Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. 219(3), 1343–1382.
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1631 |
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: 1641 |
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. 35(2), 465–476.
View
| Files available
| 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 Submitted Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1653 |
Okamoto T, Pietrzak KZ, Waters B, Wichs D. 2016. New realizations of somewhere statistically binding hashing and positional accumulators. ASIACRYPT: Theory and Application of Cryptology and Information Security, LNCS, vol. 9452, 121–145.
View
| Files available
| DOI
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: 1662 |
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: 1705 |
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 | Journal Article | IST-REx-ID: 1833 |
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 |
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 | Thesis | IST-REx-ID: 1125 |
Novak S. 2016. Evolutionary proccesses in variable emvironments. IST Austria.
View
| Files available
2016 | Journal Article | IST-REx-ID: 1243
Pleska M, Qian L, Okura R, Bergmiller T, Wakamoto Y, Kussell E, Guet CC. 2016. Bacterial autoimmunity due to a restriction-modification system. Current Biology. 26(3), 404–409.
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1123 |
Mabillard I. 2016. Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. IST Austria.
View
| Files available
2016 | Journal Article | IST-REx-ID: 1411 |
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: 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 Preprint (ext.)
| arXiv
2016 | Thesis | IST-REx-ID: 1130 |
Tarrach T. 2016. Automatic synthesis of synchronisation primitives for concurrent programs. IST Austria.
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1479 |
Krenn S, Pietrzak KZ, Wadia A, Wichs D. 2016. A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. 25(3), 567–605.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1441 |
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: 1205 |
Jiang Y, Liu H, Song H, Kong H, Gu M, Sun J, Sha L. 2016. Safety assured formal model driven design of the multifunction vehicle bus controller. FM: International Symposium on Formal Methods, LNCS, vol. 9995, 757–763.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 478 |
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: 1234 |
Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Faster statistical model checking for unbounded temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 9636, 112–129.
View
| Files available
| DOI
| Download Preprint (ext.)
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 |
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 |
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 | Conference Paper | IST-REx-ID: 1379 |
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: 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 Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1529 |
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2016. Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. 234, 26–48.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Technical Report | IST-REx-ID: 5445 |
Chatterjee K, Pavlogiannis A, Velner Y. 2016. Quantitative interprocedural analysis, IST Austria, 33p.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee K, Chmelik M, Davies J. 2016. A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 2016, 3225–3232.
View
| Files available
2016 | Journal Article | IST-REx-ID: 1274 |
Mazur E, Benková E, Friml J. 2016. Vascular cambium regeneration and vessel formation in wounded inflorescence stems of Arabidopsis. Scientific Reports. 6, 33754.
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5449 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Amplification on undirected population structures: Comets beat stars, IST Austria, 22p.
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5453 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 34p.
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5451 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Strong amplifiers of natural selection, IST Austria, 34p.
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1398 |
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 | Thesis | IST-REx-ID: 1131 |
Tugrul M. 2016. Evolution of transcriptional regulatory sequences. IST Austria.
View
| Files available
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 | Research Data | IST-REx-ID: 5553 |
Field D, Ellis T. 2016. Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012, IST Austria, 10.15479/AT:ISTA:37.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5551 |
Ellis T. 2016. Data on pollinator observations and offpsring phenotypes, IST Austria, 10.15479/AT:ISTA:35.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5552 |
Ellis T. 2016. Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data., IST Austria, 10.15479/AT:ISTA:36.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5550 |
Ellis T, Field D. 2016. Flower colour data and phylogeny (NEXUS) files, IST Austria, 10.15479/AT:ISTA:34.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5554 |
Tugrul M. 2016. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase, IST Austria, 10.15479/AT:ISTA:43.
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1122 |
Bojsen-Hansen M. 2016. Tracking, correcting and absorbing water surface waves. IST Austria.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5556 |
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, 10.15479/AT:ISTA:45.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5555 |
Hauschild R. 2016. Fiji script to determine average speed and direction of migration of cells, IST Austria, 10.15479/AT:ISTA:44.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5558 |
Bojsen-Hansen M. 2016. Tracking, Correcting and Absorbing Water Surface Waves, IST Austria, 10.15479/AT:ISTA:48.
View
| Files available
| DOI