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.

12273 Publications


2018 | Published | Conference Paper | IST-REx-ID: 297 | OA
Brázdil, T., Chatterjee, K., Kretinsky, J., & Toman, V. (2018). Strategy representation by decision trees in reactive synthesis (Vol. 10805, pp. 385–407). Presented at the TACAS 2018: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece: Springer. https://doi.org/10.1007/978-3-319-89960-2_21
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 298 | OA
Alwen, J. F., Blocki, J., & Pietrzak, K. Z. (2018). Sustained space complexity (Vol. 10821, pp. 99–130). Presented at the Eurocrypt: Advances in Cryptology, Tel Aviv, Israel: Springer. https://doi.org/10.1007/978-3-319-78375-8_4
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

earlier version | 2018 | Published | Conference Paper | IST-REx-ID: 299 | OA
Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., & Ulus, D. (2018). AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. In D. Beyer & M. Huisman (Eds.) (Vol. 10806, pp. 303–319). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece: Springer. https://doi.org/10.1007/978-3-319-89963-3_18
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 300 | OA
Micciancio, D., & Walter, M. (2018). On the bit security of cryptographic primitives (Vol. 10820, pp. 3–28). Presented at the Eurocrypt: Advances in Cryptology, Tel Aviv, Israel: Springer. https://doi.org/10.1007/978-3-319-78381-9_1
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 302 | OA
Cohen, B., & Pietrzak, K. Z. (2018). Simple proofs of sequential work (Vol. 10821, pp. 451–467). Presented at the Eurocrypt: Advances in Cryptology, Tel Aviv, Israel: Springer. https://doi.org/10.1007/978-3-319-78375-8_15
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 303 | OA
Kalinin, N., & Shkolnikov, M. (2018). Introduction to tropical series and wave dynamic on them. Discrete and Continuous Dynamical Systems- Series A. AIMS. https://doi.org/10.3934/dcds.2018120
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 304 | OA
Auzinger, T., Heidrich, W., & Bickel, B. (2018). Computational design of nanostructural color for additive manufacturing. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3197517.3201376
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 305
Misun, P., Birchler, A., Lang, M., Hierlemann, A., & Frey, O. (2018). Fabrication and operation of microfluidic hanging drop networks. Methods in Molecular Biology. Springer. https://doi.org/10.1007/978-1-4939-7792-5_15
View | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 306 | OA
De Martino, A., & De Martino, D. (2018). An introduction to the maximum entropy approach and its application to inference problems in biology. Heliyon. Elsevier. https://doi.org/10.1016/j.heliyon.2018.e00596
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 308 | OA
Ratheesh, A., Bicher, J., Smutny, M., Veselá, J., Papusheva, E., Krens, G., … Siekhaus, D. E. (2018). Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage invasive migration. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2018.04.002
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 1215 | OA
Flandoli, F., Russo, F., & Zanco, G. A. (2018). Infinite-dimensional calculus under weak spatial regularity of the processes. Journal of Theoretical Probability. Springer. https://doi.org/10.1007/s10959-016-0724-2
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 124
Waitukaitis, S. R., Schrader, D., Nagashima, K., Davidson, J., Mccoy, T., Conolly Jr, H., & Lauretta, D. (2018). The retention of dust in protoplanetary disks: evidence from agglomeration olivine chondrules from the outer solar system. Geochimica et Cosmochimica Acta. Elsevier. https://doi.org/10.1016/j.gca.2017.12.014
View | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 125
Cerda, M., Waitukaitis, S. R., Navarro, C., Silva, J., Mujica, N., & Hitschfeld, N. (2018). A high-speed tracking algorithm for dense granular media. Computer Physics Communications. Elsevier. https://doi.org/10.1016/j.cpc.2018.02.010
View | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 126
Waitukaitis, S. R., Harth, K., & Van Hecke, M. (2018). From bouncing to floating: the Leidenfrost effect with hydrogel spheres. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.121.048001
View | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 12603 | OA
Burger, F., Ayala, A., Farias, D., Shaw, T. E., MacDonell, S., Brock, B., … Pellicciotti, F. (2018). Interannual variability in glacier contribution to runoff from a high‐elevation Andean catchment: Understanding the role of debris cover in glacier hydrology. Hydrological Processes. Wiley. https://doi.org/10.1002/hyp.13354
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 12604 | OA
Miles, E. S., Willis, I., Buri, P., Steiner, J. F., Arnold, N. S., & Pellicciotti, F. (2018). Surface pond energy absorption across four Himalayan Glaciers accounts for 1/8 of total catchment ice loss. Geophysical Research Letters. American Geophysical Union. https://doi.org/10.1029/2018gl079678
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 12605 | OA
Clemenzi, I., Pellicciotti, F., & Burlando, P. (2018). Snow depth structure, fractal behavior, and interannual consistency over Haut Glacier d’Arolla, Switzerland. Water Resources Research. American Geophysical Union. https://doi.org/10.1029/2017wr021606
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 12606 | OA
Herreid, S., & Pellicciotti, F. (2018). Automated detection of ice cliffs within supraglacial debris cover. The Cryosphere. Copernicus Publications. https://doi.org/10.5194/tc-12-1811-2018
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 12607 | OA
Buri, P., & Pellicciotti, F. (2018). Aspect controls the survival of ice cliffs on debris-covered glaciers. PNAS. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.1713892115
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 127
Waitukaitis, S. R. (2018). Clicks for doughnuts. Nature Physics. Nature Publishing Group. https://doi.org/10.1038/s41567-018-0160-6
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed