International IST Doctoral Program

Project Period: 2015-10-01 – 2020-09-30
Externally Funded
Acronym
ISTSCHOLAR
Grant Number
665385
Funding Organisation
EC/H2020

122 Publications

2021 | Journal Article | IST-REx-ID: 10635 | OA
Nonlinear computations in spiking neural networks through multiplicative synapses
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
[Published Version] View | Files available | DOI | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10694 | OA
Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1206 | OA
Libration of strongly oriented polar molecules inside a superfluid
E. Redchenko, M. Lemeshko, ChemPhysChem 17 (2016) 3649–3654.
[Preprint] View | DOI | Download Preprint (ext.)
 
2022 | Thesis | IST-REx-ID: 12072 | OA
Existence and density problems in Diophantine geometry: From norm forms to Campana points
A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 
2022 | Conference Paper | IST-REx-ID: 12102 | OA
Algorithms and hardness results for computing cores of Markov chains
A. Ahmadi, K. Chatterjee, A.K. Goharshady, T. Meggendorfer, R. Safavi Hemami, D. Zikelic, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version] View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6759 | OA
On grounded L-graphs and their relatives
V. Jelínek, M. Töpfer, Electronic Journal of Combinatorics 26 (2019).
[Published Version] View | Files available | DOI | arXiv
 
2021 | Conference Paper | IST-REx-ID: 9826 | OA
Inverse-Sybil attacks in automated contact tracing
B. Auerbach, S. Chakraborty, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, M.X. Yeo, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 399–421.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2021 | Journal Article | IST-REx-ID: 10806 | OA
Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate
M. Calcabrini, D. Van den Eynden, S. Sanchez Ribot, R. Pokratath, J. Llorca, J. De Roo, M. Ibáñez, JACS Au 1 (2021) 1898–1903.
[Published Version] View | Files available | DOI
 
2023 | Conference Paper | IST-REx-ID: 13142 | OA
A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
[Published Version] View | Files available | DOI
 
2022 | Thesis | IST-REx-ID: 11777 | OA
High-dimensional expansion and crossing numbers of simplicial complexes
P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology, 2022.
[Published Version] View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 10665 | OA
Scalable verification of quantized neural networks
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10667 | OA
Infinite time horizon safety of Bayesian neural networks
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2023 | Thesis | IST-REx-ID: 12826 | OA
Neural control of optic flow-based navigation in Drosophila melanogaster
V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2022 | Journal Article | IST-REx-ID: 10042 | OA
Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance
Y. Liu, M. Calcabrini, Y. Yu, S. Lee, C. Chang, J. David, T. Ghosh, M.C. Spadaro, C. Xie, O. Cojocaru-Mirédin, J. Arbiol, M. Ibáñez, ACS Nano 16 (2022) 78–88.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Journal Article | IST-REx-ID: 11448 | OA
Heterogeneity of the GFP fitness landscape and data-driven protein design
L. Gonzalez Somermeyer, A. Fleiss, A.S. Mishin, N.G. Bozhanova, A.A. Igolkina, J. Meiler, M.-E. Alaball Pujol, E.V. Putintseva, K.S. Sarkisyan, F. Kondrashov, ELife 11 (2022).
[Published Version] View | Files available | DOI | WoS
 
2022 | Conference Paper | IST-REx-ID: 11476 | OA
CoCoA: Concurrent continuous group key agreement
J. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, in:, Advances in Cryptology – EUROCRYPT 2022, Springer Nature, Cham, 2022, pp. 815–844.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2022 | Journal Article | IST-REx-ID: 11552 | OA
Femtosecond rotational dynamics of D2 molecules in superfluid helium nanodroplets
J. Qiang, L. Zhou, P. Lu, K. Lin, Y. Ma, S. Pan, C. Lu, W. Jiang, F. Sun, W. Zhang, H. Li, X. Gong, I.S. Averbukh, Y. Prior, C.A. Schouder, H. Stapelfeldt, I. Cherepanov, M. Lemeshko, W. Jäger, J. Wu, Physical Review Letters 128 (2022).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2022 | Journal Article | IST-REx-ID: 11998 | OA
A simple model for high rotational excitations of molecules in a superfluid
I. Cherepanov, G. Bighin, C.A. Schouder, A.S. Chatterley, H. Stapelfeldt, M. Lemeshko, New Journal of Physics 24 (2022).
[Published Version] View | Files available | DOI | WoS
 
2022 | Journal Article | IST-REx-ID: 12150 | OA
Artificial neural network states for nonadditive systems
W. Rzadkowski, M. Lemeshko, J.H. Mentink, Physical Review B 106 (2022).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Journal Article | IST-REx-ID: 12226 | OA
Strand asymmetry influences mismatch resolution during single-strand annealing
V. Pokusaeva, A.R. Diez, L. Espinar, A.T. Pérez, G.J. Filion, Genome Biology 23 (2022).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Journal Article | IST-REx-ID: 12237 | OA
Solution-processed inorganic thermoelectric materials: Opportunities and challenges
C. Fiedler, T. Kleinhanns, M. Garcia, S. Lee, M. Calcabrini, M. Ibáñez, Chemistry of Materials 34 (2022) 8471–8489.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Journal Article | IST-REx-ID: 12257 | OA
Social balance on networks: Local minima and best-edge dynamics
K. Chatterjee, J. Svoboda, D. Zikelic, A. Pavlogiannis, J. Tkadlec, Physical Review E 106 (2022).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Thesis | IST-REx-ID: 13074 | OA
Efficiency and generalization of sparse neural networks
E.-A. Peste, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 12964
Mechanochemical pattern formation across biological scales
D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 8602 | OA
Theory of mechanochemical patterning and optimal migration in cell monolayers
D.R. Boocock, N. Hino, N. Ruzickova, T. Hirashima, E.B. Hannezo, Nature Physics 17 (2021) 267–274.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 
2021 | Journal Article | IST-REx-ID: 9118 | OA
Exploiting the lability of metal halide perovskites for doping semiconductor nanocomposites
M. Calcabrini, A. Genc, Y. Liu, T. Kleinhanns, S. Lee, D.N. Dirin, Q.A. Akkerman, M.V. Kovalenko, J. Arbiol, M. Ibáñez, ACS Energy Letters 6 (2021) 581–587.
[Published Version] View | Files available | DOI | WoS
 
2021 | Journal Article | IST-REx-ID: 9205 | OA
Cryo-EM grid optimization for membrane proteins
D. Kampjut, J. Steiner, L.A. Sazanov, IScience 24 (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 6884 | OA
Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version] View | Files available | DOI | arXiv
 
2021 | Journal Article | IST-REx-ID: 9307 | OA
Finite time extinction for the 1D stochastic porous medium equation with transport noise
S. Hensel, Stochastics and Partial Differential Equations: Analysis and Computations 9 (2021) 892–939.
[Published Version] View | Files available | DOI | WoS
 
2021 | Journal Article | IST-REx-ID: 9412 | OA
Fluctuation around the circular law for random matrices with real entries
G. Cipolloni, L. Erdös, D.J. Schröder, Electronic Journal of Probability 26 (2021).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Journal Article | IST-REx-ID: 9642 | OA
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
 
2021 | Journal Article | IST-REx-ID: 10123 | OA
The importance of surface adsorbates in solution‐processed thermoelectric materials: The case of SnSe
Y. Liu, M. Calcabrini, Y. Yu, A. Genç, C. Chang, T. Costanzo, T. Kleinhanns, S. Lee, J. Llorca, O. Cojocaru‐Mirédin, M. Ibáñez, Advanced Materials 33 (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Thesis | IST-REx-ID: 12885 | OA
Nanoparticle-based semiconductor solids: From synthesis to consolidation
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 10408 | OA
Grafting key trees: Efficient key management for overlapping groups
J.F. Alwen, B. Auerbach, M.A. Baig, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, in:, 19th International Conference, Springer Nature, 2021, pp. 222–253.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2021 | Journal Article | IST-REx-ID: 10631 | OA
Excited rotational states of molecules in a superfluid
I. Cherepanov, G. Bighin, C.A. Schouder, A.S. Chatterley, S.H. Albrechtsen, A.V. Muñoz, L. Christiansen, H. Stapelfeldt, M. Lemeshko, Physical Review A 104 (2021).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Journal Article | IST-REx-ID: 8170 | OA
Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains
A.S. Chatterley, L. Christiansen, C.A. Schouder, A.V. Jørgensen, B. Shepperson, I. Cherepanov, G. Bighin, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 125 (2020).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Journal Article | IST-REx-ID: 8535 | OA
Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces
T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, C. Wojtan, ACM Transactions on Graphics 39 (2020).
[Published Version] View | Files available | DOI | WoS
 
2020 | Journal Article | IST-REx-ID: 8737 | OA
The coupling mechanism of mammalian respiratory complex I
D. Kampjut, L.A. Sazanov, Science 370 (2020).
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8926
Ligand-mode directed selectivity in Cu-Ag core-shell based gas diffusion electrodes for CO2 electroreduction
E. Irtem, D. Arenas Esteban, M. Duarte, D. Choukroun, S. Lee, M. Ibáñez, S. Bals, T. Breugelmans, ACS Catalysis 10 (2020) 13468–13478.
View | DOI | WoS
 
2020 | Journal Article | IST-REx-ID: 9039 | OA
Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies
J.L. Fischer, T. Laux, T.M. Simon, SIAM Journal on Mathematical Analysis 52 (2020) 6222–6233.
[Published Version] View | Files available | DOI | WoS
 
2020 | Journal Article | IST-REx-ID: 8308 | OA
Stability of mobility edges in disordered interacting systems
P. Brighi, D.A. Abanin, M. Serbyn, Physical Review B 102 (2020).
View | Files available | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 6442 | OA
Fundamental solutions for water wave animation
C. Schreck, C. Hafner, C. Wojtan, ACM Transactions on Graphics 38 (2019).
[Submitted Version] View | Files available | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 6419 | OA
An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, PLoS Genetics 15 (2019).
[Published Version] View | Files available | DOI | WoS
 
2020 | Journal Article | IST-REx-ID: 6488 | OA
Fluctuations for differences of linear eigenvalue statistics for sample covariance matrices
G. Cipolloni, L. Erdös, Random Matrices: Theory and Application 9 (2020).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 6521 | OA
Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges
M.E. Maes, G. Colombo, R. Schulz, S. Siegert, Neuroscience Letters 707 (2019).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6831 | OA
Variation in sexual dimorphism in a wind-pollinated plant: The influence of geographical context and life-cycle dynamics
G. Puixeu Sala, M. Pickup, D. Field, S.C.H. Barrett, New Phytologist 224 (2019) 1108–1120.
[Published Version] View | Files available | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 6840 | OA
Thermodynamics of inhomogeneous imperfect quantum gases in harmonic traps
K. Mysliwy, M. Napiórkowski, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Conference Paper | IST-REx-ID: 14242 | OA
Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Conference Paper | IST-REx-ID: 14243 | OA
Bidding graph games with partially-observable budgets
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6186 | OA
Cusp universality for random matrices, II: The real symmetric case
G. Cipolloni, L. Erdös, T.H. Krüger, D.J. Schröder, Pure and Applied Analysis 1 (2019) 615–707.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Thesis | IST-REx-ID: 9022 | OA
Fluctuations in the spectrum of random matrices
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 
2021 | Thesis | IST-REx-ID: 10007 | OA
Curvature driven interface evolution: Uniqueness properties of weak solution concepts
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7489 | OA
Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension
J.L. Fischer, S. Hensel, Archive for Rational Mechanics and Analysis 236 (2020) 967–1087.
[Published Version] View | Files available | DOI | WoS
 
2020 | Preprint | IST-REx-ID: 10012 | OA [Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9928 | OA
Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction
M. Peruzzo, F. Hassani, G. Szep, A. Trioni, E. Redchenko, M. Zemlicka, J.M. Fink, PRX Quantum 2 (2021) 040341.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10049 | OA
Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement
K. Klein, G. Pascual Perez, M. Walter, C. Kamath Hosdurg, M. Capretto, M. Cueto Noval, I. Markov, M.X. Yeo, J.F. Alwen, K.Z. Pietrzak, in:, 2021 IEEE Symposium on Security and Privacy , IEEE, 2021, pp. 268–284.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2022 | Thesis | IST-REx-ID: 11473 | OA
Polarons in Bose gases and polar crystals: Some rigorous energy estimates
K. Mysliwy, Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8644 | OA
Detecting composite orders in layered models via machine learning
W. Rzadkowski, N. Defenu, S. Chiacchiera, A. Trombettoni, G. Bighin, New Journal of Physics 22 (2020).
[Published Version] View | Files available | DOI | WoS
 
2022 | Journal Article | IST-REx-ID: 10564 | OA
Polaron models with regular interactions at strong coupling
K. Mysliwy, R. Seiringer, Journal of Statistical Physics 186 (2022).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2020 | Journal Article | IST-REx-ID: 8705 | OA
Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit
K. Mysliwy, R. Seiringer, Annales Henri Poincare 21 (2020) 4003–4025.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Preprint | IST-REx-ID: 10762 | OA
Artificial neural network states for non-additive systems
W. Rzadkowski, M. Lemeshko, J.H. Mentink, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 297 | OA
Strategy representation by decision trees in reactive synthesis
T. Brázdil, K. Chatterjee, J. Kretinsky, V. Toman, in:, Springer, 2018, pp. 385–407.
[Published Version] View | Files available | DOI | WoS
 
2018 | Conference Paper | IST-REx-ID: 141 | OA
Symbolic algorithms for graphs and Markov decision processes with fairness objectives
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, S. Oraee, V. Toman, in:, Springer, 2018, pp. 178–197.
[Published Version] View | Files available | DOI | WoS
 
2021 | Thesis | IST-REx-ID: 10199 | OA
Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 
2023 | Conference Paper | IST-REx-ID: 14317 | OA
MDPs as distribution transformers: Affine invariant synthesis for safety objectives
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 994 | OA
Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules
I. Cherepanov, M. Lemeshko, Physical Review Materials 1 (2017).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2023 | Journal Article | IST-REx-ID: 10405 | OA
Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Communications on Pure and Applied Mathematics 76 (2023) 946–1034.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Journal Article | IST-REx-ID: 12349 | OA
Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Research Data | IST-REx-ID: 12370 | OA [Published Version] View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 6589 | OA
The convergence of sparsified gradient methods
D.-A. Alistarh, T. Hoefler, M. Johansson, N.H. Konstantinov, S. Khirirat, C. Renggli, in:, Advances in Neural Information Processing Systems 31, Neural Information Processing Systems Foundation, 2018, pp. 5973–5983.
[Preprint] View | Download Preprint (ext.) | WoS | arXiv
 
2022 | Thesis | IST-REx-ID: 10799 | OA
Robustness and fairness in machine learning
N.H. Konstantinov, Robustness and Fairness in Machine Learning, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6590 | OA
Robust learning from untrusted sources
N.H. Konstantinov, C. Lampert, in:, Proceedings of the 36th International Conference on Machine Learning, ML Research Press, 2019, pp. 3488–3498.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 10223 | OA
Cell surface and intracellular auxin signalling for H+ fluxes in root growth
L. Li, I. Verstraeten, M. Roosjen, K. Takahashi, L. Rodriguez Solovey, J. Merrin, J. Chen, L. Shabala, W. Smet, H. Ren, S. Vanneste, S. Shabala, B. De Rybel, D. Weijers, T. Kinoshita, W.M. Gray, J. Friml, Nature 599 (2021) 273–277.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 
2023 | Conference Paper | IST-REx-ID: 14518 | OA
Reachability poorman discrete-bidding games
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Conference Paper | IST-REx-ID: 14559
Learning provably stabilizing neural controllers for discrete-time stochastic systems
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
View | DOI
 
2023 | Thesis | IST-REx-ID: 14506 | OA
Advances in efficiency and privacy in payment channel network analysis
M.X. Yeo, Advances in Efficiency and Privacy in Payment Channel Network Analysis, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2022 | Conference Paper | IST-REx-ID: 12000 | OA
Sound and complete certificates for auantitative termination analysis of probabilistic programs
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, in:, Proceedings of the 34th International Conference on Computer Aided Verification, Springer, 2022, pp. 55–78.
[Published Version] View | Files available | DOI | WoS
 
2022 | Journal Article | IST-REx-ID: 12511 | OA
Stability verification in stochastic control systems via neural network supermartingales
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 7326–7336.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2022 | Preprint | IST-REx-ID: 14601 | OA
Learning stabilizing policies in stochastic control systems
D. Zikelic, M. Lechner, K. Chatterjee, T.A. Henzinger, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Preprint | IST-REx-ID: 14591 | OA
Role of dynamin-related proteins 2 and SH3P2 in clathrin-mediated endocytosis in plants
N. Gnyliukh, A.J. Johnson, M.-K. Nagel, A. Monzer, A. Hlavata, E. Isono, M. Loose, J. Friml, BioRxiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2023 | Thesis | IST-REx-ID: 14641
Adaptive mutation in E. coli modulated by luxS
M. Hennessey-Wesen, Adaptive Mutation in E. Coli Modulated by LuxS, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 14656 | OA
The structure of hippocampal CA1 interactions optimizes spatial coding across experience
M. Nardin, J.L. Csicsvari, G. Tkačik, C. Savin, The Journal of Neuroscience 43 (2023) 8140–8156.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2023 | Thesis | IST-REx-ID: 14058 | OA
The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation
G. Puixeu Sala, The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 14077 | OA
Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster
G. Puixeu Sala, A. Macon, B. Vicoso, G3: Genes, Genomes, Genetics 13 (2023).
[Published Version] View | Files available | DOI | WoS
 
2023 | Thesis | IST-REx-ID: 14697
Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function
J.A. Stopp, Neutrophils on the Hunt: Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 14651 | OA
Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus
L.S. Arathoon, Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 13267 | OA
Dense 4D nanoscale reconstruction of living brain tissue
P. Velicky, E. Miguel Villalba, J.M. Michalska, J. Lyudchik, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, Nature Methods 20 (2023) 1256–1265.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2023 | Thesis | IST-REx-ID: 14539 | OA
Automated verification and control of infinite state stochastic systems
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 14778 | OA
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
[Published Version] View | Files available | DOI | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10414 | OA
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E.K. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Conference Paper | IST-REx-ID: 14830
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
[Preprint] View | Files available | DOI | arXiv
 
2022 | Preprint | IST-REx-ID: 14600 | OA
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 | Thesis | IST-REx-ID: 14711 | OA
Local adaptation, genetic load and extinction in metapopulations
O.O. Olusanya, Local Adaptation, Genetic Load and Extinction in Metapopulations, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Thesis | IST-REx-ID: 14821
Adaptive hierarchical representations in the hippocampus
H.S.C. Chiossi, Adaptive Hierarchical Representations in the Hippocampus, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2023 | Research Data | IST-REx-ID: 13126 | OA [Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 14257 | OA
Imaging brain tissue architecture across millimeter to nanometer scales
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, N. Amberg, A. Venturino, K. Roessler, T. Czech, R. Höftberger, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, Nature Biotechnology (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2022 | Thesis | IST-REx-ID: 10759 | OA
Analytic and machine learning approaches to composite quantum impurities
W. Rzadkowski, Analytic and Machine Learning Approaches to Composite Quantum Impurities, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7956 | OA
Shear-induced ordering in systems with competing interactions: A machine learning study
J. Pȩkalski, W. Rzadkowski, A.Z. Panagiotopoulos, The Journal of Chemical Physics 152 (2020).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | arXiv
 
2018 | Journal Article | IST-REx-ID: 415 | OA
Effect of a magnetic field on molecule–solvent angular momentum transfer
W. Rzadkowski, M. Lemeshko, The Journal of Chemical Physics 148 (2018).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Journal Article | IST-REx-ID: 134 | OA
Water surface wavelets
S. Jeschke, T. Skrivan, M. Mueller Fischer, N. Chentanez, M. Macklin, C. Wojtan, ACM Transactions on Graphics 37 (2018).
[Published Version] View | Files available | DOI | WoS