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.




2842 Publications

2012 | Journal Article | IST-REx-ID: 2938
Ugelvig, Line V., and Sylvia Cremer. “Effects of Social Immunity and Unicoloniality on Host Parasite Interactions in Invasive Insect Societies.” Functional Ecology, vol. 26, no. 6, Wiley-Blackwell, 2012, pp. 1300–12, doi:10.1111/1365-2435.12013.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2941 | OA
Dolbilin, Nikolai, et al. “On the Optimality of Functionals over Triangulations of Delaunay Sets.” Russian Mathematical Surveys, vol. 67, no. 4, IOP Publishing, 2012, pp. 781–83, doi:10.1070/RM2012v067n04ABEH004807.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2942
Henzinger, Thomas A., and Dejan Nickovic. “Independent Implementability of Viewpoints.” Conference Proceedings Monterey Workshop 2012, vol. 7539, Springer, 2012, pp. 380–95, doi:10.1007/978-3-642-34059-8_20.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2943 | OA
Hadizadeh Yazdi, Nastaran, et al. “Variation of the Folding and Dynamics of the Escherichia Coli Chromosome with Growth Conditions.” Molecular Microbiology, vol. 86, no. 6, Wiley-Blackwell, 2012, pp. 1318–33, doi:10.1111/mmi.12071.
View | DOI | Download Submitted Version (ext.)
 
2012 | Journal Article | IST-REx-ID: 2945
Girard, Jean, et al. “HEVs, Lymphatics and Homeostatic Immune Cell Trafficking in Lymph Nodes.” Nature Reviews Immunology, vol. 12, no. 11, Nature Publishing Group, 2012, pp. 762–73, doi:10.1038/nri3298.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2946 | OA
Dueck, Anne, et al. “MicroRNAs Associated with the Different Human Argonaute Proteins.” Nucleic Acids Research, vol. 40, no. 19, Oxford University Press, 2012, pp. 9850–62, doi:10.1093/nar/gks705.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2947 | OA
Chatterjee, Krishnendu, et al. Equivalence of Games with Probabilistic Uncertainty and Partial Observation Games. Vol. 7561, Springer, 2012, pp. 385–99, doi:10.1007/978-3-642-33386-6_30.
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 2949
Dupret, David, and Jozsef L. Csicsvari. “The Medial Entorhinal Cortex Keeps Up.” Nature Neuroscience, vol. 15, no. 11, Nature Publishing Group, 2012, pp. 1471–72, doi:10.1038/nn.3245.
View | DOI | Download None (ext.)
 
2012 | Journal Article | IST-REx-ID: 2950
Behrndt, Martin, et al. “Forces Driving Epithelial Spreading in Zebrafish Gastrulation.” Science, vol. 338, no. 6104, American Association for the Advancement of Science, 2012, pp. 257–60, doi:10.1126/science.1224143.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2951
Maître, Jean-Léon, et al. “Adhesion Functions in Cell Sorting by Mechanically Coupling the Cortices of Adhering Cells.” Science, vol. 338, no. 6104, American Association for the Advancement of Science, 2012, pp. 253–56, doi:10.1126/science.1225399.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2952
Tada, Masazumi, and Carl-Philipp J. Heisenberg. “Convergent Extension Using Collective Cell Migration and Cell Intercalation to Shape Embryos.” Development, vol. 139, no. 21, Company of Biologists, 2012, pp. 3897–904, doi:10.1242/dev.073007.
View | DOI
 
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, vol. 24, no. 5, Elsevier, 2012, pp. 559–61, doi:10.1016/j.ceb.2012.09.002.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2954 | OA
Pernia-Andrade, Alejandro, et al. “A Deconvolution Based Method with High Sensitivity and Temporal Resolution for Detection of Spontaneous Synaptic Currents in Vitro and in Vivo.” Biophysical Journal, vol. 103, no. 7, Biophysical, 2012, pp. 1429–39, doi:10.1016/j.bpj.2012.08.039.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Conference Paper | IST-REx-ID: 2955 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 6280436, IEEE, 2012, doi:10.1109/LICS.2012.28.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2012 | Conference Paper | IST-REx-ID: 2956
Chatterjee, Krishnendu, and Yaron Velner. “Mean Payoff Pushdown Games.” Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 6280438, IEEE, 2012, doi:10.1109/LICS.2012.30.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2957 | OA
Chatterjee, Krishnendu, and Mathieu Tracol. “Decidable Problems for Probabilistic Automata on Infinite Words.” Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 6280437, IEEE, 2012, doi:10.1109/LICS.2012.29.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 2958 | OA
Allen, Kevin, et al. “Hippocampal Place Cells Can Encode Multiple Trial-Dependent Features through Rate Remapping.” Journal of Neuroscience, vol. 32, no. 42, Society for Neuroscience, 2012, pp. 14752–66, doi:10.1523/JNEUROSCI.6175-11.2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2959 | OA
Uhler, Caroline. “Geometry of Maximum Likelihood Estimation in Gaussian Graphical Models.” Annals of Statistics, vol. 40, no. 1, Institute of Mathematical Statistics, 2012, pp. 238–61, doi:10.1214/11-AOS957.
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 2962 | OA
Aeschbacher, Simon, et al. “A Novel Approach for Choosing Summary Statistics in Approximate Bayesian Computation.” Genetics, vol. 192, no. 3, Genetics Society of America, 2012, pp. 1027–47, doi:10.1534/genetics.112.143164.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2963
Jesse, Fabienne, and Katharina Riebel. “Social Facilitation of Male Song by Male and Female Conspecifics in the Zebra Finch, Taeniopygia Guttata.” Behavioural Processes, vol. 91, no. 3, Elsevier, 2012, pp. 262–66, doi:10.1016/j.beproc.2012.09.006.
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: 2965 | OA
Danowski, Patrick. “Kontext Open Access: Creative Commons.” Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare, vol. 65, no. 2, VÖB, 2012, pp. 200–12.
View | Files available | Download Published Version (ext.)
 
2012 | Journal Article | IST-REx-ID: 2966 | OA
Cremer, Sylvia, et al. “The Dynamics of Male-Male Competition in Cardiocondyla Obscurior Ants.” BMC Ecology, vol. 12, 7, BioMed Central, 2012, doi:10.1186/1472-6785-12-7.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2967
Alur, Rajeev, et al. “Algorithmic Analysis of Array-Accessing Programs.” ACM Transactions on Computational Logic (TOCL), vol. 13, no. 3, 27, ACM, 2012, doi:10.1145/2287718.2287727.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2968 | OA
Lohse, Konrad, et al. “A Likelihood Based Comparison of Population Histories in a Parasitoid Guild.” Molecular Ecology, vol. 21, no. 18, Wiley-Blackwell, 2012, pp. 4605–17, doi:10.1111/j.1365-294X.2012.05700.x.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2969 | OA
Goswami, Sarit, et al. “Miniature IPSCs in Hippocampal Granule Cells Are Triggered by Voltage-Gated Ca^(2+) Channels via Microdomain Coupling.” Journal of Neuroscience, vol. 32, no. 41, Society for Neuroscience, 2012, pp. 14294–304, doi:10.1523/JNEUROSCI.6104-11.2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2970
Kicheva, Anna, et al. “Investigating the Principles of Morphogen Gradient Formation: From Tissues to Cells.” Current Opinion in Genetics & Development, vol. 22, no. 6, Elsevier, 2012, pp. 527–32, doi:10.1016/j.gde.2012.08.004.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2971
Zankl, Georg, et al. Interactive Labeling of Image Segmentation Hierarchies. Vol. 7476, Springer, 2012, pp. 11–20, doi:10.1007/978-3-642-32717-9_2.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2972 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games.” Theoretical Computer Science, vol. 458, Elsevier, 2012, pp. 49–60, doi:10.1016/j.tcs.2012.07.038.
View | Files available | DOI | arXiv
 
2012 | Conference Paper | IST-REx-ID: 2974 | OA
Jain, Abhishek, et al. Commitments and Efficient Zero Knowledge Proofs from Learning Parity with Noise. Edited by Xiaoyun Wang and Kazue Sako, vol. 7658, Springer, 2012, pp. 663–80, doi:10.1007/978-3-642-34961-4_40.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3115 | OA
Berberich, Eric, et al. “Deconstructing Approximate Offsets.” Discrete & Computational Geometry, vol. 48, no. 4, Springer, 2012, pp. 964–89, doi:10.1007/s00454-012-9441-5.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 3117 | OA
Kolmogorov, Vladimir. “Minimizing a Sum of Submodular Functions.” Discrete Applied Mathematics, vol. 160, no. 15, Elsevier, 2012, pp. 2246–58, doi:10.1016/j.dam.2012.05.025.
View | DOI | Download Preprint (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 | Conference Paper | IST-REx-ID: 3119 | OA
Raveendran, Karthik, et al. “Controlling Liquids Using Meshes.” Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, ACM, 2012, pp. 255–64.
View | Files available
 
2012 | Journal Article | IST-REx-ID: 3120 | OA
Brown, Gavin, et al. “Fano 3 Folds in Codimension 4 Tom and Jerry Part I.” Compositio Mathematica, vol. 148, no. 4, Cambridge University Press, 2012, pp. 1171–94, doi:10.1112/S0010437X11007226.
View | DOI | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 3121 | OA
Williams, Courtney, et al. “Coactivation of Multiple Tightly Coupled Calcium Channels Triggers Spontaneous Release of GABA.” Nature Neuroscience, vol. 15, no. 9, Nature Publishing Group, 2012, pp. 1195–97, doi:10.1038/nn.3162.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
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, vol. 21, no. 15, Wiley-Blackwell, 2012, pp. 3640–43, doi:10.1111/j.1365-294X.2012.05643.x.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3123 | OA
Yu, Jihun, et al. “Explicit Mesh Surfaces for Particle Based Fluids.” Computer Graphics Forum, vol. 31, no. 2, Blackwell Publishing, 2012, pp. 815–24, doi:10.1111/j.1467-8659.2012.03062.x.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3124 | OA
Korc, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. ICML, 2012.
View | Files available
 
2012 | Conference Paper | IST-REx-ID: 3125 | OA
Sharmanska, Viktoriia, et al. Augmented Attribute Representations. Vol. 7576, no. PART 5, Springer, 2012, pp. 242–55, doi:10.1007/978-3-642-33715-4_18.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3126
Müller, Andreas, et al. Information Theoretic Clustering Using Minimal Spanning Trees. Vol. 7476, Springer, 2012, pp. 205–15, doi:10.1007/978-3-642-32717-9_21.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3127 | OA
Quadrianto, Novi, et al. “The Most Persistent Soft-Clique in a Set of Sampled Graphs.” Proceedings of the 29th International Conference on Machine Learning, Omnipress, 2012, pp. 211–18.
View | Download Preprint (ext.)
 
2012 | Journal Article | IST-REx-ID: 3128 | OA
Chatterjee, Krishnendu, et al. “A Survey of Partial-Observation Stochastic Parity Games.” Formal Methods in System Design, vol. 43, no. 2, Springer, 2012, pp. 268–84, doi:10.1007/s10703-012-0164-2.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3129 | OA
Busaryev, Oleksiy, et al. Annotating Simplices with a Homology Basis and Its Applications. Vol. 7357, Springer, 2012, pp. 189–200, doi:10.1007/978-3-642-31155-0_17.
View | DOI | Download Preprint (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 3130 | OA
Bergmiller, Tobias, et al. “Patterns of Evolutionary Conservation of Essential Genes Correlate with Their Compensability.” PLoS Genetics, vol. 8, no. 6, e1002803, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002803.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3131 | OA
Weissman, Daniel, and Nicholas H. Barton. “Limits to the Rate of Adaptive Substitution in Sexual Populations.” PLoS Genetics, vol. 8, no. 6, e1002740, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002740.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3132
Konrad, Matthias, et al. “Two Pathways Ensuring Social Harmony.” Naturwissenschaften, vol. 99, no. 8, Springer, 2012, pp. 627–36, doi:10.1007/s00114-012-0943-z.
View | DOI
 
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.” Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 249–58, doi:10.1145/2261250.2261287.
View | DOI | Download Preprint (ext.)
 
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: 3135 | OA
Brázdil, Brázdil, et al. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. Vol. 7358, Springer, 2012, pp. 23–38, doi:10.1007/978-3-642-31424-7_8.
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3136
Guet, Calin C., et al. Delayed Continuous Time Markov Chains for Genetic Regulatory Circuits. Vol. 7358, Springer, 2012, pp. 294–309, doi:10.1007/978-3-642-31424-7_24.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3155 | OA
Delahaye, Benoît, et al. Synchronous Interface Theories and Time Triggered Scheduling. Vol. 7273, Springer, 2012, pp. 203–18, doi:10.1007/978-3-642-30793-5_13.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3156
Ugelvig, Line V., et al. “Dispersal and Gene Flow in the Rare Parasitic Large Blue Butterfly Maculinea Arion.” Molecular Ecology, vol. 21, no. 13, Wiley-Blackwell, 2012, pp. 3224–36, doi:10.1111/j.1365-294X.2012.05592.x.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3157 | OA
Diaz Jr, Luis, et al. “The Molecular Evolution of Acquired Resistance to Targeted EGFR Blockade in Colorectal Cancers.” Nature, vol. 486, no. 7404, Nature Publishing Group, 2012, pp. 537–40, doi:10.1038/nature11219.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3158 | OA
Schachtner, Hannah, et al. “Tissue Inducible Lifeact Expression Allows Visualization of Actin Dynamics in Vivo and Ex Vivo.” European Journal of Cell Biology, vol. 91, no. 11–12, Elsevier, 2012, pp. 923–29, doi:10.1016/j.ejcb.2012.04.002.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3159 | OA
Mileyko, Yuriy, et al. “Hierarchical Ordering of Reticular Networks.” PLoS One, vol. 7, no. 6, e36715, Public Library of Science, 2012, doi:10.1371/journal.pone.0036715.
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 | 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, vol. 11, no. 11, Taylor and Francis, 2012, pp. 2055–58, doi:10.4161/cc.20118.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3161 | OA
Vyleta, Meghan, et al. “Suppression of Ribosomal Function Triggers Innate Immune Signaling through Activation of the NLRP3 Inflammasome.” PLoS One, vol. 7, no. 5, e36044, Public Library of Science, 2012, doi:10.1371/journal.pone.0036044.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3162 | OA
Asarin, Eugene, et al. Parametric Identification of Temporal Properties. Vol. 7186, Springer, 2012, pp. 147–60, doi:10.1007/978-3-642-29860-8_12.
View | Files available | 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, vol. 99, no. 3, Springer, 2012, pp. 257–58, doi:10.1007/s11263-012-0530-y.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3165
Chatterjee, Krishnendu, and Monika 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 | Journal Article | IST-REx-ID: 3166 | OA
de Vladar, Harold. “Amino Acid Fermentation at the Origin of the Genetic Code.” Biology Direct, vol. 7, 6, BioMed Central, 2012, doi:10.1186/1745-6150-7-6.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3167
Weber, Michele. “NextGen Speaks 13 .” Science, vol. 336, no. 6077, American Association for the Advancement of Science, 2012, pp. 32–34, doi:10.1126/science.336.6077.32.
View | DOI | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3168
Feret, Jérôme, et al. “Lumpability Abstractions of Rule Based Systems.” Theoretical Computer Science, vol. 431, Elsevier, 2012, pp. 137–64, doi:10.1016/j.tcs.2011.12.059.
View | Files available | DOI
 
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 | Journal Article | IST-REx-ID: 3243
Danowski, Patrick. “Zwischen Technologie und Information.” Büchereiperspektiven, vol. 1/2012, Buchereiverband Österreichs, 2012, p. 11.
View | Download None (ext.)
 
2012 | Journal Article | IST-REx-ID: 3244
Danowski, Patrick. “Die Zeit des Abwartens ist vorbei!” BuB – Forum Bibliothek und Information, vol. 64, no. 4, Bock & Herchen Verlag, 2012, p. 284.
View | Download None (ext.)
 
2012 | Journal Article | IST-REx-ID: 3245
Behrndt, Martin, and Carl-Philipp J. Heisenberg. “Spurred by Resistance Mechanosensation in Collective Migration.” Developmental Cell, vol. 22, no. 1, Cell Press, 2012, pp. 3–4, doi:10.1016/j.devcel.2011.12.018.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3246
Barone, Vanessa, and Carl-Philipp J. Heisenberg. “Cell Adhesion in Embryo Morphogenesis.” Current Opinion in Cell Biology, vol. 24, no. 1, Elsevier, 2012, pp. 148–53, doi:10.1016/j.ceb.2011.11.006.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3247
Vilaça, Sibelle, et al. “Remaining Genetic Diversity in Brazilian Merganser (Mergus Octosetaceus).” Conservation Genetics, vol. 13, no. 1, Springer, 2012, pp. 293–98, doi:10.1007/s10592-011-0262-5.
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, vol. 7, no. 1, Springer, 2012, pp. 31–41, doi:10.1007/s11554-010-0168-3.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3249
Cerny, Pavol, et al. “Simulation Distances.” Theoretical Computer Science, vol. 413, no. 1, Elsevier, 2012, pp. 21–35, doi:10.1016/j.tcs.2011.08.002.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3250
Pietrzak, Krzysztof Z. Cryptography from Learning Parity with Noise. Vol. 7147, Springer, 2012, pp. 99–114, doi:10.1007/978-3-642-27660-6_9.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3251 | OA
Zufferey, Damien, et al. Ideal Abstractions for Well Structured Transition Systems. Vol. 7148, Springer, 2012, pp. 445–60, doi:10.1007/978-3-642-27940-9_29.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3252 | OA
Chatterjee, Krishnendu, and Vishwanath Raman. Synthesizing Protocols for Digital Contract Signing. Vol. 7148, Springer, 2012, pp. 152–68, doi:10.1007/978-3-642-27940-9_11.
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3253
Bouajjani, Ahmed, et al. Abstract Domains for Automated Reasoning about List Manipulating Programs with Infinite Data. Vol. 7148, Springer, 2012, pp. 1–22, doi:10.1007/978-3-642-27940-9_1.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3254
Chatterjee, Krishnendu. “The Complexity of Stochastic Müller Games.” Information and Computation, vol. 211, Elsevier, 2012, pp. 29–48, doi:10.1016/j.ic.2011.11.004.
View | DOI | Download None (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3255 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Games and Markov Decision Processes with Mean Payoff Parity and Energy Parity Objectives. Vol. 7119, Springer, 2012, pp. 37–46, doi:10.1007/978-3-642-25929-6_3.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3256 | OA
Edelsbrunner, Herbert, and Michael Kerber. “Dual Complexes of Cubical Subdivisions of ℝn.” Discrete & Computational Geometry, vol. 47, no. 2, Springer, 2012, pp. 393–414, doi:10.1007/s00454-011-9382-4.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3257 | OA
Kolmogorov, Vladimir. “Generalized Roof Duality and Bisubmodular Functions.” Discrete Applied Mathematics, vol. 160, no. 4–5, Elsevier, 2012, pp. 416–26, doi:10.1016/j.dam.2011.10.026.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 3258 | OA
Kim, Sooyun, et al. “Active Dendrites Support Efficient Initiation of Dendritic Spikes in Hippocampal CA3 Pyramidal Neurons.” Nature Neuroscience, vol. 15, no. 4, Nature Publishing Group, 2012, pp. 600–06, doi:10.1038/nn.3060.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3260 | OA
Chatterjee, Krishnendu, et al. “Evolutionary Dynamics of Biological Auctions.” Theoretical Population Biology, vol. 81, no. 1, Academic Press, 2012, pp. 69–80, doi:10.1016/j.tpb.2011.11.003.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3262 | OA
Tkacik, Gasper, et al. “Optimizing Information Flow in Small Genetic Networks. III. A Self-Interacting Gene.” Physical Review E Statistical Nonlinear and Soft Matter Physics , vol. 85, no. 4, 041903, American Institute of Physics, 2012, doi:10.1103/PhysRevE.85.041903.
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3265
Ion, Adrian, et al. Image Segmentation by Figure-Ground Composition into Maximal Cliques. 6126486, IEEE, 2012, doi:10.1109/ICCV.2011.6126486.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3274
Rieckh, Georg, et al. “A 2.5D-Fourier-BEM Model for Vibrations in a Tunnel Running through Layered Anisotropic Soil.” Engineering Analysis with Boundary Elements, vol. 36, no. 6, Elsevier, 2012, pp. 960–67, doi:10.1016/j.enganabound.2011.12.014.
View | DOI
 
2012 | Book Chapter | IST-REx-ID: 3277
de Vladar, Harold, and Julian Chela Flores. “Can the Evolution of Multicellularity Be Anticipated in the Exploration of the Solar System?” Life on Earth and Other Planetary Bodies, vol. 24, Springer, 2012, pp. 387–405, doi:10.1007/978-94-007-4966-5_22.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3279
Jain, Abhishek, et al. Hardness Preserving Constructions of Pseudorandom Functions. Vol. 7194, Springer, 2012, pp. 369–82, doi:10.1007/978-3-642-28914-9_21.
View | DOI | Download None (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3280 | OA
Pietrzak, Krzysztof Z. Subspace LWE. Vol. 7194, Springer, 2012, pp. 548–63, doi:10.1007/978-3-642-28914-9_31.
View | DOI | Download Submitted Version (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3281
Pietrzak, Krzysztof Z., et al. Lossy Functions Do Not Amplify Well. Vol. 7194, Springer, 2012, pp. 458–75, doi:10.1007/978-3-642-28914-9_26.
View | DOI | Download None (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3282 | OA
Dodis, Yevgeniy, et al. Message Authentication, Revisited. Vol. 7237, Springer, 2012, pp. 355–74, doi:10.1007/978-3-642-29011-4_22.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3289 | OA
Pereira, Anna, et al. “A Vaccinia Virus-Driven Interplay between the MKK4/7-JNK1/2 Pathway and Cytoskeleton Reorganization.” Journal of Virology, vol. 86, no. 1, ASM, 2012, pp. 172–84, doi:10.1128/JVI.05638-11.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3310 | OA
Bendich, Paul, et al. “A Point Calculus for Interlevel Set Homology.” Pattern Recognition Letters, vol. 33, no. 11, Elsevier, 2012, pp. 1436–44, doi:10.1016/j.patrec.2011.10.007.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3314
Chatterjee, Krishnendu, and Ritankar Majumdar. “Discounting and Averaging in Games across Time Scales.” International Journal of Foundations of Computer Science, vol. 23, no. 3, World Scientific Publishing, 2012, pp. 609–25, doi:10.1142/S0129054112400308.
View | DOI
 
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: 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
 

Search

Display / Sort

Citation Style: MLA

Export / Embed