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.
3064 Publications
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.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2255 |
H. Edelsbrunner and F. Pausinger, “Stable length estimates of tube-like shapes,” Journal of Mathematical Imaging and Vision, vol. 50, no. 1. Springer, pp. 164–177, 2014.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2257 |
G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, and M. Berry, “Searching for collective behavior in a large network of sensory neurons,” PLoS Computational Biology, vol. 10, no. 1. Public Library of Science, 2014.
View
| Files available
| DOI
| Download Published Version (ext.)
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.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 535 |
K. Chatterjee, M. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial time algorithms for energy games with special weight structures,” Algorithmica, vol. 70, no. 3. Springer, pp. 457–492, 2014.
View
| DOI
| Download Submitted Version (ext.)
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.
View
| Files available
| DOI
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.
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.
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.
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.
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.
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.
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.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5418 |
K. Chatterjee and L. Doyen, Games with a weak adversary. IST Austria, 2014.
View
| Files available
| DOI
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.
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.
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.
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.
View
| Files available
| DOI
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.
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.
View
| Files available
| DOI