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.
2426 Publications
2016 | Conference Paper | IST-REx-ID: 1205 | 
Y. Jiang et al., “Safety assured formal model driven design of the multifunction vehicle bus controller,” presented at the FM: International Symposium on Formal Methods, Limassol, Cyprus, 2016, vol. 9995, pp. 757–763.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 478 |
K. Chatterjee and R. Ibsen-Jensen, “The complexity of deciding legality of a single step of magic: The gathering,” presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands, 2016, vol. 285, pp. 1432–1439.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 480 |
K. Chatterjee and L. Doyen, “Perfect-information stochastic games with generalized mean-payoff objectives,” presented at the LICS: Logic in Computer Science, New York, NY, USA, 2016, vol. 05-08-July-2016, pp. 247–256.
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1234 |
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical model checking for unbounded temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, 2016, vol. 9636, pp. 112–129.
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 510 |
Z. Liu et al., “The CLE gene family in Populus trichocarpa,” Plant Signaling & Behavior, vol. 11, no. 6. Landes Bioscience, 2016.
View
| DOI
| Download Submitted Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1379 |
B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-manifolds,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 24.1-24.15.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1477 |
K. Chatterjee, M. Chmelik, and M. Tracol, “What is decidable about partially observable Markov decision processes with ω-regular objectives,” Journal of Computer and System Sciences, vol. 82, no. 5. Elsevier, pp. 878–911, 2016.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1529 |
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure reachability in POMDPs,” Artificial Intelligence, vol. 234. Elsevier, pp. 26–48, 2016.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Technical Report | IST-REx-ID: 5451 |
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Strong amplifiers of natural selection. IST Austria, 2016.
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5445 |
K. Chatterjee, A. Pavlogiannis, and Y. Velner, Quantitative interprocedural analysis. IST Austria, 2016.
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5446 |
1 Anonymous, 2 Anonymous, and 3 Anonymous, Termination and worst-case analysis of recursive programs. IST Austria, 2016.
View
| Files available
2016 | Technical Report | IST-REx-ID: 5447 |
1 Anonymous, 2 Anonymous, and 3 Anonymous, Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds. IST Austria, 2016.
View
| Files available
2016 | Journal Article | IST-REx-ID: 1274 |
E. Mazur, E. Benková, and J. Friml, “Vascular cambium regeneration and vessel formation in wounded inflorescence stems of Arabidopsis,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5449 |
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Amplification on undirected population structures: Comets beat stars. IST Austria, 2016.
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5453 |
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong amplifiers of natural selection. IST Austria, 2016.
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5448 |
1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Data-centric dynamic partial order reduction. IST Austria, 2016.
View
| Files available
| arXiv
2016 | Thesis | IST-REx-ID: 1398 |
T. Ellis, “The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone,” IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5551 |
T. Ellis, “Data on pollinator observations and offpsring phenotypes.” IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5552 |
T. Ellis, “Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data.” IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5553 |
D. Field and T. Ellis, “Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012.” IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5550 |
T. Ellis and D. Field, “Flower colour data and phylogeny (NEXUS) files.” IST Austria, 2016.
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1122 |
M. Bojsen-Hansen, “Tracking, correcting and absorbing water surface waves,” IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5557 |
P. Swoboda, “Synthetic discrete tomography problems.” IST Austria, 2016.
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5452 |
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong amplifiers of natural selection. IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5554 |
M. Tugrul, “Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase.” IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5555 |
R. Hauschild, “Fiji script to determine average speed and direction of migration of cells.” IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5558 |
M. Bojsen-Hansen, “Tracking, Correcting and Absorbing Water Surface Waves.” IST Austria, 2016.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1438 |
K. Chatterjee, H. Fu, P. Novotný, and R. Hasheminezhad, “Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 327–342.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 1193 |
V. Kolmogorov, “Commutativity in the algorithmic Lovasz local lemma,” in Proceedings - Annual IEEE Symposium on Foundations of Computer Science, New Brunswick, NJ, USA , 2016, vol. 2016–December.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1358 |
T. Friedlander, R. Prizak, C. C. Guet, N. H. Barton, and G. Tkačik, “Intrinsic limits to gene regulation by global crosstalk,” Nature Communications, vol. 7. Nature Publishing Group, 2016.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1341 |
G. Avni, T. A. Henzinger, and O. Kupferman, “Dynamic resource allocation games,” presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom, 2016, vol. 9928, pp. 153–166.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1346 |
W. Dejonghe et al., “Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification,” Nature Communications, vol. 7. Nature Publishing Group, 2016.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1165 |
R. Fulek, “C-planarity of embedded cyclic c-graphs,” presented at the GD: Graph Drawing and Network Visualization, Athens, Greece, 2016, vol. 9801, pp. 94–106.
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1071 |
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs,” presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark, 2016, vol. 57.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1229 |
H. M. Abusalah, G. Fuchsbauer, and K. Z. Pietrzak, “Offline witness encryption,” presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK, 2016, vol. 9696, pp. 285–303.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1236 |
H. M. Abusalah, G. Fuchsbauer, and K. Z. Pietrzak, “Constrained PRFs for unbounded inputs,” presented at the CT-RSA: Topics in Cryptology, San Francisco, CA, USA, 2016, vol. 9610, pp. 413–428.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1235 |
H. M. Abusalah and G. Fuchsbauer, “Constrained PRFs for unbounded inputs with short keys,” presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK, 2016, vol. 9696, pp. 445–463.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1100 |
K. Sako et al., “Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation,” Cell Reports, vol. 16, no. 3. Cell Press, pp. 866–877, 2016.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1378 |
D. Dotterrer, T. Kaufman, and U. Wagner, “On expansion and topological overlap,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 35.1-35.10.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1328 |
H. Watzinger et al., “Heavy-hole states in germanium hut wires,” Nano Letters, vol. 16, no. 11. American Chemical Society, pp. 6879–6885, 2016.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 8094 |
G. S. Martius, R. Hostettler, A. Knoll, and R. Der, “Self-organized control of an tendon driven arm by differential extrinsic plasticity,” in Proceedings of the Artificial Life Conference 2016, Cancun, Mexico, 2016, vol. 28, pp. 142–143.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1362 |
D. Hahn and C. J. Wojtan, “Fast approximations for boundary element based brittle fracture simulation,” presented at the ACM SIGGRAPH, Anaheim, CA, USA, 2016, vol. 35, no. 4.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5556 |
M. Lukacisin, M. Landon, and R. Jajoo, “MATLAB analysis code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.’” IST Austria, 2016.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1437 |
K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Algorithms for algebraic path properties in concurrent systems of constant treewidth components,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 733–747.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 1386 |
K. Chatterjee, H. Fu, and A. K. Goharshady, “Termination analysis of probabilistic programs through Positivstellensatz’s,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9779, pp. 3–22.
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1383 |
L. Yu et al., “V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis,” Nature Plants, vol. 1, no. 7. Nature Publishing Group, 2015.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Conference Paper | IST-REx-ID: 1424 |
R. Kwitt, S. Huber, M. Niethammer, W. Lin, and U. Bauer, “Statistical topological data analysis-A kernel perspective,” presented at the NIPS: Neural Information Processing Systems, Montreal, Canada, 2015, vol. 28, pp. 3070–3078.
View
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1425 |
A. Pentina and C. Lampert, “Lifelong learning with non-i.i.d. tasks,” presented at the NIPS: Neural Information Processing Systems, Montreal, Canada, 2015, vol. 2015, pp. 1540–1548.
View
| Download None (ext.)
2015 | Conference Paper | IST-REx-ID: 1430 |
T. Paixao, D. Sudholt, J. Heredia, and B. Trubenova, “First steps towards a runtime comparison of natural and artificial evolution,” in Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, Madrid, Spain, 2015, pp. 1455–1462.
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1474 |
A. Ferrara, G. Fuchsbauer, B. Liu, and B. Warinschi, “Policy privacy in cryptographic access control,” presented at the CSF: Computer Security Foundations, Verona, Italy, 2015, pp. 46–60.
View
| DOI
| Download Submitted Version (ext.)