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.

7896 Publications


2020 | Published | Journal Article | IST-REx-ID: 6761 | OA
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 807 (2020) 42–55.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 7623 | OA
Modeling adhesion-independent cell migration
G. Jankowiak, D. Peurichard, A. Reversat, C. Schmeiser, M.K. Sixt, Mathematical Models and Methods in Applied Sciences 30 (2020) 513–537.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8386 | OA
Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 7966 | OA
Everybody’s a target: Scalability in public-key encryption
B. Auerbach, F. Giacon, E. Kiltz, in:, Advances in Cryptology – EUROCRYPT 2020, Springer Nature, 2020, pp. 475–506.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8623 | OA
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Published | Book Chapter | IST-REx-ID: 10865 | OA
Witness maps and applications
S. Chakraborty, M. Prabhakaran, D. Wichs, in:, A. Kiayias (Ed.), Public-Key Cryptography, Springer Nature, Cham, 2020, pp. 220–246.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 6649 | OA
Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Communications in Mathematical Physics 374 (2020) 2097–2150.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7866 | OA
Uniform convergence to equilibrium for a family of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall model
K. Fellner, M. Kniely, Journal of Elliptic and Parabolic Equations 6 (2020) 529–598.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 21640 | OA
Accelerating recurrent Ising machines in photonic integrated circuits
M. Prabhu, C. Roques-Carmes, Y. Shen, N. Harris, L. Jing, J. Carolan, R. Hamerly, T. Baehr-Jones, M. Hochberg, V. Čeperić, J.D. Joannopoulos, D.R. Englund, M. Soljačić, Optica 7 (2020) 551–558.
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Published | Journal Article | IST-REx-ID: 21637 | OA
Fullwave Maxwell inverse design of axisymmetric, tunable, and multi-scale multi-wavelength metalenses
R.E. Christiansen, Z. Lin, C. Roques-Carmes, Y. Salamin, S.E. Kooi, J.D. Joannopoulos, M. Soljačić, S.G. Johnson, Optics Express 28 (2020) 33854–33868.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 21642 | OA
End‐to‐end nanophotonic inverse design for imaging and polarimetry
Z. Lin, C. Roques-Carmes, R. Pestourie, M. Soljačić, A. Majumdar, S.G. Johnson, Nanophotonics 10 (2020) 1177–1187.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 9198 | OA
Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks
A. Shevchenko, M. Mondelli, in:, Proceedings of the 37th International Conference on Machine Learning, ML Research Press, 2020, pp. 8773–8784.
[Published Version] View | Files available | arXiv
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8350 | OA
Bulk actin dynamics drive phase segregation in zebrafish oocytes
S. Shamipour, Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes , Institute of Science and Technology Austria, 2020.
View | Files available | DOI
 

2020 | Published | Thesis | PhD | IST-REx-ID: 7680 | OA
Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals
S. Kainrath, Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals, Institute of Science and Technology Austria, 2020.
View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 8586 | OA
3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy
F. Fäßler, B. Zens, R. Hauschild, F.K. Schur, Journal of Structural Biology 212 (2020).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8434 | OA
Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation
G.A. Dimchev, B. Amiri, A.C. Humphries, M. Schaks, V. Dimchev, T.E.B. Stradal, J. Faix, M. Krause, M. Way, M. Falcke, K. Rottner, Journal of Cell Science 133 (2020).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 7889 | OA
Plants with genetically encoded autoluminescence
Mitiouchkina T, Mishin AS, Gonzalez Somermeyer L, Markina NM, Chepurnyh TV, Guglya EB, Karataeva TA, Palkina KA, Shakhova ES, Fakhranurova LI, Chekova SV, Tsarkova AS, Golubev YV, Negrebetsky VV, Dolgushin SA, Shalaev PV, Shlykov D, Melnik OA, Shipunova VO, Deyev SM, Bubyrev AI, Pushin AS, Choob VV, Dolgov SV, Kondrashov F, Yampolsky IV, Sarkisyan KS. 2020. Plants with genetically encoded autoluminescence. Nature Biotechnology. 38, 944–946.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 7888 | OA
Zebrafish embryonic explants undergo genetically encoded self-assembly
A. Schauer, D.C. Nunes Pinheiro, R. Hauschild, C.-P.J. Heisenberg, ELife 9 (2020).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Conference Paper | IST-REx-ID: 9633 | OA
A meta-learning approach to (re)discover plasticity rules that carve a desired function into a neural network
B.J. Confavreux, F. Zenke, E.J. Agnes, T. Lillicrap, T.P. Vogels, in:, Advances in Neural Information Processing Systems, 2020, pp. 16398–16408.
[Published Version] View | Files available | Download Published Version (ext.)
 

2020 | Published | Journal Article | IST-REx-ID: 7426 | OA
Abstraction based verification of stability of polyhedral switched systems
M. Garcia Soto, P. Prabhakar, Nonlinear Analysis: Hybrid Systems 36 (2020).
[Submitted Version] View | Files available | DOI | WoS
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed