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.

2651 Publications


2013 | Journal Article | IST-REx-ID: 3116
Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, Ritankar Majumdar, and Vishwanath Raman. “Code Aware Resource Management.” Formal Methods in System Design 42, no. 2 (2013): 142–74. https://doi.org/10.1007/s10703-012-0170-4.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2815
Edelsbrunner, Herbert, Brittany Terese Fasy, and Günter Rote. “Add Isotropic Gaussian Kernels at Own Risk: More and More Resilient Modes in Higher Dimensions.” Discrete & Computational Geometry 49, no. 4 (2013): 797–822. https://doi.org/10.1007/s00454-013-9517-x.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 476   OA
Dickerson, Desiree, and David Bilkey. “Aberrant Neural Synchrony in the Maternal Immune Activation Model: Using Translatable Measures to Explore Targeted Interventions.” Frontiers in Behavioral Neuroscience 7, no. DEC (2013). https://doi.org/10.3389/fnbeh.2013.00217.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 508   OA
Tarazona Santos, Eduardo, Moara Machado, Wagner Magalhães, Renee Chen, Fernanda Lyon, Laurie Burdett, Andrew Crenshaw, et al. “Evolutionary Dynamics of the Human NADPH Oxidase Genes CYBB, CYBA, NCF2, and NCF4: Functional Implications.” Molecular Biology and Evolution 30, no. 9 (2013): 2157–67. https://doi.org/10.1093/molbev/mst119.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 527
Wabnik, Krzysztof T, Hélène Robert, Richard Smith, and Jirí Friml. “Modeling Framework for the Establishment of the Apical-Basal Embryonic Axis in Plants.” Current Biology 23, no. 24 (2013): 2513–18. https://doi.org/10.1016/j.cub.2013.10.038.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 522
Fuertbauer, Elke, Jan Zaujec, Pavel Uhrin, Ingrid Raab, Michele Weber, Helga Schachner, Miroslav Bauer, et al. “Thymic Medullar Conduits-Associated Podoplanin Promotes Natural Regulatory T Cells.” Immunology Letters 154, no. 1–2 (2013): 31–41. https://doi.org/10.1016/j.imlet.2013.07.007.
View | DOI
 

2013 | Technical Report | IST-REx-ID: 5403   OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-126-v1-1.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2327
Henzinger, Thomas A, and Jan Otop. “From Model Checking to Model Measuring.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40184-8_20.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1374   OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” In 22nd EACSL Annual Conference on Computer Science Logic, 23:181–96. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.181.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2000   OA
Reiter, Johannes, Ivana Božić, Krishnendu Chatterjee, and Martin Nowak. “TTP: Tool for Tumor Progression.” In Proceedings of 25th Int. Conf. on Computer Aided Verification, 8044:101–6. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_6.
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2858   OA
Reiter, Johannes, Ivana Božić, Benjamin Allen, Krishnendu Chatterjee, and Martin Nowak. “The Effect of One Additional Driver Mutation on Tumor Progression.” Evolutionary Applications 6, no. 1 (2013): 34–45. https://doi.org/10.1111/eva.12020.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2884
Maître, Jean-Léon, Hélène Berthoumieux, Gabriel Krens, Guillaume Salbreux, Frank Julicher, Ewa Paluch, and Carl-Philipp J Heisenberg. “Cell Adhesion Mechanics of Zebrafish Gastrulation.” Medecine Sciences 29, no. 2 (2013): 147–50. https://doi.org/10.1051/medsci/2013292011.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2295   OA
Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. “What Is Decidable about Partially Observable Markov Decision Processes with Omega-Regular Objectives.” Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.165.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2182
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Abstraction Refinement.” In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 115–28. ACM, 2013. https://doi.org/10.1145/2429069.2429085.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2517
Almagor, Shaull, Udi Boker, and Orna Kupferman. “Formalizing and Reasoning about Quality.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_3.
View | DOI
 

2013 | Technical Report | IST-REx-ID: 5408
Chatterjee, Krishnendu, Laurent Doyen, Sumit Nain, and Moshe Vardi. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-141-v1-1.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5410
Ahmed, Umair, Krishnendu Chatterjee, and Sumit Gulwani. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-146-v1-1.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2049   OA
Heyse, Stefan, Eike Kiltz, Vadim Lyubashevsky, Christof Paar, and Krzysztof Z Pietrzak. “Lapin: An Efficient Authentication Protocol Based on Ring-LPN.” In Conference Proceedings FSE 2012, 7549:346–65. Springer, 2012. https://doi.org/10.1007/978-3-642-34047-5_20.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2912
Edelsbrunner, Herbert, and Nataliya Strelkova. “Configuration Space for Shortest Networks .” Uspekhi Mat. Nauk 67, no. 6 (2012): 203–4. https://doi.org/10.4213/rm9503.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2943   OA
Hadizadeh Yazdi, Nastaran, Calin C Guet, Reid Johnson, and John Marko. “Variation of the Folding and Dynamics of the Escherichia Coli Chromosome with Growth Conditions.” Molecular Microbiology 86, no. 6 (2012): 1318–33. https://doi.org/10.1111/mmi.12071.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2931
Torresani, Lorenzo, Vladimir Kolmogorov, and Carsten Rother. “A Dual Decomposition Approach to Feature Correspondence.” IEEE Transactions on Pattern Analysis and Machine Intelligence 35, no. 2 (2012): 259–71. https://doi.org/10.1109/TPAMI.2012.105.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2917
Vladar, Harold. “The Game of Active Search for Extra Terrestrial Intelligence Breaking the Great Silence .” International Journal of Astrobiology 12, no. 1 (2012): 53–62. https://doi.org/10.1017/S1473550412000407.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2974   OA
Jain, Abhishek, Stephan Krenn, Krzysztof Z Pietrzak, and Aris Tentes. “Commitments and Efficient Zero Knowledge Proofs from Learning Parity with Noise.” edited by Xiaoyun Wang and Kazue Sako, 7658:663–80. Springer, 2012. https://doi.org/10.1007/978-3-642-34961-4_40.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2962   OA
Aeschbacher, Simon, Mark Beaumont, and Andreas Futschik. “A Novel Approach for Choosing Summary Statistics in Approximate Bayesian Computation.” Genetics 192, no. 3 (2012): 1027–47. https://doi.org/10.1534/genetics.112.143164.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 3136
Guet, Calin C, Ashutosh Gupta, Thomas A Henzinger, Maria Mateescu, and Ali Sezgin. “Delayed Continuous Time Markov Chains for Genetic Regulatory Circuits,” 7358:294–309. Springer, 2012. https://doi.org/10.1007/978-3-642-31424-7_24.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3155   OA
Delahaye, Benoît, Uli Fahrenberg, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Synchronous Interface Theories and Time Triggered Scheduling,” 7273:203–18. Springer, 2012. https://doi.org/10.1007/978-3-642-30793-5_13.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3129   OA
Busaryev, Oleksiy, Sergio Cabello, Chao Chen, Tamal Dey, and Yusu Wang. “Annotating Simplices with a Homology Basis and Its Applications,” 7357:189–200. Springer, 2012. https://doi.org/10.1007/978-3-642-31155-0_17.
View | DOI | Download (ext.) | arXiv
 

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 8, no. 6 (2012). https://doi.org/10.1371/journal.pgen.1002740.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3162
Asarin, Eugene, Alexandre Donzé, Oded Maler, and Dejan Nickovic. “Parametric Identification of Temporal Properties,” 7186:147–60. Springer, 2012. https://doi.org/10.1007/978-3-642-29860-8_12.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3117   OA
Kolmogorov, Vladimir. “Minimizing a Sum of Submodular Functions.” Discrete Applied Mathematics 160, no. 15 (2012): 2246–58. https://doi.org/10.1016/j.dam.2012.05.025.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3167
Weber, Michele. “NextGen Speaks 13 .” Science 336, no. 6077 (2012): 32–34. https://doi.org/10.1126/science.336.6077.32.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3256   OA
Edelsbrunner, Herbert, and Michael Kerber. “Dual Complexes of Cubical Subdivisions of ℝn.” Discrete & Computational Geometry 47, no. 2 (2012): 393–414. https://doi.org/10.1007/s00454-011-9382-4.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3244
Danowski, Patrick. “Die Zeit des Abwartens ist vorbei!” BuB – Forum Bibliothek und Information 64, no. 4 (2012): 284.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3282   OA
Dodis, Yevgeniy, Krzysztof Z Pietrzak, Eike Kiltz, and Daniel Wichs. “Message Authentication, Revisited,” 7237:355–74. Springer, 2012. https://doi.org/10.1007/978-3-642-29011-4_22.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3124
Korc, Filip, Vladimir Kolmogorov, and Christoph Lampert. “Approximating Marginals Using Discrete Energy Minimization.” ICML, 2012.
View | Files available
 

