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.

2712 Publications


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 | 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
 

2013 | Conference Paper | IST-REx-ID: 2517   OA
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 | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2447   OA
Piskac, Ruzica, Thomas Wies, and Damien Zufferey. “Automating Separation Logic Using SMT.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_54.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2839   OA
Weber, Michele, Robert Hauschild, Jan Schwarz, Christine Moussion, Ingrid De Vries, Daniel Legler, Sanjiv Luther, Mark Tobias Bollenbach, and Michael K Sixt. “Interstitial Dendritic Cell Guidance by Haptotactic Chemokine Gradients.” Science 339, no. 6117 (2013): 328–32. https://doi.org/10.1126/science.1228456.
View | DOI | Download (ext.)
 

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 | 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 | Conference Paper | IST-REx-ID: 3162   OA
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 | 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 | 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
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed