Please note that ISTA 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.
1621 Publications
2011 |Published| Technical Report | IST-REx-ID: 5380 | 
Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0008.
[Published Version]
View
| Files available
| DOI
2011 |Published| Preprint | IST-REx-ID: 3338 |
Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” ArXiv. ArXiv, 2011.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2011 |Published| Conference Paper | IST-REx-ID: 3323
Wies, Thomas, Marco Muñiz, and Viktor Kuncak. “An Efficient Decision Procedure for Imperative Tree Data Structures,” 6803:476–91. Springer, 2011. https://doi.org/10.1007/978-3-642-22438-6_36.
View
| Files available
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3366 |
Cerny, Pavol, Krishnendu Chatterjee, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. “Quantitative Synthesis for Concurrent Programs.” edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:243–59. Springer, 2011. https://doi.org/10.1007/978-3-642-22110-1_20.
[Submitted Version]
View
| Files available
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3345 |
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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 |Published| Conference Paper | IST-REx-ID: 757
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “Generating Fast Indulgent Algorithms,” 6522 LNCS:41–52. Springer, 2011. https://doi.org/10.1007/978-3-642-17679-1_4.
View
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 760
Alistarh, Dan-Adrian, and James Aspnes. “Sub-Logarithmic Test-and-Set against a Weak Adversary,” 6950 LNCS:97–109. Springer, 2011. https://doi.org/10.1007/978-3-642-24100-0_7.
View
| DOI
2011 |Published| Journal Article | IST-REx-ID: 8025 |
Woodruff, A. R., L. M. McGarry, Tim P Vogels, M. Inan, S. A. Anderson, and R. Yuste. “State-Dependent Function of Neocortical Chandelier Cells.” Journal of Neuroscience. Society for Neuroscience, 2011. https://doi.org/10.1523/jneurosci.3894-11.2011.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 |Published| Conference Paper | IST-REx-ID: 9648 |
Gonzalez-Diaz, Rocio, Adrian Ion, Maria Jose Jimenez, and Regina Poyatos. “Incremental-Decremental Algorithm for Computing AT-Models and Persistent Homology.” In Computer Analysis of Images and Patterns, 6854:286–93. Springer Nature, 2011. https://doi.org/10.1007/978-3-642-23672-3_35.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 |Published| Conference Paper | IST-REx-ID: 9943 |
Sommer, Christoph M, Christoph Straehle, Ullrich Köthe, and Fred A. Hamprecht. “Ilastik: Interactive Learning and Segmentation Toolkit.” In 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Micro. Institute of Electrical and Electronics Engineers, 2011. https://doi.org/10.1109/isbi.2011.5872394.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2011 |Published| Conference Paper | IST-REx-ID: 10907
Artner, Nicole M., Adrian Ion, and Walter G. Kropatsch. “Spatio-Temporal Extraction of Articulated Models in a Graph Pyramid.” In Graph-Based Representations in Pattern Recognition, edited by Xiaoyi Jiang, Miquel Ferrer, and Andrea Torsello, 6658:215–24. LNIP. Berlin, Heidelberg: Springer, 2011. https://doi.org/10.1007/978-3-642-20844-7_22.
View
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3238
Kiltz, Eike, Krzysztof Z Pietrzak, David Cash, Abhishek Jain, and Daniele Venturi. “Efficient Authentication from Hard Learning Problems,” 6632:7–26. Springer, 2011. https://doi.org/10.1007/978-3-642-20465-4_3.
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 10908 |
Blanc, Régis, Thomas A Henzinger, Thibaud Hottelier, and Laura Kovács. “ABC: Algebraic Bound Computation for Loops.” In Logic for Programming, Artificial Intelligence, and Reasoning, edited by Edmund M Clarke and Andrei Voronkov, 6355:103–18. LNCS. Berlin, Heidelberg: Springer Nature, 2010. https://doi.org/10.1007/978-3-642-17511-4_7.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 11754
Lang, S.B., J.C. Lashley, Kimberly A Modic, R.A. Fisher, W.M. Zhu, and Z.G. Ye. “Specific Heat of a Ferroelectric PZT Ceramic at the Morphotropic Phase Boundary.” In 15th IEEE Mediterranean Electrotechnical Conference. Institute of Electrical and Electronics Engineers, 2010. https://doi.org/10.1109/melcon.2010.5476345.
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 11797 |
Feldman, Jon, Monika H Henzinger, Nitish Korula, Vahab S. Mirrokni, and Cliff Stein. “Online Stochastic Packing Applied to Display Ad Allocation.” In 18th Annual European Symposium on Algorithms, 6346:182–194. Springer Nature, 2010. https://doi.org/10.1007/978-3-642-15775-2_16.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |Published| Conference Paper | IST-REx-ID: 11798
Dütting, Paul, and Monika H Henzinger. “Mechanisms for the Marriage and the Assignment Game.” In 7th International Conference on Algorithms and Complexity, 6078:6–12. Springer Nature, 2010. https://doi.org/10.1007/978-3-642-13073-1_2.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 11838 |
Dütting, Paul, Monika H Henzinger, and Ingmar Weber. “Sponsored Search, Market Equilibria, and the Hungarian Method.” In 27th International Symposium on Theoretical Aspects of Computer Science, 5:287–98. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.4230/LIPICS.STACS.2010.2463.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2010 |Published| Journal Article | IST-REx-ID: 1465 |
Hausel, Tamás. “Kac’s Conjecture from Nakajima Quiver Varieties.” Inventiones Mathematicae. Springer, 2010. https://doi.org/10.1007/s00222-010-0241-3.
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 2311
Rickheit, Gesa, Lena Wartosch, Sven Schaffer, Sandra Stobrawa, Gaia Novarino, Stefanie Weinert, and Thomas Jentsch. “Role of ClC-5 in Renal Endocytosis Is Unique among ClC Exchangers and Does Not Require PY-Motif-Dependent Ubiquitylation.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2010. https://doi.org/10.1074/jbc.M110.115600.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 2508
Atherton, Jeremy, Katsunori Kitano, Jérôme Baufreton, Kai Fan, David Wokosin, Tatiana Tkatch, Ryuichi Shigemoto, James Surmeier, and Mark Bevan. “Selective Participation of Somatodendritic HCN Channels in Inhibitory but Not Excitatory Synaptic Integration in Neurons of the Subthalamic Nucleus.” Journal of Neuroscience. Society for Neuroscience, 2010. https://doi.org/10.1523/JNEUROSCI.3898-10.2010.
View
| DOI