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.




4031 Publications

2012 | Journal Article | IST-REx-ID: 3317 | OA
Eggermann, Emmanuel, et al. “Nanodomain Coupling between Ca(2+) Channels and Sensors of Exocytosis at Fast Mammalian Synapses.” Nature Reviews Neuroscience, vol. 13, no. 1, Nature Publishing Group, 2012, pp. 7–21, doi:10.1038/nrn3125.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3331 | OA
Kerber, Michael, and Michael Sagraloff. “A Worst Case Bound for Topology Computation of Algebraic Curves.” Journal of Symbolic Computation, vol. 47, no. 3, Elsevier, 2012, pp. 239–58, doi:10.1016/j.jsc.2011.11.001.
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3341 | OA
Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. Vol. 7213, Springer, 2012, pp. 270–85, doi:10.1007/978-3-642-28729-9_18.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 493 | OA
Tangermann, Michael, et al. “Review of the BCI Competition IV.” Frontiers in Neuroscience, vol. 6, 55, Frontiers Research Foundation, 2012, doi:10.3389/fnins.2012.00055.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 494
Boker, Udi, and Orna Kupferman. “Translating to Co-Büchi Made Tight, Unified, and Useful.” ACM Transactions on Computational Logic (TOCL), vol. 13, no. 4, 29, ACM, 2012, doi:10.1145/2362355.2362357.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 495 | OA
Kruckman, Alex, et al. “A Myhill Nerode Theorem for Automata with Advice.” Proceedings GandALF 2012, vol. 96, Open Publishing Association, 2012, pp. 238–46, doi:10.4204/EPTCS.96.18.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 496 | OA
Rabinovich, Alexander, and Sasha Rubin. Interpretations in Trees with Countably Many Branches. 6280474, IEEE, 2012, doi:10.1109/LICS.2012.65.
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 497 | OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Alternating Refinement Relations. Vol. 16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–82, doi:10.4230/LIPIcs.CSL.2012.167.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 498 | OA
Pickup, Melinda, et al. “Predicting Local Adaptation in Fragmented Plant Populations: Implications for Restoration Genetics.” Evolutionary Applications, vol. 5, no. 8, Wiley-Blackwell, 2012, pp. 913–24, doi:10.1111/j.1752-4571.2012.00284.x.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 506 | OA
Sixt, Michael K. “Cell Migration: Fibroblasts Find a New Way to Get Ahead.” Journal of Cell Biology, vol. 197, no. 3, Rockefeller University Press, 2012, pp. 347–49, doi:10.1083/jcb.201204039.
View | Files available | DOI
 
2012 | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee, Krishnendu, and Yaron Velner. Mean-Payoff Pushdown Games. IST Austria, 2012, doi:10.15479/AT:IST-2012-0002.
View | Files available | DOI
 
2012 | Technical Report | IST-REx-ID: 5378 | OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Alternating Refinement Relations. IST Austria, 2012, doi:10.15479/AT:IST-2012-0001.
View | Files available | DOI
 
2012 | Technical Report | IST-REx-ID: 5396 | OA
Korc, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. IST Austria, 2012, doi:10.15479/AT:IST-2012-0003.
View | Files available | DOI
 
2012 | Report | IST-REx-ID: 5398 | OA
Porsche, Jana. Actual State of Research Data @ ISTAustria. IST Austria, 2012.
View | Files available
 
2012 | Book Chapter | IST-REx-ID: 5745 | OA
Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” Automated Technology for Verification and Analysis, vol. 7561, Springer Berlin Heidelberg, 2012, pp. 107–21, doi:10.1007/978-3-642-33386-6_10.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 6588 | OA
Pausinger, Florian. “Elementary Solutions of the Bernstein Problem on Two Intervals.” Journal of Mathematical Physics, Analysis, Geometry, vol. 8, no. 1, B. Verkin Institute for Low Temperature Physics and Engineering, 2012, pp. 63–78.
View | Download Published Version (ext.) | WoS
 
2012 | Conference Paper | IST-REx-ID: 1384 | OA
Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 57, ACM, 2012, doi:10.1145/2393596.2393664.
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2048 | OA
Faust, Sebastian, et al. “Practical Leakage-Resilient Symmetric Cryptography.” Conference Proceedings CHES 2012, vol. 7428, Springer, 2012, pp. 213–32, doi:10.1007/978-3-642-33027-8_13.
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2049 | OA
Heyse, Stefan, et al. “Lapin: An Efficient Authentication Protocol Based on Ring-LPN.” Conference Proceedings FSE 2012, vol. 7549, Springer, 2012, pp. 346–65, doi:10.1007/978-3-642-34047-5_20.
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 2263 | OA
Liang, Huixuan, et al. “A Nestin-Cre Transgenic Mouse Is Insufficient for Recombination in Early Embryonic Neural Progenitors.” Biology Open, vol. 1, no. 12, The Company of Biologists, 2012, pp. 1200–03, doi:10.1242/bio.20122287.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2302
Henzinger, Thomas A., and Maria Mateescu. “The Propagation Approach for Computing Biochemical Reaction Networks.” IEEE ACM Transactions on Computational Biology and Bioinformatics, vol. 10, no. 2, IEEE, 2012, pp. 310–22, doi:10.1109/TCBB.2012.91.
View | DOI | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2318 | OA
Seiringer, Robert. “Absence of Bound States Implies Non-Negativity of the Scattering Length.” Journal of Spectral Theory, vol. 2, no. 3, European Mathematical Society, 2012, pp. 321–28, doi:10.4171/JST/31.
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 2411 | OA
Ebersberger, Ingo, et al. “A Consistent Phylogenetic Backbone for the Fungi.” Molecular Biology and Evolution, vol. 29, no. 5, Oxford University Press, 2012, pp. 1319–34, doi:10.1093/molbev/msr285.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2715 | OA
Chatterjee, Krishnendu, et al. Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives. Vol. 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 461–73, doi:10.4230/LIPIcs.FSTTCS.2012.461.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 9451 | OA
Ibarra, Christian A., et al. “Active DNA Demethylation in Plant Companion Cells Reinforces Transposon Methylation in Gametes.” Science, vol. 337, no. 6100, American Association for the Advancement of Science, 2012, pp. 1360–64, doi:10.1126/science.1224839.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 9497 | OA
Coleman-Derr, Devin, and Daniel Zilberman. “Deposition of Histone Variant H2A.Z within Gene Bodies Regulates Responsive Genes.” PLoS Genetics, vol. 8, no. 10, e1002988, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002988.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 9499 | OA
Kim, Sang Yeol, et al. “EMF1 and PRC2 Cooperate to Repress Key Regulators of Arabidopsis Development.” PLoS Genetics, vol. 8, no. 3, e1002512, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002512.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 9528
Huff, Jason T., and Daniel Zilberman. “Regulation of Biological Accuracy, Precision, and Memory by Plant Chromatin Organization.” Current Opinion in Genetics and Development, vol. 22, no. 2, Elsevier, 2012, pp. 132–38, doi:10.1016/j.gde.2012.01.007.
View | DOI | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 9535 | OA
Coleman-Derr, D., and Daniel Zilberman. “DNA Methylation, H2A.Z, and the Regulation of Constitutive Expression.” Cold Spring Harbor Symposia on Quantitative Biology, vol. 77, Cold Spring Harbor Laboratory Press, 2012, pp. 147–54, doi:10.1101/sqb.2012.77.014944.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3836
Ghosal, Arkadeb, et al. “Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code.” Science of Computer Programming, vol. 77, no. 2, Elsevier, 2012, pp. 96–112, doi:10.1016/j.scico.2010.06.004.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3846 | OA
Chatterjee, Krishnendu, and Thomas A. Henzinger. “A Survey of Stochastic ω Regular Games.” Journal of Computer and System Sciences, vol. 78, no. 2, Elsevier, 2012, pp. 394–413, doi:10.1016/j.jcss.2011.05.002.
View | Files available | DOI | Download Submitted Version (ext.)
 
2012 | Journal Article | IST-REx-ID: 3118 | OA
Bojsen-Hansen, Morten, et al. “Tracking Surfaces with Evolving Topology.” ACM Transactions on Graphics, vol. 31, no. 4, 53, ACM, 2012, doi:10.1145/2185520.2185549.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3248 | OA
Lampert, Christoph, and Jan Peters. “Real-Time Detection of Colored Objects in Multiple Camera Streams with off-the-Shelf Hardware Components.” Journal of Real-Time Image Processing, vol. 7, no. 1, Springer, 2012, pp. 31–41, doi:10.1007/s11554-010-0168-3.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3134
Edelsbrunner, Herbert, et al. “Add Isotropic Gaussian Kernels at Own Risk: More and More Resilient Modes in Higher Dimensions.” Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 91–100, doi:10.1145/2261250.2261265.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 10906 | OA
Grebenshchikov, Sergey, et al. “HSF(C): A Software Verifier Based on Horn Clauses.” Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara König, vol. 7214, Springer, 2012, pp. 549–51, doi:10.1007/978-3-642-28756-5_46.
View | DOI | Download Published Version (ext.)
 
2012 | Conference Paper | IST-REx-ID: 10903
Bouajjani, Ahmed, et al. “Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.” Automated Technology for Verification and Analysis, vol. 7561, Springer, 2012, pp. 167–82, doi:10.1007/978-3-642-33386-6_14.
View | DOI
 
2012 | Book Chapter | IST-REx-ID: 10896
zur Nedden, Stephanie, et al. “The Double-Edged Sword: Gaining Adenosine at the Expense of ATP. How to Balance the Books.” Adenosine, edited by Susan Masino and Detlev Boison, 1st ed., Springer, 2012, pp. 109–29, doi:10.1007/978-1-4614-3903-5_6.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 10905
Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” Algorithms – ESA 2012, edited by Leah Epstein and Paolo Ferragina, vol. 7501, Springer, 2012, pp. 301–12, doi:10.1007/978-3-642-33090-2_27.
View | Files available | DOI | arXiv
 
2012 | Conference Paper | IST-REx-ID: 3165
Chatterjee, Krishnendu, and Monika H. Henzinger. “An O(N2) Time Algorithm for Alternating Büchi Games.” Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2012, pp. 1386–99, doi:10.1137/1.9781611973099.109.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 10904
Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” CONCUR 2012 - Concurrency Theory, edited by Maciej Koutny and Irek Ulidowski, vol. 7454, Springer, 2012, pp. 115–31, doi:10.1007/978-3-642-32940-1_10.
View | Files available | DOI | arXiv
 
2012 | Journal Article | IST-REx-ID: 3242 | OA
Konrad, Matthias, et al. “Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies.” PLoS Biology, vol. 10, no. 4, e1001300, Public Library of Science, 2012, doi:10.1371/journal.pbio.1001300.
View | Files available | DOI
 
2012 | Research Data Reference | IST-REx-ID: 9755 | OA
Konrad, Matthias, et al. Data from: Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies. Dryad, 2012, doi:10.5061/dryad.sv37s.
View | Files available | DOI | Download Published Version (ext.)
 
2012 | Research Data Reference | IST-REx-ID: 9757 | OA
Tragust, Simon, et al. Data from: Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison. Dryad, 2012, doi:10.5061/dryad.61649.
View | Files available | DOI | Download Published Version (ext.)
 
2012 | Research Data Reference | IST-REx-ID: 9758 | OA
Aeschbacher, Simon, et al. Data from: Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates. Dryad, 2012, doi:10.5061/dryad.274b1.
View | Files available | DOI | Download Published Version (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3163
Lampert, Christoph. Maximum Margin Multi-Label Structured Prediction. Neural Information Processing Systems, 2011.
View | Files available
 
2011 | Conference Paper | IST-REx-ID: 3264
Gupta, Ashutosh, et al. Solving Recursion-Free Horn Clauses over LI+UIF. Edited by Hongseok Yang, vol. 7078, Springer, 2011, pp. 188–203, doi:10.1007/978-3-642-25318-8_16.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3266
Ion, Adrian, et al. “Probabilistic Joint Image Segmentation and Labeling.” NIPS Proceedings, vol. 24, Neural Information Processing Systems Foundation, 2011, pp. 1827–35.
View
 
2011 | Journal Article | IST-REx-ID: 3269 | OA
Sheng, Yu, et al. “Perceptual Global Illumination Cancellation in Complex Projection Environments.” Computer Graphics Forum, vol. 30, no. 4, Wiley-Blackwell, 2011, pp. 1261–68, doi:10.1111/j.1467-8659.2011.01985.x.
View | DOI | Download Published Version (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3270
Chen, Chao, and Michael Kerber. Persistent Homology Computation with a Twist. TU Dortmund, 2011, pp. 197–200.
View
 
2011 | Book Chapter | IST-REx-ID: 3271
Wagner, Hubert, et al. “Efficient Computation of Persistent Homology for Cubical Data.” Topological Methods in Data Analysis and Visualization II, edited by Ronald Peikert et al., Springer, 2011, pp. 91–106, doi:10.1007/978-3-642-23175-9_7.
View | DOI
 

Search

Filter Publications