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.

7268 Publications


2018 | Published | Conference Paper | IST-REx-ID: 133 | OA
Synchronizing the asynchronous
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version] View | Files available | DOI
 

2018 | Published | Thesis | IST-REx-ID: 149 | OA
Dyson equation and eigenvalue statistics of random matrices
J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Draft | Preprint | IST-REx-ID: 6183 | OA [Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 132 | OA
Defining lineage potential and fate behavior of precursors during pancreas development
M. Sznurkowska, E.B. Hannezo, R. Azzarelli, S. Rulands, S. Nestorowa, C. Hindley, J. Nichols, B. Göttgens, M. Huch, A. Philpott, B. Simons, Developmental Cell 46 (2018) 360–375.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 13255
Supported two-dimensional materials under ion irradiation: The substrate governs defect production
S. Kretschmer, M. Maslov, S. Ghaderzadeh, M. Ghorbani-Asl, G. Hlawacek, A.V. Krasheninnikov, ACS Applied Materials & Interfaces 10 (2018) 30827–30836.
View | DOI | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 136 | OA
Unstable equilibria and invariant manifolds in quasi-two-dimensional Kolmogorov-like flow
B. Suri, J. Tithof, R. Grigoriev, M. Schatz, Physical Review E 98 (2018).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 137 | OA
Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS
W. Zhang, M. Herde, J. Mitchell, J. Whitfield, A. Wulff, V. Vongsouthi, I. Sanchez-Romero, P. Gulakova, D. Minge, B. Breithausen, S. Schoch, H.L. Janovjak, C. Jackson, C. Henneberger, Nature Chemical Biology 14 (2018) 861–869.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 139 | OA [Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 14 | OA
Relative contribution of PIN-containing secretory vesicles and plasma membrane PINs to the directed auxin transport: Theoretical estimation
S. Hille, M. Akhmanova, M. Glanc, A.J. Johnson, J. Friml, International Journal of Molecular Sciences 19 (2018).
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 140 | OA
Space-time interpolants
G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2018, pp. 468–486.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 142 | OA
Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
H. Kong, E. Bartocci, T.A. Henzinger, in:, Springer, 2018, pp. 449–467.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 143 | OA
Efficient algorithms for asymptotic bounds on termination time in VASS
T. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, D. Velan, F. Zuleger, in:, IEEE, 2018, pp. 185–194.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 144
A theory of register monitors
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
View | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 145 | OA
Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission
S.M. Truckenbrodt, A. Viplav, S. Jähne, A. Vogts, A. Denker, H. Wildhagen, E. Fornasiero, S. Rizzoli, The EMBO Journal 37 (2018).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 146 | OA
The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling
C.L. Shi, D. von Wangenheim, U. Herrmann, M. Wildhagen, I. Kulik, A. Kopf, T. Ishida, V. Olsson, M.K. Anker, M. Albert, M.A. Butenko, G. Felix, S. Sawa, M. Claassen, J. Friml, R.B. Aalen, Nature Plants 4 (2018) 596–604.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Published | Book Chapter | IST-REx-ID: 10864 | OA
Absorption and directed Jónsson terms
A. Kazda, M. Kozik, R. McKenzie, M. Moore, in:, J. Czelakowski (Ed.), Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Springer Nature, Cham, 2018, pp. 203–220.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 10880 | OA
Significance of whole-genome duplications on the emergence of evolutionary novelties
M. Yuuta, K. Koshiba-Takeuchi, Briefings in Functional Genomics 17 (2018) 329–338.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 10881
Molecular evolution and diversification of the SMXL gene family
T.R. Moturu, S. Thula, R.K. Singh, T. Nodzyński, R.S. Vařeková, J. Friml, S. Simon, Journal of Experimental Botany 69 (2018) 2367–2378.
View | DOI | WoS | PubMed | Europe PMC
 

2018 | Published | Conference Paper | IST-REx-ID: 10882 | OA
Learning intelligent dialogs for bounding box annotation
J. Uijlings, K. Konyushkova, C. Lampert, V. Ferrari, in:, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2018, pp. 9175–9184.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 10883 | OA
Quasipolynomial set-based symbolic algorithms for parity games
K. Chatterjee, W. Dvořák, M. Henzinger, A. Svozil, in:, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, EasyChair, 2018, pp. 233–253.
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

supervisor%3D38F4F166-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications

Display / Sort

Export / Embed