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.
9096 Publications
2013 | Journal Article | IST-REx-ID: 2117 | 
Dirksen, S., Maas, J., & Van Neerven, J. (2013). Poisson stochastic integration in Banach spaces. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/EJP.v18-2945
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2113
Rouiller, O., Bickel, B., Kautz, J., Matusik, W., & Alexa, M. (2013). 3D printing spatially varying BRDFs. IEEE Computer Graphics and Applications. IEEE. https://doi.org/10.1109/MCG.2013.82
View
| DOI
2013 | Journal Article | IST-REx-ID: 2114
Bickel, B., & Alexa, M. (2013). Computational aspects of fabrication: Modeling, design and 3d printing. IEEE Computer Graphics and Applications. IEEE. https://doi.org/10.1109/MCG.2013.89
View
| DOI
2013 | Journal Article | IST-REx-ID: 2129 |
Gigli, N., & Maas, J. (2013). Gromov-Hausdorff convergence of discrete transportation metrics. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/120886315
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2139 |
Lemeshko, M. (2013). Manipulating scattering of ultracold atoms with light-induced dissipation. Frontiers Physics. Frontiers Media. https://doi.org/10.3389/fphy.2013.00017
View
| DOI
| Download (ext.)
2013 | Conference Paper | IST-REx-ID: 2181 |
Henzinger, T. A., Kirsch, C., Payer, H., Sezgin, A., & Sokolova, A. (2013). Quantitative relaxation of concurrent data structures. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language (pp. 317–328). Rome, Italy: ACM. https://doi.org/10.1145/2429069.2429109
[Submitted Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2182
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2013). Quantitative abstraction refinement. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language (pp. 115–128). Rome, Italy: ACM. https://doi.org/10.1145/2429069.2429085
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2209
Biedl, T., Held, M., & Huber, S. (2013). Recognizing straight skeletons and Voronoi diagrams and reconstructing their input (pp. 37–46). Presented at the ISVD: Voronoi Diagrams in Science and Engineering, St. Petersburg, Russia: IEEE. https://doi.org/10.1109/ISVD.2013.11
View
| DOI
2013 | Journal Article | IST-REx-ID: 2204 |
Bhongale, S., Mathey, L., Zhao, E., Yelin, S., & Lemeshko, M. (2013). Quantum phases of quadrupolar fermi gases in optical lattices. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.110.155301
View
| Files available
| DOI
| Download None (ext.)
2013 | Journal Article | IST-REx-ID: 2206 |
Lemeshko, M., Yao, N., Gorshkov, A., Weimer, H., Bennett, S., Momose, T., & Gopalakrishnan, S. (2013). Controllable quantum spin glasses with magnetic impurities embedded in quantum solids. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.88.014426
View
| DOI
| Download (ext.)
2013 | Book Review | IST-REx-ID: 2205 |
Lemeshko, M., Krems, R., Doyle, J., & Kais, S. (2013). Manipulation of molecules with electromagnetic fields. Molecular Physics. Taylor & Francis. https://doi.org/10.1080/00268976.2013.813595
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2207 |
Lemeshko, M., & Weimer, H. (2013). Dissipative binding of atoms by non-conservative forces. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms3230
View
| DOI
| Download (ext.)
2013 | Conference Paper | IST-REx-ID: 2210 |
Biedl, T., Held, M., & Huber, S. (2013). Reconstructing polygons from embedded straight skeletons. In 29th European Workshop on Computational Geometry (pp. 95–98). Braunschweig, Germany: TU Braunschweig.
[Submitted Version]
View
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2237 |
Blanc, R., Gupta, A., Kovács, L., & Kragl, B. (2013). Tree interpolation in Vampire. Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Stellenbosch, South Africa: Springer. https://doi.org/10.1007/978-3-642-45221-5_13
[Submitted Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2238
Chatterjee, K., Forejt, V., & Wojtczak, D. (2013). Multi-objective discounted reward verification in graphs and MDPs. Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Stellenbosch, South Africa: Springer. https://doi.org/10.1007/978-3-642-45221-5_17
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2243 |
Michaliszyn, J., & Otop, J. (2013). Elementary modal logics over transitive structures. Presented at the CSL: Computer Science Logic, Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.563
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2244 |
Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2013). Untangling two systems of noncrossing curves. Presented at the GD: Graph Drawing and Network Visualization, Bordeaux, France: Springer. https://doi.org/10.1007/978-3-319-03841-4_41
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2259 |
Alwen, J. F., Krenn, S., Pietrzak, K. Z., & Wichs, D. (2013). Learning with rounding, revisited: New reduction properties and applications. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-642-40041-4_4
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2258 |
Kiltz, E., Pietrzak, K. Z., & Szegedy, M. (2013). Digital signatures with minimal overhead from indifferentiable random invertible functions. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-642-40041-4_31
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2256 |
Danowski, P., Goldfarb, D., Schaffner, V., & Seidler, W. (2013). Linked (Open) Data - Bibliographische Daten im Semantic Web. VÖB Mitteilungen. Verein Österreichischer Bibliothekarinnen und Bibliothekare.
[Published Version]
View
| Files available