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.




3103 Publications

2014 | Journal Article | IST-REx-ID: 2215
Mechanisms and principles of homology search during recombination
J. Renkawitz, C. Lademann, S. Jentsch, Nature Reviews Molecular Cell Biology 15 (2014) 369–383.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2216 | OA
Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, in:, Springer, 2014, pp. 303–312.
View | Files available | DOI | Download Submitted Version (ext.)
 
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 | Conference Paper | IST-REx-ID: 2219 | OA
Simple chosen-ciphertext security from low noise LPN
E. Kiltz, D. Masny, K.Z. Pietrzak, in:, Springer, 2014, pp. 1–18.
View | DOI | Download Submitted Version (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 Published Version (ext.) | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 2222
VAN4 encodes a putative TRS120 that is required for normal cell growth and vein development in arabidopsis
S. Naramoto, T. Nodzyński, T. Dainobu, H. Takatsuka, T. Okada, J. Friml, H. Fukuda, Plant and Cell Physiology 55 (2014) 750–763.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2223 | OA
BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis
H. Tanaka, T. Nodzyński, S. Kitakura, M. Feraru, M. Sasabe, T. Ishikawa, J. Kleine Vehn, T. Kakimoto, J. Friml, Plant and Cell Physiology 55 (2014) 737–749.
View | Files available | DOI | Download Published Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2224
On secondary instabilities generating footbridges between spiral vortex flow
S. Altmeyer, Fluid Dynamics Research 46 (2014).
View | DOI
 
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: 2226 | OA
Transient growth of Ekman-Couette flow
L. Shi, B. Hof, A. Tilgner, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2228 | OA
A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons
H. Hu, P.M. Jonas, Nature Neuroscience 17 (2014) 686–693.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2229 | OA
Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse
N. Vyleta, P.M. Jonas, Science 343 (2014) 665–670.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2230 | OA
Stimfit: Quantifying electrophysiological data with Python
J. Guzmán, A. Schlögl, C. Schmidt Hieber, Frontiers in Neuroinformatics 8 (2014).
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2231 | OA
Noise and information transmission in promoters with multiple internal states
G. Rieckh, G. Tkačik, Biophysical Journal 106 (2014) 1194–1204.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
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 Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2233 | OA
Exact and approximate determinization of discounted-sum automata
U. Boker, T.A. Henzinger, Logical Methods in Computer Science 10 (2014).
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2234 | OA
Markov decision processes with multiple long-run average objectives
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, Logical Methods in Computer Science 10 (2014).
View | Files available | DOI | Download Published Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2235 | OA
Disease associations between honeybees and bumblebees as a threat to wild pollinators
M. Fürst, D. Mcmahon, J. Osborne, R. Paxton, M. Brown, Nature 506 (2014) 364–366.
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2236 | OA
How to fake auxiliary input
D. Jetchev, K.Z. Pietrzak, in:, Y. Lindell (Ed.), Springer, 2014, pp. 566–590.
View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2239
Battery transition systems
U. Boker, T.A. Henzinger, A. Radhakrishna, in:, ACM, 2014, pp. 595–606.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2240
The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants
Gadeyne A, Sánchez Rodríguez C, Vanneste S, Di Rubbo S, Zauber H, Vanneste K, Van Leene J, De Winne N, Eeckhout D, Persiau G, Van De Slijke E, Cannoot B, Vercruysse L, Mayers J, Adamowski M, Kania U, Ehrlich M, Schweighofer A, Ketelaar T, Maere S, Bednarek S, Friml J, Gevaert K, Witters E, Russinova E, Persson S, De Jaeger G, Van Damme D. 2014. The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants. Cell. 156(4), 691–704.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2241
Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage
K. Beppu, T. Sasaki, K. Tanaka, A. Yamanaka, Y. Fukazawa, R. Shigemoto, K. Matsui, Neuron 81 (2014) 314–320.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2242
A miR-155-dependent microRNA hierarchy in dendritic cell maturation and macrophage activation
A. Dueck, A. Eichner, M.K. Sixt, G. Meister, FEBS Letters 588 (2014) 632–640.
View | DOI
 
2014 | Book Chapter | IST-REx-ID: 2245
Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters
S. Simon, P. Skůpa, P. Dobrev, J. Petrášek, E. Zažímalová, J. Friml, in:, G. Hicks, S. Robert (Eds.), Plant Chemical Genomics, Springer, 2014, pp. 255–264.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2246 | OA
Alternating traps in Muller and parity games
A. Grinshpun, P. Phalitnonkiat, S. Rubin, A. Tarfulea, Theoretical Computer Science 521 (2014) 73–91.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2248
Thumbs down: A molecular-morphogenetic approach to avian digit homology
D. Capek, B. Metscher, G. Müller, Journal of Experimental Zoology Part B: Molecular and Developmental Evolution 322 (2014) 1–12.
View | DOI
 
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 Submitted Version (ext.)
 
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).
View | Files available | DOI | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 2253 | OA
Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth
A. Bailly, B. Wang, M. Zwiewka, S. Pollmann, D. Schenck, H. Lüthen, A. Schulz, J. Friml, M. Geisler, Plant Journal 77 (2014) 108–118.
View | DOI | Download Published Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2254 | OA
Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations
A. Pernia-Andrade, P.M. Jonas, Neuron 81 (2014) 140–152.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2255 | OA
Stable length estimates of tube-like shapes
H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision 50 (2014) 164–177.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2257 | OA
Searching for collective behavior in a large network of sensory neurons
G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).
View | Files available | DOI | Download Published Version (ext.)
 
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: 535 | OA
Polynomial time algorithms for energy games with special weight structures
K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, Algorithmica 70 (2014) 457–492.
View | DOI | Download Submitted Version (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: 5411 | OA
Compositional specifications for IOCO testing
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, Compositional Specifications for IOCO Testing, IST Austria, 2014.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5412 | OA
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: 5413 | OA
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: 5414 | OA
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: 5415 | OA
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2014.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5416 | OA
Model measuring for hybrid systems
T.A. Henzinger, J. Otop, Model Measuring for Hybrid Systems, IST Austria, 2014.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5417 | OA
From model checking to model measuring
T.A. Henzinger, J. Otop, From Model Checking to Model Measuring, IST Austria, 2014.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5418 | OA
Games with a weak adversary
K. Chatterjee, L. Doyen, Games with a Weak Adversary, IST Austria, 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: 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 | Technical Report | IST-REx-ID: 5421 | OA
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 | Technical Report | IST-REx-ID: 5423 | OA
A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
K. Chatterjee, A. Kössler, A. Pavlogiannis, 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 | OA
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 | Technical Report | IST-REx-ID: 5426 | OA
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 | Technical Report | IST-REx-ID: 5427 | OA
Optimal tree-decomposition balancing and reachability on low treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs, IST Austria, 2014.
View | Files available | DOI
 

Search

Filter Publications