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.
11626 Publications
2019 |
Published |
Journal Article |
IST-REx-ID: 5857 |
Thrackles: An improved upper bound
R. Fulek, J. Pach, Discrete Applied Mathematics 259 (2019) 266–231.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Fulek, J. Pach, Discrete Applied Mathematics 259 (2019) 266–231.
2019 |
Published |
Conference Paper |
IST-REx-ID: 6430 |
Adaptively secure proxy re-encryption
G. Fuchsbauer, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, Springer Nature, 2019, pp. 317–346.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
G. Fuchsbauer, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, Springer Nature, 2019, pp. 317–346.
2019 |
Published |
Journal Article |
IST-REx-ID: 73 |
On the geometry of geodesics in discrete optimal transport
M. Erbar, J. Maas, M. Wirth, Calculus of Variations and Partial Differential Equations 58 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Erbar, J. Maas, M. Wirth, Calculus of Variations and Partial Differential Equations 58 (2019).
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6894 |
Automatic time-unbounded reachability analysis of hybrid systems
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, Institute of Science and Technology Austria, 2019.
2019 |
Published |
Conference Paper |
IST-REx-ID: 7147
Transient memory in gene regulation
C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.
View
| DOI
| WoS
C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.
2019 |
Published |
Book Chapter |
IST-REx-ID: 6987 |
Emergence of embryo shape during cleavage divisions
A. McDougall, J. Chenevert, B.G. Godard, R. Dumollard, in:, W. Tworzydlo, S.M. Bilinski (Eds.), Evo-Devo: Non-Model Species in Cell and Developmental Biology, Springer Nature, 2019, pp. 127–154.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. McDougall, J. Chenevert, B.G. Godard, R. Dumollard, in:, W. Tworzydlo, S.M. Bilinski (Eds.), Evo-Devo: Non-Model Species in Cell and Developmental Biology, Springer Nature, 2019, pp. 127–154.
2019 |
Published |
Conference Paper |
IST-REx-ID: 7411 |
Reversible proofs of sequential work
H.M. Abusalah, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, M. Walter, in:, Advances in Cryptology – EUROCRYPT 2019, Springer International Publishing, 2019, pp. 277–291.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
H.M. Abusalah, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, M. Walter, in:, Advances in Cryptology – EUROCRYPT 2019, Springer International Publishing, 2019, pp. 277–291.
2019 |
Published |
Conference Paper |
IST-REx-ID: 7159
Shape expressions for specifying and extracting signal features
D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
View
| DOI
| WoS
D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6681 |
Algorithmic aspects of homotopy theory and embeddability
S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, Institute of Science and Technology Austria, 2019.
2019 |
Published |
Conference Paper |
IST-REx-ID: 21627
Integrated nanophotonic ising sampler
C. Roques-Carmes, M. Prabhu, Y. Shen, N. Harris, L. Jing, J. Carolan, R. Hamerly, T. Baehr-Jones, M. Hochberg, V. Ceperic, J.D. Joannopoulos, D. Englund, M. Soljacic, in:, Conference on Lasers and Electro-Optics, Optica Publishing Group, 2019.
View
| DOI
C. Roques-Carmes, M. Prabhu, Y. Shen, N. Harris, L. Jing, J. Carolan, R. Hamerly, T. Baehr-Jones, M. Hochberg, V. Ceperic, J.D. Joannopoulos, D. Englund, M. Soljacic, in:, Conference on Lasers and Electro-Optics, Optica Publishing Group, 2019.
2019 |
Published |
Conference Paper |
IST-REx-ID: 21620
Photonic Recurrent Ising Sampler
C. Roques-Carmes, Y. Shen, C. Zanoci, M. Prabhu, F. Atieh, L. Jing, T. Dubček, V. Čeperić, J.D. Joannopoulos, D. Englund, M. Soljačić, in:, Conference on Lasers and Electro-Optics, Optica Publishing Group, 2019.
View
| DOI
C. Roques-Carmes, Y. Shen, C. Zanoci, M. Prabhu, F. Atieh, L. Jing, T. Dubček, V. Čeperić, J.D. Joannopoulos, D. Englund, M. Soljačić, in:, Conference on Lasers and Electro-Optics, Optica Publishing Group, 2019.
2019 |
Published |
Conference Paper |
IST-REx-ID: 21568
Towards large-scale photonic neural-network accelerators
R. Hamerly, A. Sludds, L. Bernstein, M. Prabhu, C. Roques-Carmes, J. Carolan, Y. Yamamoto, M. Soljacic, D. Englund, in:, 2019 IEEE International Electron Devices Meeting, IEEE, 2019.
View
| DOI
R. Hamerly, A. Sludds, L. Bernstein, M. Prabhu, C. Roques-Carmes, J. Carolan, Y. Yamamoto, M. Soljacic, D. Englund, in:, 2019 IEEE International Electron Devices Meeting, IEEE, 2019.
2019 |
Published |
Journal Article |
IST-REx-ID: 21814
Photoinduced deadhesion of a polymer film using a photochromic donor-acceptor Stenhouse adduct
S.H. Mostafavi, W. Li, K.D. Clark, F.J. Stricker, J.R. de Alaniz, C.J. Bardeen, Macromolecules 52 (2019) 6311–6317.
View
| DOI
S.H. Mostafavi, W. Li, K.D. Clark, F.J. Stricker, J.R. de Alaniz, C.J. Bardeen, Macromolecules 52 (2019) 6311–6317.
2019 |
Published |
Thesis |
IST-REx-ID: 6392 |
Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory
M. Lukacisin, Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory, IST Austria, 2019.
[Published Version]
View
| Files available
| DOI
M. Lukacisin, Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory, IST Austria, 2019.
2019 |
Published |
Journal Article |
IST-REx-ID: 7117 |
X-CAD: Optimizing CAD Models with Extended Finite Elements
C. Hafner, C. Schumacher, E. Knoop, T. Auzinger, B. Bickel, M. Bächer, ACM Transactions on Graphics 38 (2019).
[Submitted Version]
View
| Files available
| DOI
| WoS
C. Hafner, C. Schumacher, E. Knoop, T. Auzinger, B. Bickel, M. Bächer, ACM Transactions on Graphics 38 (2019).
2019 |
Published |
Journal Article |
IST-REx-ID: 6508 |
Bulk actin dynamics drive phase segregation in zebrafish oocytes
S. Shamipour, R. Kardos, S. Xue, B. Hof, E.B. Hannezo, C.-P.J. Heisenberg, Cell 177 (2019) 1463–1479.e18.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
S. Shamipour, R. Kardos, S. Xue, B. Hof, E.B. Hannezo, C.-P.J. Heisenberg, Cell 177 (2019) 1463–1479.e18.
2019 |
Published |
Journal Article |
IST-REx-ID: 7001 |
Mechanosensation of tight junctions depends on ZO-1 phase separation and flow
C. Schwayer, S. Shamipour, K. Pranjic-Ferscha, A. Schauer, M. Balda, M. Tada, K. Matter, C.-P.J. Heisenberg, Cell 179 (2019) 937–952.e18.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Schwayer, S. Shamipour, K. Pranjic-Ferscha, A. Schauer, M. Balda, M. Tada, K. Matter, C.-P.J. Heisenberg, Cell 179 (2019) 937–952.e18.
2019 |
Published |
Conference Abstract |
IST-REx-ID: 11222 |
Functional analysis of the docked vesicle pool in hippocampal mossy fiber terminals by electron microscopy
O. Kim, C. Borges Merjane, P.M. Jonas, in:, Intrinsic Activity, Austrian Pharmacological Society, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
O. Kim, C. Borges Merjane, P.M. Jonas, in:, Intrinsic Activity, Austrian Pharmacological Society, 2019.
2019 |
Published |
Journal Article |
IST-REx-ID: 7391 |
Electron microscopic detection of single membrane proteins by a specific chemical labeling
S. Tabata, M. Jevtic, N. Kurashige, H. Fuchida, M. Kido, K. Tani, N. Zenmyo, S. Uchinomiya, H. Harada, M. Itakura, I. Hamachi, R. Shigemoto, A. Ojida, IScience 22 (2019) 256–268.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Tabata, M. Jevtic, N. Kurashige, H. Fuchida, M. Kido, K. Tani, N. Zenmyo, S. Uchinomiya, H. Harada, M. Itakura, I. Hamachi, R. Shigemoto, A. Ojida, IScience 22 (2019) 256–268.
2019 |
Published |
Journal Article |
IST-REx-ID: 6194 |
The entorhinal cognitive map is attracted to goals
C.N. Boccara, M. Nardin, F. Stella, J. O’Neill, J.L. Csicsvari, Science 363 (2019) 1443–1447.
[Submitted Version]
View
| Files available
| DOI
| WoS
C.N. Boccara, M. Nardin, F. Stella, J. O’Neill, J.L. Csicsvari, Science 363 (2019) 1443–1447.