ISTA Research Explorer

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.

1618 Publications

2023 | Conference Paper | IST-REx-ID: 14692 |

Auerbach, B., Hoffmann, C., & Pascual Perez, G. (2023). Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing. In 21st International Conference on Theory of Cryptography (Vol. 14371, pp. 301–330). Springer Nature. https://doi.org/10.1007/978-3-031-48621-0_11

[Preprint] View | DOI | Download Preprint (ext.)

2023 | Thesis | IST-REx-ID: 14697

Stopp, J. A. (2023). Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14697

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 14718 |

Pastva, S., & Henzinger, T. A. (2023). Binary decision diagrams on modern hardware. In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design (pp. 122–131). Ames, IA, United States: TU Vienna Academic Press. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 14726 |

Zhou, L.-Z., Wang, L., Chen, X., Ge, Z., Mergner, J., Li, X., … Dresselhaus, T. (2023). The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize. The Plant Cell. Oxford University Press. https://doi.org/10.1093/plcell/koad324

[Published Version] View | DOI | Download Published Version (ext.)

2023 | Journal Article | IST-REx-ID: 12833 |

Biniaz, A., Jain, K., Lubiw, A., Masárová, Z., Miltzow, T., Mondal, D., … Turcotte, A. (2023). Token swapping on trees. Discrete Mathematics and Theoretical Computer Science. EPI Sciences. https://doi.org/10.46298/DMTCS.8383

[Published Version] View | Files available | DOI | arXiv

2023 | Conference Paper | IST-REx-ID: 14735 |

Stefo, C., Xiang, Z., & Kokoris Kogias, E. (2023). Executing and proving over dirty ledgers. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 3–20). Bol, Brac, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-47754-6_1

[Preprint] View | DOI | Download Preprint (ext.)

2023 | Conference Paper | IST-REx-ID: 14736

Bastankhah, M., Chatterjee, K., Maddah-Ali, M. A., Schmid, S., Svoboda, J., & Yeo, M. X. (2023). R2: Boosting liquidity in payment channel networks with online admission control. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 309–325). Bol, Brac, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-47754-6_18

View | DOI

2023 | Conference Paper | IST-REx-ID: 14744

Avarikioti, Z., Desjardins, A., Kokoris Kogias, E., & Wattenhofer, R. (2023). Divide & Scale: Formalization and roadmap to robust sharding. In 30th International Colloquium on Structural Information and Communication Complexity (Vol. 13892, pp. 199–245). Alcalá de Henares, Spain: Springer Nature. https://doi.org/10.1007/978-3-031-32733-9_10

View | DOI

2023 | Journal Article | IST-REx-ID: 14751 |

Zhang, Y. (2023). Zero-error communication over adversarial MACs. IEEE Transactions on Information Theory. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/tit.2023.3257239

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2023 | Journal Article | IST-REx-ID: 14776 |

Teplova, A., Pigidanov, A. A., Serebryakova, M. V., Golyshev, S. A., Galiullina, R. A., Chichkova, N. V., & Vartapetian, A. B. (2023). Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms242216527

2023 | Journal Article | IST-REx-ID: 14775 |

Schnelli, K., & Xu, Y. (2023). Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices. The Annals of Applied Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/22-aap1826

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2023 | Journal Article | IST-REx-ID: 9651 |

Dymond, M., & Kaluza, V. (2023). Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. Springer Nature. https://doi.org/10.1007/s10711-023-00862-3

[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv

2023 | Conference Paper | IST-REx-ID: 14768 |

Cohen-Addad, V., Saulpic, D., & Schwiegelshohn, C. (2023). Deterministic clustering in high dimensional spaces: Sketches and approximation. In 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (pp. 1105–1130). Santa Cruz, CA, United States: IEEE. https://doi.org/10.1109/focs57990.2023.00066

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2023 | Journal Article | IST-REx-ID: 14782 |

Baldauf, L., Frey, F. F., Arribas Perez, M., Idema, T., & Koenderink, G. H. (2023). Branched actin cortices reconstituted in vesicles sense membrane curvature. Biophysical Journal. Elsevier. https://doi.org/10.1016/j.bpj.2023.02.018

2023 | Thesis | IST-REx-ID: 14539 |

Zikelic, D. (2023). Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria. https://doi.org/10.15479/14539

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 14456 |

Křišťan, J. M., & Svoboda, J. (2023). Shortest dominating set reconfiguration under token sliding. In 24th International Symposium on Fundamentals of Computation Theory (Vol. 14292, pp. 333–347). Trier, Germany: Springer Nature. https://doi.org/10.1007/978-3-031-43587-4_24

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2023 | Conference Paper | IST-REx-ID: 14829 |

Cohen, S., Goren, G., Kokoris Kogias, E., Sonnino, A., & Spiegelman, A. (2023). Proof of availability and retrieval in a modular blockchain architecture. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13951, pp. 36–53). Bol, Brac, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-47751-5_3

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2023 | Conference Paper | IST-REx-ID: 14830

Zikelic, D., Lechner, M., Henzinger, T. A., & Chatterjee, K. (2023). Learning control policies for stochastic systems with reach-avoid guarantees. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 11926–11935). Washington, DC, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v37i10.26407

[Preprint] View | Files available | DOI | arXiv

2023 | Conference Paper | IST-REx-ID: 14872

Sahu, R., Qiu, L., Hease, W. J., Arnold, G. M., Minoguchi, Y., Rabl, P., & Fink, J. M. (2023). Entangling microwaves and telecom wavelength light. In Frontiers in Optics + Laser Science 2023. Tacoma, WA, United States: Optica Publishing Group. https://doi.org/10.1364/ls.2023.lm1f.3

View | DOI

2023 | Journal Article | IST-REx-ID: 13266 |

Qi, L., & Friml, J. (2023). Tale of cAMP as a second messenger in auxin signaling and beyond. New Phytologist. Wiley. https://doi.org/10.1111/nph.19123

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

1618 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

1618 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options