2012 | Technical Report | IST-REx-ID: 5396   OA
Korc, Filip, Vladimir Kolmogorov, and Christoph Lampert. Approximating Marginals Using Discrete Energy Minimization. IST Austria, 2012. https://doi.org/10.15479/AT:IST-2012-0003.
View | Files available | DOI
 

2012 | Book Chapter | IST-REx-ID: 5745   OA
Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” In Automated Technology for Verification and Analysis, 7561:107–21. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-33386-6_10.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3249
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances.” Theoretical Computer Science 413, no. 1 (2012): 21–35. https://doi.org/10.1016/j.tcs.2011.08.002.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2950
Behrndt, Martin, Guillaume Salbreux, Pedro Campinho, Robert Hauschild, Felix Oswald, Julia Roensch, Stephan Grill, and Carl-Philipp J Heisenberg. “Forces Driving Epithelial Spreading in Zebrafish Gastrulation.” Science 338, no. 6104 (2012): 257–60. https://doi.org/10.1126/science.1224143.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5377
Chatterjee, Krishnendu, and Yaron Velner. Mean-Payoff Pushdown Games. IST Austria, 2012. https://doi.org/10.15479/AT:IST-2012-0002.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2967
Alur, Rajeev, Pavol Cerny, and Scott Weinstein. “Algorithmic Analysis of Array-Accessing Programs.” ACM Transactions on Computational Logic (TOCL) 13, no. 3 (2012). https://doi.org/10.1145/2287718.2287727.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2955   OA
Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, 2012. https://doi.org/10.1109/LICS.2012.28.
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2936   OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Finite Automata with Time Delay Blocks.” In Roceedings of the Tenth ACM International Conference on Embedded Software, 43–52. ACM, 2012. https://doi.org/10.1145/2380356.2380370.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3251   OA
Zufferey, Damien, Thomas Wies, and Thomas A Henzinger. “Ideal Abstractions for Well Structured Transition Systems,” 7148:445–60. Springer, 2012. https://doi.org/10.1007/978-3-642-27940-9_29.
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 23, no. 3 (2012): 609–25. https://doi.org/10.1142/S0129054112400308.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 496   OA
Rabinovich, Alexander, and Sasha Rubin. “Interpretations in Trees with Countably Many Branches.” IEEE, 2012. https://doi.org/10.1109/LICS.2012.65.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2715
Chatterjee, Krishnendu, Manas Joglekar, and Nisarg Shah. “Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives,” 18:461–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.461.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2949
Dupret, David, and Jozsef L Csicsvari. “The Medial Entorhinal Cortex Keeps Up.” Nature Neuroscience 15, no. 11 (2012): 1471–72. https://doi.org/10.1038/nn.3245.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2937   OA
Almeida, José, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, and Santiago Béguelin. “Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols.” In Proceedings of the 2012 ACM Conference on Computer and Communications Security, 488–500. ACM, 2012. https://doi.org/10.1145/2382196.2382249.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2951
Maître, Jean-Léon, Hélène Berthoumieux, Gabriel Krens, Guillaume Salbreux, Frank Julicher, Ewa Paluch, and Carl-Philipp J Heisenberg. “Adhesion Functions in Cell Sorting by Mechanically Coupling the Cortices of Adhering Cells.” Science 338, no. 6104 (2012): 253–56. https://doi.org/10.1126/science.1225399.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2968   OA
Lohse, Konrad, Nicholas H Barton, George Melika, and Graham Stone. “A Likelihood Based Comparison of Population Histories in a Parasitoid Guild.” Molecular Ecology 21, no. 18 (2012): 4605–17. https://doi.org/10.1111/j.1365-294X.2012.05700.x.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2970
Kicheva, Anna, Mark Tobias Bollenbach, Ortrud Wartlick, Frank Julicher, and Marcos Gonzalez Gaitan. “Investigating the Principles of Morphogen Gradient Formation: From Tissues to Cells.” Current Opinion in Genetics & Development 22, no. 6 (2012): 527–32. https://doi.org/10.1016/j.gde.2012.08.004.
View | DOI
 

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 91, no. 3 (2012): 262–66. https://doi.org/10.1016/j.beproc.2012.09.006.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3156
Ugelvig, Line V, Anne Andersen, Jacobus Boomsma, and David Nash. “Dispersal and Gene Flow in the Rare Parasitic Large Blue Butterfly Maculinea Arion.” Molecular Ecology 21, no. 13 (2012): 3224–36. https://doi.org/10.1111/j.1365-294X.2012.05592.x.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3118   OA
Bojsen-Hansen, Morten, Hao Li, and Christopher J Wojtan. “Tracking Surfaces with Evolving Topology.” ACM Transactions on Graphics 31, no. 4 (2012). https://doi.org/10.1145/2185520.2185549.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3120   OA
Brown, Gavin, Michael Kerber, and Miles Reid. “Fano 3 Folds in Codimension 4 Tom and Jerry Part I.” Compositio Mathematica 148, no. 4 (2012): 1171–94. https://doi.org/10.1112/S0010437X11007226.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3125
Sharmanska, Viktoriia, Novi Quadrianto, and Christoph Lampert. “Augmented Attribute Representations,” 7576:242–55. Springer, 2012. https://doi.org/10.1007/978-3-642-33715-4_18.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3132
Konrad, Matthias, Tobias Pamminger, and Susanne Foitzik. “Two Pathways Ensuring Social Harmony.” Naturwissenschaften 99, no. 8 (2012): 627–36. https://doi.org/10.1007/s00114-012-0943-z.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3245
Behrndt, Martin, and Carl-Philipp J Heisenberg. “Spurred by Resistance Mechanosensation in Collective Migration.” Developmental Cell 22, no. 1 (2012): 3–4. https://doi.org/10.1016/j.devcel.2011.12.018.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3257   OA
Kolmogorov, Vladimir. “Generalized Roof Duality and Bisubmodular Functions.” Discrete Applied Mathematics 160, no. 4–5 (2012): 416–26. https://doi.org/10.1016/j.dam.2011.10.026.
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3310   OA
Bendich, Paul, Sergio Cabello, and Herbert Edelsbrunner. “A Point Calculus for Interlevel Set Homology.” Pattern Recognition Letters 33, no. 11 (2012): 1436–44. https://doi.org/10.1016/j.patrec.2011.10.007.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3168
Feret, Jérôme, Thomas A Henzinger, Heinz Koeppl, and Tatjana Petrov. “Lumpability Abstractions of Rule Based Systems.” Theoretical Computer Science 431 (2012): 137–64. https://doi.org/10.1016/j.tcs.2011.12.059.
View | Files available | 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 78, no. 2 (2012): 394–413. https://doi.org/10.1016/j.jcss.2011.05.002.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 492   OA
Galkovskyi, Taras, Yuriy Mileyko, Alexander Bucksch, Brad Moore, Olga Symonova, Charles Price, Chrostopher Topp, et al. “GiA Roots: Software for the High Throughput Analysis of Plant Root System Architecture.” BMC Plant Biology 12 (2012). https://doi.org/10.1186/1471-2229-12-116.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2848   OA
Chatterjee, Krishnendu, Damien Zufferey, and Martin Nowak. “Evolutionary Game Dynamics in Populations with Different Learners.” Journal of Theoretical Biology 301 (2012): 161–73. https://doi.org/10.1016/j.jtbi.2012.02.021.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 2956
Chatterjee, Krishnendu, and Yaron Velner. “Mean Payoff Pushdown Games.” In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, 2012. https://doi.org/10.1109/LICS.2012.30.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3341   OA
Chatterjee, Krishnendu. “Robustness of Structurally Equivalent Concurrent Parity Games,” 7213:270–85. Springer, 2012. https://doi.org/10.1007/978-3-642-28729-9_18.
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 3252   OA
Chatterjee, Krishnendu, and Vishwanath Raman. “Synthesizing Protocols for Digital Contract Signing,” 7148:152–68. Springer, 2012. https://doi.org/10.1007/978-3-642-27940-9_11.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 497   OA
Chatterjee, Krishnendu, Siddhesh Chaubal, and Pritish Kamath. “Faster Algorithms for Alternating Refinement Relations,” 16:167–82. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. https://doi.org/10.4230/LIPIcs.CSL.2012.167.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5378
Chatterjee, Krishnendu, Siddhesh Chaubal, and Pritish Kamath. Faster Algorithms for Alternating Refinement Relations. IST Austria, 2012. https://doi.org/10.15479/AT:IST-2012-0001.
View | Files available | DOI
 

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 2, no. 3 (2012): 321–28. https://doi.org/10.4171/JST/31.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2902
Edelsbrunner, Herbert, Oleg Musin, Alexey Ukhalov, Olga Yakimova, Vladislav Alexeev, Victoriya Bogaevskaya, Andrey Gorohov, and Margarita Preobrazhenskaya. “Fractal and Computational Geometry for Generalizing Cartographic Objects.” Modeling and Analysis of Information Systems 19, no. 6 (2012): 152–60.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2825
Lampert, Christoph. “Dynamic Pruning of Factor Graphs for Maximum Marginal Prediction,” 1:82–90. Neural Information Processing Systems, 2012.
View
 

2012 | Journal Article | IST-REx-ID: 2849   OA
Edelsbrunner, Herbert, and Nataliya Strelkova. “On the Configuration Space of Steiner Minimal Trees.” Russian Mathematical Surveys 67, no. 6 (2012): 1167–68. https://doi.org/10.1070/RM2012v067n06ABEH004820.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2945
Girard, Jean, Christine Moussion, and Reinhold Förster. “HEVs, Lymphatics and Homeostatic Immune Cell Trafficking in Lymph Nodes.” Nature Reviews Immunology 12, no. 11 (2012): 762–73. https://doi.org/10.1038/nri3298.
View | DOI
 

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 26, no. 6 (2012): 1300–1312. https://doi.org/10.1111/1365-2435.12013.
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 139, no. 21 (2012): 3897–3904. https://doi.org/10.1242/dev.073007.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2969   OA
Goswami, Sarit, Iancu Bucurenciu, and Peter M Jonas. “Miniature IPSCs in Hippocampal Granule Cells Are Triggered by Voltage-Gated Ca^(2+) Channels via Microdomain Coupling.” Journal of Neuroscience 32, no. 41 (2012): 14294–304. https://doi.org/10.1523/JNEUROSCI.6104-11.2012.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 2971
Zankl, Georg, Yll Haxhimusa, and Adrian Ion. “Interactive Labeling of Image Segmentation Hierarchies,” 7476:11–20. Springer, 2012. https://doi.org/10.1007/978-3-642-32717-9_2.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3119   OA
Raveendran, Karthik, Nils Thuerey, Christopher J Wojtan, and Greg Turk. “Controlling Liquids Using Meshes.” In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, 255–64. ACM, 2012.
View | Files available
 

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
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed