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.
7172 Publications
2017 | Published | Journal Article | IST-REx-ID: 94 | 
Breaking Lorentz reciprocity with frequency conversion and delay
E. Rosenthal, B. Chapman, A.P. Higginbotham, J. Kerckhoff, K. Lehnert, APS Physics, Physical Review Letters 119 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
E. Rosenthal, B. Chapman, A.P. Higginbotham, J. Kerckhoff, K. Lehnert, APS Physics, Physical Review Letters 119 (2017).
2017 | Published | Conference Paper | IST-REx-ID: 941 |
JFIX: Semantics-based repair of Java programs via symbolic PathFinder
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–379.
[Published Version]
View
| DOI
| Download Published Version (ext.)
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–379.
2017 | Published | Conference Paper | IST-REx-ID: 942
S3: Syntax- and semantic-guided repair synthesis via programming by examples
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, ACM, 2017, pp. 593–604.
View
| DOI
| WoS
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, ACM, 2017, pp. 593–604.
2017 | Published | Journal Article | IST-REx-ID: 943 |
Decoding of position in the developing neural tube from antiparallel morphogen gradients
M.P. Zagórski, Y. Tabata, N. Brandenberg, M. Lutolf, G. Tkačik, T. Bollenbach, J. Briscoe, A. Kicheva, Science 356 (2017) 1379–1383.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
M.P. Zagórski, Y. Tabata, N. Brandenberg, M. Lutolf, G. Tkačik, T. Bollenbach, J. Briscoe, A. Kicheva, Science 356 (2017) 1379–1383.
2017 | Published | Journal Article | IST-REx-ID: 944
Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells
R.J. Beattie, M.P. Postiglione, L. Burnett, S. Laukoter, C. Streicher, F. Pauler, G. Xiao, O. Klezovitch, V. Vasioukhin, T. Ghashghaei, S. Hippenmeyer, Neuron 94 (2017) 517–533.e3.
View
| DOI
| WoS
R.J. Beattie, M.P. Postiglione, L. Burnett, S. Laukoter, C. Streicher, F. Pauler, G. Xiao, O. Klezovitch, V. Vasioukhin, T. Ghashghaei, S. Hippenmeyer, Neuron 94 (2017) 517–533.e3.
2017 | Published | Journal Article | IST-REx-ID: 945 |
Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome
A.K. Huylmans, A. Macon, B. Vicoso, Molecular Biology and Evolution 34 (2017) 2637–2649.
[Published Version]
View
| Files available
| DOI
| WoS
A.K. Huylmans, A. Macon, B. Vicoso, Molecular Biology and Evolution 34 (2017) 2637–2649.
2017 | Published | Journal Article | IST-REx-ID: 946 |
Live tracking of moving samples in confocal microscopy for vertically grown roots
D. von Wangenheim, R. Hauschild, M. Fendrych, V. Barone, E. Benková, J. Friml, ELife 6 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
D. von Wangenheim, R. Hauschild, M. Fendrych, V. Barone, E. Benková, J. Friml, ELife 6 (2017).
2017 | Published | Conference Paper | IST-REx-ID: 13160 |
Index appearance record for transforming Rabin automata into parity automata
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.
2017 | Published | Journal Article | IST-REx-ID: 1336 |
Towards a runtime comparison of natural and artificial evolution
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
[Published Version]
View
| Files available
| DOI
| WoS
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
2017 | Published | Journal Article | IST-REx-ID: 1337 |
Universality for general Wigner-type matrices
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
[Published Version]
View
| Files available
| DOI
| WoS
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
2017 | Published | Journal Article | IST-REx-ID: 1338 |
From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
[Published Version]
View
| Files available
| DOI
| WoS
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
2017 | Published | Journal Article | IST-REx-ID: 1351 |
Model checking the evolution of gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.
[Published Version]
View
| Files available
| DOI
| WoS
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.
2017 | Published | Journal Article | IST-REx-ID: 1367 |
Adaptive physically based models in computer graphics
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.
[Submitted Version]
View
| Files available
| DOI
| WoS
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.
2017 | Published | Journal Article | IST-REx-ID: 1407 |
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
2017 | Published | Journal Article | IST-REx-ID: 1433 |
Phat - Persistent homology algorithms toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.
2017 | Published | Journal Article | IST-REx-ID: 1084
Insulation and wiring specificity of BceR like response regulators and their target promoters in Bacillus subtilis
C. Fang, A.A. Nagy-Staron, M. Grafe, R. Heermann, K. Jung, S. Gebhard, T. Mascher, Molecular Microbiology 104 (2017) 16–31.
View
| DOI
| WoS
C. Fang, A.A. Nagy-Staron, M. Grafe, R. Heermann, K. Jung, S. Gebhard, T. Mascher, Molecular Microbiology 104 (2017) 16–31.
2017 | Published | Journal Article | IST-REx-ID: 1085 |
Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation
A. Wright, I. Darolti, N. Bloch, V. Oostra, B. Sandkam, S. Buechel, N. Kolm, F. Breden, B. Vicoso, J. Mank, Nature Communications 8 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
A. Wright, I. Darolti, N. Bloch, V. Oostra, B. Sandkam, S. Buechel, N. Kolm, F. Breden, B. Vicoso, J. Mank, Nature Communications 8 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1087 |
Speed and structure of turbulent fronts in pipe flow
B. Song, D. Barkley, B. Hof, M. Avila, Journal of Fluid Mechanics 813 (2017) 1045–1059.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
B. Song, D. Barkley, B. Hof, M. Avila, Journal of Fluid Mechanics 813 (2017) 1045–1059.
2017 | Published | Journal Article | IST-REx-ID: 1089 |
Total positivity in Markov structures
S. Fallat, S. Lauritzen, K. Sadeghi, C. Uhler, N. Wermuth, P. Zwiernik, Annals of Statistics 45 (2017) 1152–1184.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
S. Fallat, S. Lauritzen, K. Sadeghi, C. Uhler, N. Wermuth, P. Zwiernik, Annals of Statistics 45 (2017) 1152–1184.
2017 | Published | Journal Article | IST-REx-ID: 1104 |
Multiplexed computations in retinal ganglion cells of a single type
S. Deny, U. Ferrari, E. Mace, P. Yger, R. Caplette, S. Picaud, G. Tkačik, O. Marre, Nature Communications 8 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
S. Deny, U. Ferrari, E. Mace, P. Yger, R. Caplette, S. Picaud, G. Tkačik, O. Marre, Nature Communications 8 (2017).