Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2601 Publications


2012 | Journal Article | IST-REx-ID: 3121   OA
Williams, Courtney, Wenyan Chen, Chia Lee, Daniel Yaeger, Nicholas Vyleta, and Stephen Smith. “Coactivation of Multiple Tightly Coupled Calcium Channels Triggers Spontaneous Release of GABA.” Nature Neuroscience 15, no. 9 (2012): 1195–97. https://doi.org/10.1038/nn.3162.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 3133   OA
Edelsbrunner, Herbert, and Michael Kerber. “Alexander Duality for Functions: The Persistent Behavior of Land and Water and Shore.” In Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , 249–58. ACM, 2012. https://doi.org/10.1145/2261250.2261287.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3126
Müller, Andreas, Sebastian Nowozin, and Christoph Lampert. “Information Theoretic Clustering Using Minimal Spanning Trees,” 7476:205–15. Springer, 2012. https://doi.org/10.1007/978-3-642-32717-9_21.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3164
Blaschko, Matthew, and Christoph Lampert. “Guest Editorial: Special Issue on Structured Prediction and Inference.” International Journal of Computer Vision 99, no. 3 (2012): 257–58. https://doi.org/10.1007/s11263-012-0530-y.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3265
Ion, Adrian, Joao Carreira, and Cristian Sminchisescu. “Image Segmentation by Figure-Ground Composition into Maximal Cliques.” IEEE, 2012. https://doi.org/10.1109/ICCV.2011.6126486.
View | DOI
 

2012 | Book Chapter | IST-REx-ID: 3277
Vladar, Harold de, and Julian Chela Flores. “Can the Evolution of Multicellularity Be Anticipated in the Exploration of the Solar System?” In Life on Earth and Other Planetary Bodies, 24:387–405. Springer, 2012. https://doi.org/10.1007/978-94-007-4966-5_22.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3289   OA
Pereira, Anna, Flávia Leite, Bruno Brasil, Jamaria Soares Martins, Alice Torres, Paulo Pimenta, Thais Souto Padrón, et al. “A Vaccinia Virus-Driven Interplay between the MKK4/7-JNK1/2 Pathway and Cytoskeleton Reorganization.” Journal of Virology 86, no. 1 (2012): 172–84. https://doi.org/10.1128/JVI.05638-11.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3258   OA
Kim, Sooyun, José Guzmán, Hua Hu, and Peter M Jonas. “Active Dendrites Support Efficient Initiation of Dendritic Spikes in Hippocampal CA3 Pyramidal Neurons.” Nature Neuroscience 15, no. 4 (2012): 600–606. https://doi.org/10.1038/nn.3060.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 3253
Bouajjani, Ahmed, Cezara Dragoi, Constantin Enea, and Mihaela Sighireanu. “Abstract Domains for Automated Reasoning about List Manipulating Programs with Infinite Data,” 7148:1–22. Springer, 2012. https://doi.org/10.1007/978-3-642-27940-9_1.
View | DOI
 

2012 | Thesis | IST-REx-ID: 2964
Kim, Sooyun. Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites. IST Austria, 2012.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 493   OA
Tangermann, Michael, Klaus Müller, Ad Aertsen, Niels Birbaumer, Christoph Braun, Clemens Brunner, Robert Leeb, et al. “Review of the BCI Competition IV.” Frontiers in Neuroscience 6 (2012). https://doi.org/10.3389/fnins.2012.00055.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 498   OA
Pickup, Melinda, David Field, David Rowell, and Andrew Young. “Predicting Local Adaptation in Fragmented Plant Populations: Implications for Restoration Genetics.” Evolutionary Applications 5, no. 8 (2012): 913–24. https://doi.org/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 197, no. 3 (2012): 347–49. https://doi.org/10.1083/jcb.201204039.
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 | Journal Article | IST-REx-ID: 3246
Barone, Vanessa, and Carl-Philipp J Heisenberg. “Cell Adhesion in Embryo Morphogenesis.” Current Opinion in Cell Biology 24, no. 1 (2012): 148–53. https://doi.org/10.1016/j.ceb.2011.11.006.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 1384   OA
Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp Wendler. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM, 2012. https://doi.org/10.1145/2393596.2393664.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3157   OA
Diaz Jr, Luis, Richard Williams, Jian Wu, Isaac Kinde, Joel Hecht, Jordan Berlin, Benjamin Allen, et al. “The Molecular Evolution of Acquired Resistance to Targeted EGFR Blockade in Colorectal Cancers.” Nature 486, no. 7404 (2012): 537–40. https://doi.org/10.1038/nature11219.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 2957   OA
Chatterjee, Krishnendu, and Mathieu Tracol. “Decidable Problems for Probabilistic Automata on Infinite Words.” In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, 2012. https://doi.org/10.1109/LICS.2012.29.
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3260   OA
Chatterjee, Krishnendu, Johannes Reiter, and Martin Nowak. “Evolutionary Dynamics of Biological Auctions.” Theoretical Population Biology 81, no. 1 (2012): 69–80. https://doi.org/10.1016/j.tpb.2011.11.003.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2263   OA
Liang, Huixuan, Simon Hippenmeyer, and H. Ghashghaei. “A Nestin-Cre Transgenic Mouse Is Insufficient for Recombination in Early Embryonic Neural Progenitors.” Biology Open 1, no. 12 (2012): 1200–1203. https://doi.org/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 10, no. 2 (2012): 310–22. https://doi.org/10.1109/TCBB.2012.91.
View | DOI | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 2903   OA
Edelsbrunner, Herbert, and Olga Symonova. “The Adaptive Topology of a Digital Image,” 41–48. IEEE, 2012. https://doi.org/10.1109/ISVD.2012.11.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2915
Kroemer, Oliver, Christoph Lampert, and Jan Peters. “Multi-Modal Learning for Dynamic Tactile Sensing.” Deutsches Zentrum für Luft und Raumfahrt, 2012.
View
 

2012 | Journal Article | IST-REx-ID: 2958   OA
Allen, Kevin, J Nick Rawlins, David Bannerman, and Jozsef L Csicsvari. “Hippocampal Place Cells Can Encode Multiple Trial-Dependent Features through Rate Remapping.” Journal of Neuroscience 32, no. 42 (2012): 14752–66. https://doi.org/10.1523/JNEUROSCI.6175-11.2012.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2941   OA
Dolbilin, Nikolai, Herbert Edelsbrunner, and Oleg Musin. “On the Optimality of Functionals over Triangulations of Delaunay Sets.” Russian Mathematical Surveys 67, no. 4 (2012): 781–83. https://doi.org/10.1070/RM2012v067n04ABEH004807.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2946   OA
Dueck, Anne, Christian Ziegler, Alexander Eichner, Eugène Berezikov, and Gunter Meister. “MicroRNAs Associated with the Different Human Argonaute Proteins.” Nucleic Acids Research 40, no. 19 (2012): 9850–62. https://doi.org/10.1093/nar/gks705.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2965   OA
Danowski, Patrick. “Kontext Open Access: Creative Commons.” Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare 65, no. 2 (2012): 200–212.
View | Files available | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2953
Heisenberg, Carl-Philipp J, and Reinhard Fässler. “Cell-Cell Adhesion and Extracellular Matrix Diversity Counts.” Current Opinion in Cell Biology 24, no. 5 (2012): 559–61. https://doi.org/10.1016/j.ceb.2012.09.002.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3122
Field, David, and Spencer Barrett. “Disassortative Mating and the Maintenance of Sexual Polymorphism in Painted Maple.” Molecular Ecology 21, no. 15 (2012): 3640–43. https://doi.org/10.1111/j.1365-294X.2012.05643.x.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3127   OA
Quadrianto, Novi, Christoph Lampert, and Chao Chen. “The Most Persistent Soft-Clique in a Set of Sampled Graphs.” In Proceedings of the 29th International Conference on Machine Learning, 211–18. Omnipress, 2012.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3134
Edelsbrunner, Herbert, Brittany Fasy, and Günter Rote. “Add Isotropic Gaussian Kernels at Own Risk: More and More Resilient Modes in Higher Dimensions.” In Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , 91–100. ACM, 2012. https://doi.org/10.1145/2261250.2261265.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3242   OA
Konrad, Matthias, Meghan Vyleta, Fabian Theis, Miriam Stock, Simon Tragust, Martina Klatt, Verena Drescher, Carsten Marr, Line V Ugelvig, and Sylvia Cremer. “Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies.” PLoS Biology 10, no. 4 (2012). https://doi.org/10.1371/journal.pbio.1001300.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3158   OA
Schachtner, Hannah, Ang Li, David Stevenson, Simon Calaminus, Steven Thomas, Steve Watson, Michael K Sixt, Roland Wedlich Söldner, Douglas Strathdee, and Laura Machesky. “Tissue Inducible Lifeact Expression Allows Visualization of Actin Dynamics in Vivo and Ex Vivo.” European Journal of Cell Biology 91, no. 11–12 (2012): 923–29. https://doi.org/10.1016/j.ejcb.2012.04.002.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3160
Pantazis, Periklis, and Tobias Bollenbach. “Transcription Factor Kinetics and the Emerging Asymmetry in the Early Mammalian Embryo.” Cell Cycle 11, no. 11 (2012): 2055–58. https://doi.org/10.4161/cc.20118.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3280   OA
Pietrzak, Krzysztof Z. “Subspace LWE,” 7194:548–63. Springer, 2012. https://doi.org/10.1007/978-3-642-28914-9_31.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3317   OA
Eggermann, Emmanuel, Iancu Bucurenciu, Sarit Goswami, and Peter M Jonas. “Nanodomain Coupling between Ca(2+) Channels and Sensors of Exocytosis at Fast Mammalian Synapses.” Nature Reviews Neuroscience 13, no. 1 (2012): 7–21. https://doi.org/10.1038/nrn3125.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3247
Vilaça, Sibelle, Rodrigo A Fernandes Redondo, Lívia Lins, and Fabrício Santos. “Remaining Genetic Diversity in Brazilian Merganser (Mergus Octosetaceus).” Conservation Genetics 13, no. 1 (2012): 293–98. https://doi.org/10.1007/s10592-011-0262-5.
View | 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 47, no. 3 (2012): 239–58. https://doi.org/10.1016/j.jsc.2011.11.001.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3115
Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Deconstructing Approximate Offsets.” Discrete & Computational Geometry 48, no. 4 (2012): 964–89. https://doi.org/10.1007/s00454-012-9441-5.
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3836
Ghosal, Arkadeb, Daniel Iercan, Christoph Kirsch, Thomas A Henzinger, and Alberto Sangiovanni Vincentelli. “Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code.” Science of Computer Programming 77, no. 2 (2012): 96–112. https://doi.org/10.1016/j.scico.2010.06.004.
View | 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) 13, no. 4 (2012). https://doi.org/10.1145/2362355.2362357.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2888
Henzinger, Thomas A. “Quantitative Reactive Models.” In Conference Proceedings MODELS 2012, 7590:1–2. Springer, 2012. https://doi.org/10.1007/978-3-642-33666-9_1.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2890
Cerny, Pavol, Sivakanth Gopi, Thomas A Henzinger, Arjun Radhakrishna, and Nishant Totla. “Synthesis from Incompatible Specifications.” In Proceedings of the Tenth ACM International Conference on Embedded Software, 53–62. ACM, 2012. https://doi.org/10.1145/2380356.2380371.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2972   OA
Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games.” Theoretical Computer Science 458 (2012): 49–60. https://doi.org/10.1016/j.tcs.2012.07.038.
View | Files available | DOI | arXiv
 

2012 | Conference Paper | IST-REx-ID: 3165
Chatterjee, Krishnendu, and Monika Henzinger. “An O(N2) Time Algorithm for Alternating Büchi Games.” In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, 1386–99. SIAM, 2012. https://doi.org/10.1137/1.9781611973099.109.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3254
Chatterjee, Krishnendu. “The Complexity of Stochastic Müller Games.” Information and Computation 211 (2012): 29–48. https://doi.org/10.1016/j.ic.2011.11.004.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2048   OA
Faust, Sebastian, Krzysztof Z Pietrzak, and Joachim Schipper. “Practical Leakage-Resilient Symmetric Cryptography.” In Conference Proceedings CHES 2012, 7428:213–32. Springer, 2012. https://doi.org/10.1007/978-3-642-33027-8_13.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2411   OA
Ebersberger, Ingo, Ricardo De Matos Simoes, Anne Kupczok, Matthias Gube, Erika Kothe, Kerstin Voigt, and Arndt Von Haeseler. “A Consistent Phylogenetic Backbone for the Fungi.” Molecular Biology and Evolution 29, no. 5 (2012): 1319–34. https://doi.org/10.1093/molbev/msr285.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2904   OA
Pausinger, Florian. “Weak Multipliers for Generalized van Der Corput Sequences.” Journal de Theorie Des Nombres Des Bordeaux 24, no. 3 (2012): 729–49. https://doi.org/10.5802/jtnb.819.
View | DOI | Download (ext.)
 

2012 | Preprint | IST-REx-ID: 2928   OA
Kolmogorov, Vladimir, and Thomas Schoenemann. “Generalized Sequential Tree-Reweighted Message Passing.” ArXiv. ArXiv, 2012.
View | Download (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2930   OA
Huber, Anna, and Vladimir Kolmogorov. “Towards Minimizing K-Submodular Functions,” 7422:451–62. Springer, 2012. https://doi.org/10.1007/978-3-642-32147-4_40.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2959   OA
Uhler, Caroline. “Geometry of Maximum Likelihood Estimation in Gaussian Graphical Models.” Annals of Statistics 40, no. 1 (2012): 238–61. https://doi.org/10.1214/11-AOS957.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2954   OA
Pernia-Andrade, Alejandro, Sarit Goswami, Yvonne Stickler, Ulrich Fröbe, Alois Schlögl, and Peter M Jonas. “A Deconvolution Based Method with High Sensitivity and Temporal Resolution for Detection of Spontaneous Synaptic Currents in Vitro and in Vivo.” Biophysical Journal 103, no. 7 (2012): 1429–39. https://doi.org/10.1016/j.bpj.2012.08.039.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2966   OA
Cremer, Sylvia, Masaki Suefuji, Alexandra Schrempf, and Jürgen Heinze. “The Dynamics of Male-Male Competition in Cardiocondyla Obscurior Ants.” BMC Ecology 12 (2012). https://doi.org/10.1186/1472-6785-12-7.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3159   OA
Mileyko, Yuriy, Herbert Edelsbrunner, Charles Price, and Joshua Weitz. “Hierarchical Ordering of Reticular Networks.” PLoS One 7, no. 6 (2012). https://doi.org/10.1371/journal.pone.0036715.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3161   OA
Vyleta, Meghan, John Wong, and Bruce Magun. “Suppression of Ribosomal Function Triggers Innate Immune Signaling through Activation of the NLRP3 Inflammasome.” PLoS One 7, no. 5 (2012). https://doi.org/10.1371/journal.pone.0036044.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3123   OA
Yu, Jihun, Christopher J Wojtan, Greg Turk, and Chee Yap. “Explicit Mesh Surfaces for Particle Based Fluids.” In Computer Graphics Forum, 31:815–24. Blackwell Publishing, 2012. https://doi.org/10.1111/j.1467-8659.2012.03062.x.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3130   OA
Bergmiller, Tobias, Martin Ackermann, and Olin Silander. “Patterns of Evolutionary Conservation of Essential Genes Correlate with Their Compensability.” PLoS Genetics 8, no. 6 (2012). https://doi.org/10.1371/journal.pgen.1002803.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3166   OA
Vladar, Harold. “Amino Acid Fermentation at the Origin of the Genetic Code.” Biology Direct 7 (2012). https://doi.org/10.1186/1745-6150-7-6.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3262   OA
Tkacik, Gasper, Aleksandra Walczak, and William Bialek. “Optimizing Information Flow in Small Genetic Networks. III. A Self-Interacting Gene.” Physical Review E Statistical Nonlinear and Soft Matter Physics 85, no. 4 (2012). https://doi.org/10.1103/PhysRevE.85.041903.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3274
Rieckh, Georg, Wolfgang Kreuzer, Holger Waubke, and Peter Balazs. “A 2.5D-Fourier-BEM Model for Vibrations in a Tunnel Running through Layered Anisotropic Soil.” Engineering Analysis with Boundary Elements 36, no. 6 (2012): 960–67. https://doi.org/10.1016/j.enganabound.2011.12.014.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3279
Jain, Abhishek, Krzysztof Z Pietrzak, and Aris Tentes. “Hardness Preserving Constructions of Pseudorandom Functions,” 7194:369–82. Springer, 2012. https://doi.org/10.1007/978-3-642-28914-9_21.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3281
Pietrzak, Krzysztof Z, Alon Rosen, and Gil Segev. “Lossy Functions Do Not Amplify Well,” 7194:458–75. Springer, 2012. https://doi.org/10.1007/978-3-642-28914-9_26.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3250
Pietrzak, Krzysztof Z. “Cryptography from Learning Parity with Noise,” 7147:99–114. Springer, 2012. https://doi.org/10.1007/978-3-642-27660-6_9.
View | 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 7, no. 1 (2012): 31–41. https://doi.org/10.1007/s11554-010-0168-3.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3243
Danowski, Patrick. “Zwischen Technologie und Information.” Büchereiperspektiven 1/2012 (2012): 11.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2891   OA
Boker, Udi, and Thomas A Henzinger. “Approximate Determinization of Quantitative Automata.” In Leibniz International Proceedings in Informatics, 18:362–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2916   OA
Cerny, Pavol, Martin Chmelik, Thomas A Henzinger, and Arjun Radhakrishna. “Interface Simulation Distances.” In Electronic Proceedings in Theoretical Computer Science, 96:29–42. EPTCS, 2012. https://doi.org/10.4204/EPTCS.96.3.
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2942
Henzinger, Thomas A, and Dejan Nickovic. “Independent Implementability of Viewpoints.” In Conference Proceedings Monterey Workshop 2012, 7539:380–95. Springer, 2012. https://doi.org/10.1007/978-3-642-34059-8_20.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2947   OA
Chatterjee, Krishnendu, Martin Chmelik, and Ritankar Majumdar. “Equivalence of Games with Probabilistic Uncertainty and Partial Observation Games,” 7561:385–99. Springer, 2012. https://doi.org/10.1007/978-3-642-33386-6_30.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3128   OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Partial-Observation Stochastic Parity Games.” Formal Methods in System Design 43, no. 2 (2012): 268–84. https://doi.org/10.1007/s10703-012-0164-2.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3135   OA
Brázdil, Brázdil, Krishnendu Chatterjee, Antonín Kučera, and Petr Novotny. “Efficient Controller Synthesis for Consumption Games with Multiple Resource Types,” 7358:23–38. Springer, 2012. https://doi.org/10.1007/978-3-642-31424-7_8.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3255
Chatterjee, Krishnendu, and Laurent Doyen. “Games and Markov Decision Processes with Mean Payoff Parity and Energy Parity Objectives,” 7119:37–46. Springer, 2012. https://doi.org/10.1007/978-3-642-25929-6_3.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 495   OA
Kruckman, Alex, Sasha Rubin, John Sheridan, and Ben Zax. “A Myhill Nerode Theorem for Automata with Advice.” In Proceedings GandALF 2012, 96:238–46. Open Publishing Association, 2012. https://doi.org/10.4204/EPTCS.96.18.
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 8, no. 1 (2012): 63–78.
View | Download (ext.) | WoS
 

2011 | Conference Paper | IST-REx-ID: 3270
Chen, Chao, and Michael Kerber. “Persistent Homology Computation with a Twist,” 197–200. TU Dortmund, 2011.
View
 

2011 | Thesis | IST-REx-ID: 3275
Schumann, Kathrin. The Role of Chemotactic Gradients in Dendritic Cell Migration. IST Austria, 2011.
View | Files available
 

2011 | Journal Article | IST-REx-ID: 3287
Ruprecht, Verena, Markus Axmann, Stefan Wieser, and Gerhard Schuetz. “What Can We Learn from Single Molecule Trajectories?” Current Protein & Peptide Science 12, no. 8 (2011): 714–24. https://doi.org/10.2174/138920311798841753.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3299   OA
Henzinger, Thomas A, and Maria Mateescu. “Propagation Models for Computing Biochemical Reaction Networks,” 1–3. Springer, 2011. https://doi.org/10.1145/2037509.2037510.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3302   OA
Henzinger, Thomas A, Anmol Singh, Vasu Singh, Thomas Wies, and Damien Zufferey. “Static Scheduling in Clouds,” 1–6. USENIX, 2011.
View | Files available
 

2011 | Journal Article | IST-REx-ID: 3352
Fisher, Jasmin, David Harel, and Thomas A Henzinger. “Biology as Reactivity.” Communications of the ACM 54, no. 10 (2011): 72–82. https://doi.org/10.1145/2001269.2001289.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3319
Quadrianto, Novi, and Christoph Lampert. “Learning Multi-View Neighborhood Preserving Projections,” 425–32. Omnipress, 2011.
View
 

2011 | Conference Paper | IST-REx-ID: 3326
Almagor, Shaull, Udi Boker, and Orna Kupferman. “What’s Decidable about Weighted Automata .” edited by Tevfik Bultan and Pao-Ann Hsiung, 6996:482–91. Springer, 2011. https://doi.org/10.1007/978-3-642-24372-1_37.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3357
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “The Complexity of Request-Response Games.” edited by Adrian-Horia Dediu, Shunsuke Inenaga, and Carlos Martín-Vide, 6638:227–37. Springer, 2011. https://doi.org/10.1007/978-3-642-21254-3_17.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3383
Heisenberg, Carl-Philipp J. “Invited Lectures ‐ Symposia Area.” FEBS Journal 278, no. S1 (2011): 24–24. https://doi.org/10.1111/j.1742-4658.2011.08136.x.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3388   OA
Ugelvig, Line V, Per Nielsen, Jacobus Boomsma, and David Nash. “Reconstructing Eight Decades of Genetic Variation in an Isolated Danish Population of the Large Blue Butterfly Maculinea Arion.” BMC Evolutionary Biology 11, no. 201 (2011). https://doi.org/10.1186/1471-2148-11-201.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3390   OA
Barton, Nicholas H, and Alison Etheridge. “The Relation between Reproductive Value and Genetic Contribution.” Genetics 188, no. 4 (2011): 953–73. https://doi.org/10.1534/genetics.111.127555.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3395
Palero, Ferran, Pere Abello, Enrique Macpherson, Mark Beaumont, and Marta Pascual. “Effect of Oceanographic Barriers and Overfishing on the Population Genetic Structure of the European Spiny Lobster Palinurus Elephas .” Biological Journal of the Linnean Society 104, no. 2 (2011): 407–18. https://doi.org/10.1111/j.1095-8312.2011.01728.x.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3376   OA
Bollenbach, Mark Tobias, and Roy Kishony. “Resolution of Gene Regulatory Conflicts Caused by Combinations of Antibiotics.” Molecular Cell 42, no. 4 (2011): 413–25. https://doi.org/10.1016/j.molcel.2011.04.016.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3369
Pernia-Andrade, Alejandro, and Peter M Jonas. “The Multiple Faces of RIM.” Neuron 69, no. 2 (2011): 185–87. https://doi.org/10.1016/j.neuron.2011.01.010.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3371   OA
Sixt, Michael K, and Carole Parent. “Cells on the Move in Philadelphia.” Molecular Biology and Evolution 22, no. 6 (2011): 724. https://doi.org/10.1091/mbc.E10-12-0958.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3965
Wang, Bei, Herbert Edelsbrunner, and Dmitriy Morozov. “Computing Elevation Maxima by Searching the Gauss Sphere.” Journal of Experimental Algorithmics 16, no. 2.2 (2011): 1–13. https://doi.org/10.1145/1963190.1970375.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3364
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes.” Theoretical Computer Science 412, no. 21 (2011): 2128–41. https://doi.org/10.1016/j.tcs.2010.10.022.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 491
Eichner, Alexander, and Michael K Sixt. “Setting the Clock for Recirculating Lymphocytes.” Science Signaling 4, no. 198 (2011). https://doi.org/10.1126/scisignal.2002617.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 504   OA
Polechova, Jitka, Nicholas H Barton, and Glenn Marion. “Erratum: Species’ Range: Adaptation in Space and Time (American Naturalist 174 (E186 E204)) .” American Naturalist 177, no. 4 (2011): 546–47. https://doi.org/10.1086/659642.
View | Files available | DOI | Download (ext.)
 

2011 | Preprint | IST-REx-ID: 3338
Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” ArXiv. ArXiv, 2011.
View | Files available | Download (ext.) | arXiv
 

2011 | Technical Report | IST-REx-ID: 5384
Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0004.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3345   OA
Chatterjee, Krishnendu, and Laurent Doyen. “Energy and Mean-Payoff Parity Markov Decision Processes,” 6907:206–18. Springer, 2011. https://doi.org/10.1007/978-3-642-22993-0_21.
View | Files available | DOI | Download (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3269
Sheng, Yu, Barbara Cutler, Chao Chen, and Joshua Nasman. “Perceptual Global Illumination Cancellation in Complex Projection Environments.” Computer Graphics Forum 30, no. 4 (2011): 1261–68. https://doi.org/10.1111/j.1467-8659.2011.01985.x.
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 3271
Wagner, Hubert, Chao Chen, and Erald Vuçini. “Efficient Computation of Persistent Homology for Cubical Data.” In Topological Methods in Data Analysis and Visualization II, edited by Ronald Peikert, Helwig Hauser, Hamish Carr, and Raphael Fuchs, 91–106. Springer, 2011. https://doi.org/10.1007/978-3-642-23175-9_7.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed