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.
7104 Publications
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 | Journal Article | IST-REx-ID: 9915 |
Are assortative mating and genital divergence driven by reinforcement?
J. Hollander, M. Montaño-Rendón, G. Bianco, X. Yang, A.M. Westram, L. Duvaux, D.G. Reid, R.K. Butlin, Evolution Letters 2 (2018) 557–566.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Hollander, M. Montaño-Rendón, G. Bianco, X. Yang, A.M. Westram, L. Duvaux, D.G. Reid, R.K. Butlin, Evolution Letters 2 (2018) 557–566.
2018 | Published | Journal Article | IST-REx-ID: 9917 |
Clines on the seashore: The genomic architecture underlying rapid divergence in the face of gene flow
A.M. Westram, M. Rafajlović, P. Chaube, R. Faria, T. Larsson, M. Panova, M. Ravinet, A. Blomberg, B. Mehlig, K. Johannesson, R. Butlin, Evolution Letters 2 (2018) 297–309.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A.M. Westram, M. Rafajlović, P. Chaube, R. Faria, T. Larsson, M. Panova, M. Ravinet, A. Blomberg, B. Mehlig, K. Johannesson, R. Butlin, Evolution Letters 2 (2018) 297–309.
2018 | Research Data Reference | IST-REx-ID: 9929 |
Data from: Are assortative mating and genital divergence driven by reinforcement?
J. Hollander, M. Montaño-Rendón, G. Bianco, X. Yang, A.M. Westram, L. Duvaux, D.G. Reid, R.K. Butlin, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Hollander, M. Montaño-Rendón, G. Bianco, X. Yang, A.M. Westram, L. Duvaux, D.G. Reid, R.K. Butlin, (2018).
2018 | Research Data Reference | IST-REx-ID: 9930 |
Data from: Clines on the seashore: the genomic architecture underlying rapid divergence in the face of gene flow
A.M. Westram, M. Rafajlović, P. Chaube, R. Faria, T. Larsson, M. Panova, M. Ravinet, A. Blomberg, B. Mehlig, K. Johannesson, R. Butlin, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A.M. Westram, M. Rafajlović, P. Chaube, R. Faria, T. Larsson, M. Panova, M. Ravinet, A. Blomberg, B. Mehlig, K. Johannesson, R. Butlin, (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.