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.

540 Publications


2017 | Published | Conference Paper | IST-REx-ID: 8306 | OA
Syta, E., et al. “Scalable Bias-Resistant Distributed Randomness.” 2017 IEEE Symposium on Security and Privacy, IEEE, 2017, pp. 444–60, doi:10.1109/SP.2017.45.
[Preprint] View | DOI | Download Preprint (ext.)
 

2017 | Published | Conference Paper | IST-REx-ID: 487
Baig, Ghufran, et al. “Towards Unlicensed Cellular Networks in TV White Spaces.” Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14, doi:10.1145/3143361.3143367.
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 6117 | OA
Chen, Changchun, et al. “IL-17 Is a Neuromodulator of Caenorhabditis Elegans Sensory Responses.” Nature, vol. 542, no. 7639, Springer Nature, 2017, pp. 43–48, doi:10.1038/nature20818.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Published | Book Chapter | IST-REx-ID: 634
Schroeder, Jan, et al. “Genetic and Pharmacological Reversibility of Phenotypes in Mouse Models of Autism Spectrum Disorder.” Translational Anatomy and Cell Biology of Autism Spectrum Disorder, edited by Michael Schmeisser and Tobias Boekers, vol. 224, Springer, 2017, pp. 189–211, doi:10.1007/978-3-319-52498-6_10.
View | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 636 | OA
Bakhirkin, Alexey, et al. On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. Edited by Alessandro Abate and Gilles Geeraerts, vol. 10419, Springer, 2017, pp. 189–206, doi:10.1007/978-3-319-65765-3_11.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Published | Technical Report | IST-REx-ID: 6426 | OA
Henzinger, Thomas A., et al. Synchronizing the Asynchronous. IST Austria, 2017, doi:10.15479/AT:IST-2018-853-v2-2.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 644 | OA
Kolmogorov, Vladimir, et al. “The Complexity of General-Valued CSPs.” SIAM Journal on Computing, vol. 46, no. 3, SIAM, 2017, pp. 1087–110, doi:10.1137/16M1091836.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 674
Schwarz, Jan, et al. “Dendritic Cells Interpret Haptotactic Chemokine Gradients in a Manner Governed by Signal to Noise Ratio and Dependent on GRK6.” Current Biology, vol. 27, no. 9, Cell Press, 2017, pp. 1314–25, doi:10.1016/j.cub.2017.04.004.
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 7064 | OA
Modic, Kimberly A., et al. “Robust Spin Correlations at High Magnetic Fields in the Harmonic Honeycomb Iridates.” Nature Communications, vol. 8, no. 1, 180, Springer Nature, 2017, doi:10.1038/s41467-017-00264-6.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 743
Gottlob, Georg, et al. “Preface of the Special Issue in Memoriam Helmut Veith.” Formal Methods in System Design, vol. 51, no. 2, Springer, 2017, pp. 267–69, doi:10.1007/s10703-017-0307-6.
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 751 | OA
Matsubayashi, Yutaka, et al. “A Moving Source of Matrix Components Is Essential for De Novo Basement Membrane Formation.” Current Biology, vol. 27, no. 22, Cell Press, 2017, p. 3526–3534e.4, doi:10.1016/j.cub.2017.10.001.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Book Chapter | IST-REx-ID: 424 | OA
Goaoc, Xavier, et al. “Bounding Helly Numbers via Betti Numbers.” A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, edited by Martin Loebl et al., Springer, 2017, pp. 407–47, doi:10.1007/978-3-319-44479-6_17.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 647 | OA
Bogomolov, Sergiy, et al. Conic Abstractions for Hybrid Systems. Vol. 10419, Springer, 2017, pp. 116–32, doi:10.1007/978-3-319-65765-3_7.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Thesis | PhD | IST-REx-ID: 992 | OA
Rolinek, Michal. Complexity of Constraint Satisfaction. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_815.
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1177 | OA
Kamath Hosdurg, Chethan, and Sanjit Chatterjee. “A Closer Look at Multiple-Forking: Leveraging (in)Dependence for a Tighter Bound.” Algorithmica, vol. 74, no. 4, Springer, 2016, pp. 1321–62, doi:10.1007/s00453-015-9997-6.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 11834 | OA
Goranci, Gramoz, et al. “Incremental Exact Min-Cut in Poly-Logarithmic Amortized Update Time.” 24th Annual European Symposium on Algorithms, vol. 57, 46, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPICS.ESA.2016.46.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 11835 | OA
Henzinger, Monika, and Stefan Neumann. “Incremental and Fully Dynamic Subgraph Connectivity for Emergency Planning.” 24th Annual European Symposium on Algorithms, vol. 57, 48, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPICS.ESA.2016.48.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 11836 | OA
Cheung, Yun Kuen, et al. “Graph Minors for Preserving Terminal Distances Approximately - Lower and Upper Bounds.” 43rd International Colloquium on Automata, Languages, and Programming, vol. 55, 131, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPICS.ICALP.2016.131.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1222 | OA
Musin, Oleg, and Anton Nikitenko. “Optimal Packings of Congruent Circles on a Square Flat Torus.” Discrete & Computational Geometry, vol. 55, no. 1, Springer, 2016, pp. 1–20, doi:10.1007/s00454-015-9742-6.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 12615
Ayala, A., et al. “Modelling the Hydrological Response of Debris-Free and Debris-Covered Glaciers to Present Climatic Conditions in the Semiarid Andes of Central Chile.” Hydrological Processes, vol. 30, no. 22, Wiley, 2016, pp. 4036–58, doi:10.1002/hyp.10971.
View | DOI
 

Filters and Search Terms

isbn%3D3-853-20311-6

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed