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.
4969 Publications
2014 | Book Chapter | IST-REx-ID: 2245
S. Simon, P. Skůpa, P. Dobrev, J. Petrášek, E. Zažímalová, and J. Friml, “Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters,” in Plant Chemical Genomics, vol. 1056, G. Hicks and S. Robert, Eds. Springer, 2014, pp. 255–264.
View
| DOI
2014 | Journal Article | IST-REx-ID: 2246 | 
A. Grinshpun, P. Phalitnonkiat, S. Rubin, and A. Tarfulea, “Alternating traps in Muller and parity games,” Theoretical Computer Science, vol. 521. Elsevier, pp. 73–91, 2014.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2254 |
A. Pernia-Andrade and P. M. Jonas, “Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations,” Neuron, vol. 81, no. 1. Elsevier, pp. 140–152, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2251 |
J. L. Csicsvari and D. Dupret, “Sharp wave/ripple network oscillations and learning-associated hippocampal maps,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 369, no. 1635. Royal Society, The, 2014.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 2253 |
A. Bailly et al., “Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth,” Plant Journal, vol. 77, no. 1. Wiley-Blackwell, pp. 108–118, 2014.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Journal Article | IST-REx-ID: 2249 |
Y. Chen, K. Aung, J. Rolčík, K. Walicki, J. Friml, and F. Brandizzí, “Inter-regulation of the unfolded protein response and auxin signaling,” Plant Journal, vol. 77, no. 1. Wiley-Blackwell, pp. 97–107, 2014.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2252
S. Phadke, T. Paixao, T. Pham, S. Pham, and R. Zufall, “Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila,” Journal of Heredity, vol. 105, no. 1. Oxford University Press, pp. 130–135, 2014.
View
| DOI
2014 | Journal Article | IST-REx-ID: 2261 |
F. Zhu et al., “DICE, an efficient system for iterative genomic editing in human pluripotent stem cells,” Nucleic Acids Research, vol. 42, no. 5. Oxford University Press, 2014.
[Preprint]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2275 |
C. Olsson, J. Ulen, Y. Boykov, and V. Kolmogorov, “Partial enumeration and curvature regularization,” presented at the ICCV: International Conference on Computer Vision, Sydney, Australia, 2014, pp. 2936–2943.
[Submitted Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2285 |
J. Hosp et al., “Morpho-physiological criteria divide dentate gyrus interneurons into classes,” Hippocampus, vol. 23, no. 2. Wiley-Blackwell, pp. 189–203, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2699 |
L. Erdös, P. Bourgade, and H. Yau, “Universality of general β-ensembles,” Duke Mathematical Journal, vol. 163, no. 6. Duke University Press, pp. 1127–1190, 2014.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2014 | Journal Article | IST-REx-ID: 2716 |
K. Chatterjee, M. Randour, and J. Raskin, “Strategy synthesis for multi-dimensional quantitative objectives,” Acta Informatica, vol. 51, no. 3–4. Springer, pp. 129–163, 2014.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 2905 |
H. Edelsbrunner and D. Morozovy, “Persistent homology: Theory and practice,” presented at the ECM: European Congress of Mathematics, Kraków, Poland, 2014, pp. 31–50.
[Submitted Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1733 |
P. Cerny, M. Chmelik, T. A. Henzinger, and A. Radhakrishna, “Interface simulation distances,” Theoretical Computer Science, vol. 560, no. 3. Elsevier, pp. 348–363, 2014.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2141 |
K. Chatterjee and M. H. Henzinger, “Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition,” Journal of the ACM, vol. 61, no. 3. ACM, 2014.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 3263 |
G. Tkačik, A. Ghosh, E. Schneidman, and R. Segev, “Adaptation to changes in higher-order stimulus statistics in the salamander retina,” PLoS One, vol. 9, no. 1. Public Library of Science, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2054
K. Chatterjee, “Qualitative concurrent parity games: Bounded rationality,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Rome, Italy, 2014, vol. 8704, pp. 544–559.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2852
M. Fischlin, A. Lehmann, and K. Z. Pietrzak, “Robust multi-property combiners for hash functions,” Journal of Cryptology, vol. 27, no. 3. Springer, pp. 397–428, 2014.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 468 |
A. Cimadom et al., “Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches,” PLoS One, vol. 9, no. 9. Public Library of Science, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 475 |
B. Aminof and S. Rubin, “First cycle games,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Grenoble, France, 2014, vol. 146, pp. 83–90.
[Published Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 10892
T. Biedl, S. Huber, and P. Palfrader, “Planar matchings for weighted straight skeletons,” in 25th International Symposium, ISAAC 2014, Jeonju, Korea, 2014, vol. 8889, pp. 117–127.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 537 |
R. Prizak, T. Ezard, and R. Hoyle, “Fitness consequences of maternal and grandmaternal effects,” Ecology and Evolution, vol. 4, no. 15. Wiley-Blackwell, pp. 3139–3145, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1903
K. Chatterjee, “Partial-observation stochastic reachability and parity games,” presented at the MFCS: Mathematical Foundations of Computer Science, Budapest, Hungary, 2014, vol. 8634, no. PART 1, pp. 1–4.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2211 |
K. Chatterjee and L. Doyen, “Partial-observation stochastic games: How to win when belief fails,” ACM Transactions on Computational Logic (TOCL), vol. 15, no. 2. ACM, 2014.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 2038 |
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, “Temporal specifications with accumulative values,” ACM Transactions on Computational Logic (TOCL), vol. 15, no. 4. ACM, 2014.
[Submitted Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2162 |
K. Chatterjee and R. Ibsen-Jensen, “The complexity of ergodic mean payoff games,” presented at the ICST: International Conference on Software Testing, Verification and Validation, Copenhagen, Denmark, 2014, vol. 8573, no. Part 2, pp. 122–133.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 2213 |
K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, “The complexity of partial-observation stochastic parity games with finite-memory strategies,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 242–257.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 2212
K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, “Perfect-information stochastic mean-payoff parity games,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 210–225.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2216 |
K. Chatterjee, R. Ibsen-Jensen, and R. Majumdar, “Edit distance for timed automata,” presented at the HSCC: Hybrid Systems - Computation and Control, Berlin, Germany, 2014, pp. 303–312.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Technical Report | IST-REx-ID: 5411 |
P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, Compositional specifications for IOCO testing. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5413 |
K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5414 |
K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5412 |
K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2163 |
K. Chatterjee and L. Doyen, “Games with a weak adversary,” in Lecture Notes in Computer Science, Copenhagen, Denmark, 2014, vol. 8573, no. Part 2, pp. 110–121.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Technical Report | IST-REx-ID: 5419 |
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2217
T. A. Henzinger and J. Otop, “Model measuring for hybrid systems,” in Proceedings of the 17th international conference on Hybrid systems: computation and control, Berlin, Germany, 2014, pp. 213–222.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5417 |
T. A. Henzinger and J. Otop, From model checking to model measuring. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5416 |
T. A. Henzinger and J. Otop, Model measuring for hybrid systems. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5418 |
K. Chatterjee and L. Doyen, Games with a weak adversary. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5420 |
K. Chatterjee and R. Ibsen-Jensen, The value 1 problem for concurrent mean-payoff games. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Report | IST-REx-ID: 5422 |
J. Porsche, Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.
View
| Files available
2014 | Technical Report | IST-REx-ID: 5424 |
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5426 |
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5423 |
K. Chatterjee, A. Kössler, A. Pavlogiannis, and 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
2014 | Technical Report | IST-REx-ID: 5427 |
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5415 |
K. Chatterjee, T. A. Henzinger, and J. Otop, Nested weighted automata. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5421 |
K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolution on graphs. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI