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.




3220 Publications

2014 | Conference Paper | IST-REx-ID: 2239
Boker, Udi, et al. Battery Transition Systems. Vol. 49, no. 1, ACM, 2014, pp. 595–606, doi:10.1145/2535838.2535875.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2240
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
Beppu, Kaoru, et al. “Optogenetic Countering of Glial Acidosis Suppresses Glial Glutamate Release and Ischemic Brain Damage.” Neuron, vol. 81, no. 2, Elsevier, 2014, pp. 314–20, doi:10.1016/j.neuron.2013.11.011.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2242
Dueck, Anne, et al. “A MiR-155-Dependent MicroRNA Hierarchy in Dendritic Cell Maturation and Macrophage Activation.” FEBS Letters, vol. 588, no. 4, Elsevier, 2014, pp. 632–40, doi:10.1016/j.febslet.2014.01.009.
View | DOI
 
2014 | Book Chapter | IST-REx-ID: 2245
Simon, Sibu, et al. “Analyzing the in Vivo Status of Exogenously Applied Auxins: A HPLC-Based Method to Characterize the Intracellularly Localized Auxin Transporters.” Plant Chemical Genomics, edited by Glenn Hicks and Stéphanie Robert, vol. 1056, Springer, 2014, pp. 255–64, doi:10.1007/978-1-62703-592-7_23.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2246 | OA
Grinshpun, Andrey, et al. “Alternating Traps in Muller and Parity Games.” Theoretical Computer Science, vol. 521, Elsevier, 2014, pp. 73–91, doi:10.1016/j.tcs.2013.11.032.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2248
Capek, Daniel, et al. “Thumbs down: A Molecular-Morphogenetic Approach to Avian Digit Homology.” Journal of Experimental Zoology Part B: Molecular and Developmental Evolution, vol. 322, no. 1, Wiley-Blackwell, 2014, pp. 1–12, doi:10.1002/jez.b.22545.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2249 | OA
Chen, Yani, et al. “Inter-Regulation of the Unfolded Protein Response and Auxin Signaling.” Plant Journal, vol. 77, no. 1, Wiley-Blackwell, 2014, pp. 97–107, doi:10.1111/tpj.12373.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2251 | OA
Csicsvari, Jozsef L., and David 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, 20120528, Royal Society, The, 2014, doi:10.1098/rstb.2012.0528.
View | Files available | DOI | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 2253 | OA
Bailly, Aurélien, 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, 2014, pp. 108–18, doi:10.1111/tpj.12369.
View | DOI | Download Published Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2254 | OA
Pernia-Andrade, Alejandro, and Peter 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, 2014, pp. 140–52, doi:10.1016/j.neuron.2013.09.046.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2255 | OA
Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates of Tube-like Shapes.” Journal of Mathematical Imaging and Vision, vol. 50, no. 1, Springer, 2014, pp. 164–77, doi:10.1007/s10851-013-0468-x.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2257 | OA
Tkačik, Gašper, et al. “Searching for Collective Behavior in a Large Network of Sensory Neurons.” PLoS Computational Biology, vol. 10, no. 1, e1003408, Public Library of Science, 2014, doi:10.1371/journal.pcbi.1003408.
View | Files available | DOI | Download Published Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 468 | OA
Cimadom, Arno, et al. “Invasive Parasites Habitat Change and Heavy Rainfall Reduce Breeding Success in Darwin’s Finches.” PLoS One, vol. 9, no. 9, 0107518, Public Library of Science, 2014, doi:10.1371/journal.pone.0107518.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 475 | OA
Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.” Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 146, Open Publishing Association, 2014, pp. 83–90, doi:10.4204/EPTCS.146.11.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 535 | OA
Chatterjee, Krishnendu, et al. “Polynomial Time Algorithms for Energy Games with Special Weight Structures.” Algorithmica, vol. 70, no. 3, Springer, 2014, pp. 457–92, doi:10.1007/s00453-013-9843-7.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 537 | OA
Prizak, Roshan, et al. “Fitness Consequences of Maternal and Grandmaternal Effects.” Ecology and Evolution, vol. 4, no. 15, Wiley-Blackwell, 2014, pp. 3139–45, doi:10.1002/ece3.1150.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5411 | OA
Daca, Przemyslaw, et al. Compositional Specifications for IOCO Testing. IST Austria, 2014, doi:10.15479/AT:IST-2014-148-v2-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5412 | OA
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5413 | OA
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v2-2.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5414 | OA
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v3-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi:10.15479/AT:IST-2014-170-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5416 | OA
Henzinger, Thomas A., and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-171-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5417 | OA
Henzinger, Thomas A., and Jan Otop. From Model Checking to Model Measuring. IST Austria, 2014, doi:10.15479/AT:IST-2014-172-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5418 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Games with a Weak Adversary. IST Austria, 2014, doi:10.15479/AT:IST-2014-176-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5419 | OA
Chatterjee, Krishnendu, et al. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-187-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5420 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-191-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5421 | OA
Chatterjee, Krishnendu, et al. The Complexity of Evolution on Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-190-v2-2.
View | Files available | DOI
 
2014 | Report | IST-REx-ID: 5422 | OA
Porsche, Jana. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.
View | Files available
 
2014 | Technical Report | IST-REx-ID: 5423 | OA
Chatterjee, Krishnendu, et al. 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.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5424 | OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5426 | OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v2-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5427 | OA
Chatterjee, Krishnendu, et al. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-314-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5428 | OA
Chatterjee, Krishnendu, et al. Quantitative Fair Simulation Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-315-v1-1.
View | Files available | DOI
 
2014 | Book Chapter | IST-REx-ID: 6178
Smutny, Michael, et al. “UV Laser Ablation to Measure Cell and Tissue-Generated Forces in the Zebrafish Embryo in Vivo and Ex Vivo.” Tissue Morphogenesis, edited by Celeste Nelson, vol. 1189, Springer, 2014, pp. 219–35, doi:10.1007/978-1-4939-1164-6_15.
View | DOI | PubMed | Europe PMC
 
2014 | Book | IST-REx-ID: 6853
Edelsbrunner, Herbert. A Short Course in Computational Geometry and Topology. Springer International Publishing, 2014, doi:10.1007/978-3-319-05957-0.
View | Files available | DOI
 
2014 | Working Paper | IST-REx-ID: 7038 | OA
Huszár, Kristóf, and Michal Rolinek. Playful Math - An Introduction to Mathematical Games. IST Austria.
View | Files available
 
2014 | Journal Article | IST-REx-ID: 1375 | OA
Chatterjee, Krishnendu, et al. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science, vol. 547, no. C, Elsevier, 2014, pp. 104–16, doi:10.1016/j.tcs.2014.06.031.
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1392 | OA
Dragoi, Cezara, et al. A Logic-Based Framework for Verifying Consensus Algorithms. Vol. 8318, Springer, 2014, pp. 161–81, doi:10.1007/978-3-642-54013-4_10.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1393 | OA
Gordon, Andrew, et al. “Probabilistic Programming.” Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–81, doi:10.1145/2593882.2593900.
View | DOI | Download Published Version (ext.)
 
2014 | Thesis | IST-REx-ID: 1395
Konrad, Matthias. Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus. IST Austria, 2014.
View
 
2014 | Thesis | IST-REx-ID: 1402
Marhavá, Petra. Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana. IST Austria, 2014.
View
 
2014 | Thesis | IST-REx-ID: 1403
Behrndt, Martin. Forces Driving Epithelial Spreading in Zebrafish Epiboly. IST Austria, 2014.
View | Files available
 
2014 | Thesis | IST-REx-ID: 1404
Stock, Miriam. Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants. IST Austria, 2014.
View
 
2014 | Conference Paper | IST-REx-ID: 1507 | OA
Erdös, László. Random Matrices, Log-Gases and Hölder Regularity. Vol. 3, Kyung Moon SA Co. Ltd., 2014, pp. 214–36.
View | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1516 | OA
Bräunlich, Gerhard, et al. “On the BCS Gap Equation for Superfluid Fermionic Gases.” Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–37, doi:10.1142/9789814618144_0007.
View | DOI | Download Preprint (ext.) | arXiv
 
2014 | Journal Article | IST-REx-ID: 1532
Yang, Huaiyu, et al. “Auxin-Modulated Root Growth Inhibition in Arabidopsis Thaliana Seedlings with Ammonium as the Sole Nitrogen Source.” Functional Plant Biology, vol. 42, no. 3, CSIRO, 2014, pp. 239–51, doi:10.1071/FP14171.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1629 | OA
Guerrero, Paul, et al. “Edit Propagation Using Geometric Relationship Functions.” ACM Transactions on Graphics, vol. 33, no. 2, 15, ACM, 2014, doi:10.1145/2591010.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1643 | OA
Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” SCN 2014, edited by Michel Abdalla and Roberto De Prisco, vol. 8642, Springer, 2014, pp. 95–114, doi:10.1007/978-3-319-10879-7_7.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 3263 | OA
Tkačik, Gašper, et al. “Adaptation to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.” PLoS One, vol. 9, no. 1, e85841, Public Library of Science, 2014, doi:10.1371/journal.pone.0085841.
View | Files available | DOI
 

Search

Filter Publications