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.

5694 Publications


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.
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 537   OA
Fitness consequences of maternal and grandmaternal effects
R. Prizak, T. Ezard, R. Hoyle, Ecology and Evolution 4 (2014) 3139–3145.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420   OA
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.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 6740   OA
How to achieve the capacity of asymmetric channels
M. Mondelli, R. Urbanke, H. Hassani, in:, 52nd Annual Allerton Conference on Communication, Control, and Computing, IEEE, 2014, pp. 789–796.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Book | IST-REx-ID: 6853
A Short Course in Computational Geometry and Topology
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, Springer International Publishing, Cham, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7072
Controlling magnetic order and quantum disorder in molecule-based magnets
T. Lancaster, P.A. Goddard, S.J. Blundell, F.R. Foronda, S. Ghannadzadeh, J.S. Möller, P.J. Baker, F.L. Pratt, C. Baines, L. Huang, J. Wosnitza, R.D. McDonald, K.A. Modic, J. Singleton, C.V. Topping, T.A.W. Beale, F. Xiao, J.A. Schlueter, A.M. Barton, R.D. Cabrera, K.E. Carreiro, H.E. Tran, J.L. Manson, Physical Review Letters 112 (2014).
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 772   OA
Are lock-free concurrent algorithms practically wait-free?
D. Alistarh, K. Censor Hillel, N. Shavit, in:, ACM, 2014, pp. 714–723.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 809
Cryo electron microscopy of tubular arrays of HIV-1 Gag resolves structures essential for immature virus assembly
T. Bharata, L. Menendez, W. Hagena, V. Luxd, S. Igonete, M. Schorba, F. Schur, H. Kraüsslich, J. Briggsa, PNAS 111 (2014) 8233–8238.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 892
A structural perspective of compensatory evolution
D. Ivankov, A. Finkelstein, F. Kondrashov, Current Opinion in Structural Biology 26 (2014) 104–112.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 979   OA
Symmetry breaking and Landau quantization in topological crystalline insulators
M. Serbyn, L. Fu, Physical Review B - Condensed Matter and Materials Physics 90 (2014).
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1872   OA
Extensional crisis and proving identity
A. Gupta, L. Kovács, B. Kragl, A. Voronkov, in:, F. Cassez, J.-F. Raskin (Eds.), ATVA 2014, Springer, 2014, pp. 185–200.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2027   OA
Verification of markov decision processes using learning algorithms
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, D. Parker, M. Ujma, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Society of Industrial and Applied Mathematics, 2014, pp. 98–114.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2229   OA View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2039   OA
The time scale of evolutionary innovation
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Nowak, PLoS Computational Biology 10 (2014).
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2053   OA
Probabilistic bisimulation: Naturally on distributions
H. Hermanns, J. Krčál, J. Kretinsky, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 249–265.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2212
Perfect-information stochastic mean-payoff parity games
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, in:, Springer, 2014, pp. 210–225.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5413
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5418
Games with a weak adversary
K. Chatterjee, L. Doyen, Games with a Weak Adversary, IST Austria, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1733
Interface simulation distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 7301
Aprotic Li–O2 battery: Influence of complexing agents on oxygen reduction in an aprotic solvent
C. Li, O. Fontaine, S.A. Freunberger, L. Johnson, S. Grugeon, S. Laruelle, P.G. Bruce, M. Armand, The Journal of Physical Chemistry C 118 (2014) 3393–3401.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2217
Model measuring for hybrid systems
T.A. Henzinger, J. Otop, in:, Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–222.
View | Files available | DOI
 

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.
View | Files available
 

2014 | Book Chapter | IST-REx-ID: 7743
Influence of the environment on the genetic architecture of traits involved in sexual selection within wild populations
M.R. Robinson, A. Qvarnström, in:, J. Hunt, D. Hosken (Eds.), Genotype-by-Environment Interactions and Sexual Selection, Wiley, Chichester, UK, 2014, pp. 137–168.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1916   OA
Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders
G. Novarino, A. Fenstermaker, M. Zaki, M. Hofree, J. Silhavy, A. Heiberg, M. Abdellateef, B. Rosti, E. Scott, L. Mansour, A. Masri, H. Kayserili, J. Al Aama, G. Abdel Salam, A. Karminejad, M. Kara, B. Kara, B. Bozorgmehri, T. Ben Omran, F. Mojahedi, I. Mahmoud, N. Bouslam, A. Bouhouche, A. Benomar, S. Hanein, L. Raymond, S. Forlani, M. Mascaro, L. Selim, N. Shehata, N. Al Allawi, P. Bindu, M. Azam, M. Günel, A. Caglayan, K. Bilgüvar, A. Tolun, M. Issa, J. Schroth, E. Spencer, R. Rosti, N. Akizu, K. Vaux, A. Johansen, A. Koh, H. Megahed, A. Dürr, A. Brice, G. Stévanin, S. Gabriel, T. Ideker, J. Gleeson, Science 343 (2014) 506–511.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 8044   OA
Structure of the excitation spectrum for many-body quantum systems
R. Seiringer, in:, Proceeding of the International Congress of Mathematicans, ICM 2014, Seoul, South Korea, 2014, pp. 1175–1194.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1309
Infinite speed of support propagation for the Derrida-Lebowitz-Speer-Spohn equation and quantum drift-diffusion models
J.L. Fischer, Nonlinear Differential Equations and Applications 21 (2014) 27–50.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1532
Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source
H. Yang, J. Von Der Fecht Bartenbach, J. Friml, J. Lohmann, B. Neuhäuser, U. Ludewig, Functional Plant Biology 42 (2014) 239–251.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1708
Spatio-temporal representations of uncertainty in spiking neural networks
C. Savin, S. Denève, in:, Neural Information Processing Systems, 2014, pp. 2024–2032.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1791
Off-target effect of doublecortin family shRNA on neuronal migration associated with endogenous MicroRNA dysregulation
S. Baek, G. Kerjan, S. Bielas, J. Lee, A. Fenstermaker, G. Novarino, J. Gleeson, Neuron 82 (2014) 1255–1262.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1816   OA
Topology-preserving watermarking of vector graphics
S. Huber, M. Held, P. Meerwald, R. Kwitt, International Journal of Computational Geometry and Applications 24 (2014) 61–86.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1842   OA
On the geometric ramsey number of outerplanar graphs
J. Cibulka, P. Gao, M. Krcál, T. Valla, P. Valtr, Discrete & Computational Geometry 53 (2014) 64–79.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1892   OA
Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids
S. Ocana, P. Meidl, D. Bonfils, M. Taborsky, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1897   OA
Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis
S. Naramoto, M. Otegui, N. Kutsuna, R. De Rycke, T. Dainobu, M. Karampelias, M. Fujimoto, E. Feraru, D. Miki, H. Fukuda, A. Nakano, J. Friml, Plant Cell 26 (2014) 3062–3076.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1900
Lateral junction dynamics lead the way out
M. Behrndt, C.-P.J. Heisenberg, Nature Cell Biology 16 (2014) 127–129.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1979
The mechanism of coupling between electron transfer and proton translocation in respiratory complex I
L.A. Sazanov, Journal of Bioenergetics and Biomembranes 46 (2014) 247–253.
View | DOI
 

2014 | Book Review | IST-REx-ID: 1981
Review and meta-analysis of natural selection in mitochondrial complex I in metazoans
M. Garvin, J. Bielawski, L.A. Sazanov, A. Gharrett, Journal of Zoological Systematics and Evolutionary Research 53 (2014) 1–17.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1998
Individual and social immunisation in insects
L. El Masri, S. Cremer, Trends in Immunology 35 (2014) 471–482.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1924
Auxin transport and activity regulate stomatal patterning and development
J. Le, X. Liu, K. Yang, X. Chen, L. Zhu, H. Wang, M. Wang, S. Vanneste, M. Morita, M. Tasaka, Z. Ding, J. Friml, T. Beeckman, F. Sack, Nature Communications 5 (2014).
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1929
An algorithm for cartographic generalization that preserves global topology
V.V. Alexeev, V.G. Bogaevskaya, M.M. Preobrazhenskaya, A.Y. Ukhalov, H. Edelsbrunner, O. Yakimova, Journal of Mathematical Sciences (United States) 203 (2014) 754–760.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1931   OA
Emergence of task-dependent representations in working memory circuits
C. Savin, J. Triesch, Frontiers in Computational Neuroscience 8 (2014).
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1936   OA
An arms race between producers and scroungers can drive the evolution of social cognition
M. Arbilly, D. Weissman, M. Feldman, U. Grodzinski, Behavioral Ecology 25 (2014) 487–495.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1905
Selection from parasites favours immunogenetic diversity but not divergence among locally adapted host populations
M. Tobler, M. Plath, R. Riesch, I. Schlupp, A.V. Grasse, G. Munimanda, C. Setzer, D. Penn, Y. Moodley, Journal of Evolutionary Biology 27 (2014) 960–974.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1854   OA
Partial shape matching using transformation parameter similarity
P. Guerrero, T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 34 (2014) 239–252.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2059   OA
The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos
E. Dubas, J. Moravčíková, J. Libantová, I. Matušíková, E. Benková, I. Zur, M. Krzewska, Protoplasma 251 (2014) 1077–1087.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2061
Cellular events during interfascicular cambium ontogenesis in inflorescence stems of Arabidopsis
E. Mazur, E. Kurczyñska, J. Friml, Protoplasma 251 (2014) 1125–1139.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2042   OA
Motif depletion in bacteriophages infecting hosts with CRISPR systems
A. Kupczok, J.P. Bollback, BMC Genomics 15 (2014).
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2047   OA
Differentially-private logistic regression for detecting multiple-SNP association in GWAS databases
F. Yu, M. Rybar, C. Uhler, S. Fienberg, in:, J. Domingo Ferrer (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 170–184.
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2004   OA
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).
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2011   OA
Scalable privacy-preserving data sharing methodology for genome-wide association studies
F. Yu, S. Fienberg, A. Slaković, C. Uhler, Journal of Biomedical Informatics 50 (2014) 133–141.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2028   OA
Characterizing spiking in noisy type II neurons
K. Bodova, D. Paydarfar, D. Forger, Journal of Theoretical Biology 365 (2014) 40–54.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2023   OA View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2131   OA
Approximating Rough Stochastic PDEs
M. Hairer, J. Maas, H. Weber, Communications on Pure and Applied Mathematics 67 (2014) 776–870.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2080
Spin-It: Optimizing moment of inertia for spinnable objects
M. Bac̈Her, E. Whiting, B. Bickel, O. Sorkine Hornung, in:, ACM, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2155   OA
The morse theory of Čech and Delaunay filtrations
U. Bauer, H. Edelsbrunner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 484–490.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2174   OA
Stability and response of polygenic traits to stabilizing selection and mutation
H. De Vladar, N.H. Barton, Genetics 197 (2014) 749–767.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2179   OA
Local semicircle law with imprimitive variance matrix
O.H. Ajanki, L. Erdös, T.H. Krüger, Electronic Communications in Probability 19 (2014).
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2186   OA
On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Letters in Mathematical Physics 104 (2014) 871–891.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2220   OA
Suppressive drug interactions between antifungals
M. De Vos, M.T. Bollenbach, Chemistry and Biology 21 (2014) 439–440.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2225   OA
Isotropic local laws for sample covariance and generalized Wigner matrices
A. Bloemendal, L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 19 (2014).
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2232   OA
Deterministic and stochastic aspects of the transition to turbulence
B. Song, B. Hof, Journal of Statistical Mechanics Theory and Experiment 2014 (2014).
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2249   OA
Inter-regulation of the unfolded protein response and auxin signaling
Y. Chen, K. Aung, J. Rolčík, K. Walicki, J. Friml, F. Brandizzí, Plant Journal 77 (2014) 97–107.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 254
The polynomial sieve and equal sums of like polynomials
T.D. Browning, International Mathematics Research Notices 2015 (2014) 1987–2019.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2275   OA
Partial enumeration and curvature regularization
C. Olsson, J. Ulen, Y. Boykov, V. Kolmogorov, in:, IEEE, 2014, pp. 2936–2943.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2852
Robust multi-property combiners for hash functions
M. Fischlin, A. Lehmann, K.Z. Pietrzak, Journal of Cryptology 27 (2014) 397–428.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 355
The effect of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals
X. Yu, X. An, A. Shavel, M. Ibanez, A. Cabot, Journal of Materials Chemistry A 2 (2014) 12317–12322.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 348
Thermoelectric properties of bottom up assembled Bi2S 3-xTex nanocomposites
D. Cadavid, M. Ibanez, U. Anselmi Tamburini, O. Durá, M. De La Torre, A. Cabot, International Journal of Nanotechnology 11 (2014) 773–784.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 350   OA
Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4
W. Li, M. Ibanez, D. Cadavid, R. Zamani, J. Rubio Garcia, S. Gorsse, J. Morante, J. Arbiol, A. Cabot, Journal of Nanoparticle Research 16 (2014).
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 451   OA
Computation of cubical homology, cohomology, and (co)homological operations via chain contraction
P. Pilarczyk, P. Real, Advances in Computational Mathematics 41 (2014) 253–275.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 468   OA
Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin's finches
A. Cimadom, A. Ulloa, P. Meidl, M. Zöttl, E. Zöttl, B. Fessl, E. Nemeth, M. Dvorak, F. Cunninghame, S. Tebbich, PLoS One 9 (2014).
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5419   OA
Improved algorithms for reachability and shortest path on low tree-width graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs, IST Austria, 2014.
View | Files available | DOI
 

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.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 5813   OA
Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit
J. Dereziński, M.M. Napiórkowski, Annales Henri Poincaré 15 (2014) 2409–2439.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 6126   OA
GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings
E. Gross, Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, M. de Bono, Journal of Neuroscience 34 (2014) 16726–16738.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6739   OA
From polar to Reed-Muller codes: A technique to improve the finite-length performance
M. Mondelli, H. Hassani, R. Urbanke, IEEE Transactions on Communications 62 (2014) 3084–3091.
View | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 773
Communication-efficient randomized consensus
D. Alistarh, J. Aspnes, V. King, J. Saia, in:, F. Kuhn (Ed.), Springer, 2014, pp. 61–75.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 925 View | DOI
 

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.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 1392   OA
A logic-based framework for verifying consensus algorithms
C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.
View | Files available | DOI
 

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.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2218   OA
Regression-free synthesis for concurrency
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2014, pp. 568–584.
View | Files available | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2213   OA
The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, in:, Springer, 2014, pp. 242–257.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2162   OA
The complexity of ergodic mean payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Springer, 2014, pp. 122–133.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Technical Report | IST-REx-ID: 5414
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2054
Qualitative concurrent parity games: Bounded rationality
K. Chatterjee, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 544–559.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 475   OA
First cycle games
B. Aminof, S. Rubin, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 83–90.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7302
Short-range Li diffusion vs. long-range ionic conduction in nanocrystalline lithium peroxide Li2O2—the discharge product in lithium-air batteries
A. Dunst, V. Epp, I. Hanzu, S.A. Freunberger, M. Wilkening, Energy & Environmental Science 7 (2014) 2739–2752.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2251   OA
Sharp wave/ripple network oscillations and learning-associated hippocampal maps
J.L. Csicsvari, D. Dupret, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 369 (2014) 20120528.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 7744
Explaining additional genetic variation in complex traits
M.R. Robinson, N.R. Wray, P.M. Visscher, Trends in Genetics 30 (2014) 124–132.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7768
Vibrational and structural signatures of the crossover between dense glassy and sparse gel-like attractive colloidal packings
M.A. Lohr, T. Still, R. Ganti, M.D. Gratale, Z.S. Davidson, K.B. Aptowicz, C.P. Goodrich, D.M. Sussman, A.G. Yodh, Physical Review E 90 (2014) 062305.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7770
Contact nonlinearities and linear response in jammed particulate packings
C.P. Goodrich, A.J. Liu, S.R. Nagel, Physical Review E 90 (2014) 022201.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2167   OA
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, p. 6823899.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1917   OA
Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling
T. Xu, N. Dai, J. Chen, S. Nagawa, M. Cao, H. Li, Z. Zhou, X. Chen, R. De Rycke, H. Rakusová, W. Wang, A. Jones, J. Friml, S. Patterson, A. Bleecker, Z. Yang, Science 343 (2014) 1025–1028.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1312
Upper bounds on waiting times for the Thin-film equation: The case of weak slippage
J.L. Fischer, Archive for Rational Mechanics and Analysis 211 (2014) 771–818.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1507   OA
Random matrices, log-gases and Hölder regularity
L. Erdös, in:, Kyung Moon SA Co. Ltd., 2014, pp. 214–236.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1761   OA
PtSi clustering in silicon probed by transport spectroscopy
M. Mongillo, P. Spathis, G. Katsaros, S. De Franceschi, P. Gentile, R. Rurali, X. Cartoixà, Physical Review X 3 (2014).
View | DOI | Download (ext.)
 

2014 | Book Chapter | IST-REx-ID: 1829
Movement templates for learning of hitting and batting
K. Muelling, O. Kroemer, C. Lampert, B. Schölkopf, in:, J. Kober, J. Peters (Eds.), Learning Motor Skills, Springer, 2014, pp. 69–82.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1994
Directional auxin transport mechanisms in early diverging land plants
T. Viaene, K. Landberg, M. Thelander, E. Medvecka, E. Pederson, E. Feraru, E. Cooper, M. Karimi, C. Delwiche, K. Ljung, M. Geisler, E. Sundberg, J. Friml, Current Biology 24 (2014) 2786–2791.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1862   OA
Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules
X. Chen, L. Grandont, H. Li, R. Hauschild, S. Paque, A. Abuzeineh, H. Rakusová, E. Benková, C. Perrot Rechenmann, J. Friml, Nature 516 (2014) 90–93.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893   OA
SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis
P. Nováková, S. Hirsch, E. Feraru, R. Tejos, R. Van Wijk, T. Viaene, M. Heilmann, J. Lerche, R. De Rycke, M. Feraru, P. Grones, M. Van Montagu, I. Heilmann, T. Munnik, J. Friml, PNAS 111 (2014) 2818–2823.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1898
Ultrafast action potentials mediate kilohertz signaling at a central synapse
A. Ritzau Jost, I. Delvendahl, A. Rings, N. Byczkowicz, H. Harada, R. Shigemoto, J. Hirrlinger, J. Eilers, S. Hallermann, Neuron 84 (2014) 152–163.
View | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed