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.
1953 Publications
2017 |Published| Conference Paper | IST-REx-ID: 949 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “JTDec: A Tool for Tree Decompositions in Soot.” edited by Deepak D’Souza, 10482:59–66. Springer, 2017. https://doi.org/10.1007/978-3-319-68167-2_4.
[Submitted Version]
View
| Files available
| DOI
| WoS
2016 |Published| Journal Article | IST-REx-ID: 100 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Aasen, David, Michael Hell, Ryan Mishmash, Andrew P Higginbotham, Jeroen Danon, Martin Leijnse, Thomas Jespersen, et al. “Milestones toward Majorana-Based Quantum Computing.” Physical Review X. American Physical Society, 2016. https://doi.org/10.1103/PhysRevX.6.031016.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1068 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika H Henzinger, and Veronika Loitzenbauer. “Conditionally Optimal Algorithms for Generalized Büchi Games,” Vol. 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.MFCS.2016.25.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1069 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chonev, Ventsislav K, Joël Ouaknine, and James Worrell. “On the Skolem Problem for Continuous Linear Dynamical Systems,” Vol. 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016. https://doi.org/10.4230/LIPIcs.ICALP.2016.100.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1090 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Limit-Average Automata of Bounded Width,” Vol. 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.MFCS.2016.24.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1095 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Haas, Andreas, Thomas A Henzinger, Andreas Holzer, Christoph Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, and Helmut Veith. “Local Linearizability for Concurrent Container-Type Data Structures.” In Leibniz International Proceedings in Informatics, Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.CONCUR.2016.6.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1115 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rueda, Alfredo, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit Stiller, Georg Schunk, Dimitry Strekalov, et al. “Efficient Single Sideband Microwave to Optical Conversion Using a LiNbO₃ WGM-Resonator.” IEEE, 2016. https://doi.org/10.1364/CLEO_SI.2016.SF2G.3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1136 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Manteaux, Pierre, Ulysse Vimont, Chris Wojtan, Damien Rohmer, and Marie Cani. “Space-Time Sculpting of Liquid Animation.” In Proceedings of the 9th International Conference on Motion in Games . ACM, 2016. https://doi.org/10.1145/2994258.2994261.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1151 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Simonini, Sara, Joyita Deb, Laila Moubayidin, Pauline Stephenson, Manoj Valluru, Alejandra Freire Rios, Karim Sorefan, Dolf Weijers, Jiří Friml, and Lars Östergaard. “A Noncanonical Auxin Sensing Mechanism Is Required for Organ Morphogenesis in Arabidopsis.” Genes and Development. Cold Spring Harbor Laboratory Press, 2016. https://doi.org/10.1101/gad.285361.116.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 |Published| Journal Article | IST-REx-ID: 11575 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lagos, Claudia del P., Tom Theuns, Joop Schaye, Michelle Furlong, Richard G. Bower, Matthieu Schaller, Robert A. Crain, James W. Trayford, and Jorryt J Matthee. “The Fundamental Plane of Star Formation in Galaxies Revealed by the EAGLE Hydrodynamical Simulations.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2016. https://doi.org/10.1093/mnras/stw717.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 11578 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Matthee, Jorryt J, David Sobral, Iván Oteo, Philip Best, Ian Smail, Huub Röttgering, and Ana Paulino-Afonso. “The CALYMHA Survey: Lyα Escape Fraction and Its Dependence on Galaxy Properties at z = 2.23.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2016. https://doi.org/10.1093/mnras/stw322.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 1177 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kamath Hosdurg, Chethan, and Sanjit Chatterjee. “A Closer Look at Multiple-Forking: Leveraging (in)Dependence for a Tighter Bound.” Algorithmica. Springer, 2016. https://doi.org/10.1007/s00453-015-9997-6.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1179 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pietrzak, Krzysztof Z, and Skorski Maciej. “Pseudoentropy: Lower-Bounds for Chain Rules and Transformations,” 9985:183–203. Springer, 2016. https://doi.org/10.1007/978-3-662-53641-4_8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 11836 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cheung, Yun Kuen, Gramoz Goranci, and Monika H Henzinger. “Graph Minors for Preserving Terminal Distances Approximately - Lower and Upper Bounds.” In 43rd International Colloquium on Automata, Languages, and Programming, Vol. 55. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPICS.ICALP.2016.131.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 11834 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Goranci, Gramoz, Monika H Henzinger, and Mikkel Thorup. “Incremental Exact Min-Cut in Poly-Logarithmic Amortized Update Time.” In 24th Annual European Symposium on Algorithms, Vol. 57. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPICS.ESA.2016.46.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 11835 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, Monika H, and Stefan Neumann. “Incremental and Fully Dynamic Subgraph Connectivity for Emergency Planning.” In 24th Annual European Symposium on Algorithms, Vol. 57. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPICS.ESA.2016.48.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 11891 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “Dynamic Approximate All-Pairs Shortest Paths: Breaking the O(Mn) Barrier and Derandomization.” SIAM Journal on Computing. Society for Industrial & Applied Mathematics, 2016. https://doi.org/10.1137/140957299.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 11988
Kappe, C., Julia Monteiro, Bartholomäus Pieber, and Arlene Corrêa. “Continuous Synthesis of Hydantoins: Intensifying the Bucherer–Bergs Reaction.” Synlett. Georg Thieme Verlag, 2016. https://doi.org/10.1055/s-0035-1560317.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1212 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rakusová, Hana, Mohamad Abbas, Huibin Han, Siyuan Song, Hélène Robert, and Jiří Friml. “Termination of Shoot Gravitropic Responses by Auxin Feedback on PIN3 Polarity.” Current Biology. Cell Press, 2016. https://doi.org/10.1016/j.cub.2016.08.067.
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1216 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kasten, Jens, Jan Reininghaus, Ingrid Hotz, Hans Hege, Bernd Noack, Guillaume Daviller, and Marek Morzyński. “Acceleration Feature Points of Unsteady Shear Flows.” Archives of Mechanics. Polish Academy of Sciences Publishing House, 2016.
[Published Version]
View
| Download Published Version (ext.)