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.




6608 Publications

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5418 | OA
K. Chatterjee and L. Doyen, Games with a weak adversary. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5419 | OA
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 | Published | Technical Report | IST-REx-ID: 5420 | OA
K. Chatterjee and R. Ibsen-Jensen, The value 1 problem for concurrent mean-payoff games. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5421 | OA
K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolution on graphs. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Report | IST-REx-ID: 5422 | OA
J. Porsche, Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.
View | Files available
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5423 | OA
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
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5424 | OA
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
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5426 | OA
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 | Published | Technical Report | IST-REx-ID: 5427 | OA
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
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5428 | OA
K. Chatterjee, T. A. Henzinger, J. Otop, and Y. Velner, Quantitative fair simulation games. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Book Chapter | IST-REx-ID: 6178
M. Smutny, M. Behrndt, P. Campinho, V. Ruprecht, and C.-P. J. Heisenberg, “UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo,” in Tissue Morphogenesis, vol. 1189, C. Nelson, Ed. New York: Springer, 2014, pp. 219–235.
View | DOI | PubMed | Europe PMC
 
2014 | Published | Journal Article | IST-REx-ID: 1994
T. Viaene et al., “Directional auxin transport mechanisms in early diverging land plants,” Current Biology, vol. 24, no. 23. Cell Press, pp. 2786–2791, 2014.
View | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1995 | OA
F. Fratini et al., “Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification,” Physical Review Letters, vol. 113, no. 24. American Physical Society, 2014.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 1996 | OA
O. Hazak, U. Obolski, T. Prat, J. Friml, L. Hadany, and S. Yalovsky, “Bimodal regulation of ICR1 levels generates self-organizing auxin distribution,” PNAS, vol. 111, no. 50. National Academy of Sciences, pp. E5471–E5479, 2014.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1998
L. El Masri and S. Cremer, “Individual and social immunisation in insects,” Trends in Immunology, vol. 35, no. 10. Elsevier, pp. 471–482, 2014.
View | DOI | WoS
 
2014 | Published | Book Chapter | IST-REx-ID: 19994
D. Dupret and J. L. Csicsvari, “Reorganization of Hippocampal Place-Selective Patterns During Goal-Directed Learning and Their Reactivation During Sleep,” in Analysis and Modeling of Coordinated Multi-neuronal Activity, vol. 12, Springer Nature, 2014.
View | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 2001
K. Mitosch and M. T. Bollenbach, “Bacterial responses to antibiotics and their combinations,” Environmental Microbiology Reports, vol. 6, no. 6. Wiley, pp. 545–557, 2014.
View | Files available | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 2002 | OA
S. Kim, “Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus,” PLoS One, vol. 9, no. 11. Public Library of Science, 2014.
[Published Version] View | Files available | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 2003
J. O’Neill and J. L. Csicsvari, “Learning by example in the hippocampus,” Neuron, vol. 83, no. 1. Elsevier, pp. 8–10, 2014.
View | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 2004 | OA
A. Lovrics et al., “Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord,” PLoS One, vol. 9, no. 11. Public Library of Science, 2014.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed