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.
4205 Publications
2014 | Technical Report | IST-REx-ID: 5418 |
Games with a weak adversary
K. Chatterjee, L. Doyen, Games with a Weak Adversary, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, Games with a Weak Adversary, IST Austria, 2014.
2014 | Technical Report | IST-REx-ID: 5420 |
The value 1 problem for concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, The Value 1 Problem for Concurrent Mean-Payoff Games, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, The Value 1 Problem for Concurrent Mean-Payoff Games, IST Austria, 2014.
2014 | Report | IST-REx-ID: 5422 |
Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland
J. Porsche, Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland, none, 2014.
View
| Files available
J. Porsche, Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland, none, 2014.
2014 | Technical Report | IST-REx-ID: 5424 |
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
2014 | Technical Report | IST-REx-ID: 5426 |
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
2014 | Technical Report | IST-REx-ID: 5423 |
A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
K. Chatterjee, A. Kössler, A. Pavlogiannis, U. Schmid, A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, A. Kössler, A. Pavlogiannis, U. Schmid, A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks, IST Austria, 2014.
2014 | Technical Report | IST-REx-ID: 5427 |
Optimal tree-decomposition balancing and reachability on low treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs, IST Austria, 2014.
2014 | Technical Report | IST-REx-ID: 5425 |
Optimal cost almost-sure reachability in POMDPs
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Optimal Cost Almost-Sure Reachability in POMDPs, IST Austria, 2014.
[Published Version]
View
| Files available
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Optimal Cost Almost-Sure Reachability in POMDPs, IST Austria, 2014.
2014 | Technical Report | IST-REx-ID: 5415 |
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2014.
2014 | Technical Report | IST-REx-ID: 5421 |
The complexity of evolution on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolution on Graphs, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolution on Graphs, IST Austria, 2014.
2014 | Working Paper | IST-REx-ID: 7038 |
Playful Math - An introduction to mathematical games
K. Huszár, M. Rolinek, Playful Math - An Introduction to Mathematical Games, IST Austria, n.d.
[Published Version]
View
| Files available
K. Huszár, M. Rolinek, Playful Math - An Introduction to Mathematical Games, IST Austria, n.d.
2014 | Journal Article | IST-REx-ID: 2083 |
Role of sex and migration in adaptation to sink environments
M. Lagator, A. Morgan, P. Neve, N. Colegrave, Evolution 68 (2014) 2296–2305.
[Published Version]
View
| Files available
| DOI
M. Lagator, A. Morgan, P. Neve, N. Colegrave, Evolution 68 (2014) 2296–2305.
2014 | Research Data Reference | IST-REx-ID: 9747 |
Data from: Role of sex and migration in adaptation to sink environments
M. Lagator, A. Morgan, P. Neve, N. Colegrave, (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Lagator, A. Morgan, P. Neve, N. Colegrave, (2014).
2014 | Journal Article | IST-REx-ID: 2086 |
So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees
S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, PLoS One 9 (2014).
[Published Version]
View
| Files available
| DOI
S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, PLoS One 9 (2014).
2014 | Journal Article | IST-REx-ID: 2004 |
Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord
A. Lovrics, Y. Gao, B. Juhász, I. Bock, H. Byrne, A. Dinnyés, K. Kovács, PLoS One 9 (2014).
[Published Version]
View
| Files available
| DOI
A. Lovrics, Y. Gao, B. Juhász, I. Bock, H. Byrne, A. Dinnyés, K. Kovács, PLoS One 9 (2014).
2014 | Journal Article | IST-REx-ID: 2039 |
The time scale of evolutionary innovation
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Nowak, PLoS Computational Biology 10 (2014).
[Published Version]
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Nowak, PLoS Computational Biology 10 (2014).
2014 | Journal Article | IST-REx-ID: 2036 |
Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses
M. Lagator, N. Colegrave, P. Neve, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
M. Lagator, N. Colegrave, P. Neve, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
2014 | Research Data Reference | IST-REx-ID: 9740 |
Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host
M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, (2014).
2014 | Research Data Reference | IST-REx-ID: 9741 |
Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses
M. Lagator, N. Colegrave, P. Neve, (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Lagator, N. Colegrave, P. Neve, (2014).
2014 | Journal Article | IST-REx-ID: 2170 |
Likelihood-based inference of population history from low-coverage de novo genome assemblies
J. Hearn, G. Stone, L. Bunnefeld, J. Nicholls, N.H. Barton, K. Lohse, Molecular Ecology 23 (2014) 198–211.
[Submitted Version]
View
| Files available
| DOI
J. Hearn, G. Stone, L. Bunnefeld, J. Nicholls, N.H. Barton, K. Lohse, Molecular Ecology 23 (2014) 198–211.
2014 | Research Data Reference | IST-REx-ID: 9753 |
Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies
S. Tragust, L.V. Ugelvig, M. Chapuisat, J. Heinze, S. Cremer, (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Tragust, L.V. Ugelvig, M. Chapuisat, J. Heinze, S. Cremer, (2014).
2014 | Research Data Reference | IST-REx-ID: 9752 |
Data from: Transformation of stimulus correlations by the retina
K. Simmons, J. Prentice, G. Tkačik, J. Homann, H. Yee, S. Palmer, P. Nelson, V. Balasubramanian, (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
K. Simmons, J. Prentice, G. Tkačik, J. Homann, H. Yee, S. Palmer, P. Nelson, V. Balasubramanian, (2014).
2014 | Research Data Reference | IST-REx-ID: 9932 |
Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes
R. Dhar, T. Bergmiller, A. Wagner, (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Dhar, T. Bergmiller, A. Wagner, (2014).
2014 | Journal Article | IST-REx-ID: 535 |
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, Algorithmica 70 (2014) 457–492.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, Algorithmica 70 (2014) 457–492.
2014 | Journal Article | IST-REx-ID: 2255 |
Stable length estimates of tube-like shapes
H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision 50 (2014) 164–177.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision 50 (2014) 164–177.
2014 | Conference Paper | IST-REx-ID: 2159 |
Eliminating Tverberg points, I. An analogue of the Whitney trick
I. Mabillard, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–180.
[Submitted Version]
View
| Files available
| DOI
I. Mabillard, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–180.
2014 | Journal Article | IST-REx-ID: 2023 |
Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution
S. Novak, Ecology and Evolution 4 (2014) 4589–4597.
[Published Version]
View
| Files available
| DOI
S. Novak, Ecology and Evolution 4 (2014) 4589–4597.
2014 | Conference Paper | IST-REx-ID: 2218 |
Regression-free synthesis for concurrency
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2014, pp. 568–584.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2014, pp. 568–584.
2014 | Conference Paper | IST-REx-ID: 2167 |
Compositional specifications for IOCO testing
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, in:, IEEE 7th International Conference on Software Testing, Verification and Validation, IEEE, 2014.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, in:, IEEE 7th International Conference on Software Testing, Verification and Validation, IEEE, 2014.
2014 | Conference Paper | IST-REx-ID: 2082 |
The exact PRF-security of NMAC and HMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
[Submitted Version]
View
| Files available
| DOI
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
2014 | Journal Article | IST-REx-ID: 1912 |
The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ
J. Compagnon, V. Barone, S. Rajshekar, R. Kottmeier, K. Pranjic-Ferscha, M. Behrndt, C.-P.J. Heisenberg, Developmental Cell 31 (2014) 774–783.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Compagnon, V. Barone, S. Rajshekar, R. Kottmeier, K. Pranjic-Ferscha, M. Behrndt, C.-P.J. Heisenberg, Developmental Cell 31 (2014) 774–783.
2014 | Journal Article | IST-REx-ID: 2084 |
Spatio-temporally precise activation of engineered receptor tyrosine kinases by light
M. Grusch, K. Schelch, R. Riedler, E. Gschaider-Reichhart, C. Differ, W. Berger, Á. Inglés Prieto, H.L. Janovjak, EMBO Journal 33 (2014) 1713–1726.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
M. Grusch, K. Schelch, R. Riedler, E. Gschaider-Reichhart, C. Differ, W. Berger, Á. Inglés Prieto, H.L. Janovjak, EMBO Journal 33 (2014) 1713–1726.
2014 | Conference Paper | IST-REx-ID: 2157 |
Embeddability in the 3 sphere is decidable
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 78–84.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 78–84.
2014 | Technical Report | IST-REx-ID: 5428 |
Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Quantitative Fair Simulation Games, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Quantitative Fair Simulation Games, IST Austria, 2014.
2014 | Journal Article | IST-REx-ID: 1887 |
Gemeinsame Krankheitsabwehr in Ameisengesellschaften
S. Cremer, Zoologie (2014) 23–30.
[Published Version]
View
| Download Published Version (ext.)
S. Cremer, Zoologie (2014) 23–30.
2014 | Journal Article | IST-REx-ID: 2175 |
Monitoring neurogenesis in the cerebral cortex: an update
M.P. Postiglione, S. Hippenmeyer, Future Neurology 9 (2014) 323–340.
[Published Version]
View
| Files available
| DOI
M.P. Postiglione, S. Hippenmeyer, Future Neurology 9 (2014) 323–340.
2014 | Journal Article | IST-REx-ID: 1913 |
Patterns of hippocampal tau pathology differentiate neurodegenerative dementias
I. Milenković, T. Petrov, G. Kovács, Dementia and Geriatric Cognitive Disorders 38 (2014) 375–388.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
I. Milenković, T. Petrov, G. Kovács, Dementia and Geriatric Cognitive Disorders 38 (2014) 375–388.
2014 | Conference Paper | IST-REx-ID: 1507 |
Random matrices, log-gases and Hölder regularity
L. Erdös, in:, Proceedings of the International Congress of Mathematicians, International Congress of Mathematicians, 2014, pp. 214–236.
[Submitted Version]
View
| Download Submitted Version (ext.)
L. Erdös, in:, Proceedings of the International Congress of Mathematicians, International Congress of Mathematicians, 2014, pp. 214–236.
2014 | Conference Paper | IST-REx-ID: 8044 |
Structure of the excitation spectrum for many-body quantum systems
R. Seiringer, in:, Proceeding of the International Congress of Mathematicans, International Congress of Mathematicians, 2014, pp. 1175–1194.
[Published Version]
View
| Download Published Version (ext.)
R. Seiringer, in:, Proceeding of the International Congress of Mathematicans, International Congress of Mathematicians, 2014, pp. 1175–1194.
2014 | Conference Paper | IST-REx-ID: 2160 |
A PAC-Bayesian bound for Lifelong Learning
A. Pentina, C. Lampert, in:, ML Research Press, 2014, pp. 991–999.
[Submitted Version]
View
| Download Submitted Version (ext.)
A. Pentina, C. Lampert, in:, ML Research Press, 2014, pp. 991–999.
2014 | Preprint | IST-REx-ID: 2012 |
Sphere packing with limited overlap
M. Iglesias Ham, M. Kerber, C. Uhler, ArXiv (n.d.).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
M. Iglesias Ham, M. Kerber, C. Uhler, ArXiv (n.d.).
2014 | Journal Article | IST-REx-ID: 2281 |
On the mass concentration for Bose-Einstein condensates with attractive interactions
Y. Guo, R. Seiringer, Letters in Mathematical Physics 104 (2014) 141–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Guo, R. Seiringer, Letters in Mathematical Physics 104 (2014) 141–156.
2014 | Journal Article | IST-REx-ID: 2257 |
Searching for collective behavior in a large network of sensory neurons
G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).
2013 | Journal Article | IST-REx-ID: 10396 |
Stimfit: A fast visualization and analysis environment for cellular neurophysiology
A. Schlögl, P.M. Jonas, C. Schmidt-Hieber, S.J. Guzman, Biomedical Engineering / Biomedizinische Technik 58 (2013).
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Schlögl, P.M. Jonas, C. Schmidt-Hieber, S.J. Guzman, Biomedical Engineering / Biomedizinische Technik 58 (2013).
2013 | Journal Article | IST-REx-ID: 10895 |
Calcium: The missing link in auxin action
S. Vanneste, J. Friml, Plants 2 (2013) 650–675.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Vanneste, J. Friml, Plants 2 (2013) 650–675.
2013 | Conference Paper | IST-REx-ID: 1374 |
Infinite-state games with finitary conditions
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
2013 | Conference Paper | IST-REx-ID: 1385 |
Synthesizing multiple boolean functions using interpolation on a single proof
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
2013 | Conference Paper | IST-REx-ID: 1387 |
Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
[Submitted Version]
View
| Files available
| DOI
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
2013 | Journal Article | IST-REx-ID: 2010 |
Geometry of the faithfulness assumption in causal inference
C. Uhler, G. Raskutti, P. Bühlmann, B. Yu, The Annals of Statistics 41 (2013) 436–463.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
C. Uhler, G. Raskutti, P. Bühlmann, B. Yu, The Annals of Statistics 41 (2013) 436–463.
2013 | Journal Article | IST-REx-ID: 2009 |
Privacy-preserving data sharing for genome-wide association studies
C. Uhler, A. Slavkovic, S. Fienberg, Journal of Privacy and Confidentiality 5 (2013) 137–166.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Uhler, A. Slavkovic, S. Fienberg, Journal of Privacy and Confidentiality 5 (2013) 137–166.