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
Chatterjee K, Doyen L. Games with a Weak Adversary. IST Austria; 2014. doi:10.15479/AT:IST-2014-176-v1-1
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5419 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-187-v1-1
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5420 | OA
Chatterjee K, Ibsen-Jensen R. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria; 2014. doi:10.15479/AT:IST-2014-191-v1-1
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5421 | OA
Chatterjee K, Ibsen-Jensen R, Nowak M. The Complexity of Evolution on Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-190-v2-2
[Published Version] View | Files available | DOI
 
2014 | Report | IST-REx-ID: 5422 | OA
Porsche J. 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
Chatterjee K, Kössler A, Pavlogiannis A, Schmid U. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria; 2014. doi:10.15479/AT:IST-2014-300-v1-1
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5424 | OA
Chatterjee K, Chmelik M, Gupta R, Kanodia A. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria; 2014. doi:10.15479/AT:IST-2014-305-v1-1
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5426 | OA
Chatterjee K, Chmelik M, Gupta R, Kanodia A. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria; 2014. doi:10.15479/AT:IST-2014-305-v2-1
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5427 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-314-v1-1
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5428 | OA
Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative Fair Simulation Games. IST Austria; 2014. doi:10.15479/AT:IST-2014-315-v1-1
[Published Version] View | Files available | DOI
 
2014 | Published | Book Chapter | IST-REx-ID: 6178
Smutny M, Behrndt M, Campinho P, Ruprecht V, Heisenberg C-PJ. UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo. In: Nelson C, ed. Tissue Morphogenesis. Vol 1189. MIMB. New York: Springer; 2014:219-235. doi:10.1007/978-1-4939-1164-6_15
View | DOI | PubMed | Europe PMC
 
2014 | Published | Journal Article | IST-REx-ID: 1994
Viaene T, Landberg K, Thelander M, et al. Directional auxin transport mechanisms in early diverging land plants. Current Biology. 2014;24(23):2786-2791. doi:10.1016/j.cub.2014.09.056
View | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1995 | OA
Fratini F, Mascarenhas E, Safari L, et al. Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification. Physical Review Letters. 2014;113(24). doi:10.1103/PhysRevLett.113.243601
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 1996 | OA
Hazak O, Obolski U, Prat T, Friml J, Hadany L, Yalovsky S. Bimodal regulation of ICR1 levels generates self-organizing auxin distribution. PNAS. 2014;111(50):E5471-E5479. doi:10.1073/pnas.1413918111
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1998
El Masri L, Cremer S. Individual and social immunisation in insects. Trends in Immunology. 2014;35(10):471-482. doi:10.1016/j.it.2014.08.005
View | DOI | WoS
 
2014 | Published | Book Chapter | IST-REx-ID: 19994
Dupret D, Csicsvari JL. 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. NEUROSCI. Springer Nature; 2014. doi:10.1007/978-1-4939-1969-7_6
View | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 2001
Mitosch K, Bollenbach MT. Bacterial responses to antibiotics and their combinations. Environmental Microbiology Reports. 2014;6(6):545-557. doi:10.1111/1758-2229.12190
View | Files available | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 2002 | OA
Kim S. Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus. PLoS One. 2014;9(11). doi:10.1371/journal.pone.0113124
[Published Version] View | Files available | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 2003
O’Neill J, Csicsvari JL. Learning by example in the hippocampus. Neuron. 2014;83(1):8-10. doi:10.1016/j.neuron.2014.06.013
View | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 2004 | OA
Lovrics A, Gao Y, Juhász B, et al. Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord. PLoS One. 2014;9(11). doi:10.1371/journal.pone.0111430
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed