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


2017 |Published| Conference Paper | IST-REx-ID: 5801
Dwivedi, S., Gupta, A., Roy, S., Biswas, R., & Bhowmick, P. (2017). Fast and Efficient Incremental Algorithms for Circular and Spherical Propagation in Integer Space. In 20th IAPR International Conference (Vol. 10502, pp. 347–359). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-66272-5_28
View | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 610 | OA
Goaoc, X., Mabillard, I., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2017). On generalized Heawood inequalities for manifolds: A van Kampen–Flores type nonembeddability result. Israel Journal of Mathematics. Springer. https://doi.org/10.1007/s11856-017-1607-7
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2017 |Published| Book Chapter | IST-REx-ID: 623
Hill Yardin, E., Mckeown, S., Novarino, G., & Grabrucker, A. (2017). Extracerebral dysfunction in animal models of autism spectrum disorder. In M. Schmeisser & T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder (Vol. 224, pp. 159–187). Springer. https://doi.org/10.1007/978-3-319-52498-6_9
View | DOI
 

2017 |Published| Book Chapter | IST-REx-ID: 625 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2017). The cost of exactness in quantitative reachability. In L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, & R. Mardare (Eds.), Models, Algorithms, Logics and Tools (Vol. 10460, pp. 367–381). Springer. https://doi.org/10.1007/978-3-319-63121-9_18
[Submitted Version] View | Files available | DOI
 

2017 |Published| Conference Paper | IST-REx-ID: 628 | OA
Chatterjee, K., Fu, H., & Murhekar, A. (2017). Automated recurrence analysis for almost linear expected runtime bounds. In R. Majumdar & V. Kunčak (Eds.) (Vol. 10426, pp. 118–139). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer. https://doi.org/10.1007/978-3-319-63387-9_6
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 |Published| Journal Article | IST-REx-ID: 632 | OA
Lewin, M., Nam, P., & Rougerie, N. (2017). A note on 2D focusing many boson systems. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/13468
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 |Published| Conference Paper | IST-REx-ID: 633
Bak, S., Bogomolov, S., Henzinger, T. A., & Kumar, A. (2017). Challenges and tool implementation of hybrid rapidly exploring random trees. In A. Abate & S. Bodo (Eds.) (Vol. 10381, pp. 83–89). Presented at the NSV: Numerical Software Verification, Heidelberg, Germany: Springer. https://doi.org/10.1007/978-3-319-63501-9_6
View | DOI
 

2017 |Published| Technical Report | IST-REx-ID: 6426 | OA
Henzinger, T. A., Kragl, B., & Qadeer, S. (2017). Synchronizing the asynchronous. IST Austria. https://doi.org/10.15479/AT:IST-2018-853-v2-2
[Published Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 643
Sun, W., Zhai, M.-Z., Zhou, Q., Qian, C., & Jiang, C. (2017). Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats. Chinese Journal of Physiology. Chinese Physiological Society. https://doi.org/10.4077/CJP.2017.BAF469
[Published Version] View | DOI | PubMed | Europe PMC
 

2017 |Published| Conference Paper | IST-REx-ID: 645 | OA
Ashok, P., Chatterjee, K., Daca, P., Kretinsky, J., & Meggendorfer, T. (2017). Value iteration for long run average reward in markov decision processes. In R. Majumdar & V. Kunčak (Eds.) (Vol. 10426, pp. 201–221). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer. https://doi.org/10.1007/978-3-319-63387-9_10
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 |Published| Book Chapter | IST-REx-ID: 649
Maas, J. (2017). Entropic Ricci curvature for discrete spaces. In L. Najman & P. Romon (Eds.), Modern Approaches to Discrete Curvature (Vol. 2184, pp. 159–174). Springer. https://doi.org/10.1007/978-3-319-58002-9_5
View | DOI
 

2017 |Published| Conference Paper | IST-REx-ID: 6519 | OA
Chatterjee, K., Dvorák, W., Henzinger, M. H., & Loitzenbauer, V. (2017). Improved set-based symbolic algorithms for parity games (Vol. 82). Presented at the CSL: Conference on Computer Science Logic, Stockholm, Sweden: Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPICS.CSL.2017.18
[Published Version] View | Files available | DOI
 

2017 |Published| Conference Paper | IST-REx-ID: 6729 | OA
Mondelli, M., Hassani, S. H., & Urbanke, R. (2017). Construction of polar codes with sublinear complexity. In 2017 IEEE International Symposium on Information Theory (pp. 1853–1857). Aachen, Germany: IEEE. https://doi.org/10.1109/isit.2017.8006850
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 |Published| Conference Paper | IST-REx-ID: 6731 | OA
Mondelli, M., Hassani, H., Maric, I., Hui, D., & Hong, S.-N. (2017). Capacity-achieving rate-compatible polar codes for general channels. In 2017 IEEE Wireless Communications and Networking Conference Workshops . San Francisco, CA, USA: IEEE. https://doi.org/10.1109/wcncw.2017.7919107
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 693 | OA
Miki, T., Kaufmann, W., Malagon, G., Gomez, L., Tabuchi, K., Watanabe, M., … Marty, A. (2017). Numbers of presynaptic Ca2+ channel clusters match those of functionally defined vesicular docking sites in single central synapses. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1704470114
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 |Published| Conference Paper | IST-REx-ID: 6932
Brandt, S., Hirvonen, J., Korhonen, J. H., Lempiäinen, T., Östergård, P. R. J., Purcell, C., … Uznański, P. (2017). LCL problems on grids (pp. 101–110). Presented at the PODC: Principles of Distributed Computing, Washington, DC, United States: ACM Press. https://doi.org/10.1145/3087801.3087833
View | DOI
 

2017 |Published| Conference Paper | IST-REx-ID: 697 | OA
Pietrzak, K. Z., & Skórski, M. (2017). Non uniform attacks against pseudoentropy (Vol. 80). Presented at the ICALP: International Colloquium on Automata, Languages, and Programming, Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2017.39
[Published Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 701 | OA
Kynčl, J., & Patakova, Z. (2017). On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4. The Electronic Journal of Combinatorics. International Press.
[Submitted Version] View | Files available
 

2017 |Published| Conference Paper | IST-REx-ID: 710 | OA
Obremski, M., & Skórski, M. (2017). Renyi entropy estimation revisited (Vol. 81). Presented at the 20th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX, Berkeley, USA: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20
[Published Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 716 | OA
Chatterjee, K., & Velner, Y. (2017). The complexity of mean-payoff pushdown games. Journal of the ACM. ACM. https://doi.org/10.1145/3121408
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

isbn%3D978-161197478-2

Search

Filter Publications