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.
1953 Publications
2014 |Published| Conference Paper | IST-REx-ID: 2159 | 
Mabillard, Isaac, and Uli Wagner. “Eliminating Tverberg Points, I. An Analogue of the Whitney Trick.” Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–80, doi:10.1145/2582112.2582134.
[Submitted Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 2218 |
Cerny, Pavol, et al. Regression-Free Synthesis for Concurrency. Vol. 8559, Springer, 2014, pp. 568–84, doi:10.1007/978-3-319-08867-9_38.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 |Published| Conference Paper | IST-REx-ID: 2063
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. Vol. 8559, Springer, 2014, pp. 473–90, doi:10.1007/978-3-319-08867-9_31.
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 2082 |
Gazi, Peter, et al. The Exact PRF-Security of NMAC and HMAC. Edited by Juan Garay and Rosario Gennaro, vol. 8616, no. 1, Springer, 2014, pp. 113–30, doi:10.1007/978-3-662-44371-2_7.
[Submitted Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 2157 |
Matoušek, Jiří, et al. “Embeddability in the 3 Sphere Is Decidable.” Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 78–84, doi:10.1145/2582112.2582137.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 |Published| Conference Paper | IST-REx-ID: 10894
Bauer, Ulrich, et al. “PHAT – Persistent Homology Algorithms Toolbox.” ICMS 2014: International Congress on Mathematical Software, vol. 8592, Springer Berlin Heidelberg, 2014, pp. 137–43, doi:10.1007/978-3-662-44199-2_24.
View
| Files available
| DOI
2014 |Published| Technical Report | IST-REx-ID: 5428 |
Chatterjee, Krishnendu, et al. Quantitative Fair Simulation Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-315-v1-1.
[Published Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1913 |
Milenković, Ivan, et al. “Patterns of Hippocampal Tau Pathology Differentiate Neurodegenerative Dementias.” Dementia and Geriatric Cognitive Disorders, vol. 38, no. 5–6, Karger Publishers, 2014, pp. 375–88, doi:10.1159/000365548.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 |Published| Journal Article | IST-REx-ID: 2257 |
Tkačik, Gašper, et al. “Searching for Collective Behavior in a Large Network of Sensory Neurons.” PLoS Computational Biology, vol. 10, no. 1, e1003408, Public Library of Science, 2014, doi:10.1371/journal.pcbi.1003408.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 |Published| Journal Article | IST-REx-ID: 115
Waitukaitis, Scott R., and Heinrich Jaeger. “In Situ Granular Charge Measurement by Free-Fall Videography.” Review of Scientific Instruments, vol. 84, no. 2, 025104, AIP, 2013, doi:10.1063/1.4789496.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 11520 |
Sobral, D., et al. “The Dynamics of Z=0.8 H-Alpha-Selected Star-Forming Galaxies from KMOS/CF-HiZELS.” The Astrophysical Journal, vol. 779, no. 2, 139, IOP Publishing, 2013, doi:10.1088/0004-637x/779/2/139.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Conference Paper | IST-REx-ID: 11793 |
Henzinger, Monika H., et al. “Sublinear-Time Maintenance of Breadth-First Spanning Tree in Partially Dynamic Networks.” 40th International Colloquium on Automata, Languages, and Programming, vol. 7966, Springer Nature, 2013, pp. 607–619, doi:10.1007/978-3-642-39212-2_53.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Conference Paper | IST-REx-ID: 11791 |
Dütting, Paul, et al. “Valuation Compressions in VCG-Based Combinatorial Auctions.” 9th International Conference on Web and Internet Economics, vol. 8289, Springer Nature, 2013, pp. 146–159, doi:10.1007/978-3-642-45046-4_13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Conference Paper | IST-REx-ID: 11792 |
Dvořák, Wolfgang, et al. “Maximizing a Submodular Function with Viability Constraints.” 21st Annual European Symposium on Algorithms, vol. 8125, Springer Nature, 2013, pp. 409–20, doi:10.1007/978-3-642-40450-4_35.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Conference Paper | IST-REx-ID: 11856 |
Henzinger, Monika H., et al. “Dynamic Approximate All-Pairs Shortest Paths: Breaking the O(Mn) Barrier and Derandomization.” 54th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2013, pp. 538–47, doi:10.1109/focs.2013.64.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Conference Paper | IST-REx-ID: 1387 |
Boker, Udi, et al. Nondeterminism in the Presence of a Diverse or Unknown Future. Vol. 7966, no. PART 2, Springer, 2013, pp. 89–100, doi:10.1007/978-3-642-39212-2_11.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2181 |
Henzinger, Thomas A., et al. “Quantitative Relaxation of Concurrent Data Structures.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–28, doi:10.1145/2429069.2429109.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2237 |
Blanc, Régis, et al. Tree Interpolation in Vampire. Vol. 8312, Springer, 2013, pp. 173–81, doi:10.1007/978-3-642-45221-5_13.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2238
Chatterjee, Krishnendu, et al. Multi-Objective Discounted Reward Verification in Graphs and MDPs. Vol. 8312, Springer, 2013, pp. 228–42, doi:10.1007/978-3-642-45221-5_17.
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2243 |
Michaliszyn, Jakub, and Jan Otop. Elementary Modal Logics over Transitive Structures. Vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 563–77, doi:10.4230/LIPIcs.CSL.2013.563.
[Published Version]
View
| Files available
| DOI