Please note that IST 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.

1398 Publications


2019 | Conference Paper | IST-REx-ID: 6042   OA
Semantic fault localization and suspiciousness ranking
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6465   OA
A modular degron library for synthetic circuits in mammalian cells
H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, M. Fussenegger, Nature Communications 10 (2019) 2013.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 138   OA View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5886   OA
Variational approaches to quantum impurities: from the Fröhlich polaron to the angulon
X. Li, G. Bighin, E. Yakaboylu, M. Lemeshko, Molecular Physics (2019).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5944   OA View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5949   OA
Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization
K. Käfer, H. Malagon-Vina, D. Dickerson, J. O’Neill, S.V. Trossbach, C. Korth, J.L. Csicsvari, Hippocampus (2019).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6029   OA
A fast and simple contact printing approach to generate 2D protein nanopatterns
M. Lindner, A. Tresztenyak, G. Fülöp, W. Jahr, A. Prinz, I. Prinz, J.G. Danzl, G.J. Schütz, E. Sevcsik, Frontiers in Chemistry 6 (2019).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6050   OA
Two circles and only a straightedge
A. Akopyan, R. Fedorov, Proceedings of the American Mathematical Society 147 (2019) 91–102.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6093   OA
Fluid dynamics during bleb formation in migrating cells in vivo
M. Goudarzi, A. Boquet-Pujadas, J.C. Olivo-Marin, E. Raz, PLOS ONE 14 (2019) e0212699.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6086   OA
Singular analytic linear cocycles with negative infinite Lyapunov exponents
C. Sadel, D. Xu, Ergodic Theory and Dynamical Systems 39 (2019) 1082–1098.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6175   OA
Cost analysis of nondeterministic probabilistic programs
P. Wang, H. Fu, A.K. Goharshady, K. Chatterjee, X. Qin, W. Shi, in:, 40th ACM Conference on Programming Language Design and Implementation (PLDI 2019), n.d.
View | Files available | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6187   OA
A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion
K. Valosková, J. Biebl, M. Roblek, S. Emtenani, A. György, M. Misova, A. Ratheesh, P. Rodrigues, K. Shkarina, I.S.B. Larsen, S.Y. Vakhrushev, H. Clausen, D.E. Siekhaus, ELife 8 (2019) e41801.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6442   OA
Fundamental solutions for water wave animation
C. Schreck, C. Hafner, C.J. Wojtan, ACM Transactions on Graphics 38 (n.d.).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6310   OA
Counting rational points on biquadratic hypersurfaces
T.D. Browning, L.Q. Hu, Advances in Mathematics 349 (2019) 920–940.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6454   OA
Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members
G. Ortiz-Álvarez, M. Daclin, A. Shihavuddin, P. Lansade, A. Fortoul, M. Faucourt, S. Clavreul, M. Lalioti, S. Taraviras, S. Hippenmeyer, J. Livet, A. Meunier, A. Genovesio, N. Spassky, Neuron 102 (2019) 159–172.e7.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 405   OA
Jointly convex quantum Jensen divergences
D. Virosztek, Linear Algebra and Its Applications 576 (2019) 67–78.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5907   OA
N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated
R. Mócsai, R. Figl, C. Troschl, R. Strasser, E. Svehla, M. Windwarder, A. Thader, F. Altmann, Scientific Reports 9 (2019).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6025   OA
Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration
D. Capek, M. Smutny, A.M. Tichy, M. Morri, H.L. Janovjak, C.-P.J. Heisenberg, ELife 8 (2019).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6032   OA
Even delta-matroids and the complexity of planar boolean CSPs
A. Kazda, V. Kolmogorov, M. Rolinek, ACM Transactions on Algorithms 15 (2019).
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6056   OA
Probabilistic smart contracts: Secure randomness on the blockchain
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, IEEE International Conference on Blockchain and Cryptocurrency, IEEE, n.d.
View | Files available | Download (ext.) | arXiv
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed