Please note that ISTA 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.
10932 Publications
2016 | Published | Conference Paper | IST-REx-ID: 1524 | 
Beica A, Guet CC, Petrov T. 2016. Efficient reduction of kappa models by static inspection of the rule-set. HSB: Hybrid Systems Biology, LNCS, vol. 9271, 173–191.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 19814 |
Bawden L, Cooil SP, Mazzola F, Riley JM, Collins-McIntyre LJ, Sunko V, Hunvik KWB, Leandersson M, Polley CM, Balasubramanian T, Kim TK, Hoesch M, Wells JW, Balakrishnan G, Bahramy MS, King PDC. 2016. Spin-valley locking in the normal state of a transition-metal dichalcogenide superconductor. Nature Communications. 7, 11711.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1327 |
Brázdil T, Chatterjee K, Chmelik M, Gupta A, Novotný P. 2016. Stochastic shortest path with energy constraints in POMDPs. Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems. AAMAS: Autonomous Agents & Multiagent Systems, 1465–1466.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2016 | Published | 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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1320 |
Lang M, Sontag E. 2016. Scale-invariant systems realize nonlinear differential operators. ACC: American Control Conference vol. 2016–July, 7526722.
[Submitted Version]
View
| Files available
| DOI
2016 | Published | 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. Institute of Science and Technology Austria.
[Published Version]
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, Institute of Science and Technology Austria, 10.15479/AT:ISTA:37.
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5551 |
Ellis T. 2016. Data on pollinator observations and offpsring phenotypes, Institute of Science and Technology Austria, 10.15479/AT:ISTA:35.
[Published Version]
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., Institute of Science and Technology Austria, 10.15479/AT:ISTA:36.
[Published Version]
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’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:45.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1068 |
Chatterjee K, Dvorák W, Henzinger M, Loitzenbauer V. 2016. Conditionally optimal algorithms for generalized Büchi Games. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 58, 25.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9864 |
Fernandes Redondo RA, de Vladar H, Włodarski T, Bollback JP. 2016. Data from evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family, The Royal Society, 10.6084/m9.figshare.4315652.v1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1090 |
Chatterjee K, Henzinger TA, Otop J. 2016. Nested weighted limit-average automata of bounded width. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 58, 24.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 8094 |
Martius GS, Hostettler R, Knoll A, Der R. 2016. Self-organized control of an tendon driven arm by differential extrinsic plasticity. 15th International Conference on the Synthesis and Simulation of Living Systems. ALIFE 2016: Conference on the Synthesis and Simulation of Living Systems vol. 28, 142–143.
[Published Version]
View
| Files available
| DOI
2016 | Published | 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.
[Published Version]
View
| Files available
| DOI
2016 | Published | 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.
[Updated Version]
View
| Files available
| DOI
2016 | Published | 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.
[Published Version]
View
| Files available
| DOI
| WoS
2016 | Published | Journal Article | IST-REx-ID: 1662 |
Edelsbrunner H, Pausinger F. 2016. Approximation and convergence of the intrinsic volume. Advances in Mathematics. 287, 674–703.
[Published Version]
View
| Files available
| DOI
| WoS
2016 | Published | 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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1833 |
Klimova A, Rudas T. 2016. On the closure of relational models. Journal of Multivariate Analysis. 143, 440–452.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv