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.
1957 Publications
2017 |Published| Journal Article | IST-REx-ID: 614 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W
C. Fraisse, M.A.L. Picard, B. Vicoso, Nature Communications 8 (2017).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Fraisse, M.A.L. Picard, B. Vicoso, Nature Communications 8 (2017).
2017 | Research Data | IST-REx-ID: 5568 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Source codes: Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, (2017).
[Published Version]
View
| Files available
| DOI
D. Hahn, (2017).
2017 |Published| Book Chapter | IST-REx-ID: 424 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bounding helly numbers via betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, M. Loebl, J. Nešetřil, R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, Springer, 2017, pp. 407–447.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, M. Loebl, J. Nešetřil, R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, Springer, 2017, pp. 407–447.
2017 |Published| Conference Paper | IST-REx-ID: 639 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Non-polynomial worst case analysis of recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 41–63.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
K. Chatterjee, H. Fu, A.K. Goharshady, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 41–63.
2017 |Published| Conference Paper | IST-REx-ID: 949 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
JTDec: A tool for tree decompositions in soot
K. Chatterjee, A.K. Goharshady, A. Pavlogiannis, in:, D. D’Souza (Ed.), Springer, 2017, pp. 59–66.
[Submitted Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A.K. Goharshady, A. Pavlogiannis, in:, D. D’Souza (Ed.), Springer, 2017, pp. 59–66.
2016 |Published| Journal Article | IST-REx-ID: 100 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Milestones toward Majorana-based quantum computing
D. Aasen, M. Hell, R. Mishmash, A.P. Higginbotham, J. Danon, M. Leijnse, T. Jespersen, J. Folk, C. Marcs, K. Flensberg, J. Alicea, Physical Review X 6 (2016).
[Published Version]
View
| Files available
| DOI
D. Aasen, M. Hell, R. Mishmash, A.P. Higginbotham, J. Danon, M. Leijnse, T. Jespersen, J. Folk, C. Marcs, K. Flensberg, J. Alicea, Physical Review X 6 (2016).
2016 |Published| Conference Paper | IST-REx-ID: 1068 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Conditionally optimal algorithms for generalized Büchi Games
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 |Published| Conference Paper | IST-REx-ID: 1069 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On the skolem problem for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
[Published Version]
View
| Files available
| DOI
V.K. Chonev, J. Ouaknine, J. Worrell, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
2016 |Published| Conference Paper | IST-REx-ID: 1090 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nested weighted limit-average automata of bounded width
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 |Published| Conference Paper | IST-REx-ID: 1095 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Local linearizability for concurrent container-type data structures
A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| Files available
| DOI
A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 |Published| Conference Paper | IST-REx-ID: 1115 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Efficient single sideband microwave to optical conversion using a LiNbO₃ WGM-resonator
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, IEEE, 2016.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, IEEE, 2016.
2016 |Published| Conference Paper | IST-REx-ID: 1136 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Space-time sculpting of liquid animation
P. Manteaux, U. Vimont, C. Wojtan, D. Rohmer, M. Cani, in:, Proceedings of the 9th International Conference on Motion in Games , ACM, 2016.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Manteaux, U. Vimont, C. Wojtan, D. Rohmer, M. Cani, in:, Proceedings of the 9th International Conference on Motion in Games , ACM, 2016.
2016 |Published| Journal Article | IST-REx-ID: 1151 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis
S. Simonini, J. Deb, L. Moubayidin, P. Stephenson, M. Valluru, A. Freire Rios, K. Sorefan, D. Weijers, J. Friml, L. Östergaard, Genes and Development 30 (2016) 2286–2296.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Simonini, J. Deb, L. Moubayidin, P. Stephenson, M. Valluru, A. Freire Rios, K. Sorefan, D. Weijers, J. Friml, L. Östergaard, Genes and Development 30 (2016) 2286–2296.
2016 |Published| Journal Article | IST-REx-ID: 11575 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The Fundamental Plane of star formation in galaxies revealed by the EAGLE hydrodynamical simulations
C. del P. Lagos, T. Theuns, J. Schaye, M. Furlong, R.G. Bower, M. Schaller, R.A. Crain, J.W. Trayford, J.J. Matthee, Monthly Notices of the Royal Astronomical Society 459 (2016) 2632–2650.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
C. del P. Lagos, T. Theuns, J. Schaye, M. Furlong, R.G. Bower, M. Schaller, R.A. Crain, J.W. Trayford, J.J. Matthee, Monthly Notices of the Royal Astronomical Society 459 (2016) 2632–2650.
2016 |Published| Journal Article | IST-REx-ID: 11578 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The CALYMHA survey: Lyα escape fraction and its dependence on galaxy properties at z = 2.23
J.J. Matthee, D. Sobral, I. Oteo, P. Best, I. Smail, H. Röttgering, A. Paulino-Afonso, Monthly Notices of the Royal Astronomical Society 458 (2016) 449–467.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, D. Sobral, I. Oteo, P. Best, I. Smail, H. Röttgering, A. Paulino-Afonso, Monthly Notices of the Royal Astronomical Society 458 (2016) 449–467.
2016 |Published| Journal Article | IST-REx-ID: 1177 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound
C. Kamath Hosdurg, S. Chatterjee, Algorithmica 74 (2016) 1321–1362.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
C. Kamath Hosdurg, S. Chatterjee, Algorithmica 74 (2016) 1321–1362.
2016 |Published| Conference Paper | IST-REx-ID: 1179 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pseudoentropy: Lower-bounds for chain rules and transformations
K.Z. Pietrzak, S. Maciej, in:, Springer, 2016, pp. 183–203.
[Preprint]
View
| DOI
| Download Preprint (ext.)
K.Z. Pietrzak, S. Maciej, in:, Springer, 2016, pp. 183–203.
2016 |Published| Conference Paper | IST-REx-ID: 11836 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Graph minors for preserving terminal distances approximately - lower and upper bounds
Y.K. Cheung, G. Goranci, M.H. Henzinger, in:, 43rd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Y.K. Cheung, G. Goranci, M.H. Henzinger, in:, 43rd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 |Published| Conference Paper | IST-REx-ID: 11834 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Incremental exact min-cut in poly-logarithmic amortized update time
G. Goranci, M.H. Henzinger, M. Thorup, in:, 24th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
G. Goranci, M.H. Henzinger, M. Thorup, in:, 24th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 |Published| Conference Paper | IST-REx-ID: 11835 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Incremental and fully dynamic subgraph connectivity for emergency planning
M.H. Henzinger, S. Neumann, in:, 24th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
M.H. Henzinger, S. Neumann, in:, 24th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.