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.

1481 Publications


2015 |Published| Journal Article | IST-REx-ID: 8498
Kaloshin, V., & Zhang, K. (2015). Arnold diffusion for smooth convex systems of two and a half degrees of freedom. Nonlinearity. IOP Publishing. https://doi.org/10.1088/0951-7715/28/8/2699
View | DOI
 

2015 | Research Data Reference | IST-REx-ID: 9737
Symonova, O., Topp, C., & Edelsbrunner, H. (2015). Root traits computed by DynamicRoots for the maize root shown in fig 2. Public Library of Science. https://doi.org/10.1371/journal.pone.0127657.s001
[Published Version] View | Files available | DOI
 

2015 |Published| Journal Article | IST-REx-ID: 982 | OA
Serbyn, M., Papić, Z., & Abanin, D. (2015). Criterion for many-body localization-delocalization phase transition. Physical Review X. American Physical Society. https://doi.org/10.1103/PhysRevX.5.041047
View | DOI | Download (ext.)
 

2015 | Research Data Reference | IST-REx-ID: 9742 | OA
Westhus, C., Ugelvig, L. V., Tourdot, E., Heinze, J., Doums, C., & Cremer, S. (2015). Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant. Dryad. https://doi.org/10.5061/dryad.7kc79
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2015 |Published| Journal Article | IST-REx-ID: 12631
Ayala, A., Pellicciotti, F., & Shea, J. M. (2015). Modeling 2 m air temperatures over mountain glaciers: Exploring the influence of katabatic cooling and external warming. Journal of Geophysical Research: Atmospheres. American Geophysical Union. https://doi.org/10.1002/2015jd023137
[Published Version] View | DOI
 

2015 |Published| Journal Article | IST-REx-ID: 1501 | OA
Chatterjee, K., Chmelik, M., & Daca, P. (2015). CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-015-0235-2
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 |Submitted| Preprint | IST-REx-ID: 8183 | OA
Avvakumov, S., Mabillard, I., Skopenkov, A., & Wagner, U. (n.d.). Eliminating higher-multiplicity intersections, III. Codimension 2. arXiv.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2015 |Published| Technical Report | IST-REx-ID: 5442 | OA
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria.
[Published Version] View | Files available
 

2015 |Published| Conference Paper | IST-REx-ID: 1689 | OA
Svoreňová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cěrná, I., & Belta, C. (2015). Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 259–268). Seattle, WA, United States: ACM. https://doi.org/10.1145/2728606.2728608
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 |Published| Conference Paper | IST-REx-ID: 1603 | OA
Brázdil, T., Chatterjee, K., Chmelik, M., Fellner, A., & Kretinsky, J. (2015). Counterexample explanation by learning small strategies in Markov decision processes (Vol. 9206, pp. 158–177). Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer. https://doi.org/10.1007/978-3-319-21690-4_10
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 |Published| Conference Paper | IST-REx-ID: 1512 | OA
Goaoc, X., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2015). Bounding Helly numbers via Betti numbers (Vol. 34, pp. 507–521). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SOCG.2015.507
[Submitted Version] View | Files available | DOI
 

2015 |Submitted| Journal Article | IST-REx-ID: 271 | OA
Browning, T. D., & Prendiville, S. (n.d.). Improvements in Birch’s theorem on forms in many variables. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter. https://doi.org/10.1515/crelle-2014-0122
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 |Published| Journal Article | IST-REx-ID: 11750
Pokharel, M., Zhao, H., Modic, K. A., Ren, Z., & Opeil, C. (2014). Magnetic properties of hot-pressed FeSb2. IEEE Transactions on Magnetics. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/TMAG.2013.2292607
View | DOI
 

2014 |Published| Conference Paper | IST-REx-ID: 11789 | OA
Charikar, M., Henzinger, M. H., & Nguyễn, H. L. (2014). Online bipartite matching with decomposable weights. In 22nd Annual European Symposium on Algorithms (Vol. 8737, pp. 260–271). Wroclaw, Poland: Springer Nature. https://doi.org/10.1007/978-3-662-44777-2_22
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 |Published| Conference Paper | IST-REx-ID: 11790
Cigler, L., Dvořák, W., Henzinger, M. H., & Starnberger, M. (2014). Limiting price discrimination when selling products with positive network externalities. In 10th International Conference of Web and Internet Economics (Vol. 8877, pp. 44–57). Beijing, China: Springer Nature. https://doi.org/10.1007/978-3-319-13129-0_4
View | DOI
 

2014 |Published| Journal Article | IST-REx-ID: 118
Altshuler, E., Torres, H., González_Pita, A., Sánchez, C. G., Pérez Penichet, C., Waitukaitis, S. R., & Hidalgo, R. (2014). Settling into dry granular media in different gravities. Geophysical Research Letters. Wiley-Blackwell. https://doi.org/10.1002/2014GL059229
View | DOI
 

2014 |Published| Conference Paper | IST-REx-ID: 11855 | OA
Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2014). Decremental single-source shortest paths on undirected graphs in near-linear total update time. In 55th Annual Symposium on Foundations of Computer Science (pp. 146–155). Philadelphia, PA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/focs.2014.24
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 |Published| Conference Paper | IST-REx-ID: 11876 | OA
Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2014). A subquadratic-time algorithm for decremental single-source shortest paths. In 25th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1053–1072). Portland, OR, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973402.79
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 |Published| Conference Paper | IST-REx-ID: 11875 | OA
Bhattacharya, S., Henzinger, M. H., & Italiano, G. F. (2014). Deterministic fully dynamic data structures for vertex cover and matching. In 26th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 785–804). San Diego, CA, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973730.54
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 |Published| Journal Article | IST-REx-ID: 11967
Moghaddam, M. M., Pieber, B., Glasnov, T., & Kappe, C. O. (2014). Immobilized iron oxide nanoparticles as stable and reusable catalysts for hydrazine-mediated nitro reductions in continuous flow. ChemSusChem. Wiley. https://doi.org/10.1002/cssc.201402455
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

isbn%3D978-161197478-2

Search

Filter Publications