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.
5762 Publications
2021 | Published | Conference Paper | IST-REx-ID: 10432 |

Elastic consistency: A practical consistency model for distributed stochastic gradient descent
G. Nadiradze, I. Markov, B. Chatterjee, V. Kungurtsev, D.-A. Alistarh, in:, Proceedings of the AAAI Conference on Artificial Intelligence, 2021, pp. 9037–9045.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
G. Nadiradze, I. Markov, B. Chatterjee, V. Kungurtsev, D.-A. Alistarh, in:, Proceedings of the AAAI Conference on Artificial Intelligence, 2021, pp. 9037–9045.
2021 | Published | Conference Paper | IST-REx-ID: 9200 |

Synthesis of hybrid automata with affine dynamics from time-series data
Garcia Soto, Miriam, Synthesis of hybrid automata with affine dynamics from time-series data. HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. 2021
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
Garcia Soto, Miriam, Synthesis of hybrid automata with affine dynamics from time-series data. HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. 2021
2021 | Published | Conference Paper | IST-REx-ID: 10206 |

Into the unknown: active monitoring of neural networks
A. Lukina, C. Schilling, T.A. Henzinger, in:, 21st International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 42–61.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Lukina, C. Schilling, T.A. Henzinger, in:, 21st International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 42–61.
2021 | Published | Technical Report | IST-REx-ID: 9946 |

Differential monitoring
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
[Published Version]
View
| Files available
| DOI
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
2021 | Submitted | Preprint | IST-REx-ID: 9281 |

Formal verification of Zagier's one-sentence proof
G. Dubach, F. Mühlböck, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G. Dubach, F. Mühlböck, ArXiv (n.d.).
2021 | Published | Journal Article | IST-REx-ID: 10327 |

PbS–Pb–CuxS composites for thermoelectric application
M. Li, Y. Liu, Y. Zhang, X. Han, K. Xiao, M. Nabahat, J. Arbiol, J. Llorca, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 13 (2021) 51373–51382.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
M. Li, Y. Liu, Y. Zhang, X. Han, K. Xiao, M. Nabahat, J. Arbiol, J. Llorca, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 13 (2021) 51373–51382.
2021 | Published | Conference Paper | IST-REx-ID: 9441 |

Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations
J.-D. Boissonnat, S. Kachanovich, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2021, p. 17:1-17:16.
[Published Version]
View
| Files available
| DOI
J.-D. Boissonnat, S. Kachanovich, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2021, p. 17:1-17:16.
2021 | Published | Journal Article | IST-REx-ID: 8253 |

The remarkable robustness of surrogate gradient learning for instilling complex function in spiking neural networks
F. Zenke, T.P. Vogels, Neural Computation 33 (2021) 899–925.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
F. Zenke, T.P. Vogels, Neural Computation 33 (2021) 899–925.
2021 | Published | Journal Article | IST-REx-ID: 9410 |

Adaptation at different points along antibiotic concentration gradients
M. Lagator, H. Uecker, P. Neve, Biology Letters 17 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Lagator, H. Uecker, P. Neve, Biology Letters 17 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10184 |

Volume decomposition for two-piece rigid casting
T. Alderighi, L. Malomo, B. Bickel, P. Cignoni, N. Pietroni, ACM Transactions on Graphics 40 (2021).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
T. Alderighi, L. Malomo, B. Bickel, P. Cignoni, N. Pietroni, ACM Transactions on Graphics 40 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9376 |

Computational design of planar multistable compliant structures
R. Zhang, T. Auzinger, B. Bickel, ACM Transactions on Graphics 40 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
R. Zhang, T. Auzinger, B. Bickel, ACM Transactions on Graphics 40 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9408 |

Computational design of skinned Quad-Robots
Feng, Xudong, Computational design of skinned Quad-Robots. IEEE Transactions on Visualization and Computer Graphics 27 (6). 2021
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Feng, Xudong, Computational design of skinned Quad-Robots. IEEE Transactions on Visualization and Computer Graphics 27 (6). 2021
2021 | Published | Journal Article | IST-REx-ID: 9547 |

Neural acceleration of scattering-aware color 3D printing
T. Rittig, D. Sumin, V. Babaei, P. Didyk, A. Voloboy, A. Wilkie, B. Bickel, K. Myszkowski, T. Weyrich, J. Křivánek, Computer Graphics Forum 40 (2021) 205–219.
[Submitted Version]
View
| Files available
| DOI
| WoS
T. Rittig, D. Sumin, V. Babaei, P. Didyk, A. Voloboy, A. Wilkie, B. Bickel, K. Myszkowski, T. Weyrich, J. Křivánek, Computer Graphics Forum 40 (2021) 205–219.
2021 | Published | Journal Article | IST-REx-ID: 9241 |

Robust and practical measurement of volume transport parameters in solid photo-polymer materials for 3D printing
O. Elek, R. Zhang, D. Sumin, K. Myszkowski, B. Bickel, A. Wilkie, J. Křivánek, T. Weyrich, Optics Express 29 (2021) 7568–7588.
[Published Version]
View
| Files available
| DOI
| WoS
O. Elek, R. Zhang, D. Sumin, K. Myszkowski, B. Bickel, A. Wilkie, J. Křivánek, T. Weyrich, Optics Express 29 (2021) 7568–7588.
2021 | Published | Journal Article | IST-REx-ID: 9602 |

Erdős-Hajnal-type results for monotone paths
J. Pach, I. Tomon, Journal of Combinatorial Theory. Series B 151 (2021) 21–37.
[Published Version]
View
| Files available
| DOI
| WoS
J. Pach, I. Tomon, Journal of Combinatorial Theory. Series B 151 (2021) 21–37.
2021 | Published | Journal Article | IST-REx-ID: 10204 |

Topological signatures and stability of hexagonal close packing and Barlow stackings
G.F. Osang, H. Edelsbrunner, M. Saadatfar, Soft Matter 17 (2021) 9107–9115.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
G.F. Osang, H. Edelsbrunner, M. Saadatfar, Soft Matter 17 (2021) 9107–9115.
2021 | Published | Journal Article | IST-REx-ID: 9642 |

Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain
A. Venturino, R. Schulz, H. De Jesús-Cortés, M.E. Maes, B. Nagy, F. Reilly-Andújar, G. Colombo, R.J. Cubero, F.E. Schoot Uiterkamp, M.F. Bear, S. Siegert, Cell Reports 36 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Venturino, R. Schulz, H. De Jesús-Cortés, M.E. Maes, B. Nagy, F. Reilly-Andújar, G. Colombo, R.J. Cubero, F.E. Schoot Uiterkamp, M.F. Bear, S. Siegert, Cell Reports 36 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10655 |

Optimizing AAV2/6 microglial targeting identified enhanced efficiency in the photoreceptor degenerative environment
M.E. Maes, G.M. Wögenstein, G. Colombo, R. Casado Polanco, S. Siegert, Molecular Therapy - Methods and Clinical Development 23 (2021) 210–224.
[Published Version]
View
| Files available
| DOI
| WoS
M.E. Maes, G.M. Wögenstein, G. Colombo, R. Casado Polanco, S. Siegert, Molecular Therapy - Methods and Clinical Development 23 (2021) 210–224.
2021 | Published | Journal Article | IST-REx-ID: 9368 |

mRNA surveillance complex PELOTA-HBS1 eegulates phosphoinositide-sependent protein kinase1 and plant growth
W. Kong, S. Tan, Q. Zhao, D. Lin, Z. Xu, J. Friml, H. Xue, Plant Physiology 186 (2021) 2003–2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
W. Kong, S. Tan, Q. Zhao, D. Lin, Z. Xu, J. Friml, H. Xue, Plant Physiology 186 (2021) 2003–2020.
2021 | Published | Journal Article | IST-REx-ID: 8742 |

The geometric sieve for quadrics
T.D. Browning, R. Heath-Brown, Forum Mathematicum 33 (2021) 147–165.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T.D. Browning, R. Heath-Brown, Forum Mathematicum 33 (2021) 147–165.