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.
7115 Publications
2018 | Published | Journal Article | IST-REx-ID: 1012 | 
Fluctuations of rectangular young diagrams of interlacing wigner eigenvalues
L. Erdös, D.J. Schröder, International Mathematics Research Notices 2018 (2018) 3255–3298.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
L. Erdös, D.J. Schröder, International Mathematics Research Notices 2018 (2018) 3255–3298.
2018 | Published | Journal Article | IST-REx-ID: 104 |
The core effector Cce1 is required for early infection of maize by Ustilago maydis
D. Seitner, S. Uhse, M.C. Gallei, A. Djamei, Molecular Plant Pathology 19 (2018) 2277–2287.
[Published Version]
View
| Files available
| DOI
| WoS
D. Seitner, S. Uhse, M.C. Gallei, A. Djamei, Molecular Plant Pathology 19 (2018) 2277–2287.
2018 | Published | Journal Article | IST-REx-ID: 106 |
Long geodesics on convex surfaces
A. Akopyan, A. Petrunin, Mathematical Intelligencer 40 (2018) 26–31.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Akopyan, A. Petrunin, Mathematical Intelligencer 40 (2018) 26–31.
2018 | Published | Journal Article | IST-REx-ID: 1064 |
On the circle covering theorem by A.W. Goodman and R.E. Goodman
A. Akopyan, A. Balitskiy, M. Grigorev, Discrete & Computational Geometry 59 (2018) 1001–1009.
[Published Version]
View
| Files available
| DOI
| WoS
A. Akopyan, A. Balitskiy, M. Grigorev, Discrete & Computational Geometry 59 (2018) 1001–1009.
2018 | Published | Journal Article | IST-REx-ID: 107 |
Non-malleable codes
S. Dziembowski, K.Z. Pietrzak, D. Wichs, Journal of the ACM 65 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
S. Dziembowski, K.Z. Pietrzak, D. Wichs, Journal of the ACM 65 (2018).
2018 | Published | Conference Paper | IST-REx-ID: 5959 |
Keynote: The first-order logic of signals
A. Bakhirkin, T. Ferrere, T.A. Henzinger, D. Nickovicl, in:, 2018 International Conference on Embedded Software, IEEE, 2018, pp. 1–10.
[Published Version]
View
| Files available
| DOI
| WoS
A. Bakhirkin, T. Ferrere, T.A. Henzinger, D. Nickovicl, in:, 2018 International Conference on Embedded Software, IEEE, 2018, pp. 1–10.
2018 | Conference Paper | IST-REx-ID: 5788 |
Infinite-duration poorman-bidding games
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
2018 | Published | Conference Paper | IST-REx-ID: 6005 |
Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Published | Journal Article | IST-REx-ID: 6006 |
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, Games 9 (2018).
[Published Version]
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, Games 9 (2018).
2018 | Published | Conference Paper | IST-REx-ID: 78 |
Online timed pattern matching using automata
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.
2018 | Published | Conference Paper | IST-REx-ID: 81 |
Monitoring temporal logic with clock variables
A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
2018 | Published | Book Chapter | IST-REx-ID: 86 |
Computing average response time
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
2018 | Published | Journal Article | IST-REx-ID: 434
Safety-assured model-driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, R. Wang, Y. Guan, L. Sha, IEEE Transactions on Intelligent Transportation Systems 19 (2018) 3320–3333.
View
| Files available
| DOI
| WoS
Y. Jiang, H. Liu, H. Song, H. Kong, R. Wang, Y. Guan, L. Sha, IEEE Transactions on Intelligent Transportation Systems 19 (2018) 3320–3333.
2018 | Published | Conference Paper | IST-REx-ID: 156 |
The compound interest in relaxing punctuality
T. Ferrere, in:, Springer, 2018, pp. 147–164.
[Submitted Version]
View
| Files available
| DOI
| WoS
T. Ferrere, in:, Springer, 2018, pp. 147–164.
2018 | Published | Conference Paper | IST-REx-ID: 160 |
Layered Concurrent Programs
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
[Published Version]
View
| Files available
| DOI
| WoS
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
2018 | Published | Conference Paper | IST-REx-ID: 142 |
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
H. Kong, E. Bartocci, T.A. Henzinger, in:, Springer, 2018, pp. 449–467.
2018 | Published | Journal Article | IST-REx-ID: 608 |
Synthesis from component libraries with costs
G. Avni, O. Kupferman, Theoretical Computer Science 712 (2018) 50–72.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
G. Avni, O. Kupferman, Theoretical Computer Science 712 (2018) 50–72.
2018 | Published | Journal Article | IST-REx-ID: 198 |
Language acquisition with communication between learners
R. Ibsen-Jensen, J. Tkadlec, K. Chatterjee, M. Nowak, Journal of the Royal Society Interface 15 (2018).
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Ibsen-Jensen, J. Tkadlec, K. Chatterjee, M. Nowak, Journal of the Royal Society Interface 15 (2018).
2018 | Published | Conference Paper | IST-REx-ID: 285 |
On the treewidth of triangulated 3-manifolds
K. Huszár, J. Spreer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Submitted Version]
View
| Files available
| DOI
| arXiv
K. Huszár, J. Spreer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Published | Conference Paper | IST-REx-ID: 325 |
Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
S. Agrawal, K. Chatterjee, P. Novotný, in:, ACM, 2018.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Agrawal, K. Chatterjee, P. Novotný, in:, ACM, 2018.