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.
4947 Publications
2014 | Conference Paper | IST-REx-ID: 1869
Hofferek, Georg, and Ashutosh Gupta. “Suraq - a Controller Synthesis Tool Using Uninterpreted Functions.” In HVC 2014, edited by Eran Yahav, 8855:68–74. Springer, 2014. https://doi.org/10.1007/978-3-319-13338-6_6.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 1872 | 
Gupta, Ashutosh, Laura Kovács, Bernhard Kragl, and Andrei Voronkov. “Extensional Crisis and Proving Identity.” In ATVA 2014, edited by Franck Cassez and Jean-François Raskin, 8837:185–200. Springer, 2014. https://doi.org/10.1007/978-3-319-11936-6_14.
[Submitted Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1870 |
Henzinger, Thomas A, Jan Otop, and Roopsha Samanta. “Lipschitz Robustness of Finite-State Transducers.” In Leibniz International Proceedings in Informatics, LIPIcs, 29:431–43. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014. https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431.
[Published Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1875 |
Samanta, Roopsha, Oswaldo Olivo, and Emerson Allen. “Cost-Aware Automatic Program Repair.” edited by Markus Müller-Olm and Helmut Seidl, 8723:268–84. Springer, 2014. https://doi.org/10.1007/978-3-319-10936-7_17.
[Submitted Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1876 |
Dolbilin, Nikolai, Herbert Edelsbrunner, Alexey Glazyrin, and Oleg Musin. “Functionals on Triangulations of Delaunay Sets.” Moscow Mathematical Journal. Independent University of Moscow, 2014. https://doi.org/10.17323/1609-4514-2014-14-3-491-504.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 1877
Sixt, Michael K, and Kari Vaahtomeri. “Physiology: Relax and Come In.” Nature. Springer Nature, 2014. https://doi.org/10.1038/514441a.
View
| DOI
2014 | Journal Article | IST-REx-ID: 1886 |
Hermundstad, Ann, John Briguglio, Mary Conte, Jonathan Victor, Vijay Balasubramanian, and Gašper Tkačik. “Variance Predicts Salience in Central Sensory Processing.” ELife. eLife Sciences Publications, 2014. https://doi.org/10.7554/eLife.03722.
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1890 |
Körner, Christof, Verena Braunstein, Matthias Stangl, Alois Schlögl, Christa Neuper, and Anja Ischebeck. “Sequential Effects in Continued Visual Search: Using Fixation-Related Potentials to Compare Distractor Processing before and after Target Detection.” Psychophysiology. Wiley-Blackwell, 2014. https://doi.org/10.1111/psyp.12062.
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1892 |
Ocana, Sabine, Patrick Meidl, Danielle Bonfils, and Michael Taborsky. “Y-Linked Mendelian Inheritance of Giant and Dwarf Male Morphs in Shell-Brooding Cichlids.” Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society, 2014. https://doi.org/10.1098/rspb.2014.0253.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 1891
Chwastyk, Mateusz, Albert Galera Prat, Mateusz K Sikora, Àngel Gómez Sicilia, Mariano Carrión Vázquez, and Marek Cieplak. “Theoretical Tests of the Mechanical Protection Strategy in Protein Nanomechanics.” Proteins: Structure, Function and Bioinformatics. Wiley-Blackwell, 2014. https://doi.org/10.1002/prot.24436.
View
| DOI