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.

5802 Publications


2018 | Published | Journal Article | IST-REx-ID: 54 | OA
Nunes Pinheiro, Diana C, and Yohanns Bellaïche. “Mechanical Force-Driven Adherents Junction Remodeling and Epithelial Dynamics.” Developmental Cell. Cell Press, 2018. https://doi.org/10.1016/j.devcel.2018.09.014.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 6006 | OA
Avni, Guy, Shibashis Guha, and Orna Kupferman. “An Abstraction-Refinement Methodology for Reasoning about Network Games.” Games. MDPI, 2018. https://doi.org/10.3390/g9030039.
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 1012 | OA
Erdös, László, and Dominik J Schröder. “Fluctuations of Rectangular Young Diagrams of Interlacing Wigner Eigenvalues.” International Mathematics Research Notices. Oxford University Press, 2018. https://doi.org/10.1093/imrn/rnw330.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Thesis | IST-REx-ID: 418 | OA
Gschaider-Reichhart, Eva. “Optical and Optogenetic Control of Proliferation and Survival .” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_913.
[Published Version] View | Files available | DOI
 

2018 | Published | Thesis | IST-REx-ID: 200 | OA
Ringbauer, Harald. “Inferring Recent Demography from Spatial Genetic Structure.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_963.
[Published Version] View | Files available | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 10883 | OA
Chatterjee, Krishnendu, Wolfgang Dvořák, Monika Henzinger, and Alexander Svozil. “Quasipolynomial Set-Based Symbolic Algorithms for Parity Games.” In 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 57:233–53. EasyChair, 2018. https://doi.org/10.29007/5z5k.
[Published Version] View | Files available | DOI | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 434
Jiang, Yu, Han Liu, Huobing Song, Hui Kong, Rui Wang, Yong Guan, and Lui Sha. “Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller.” IEEE Transactions on Intelligent Transportation Systems. IEEE, 2018. https://doi.org/10.1109/TITS.2017.2778077.
View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 156 | OA
Ferrere, Thomas. “The Compound Interest in Relaxing Punctuality,” 10951:147–64. Springer, 2018. https://doi.org/10.1007/978-3-319-95582-7_9.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Published | Book Chapter | IST-REx-ID: 153
Renkawitz, Jörg, Anne Reversat, Alexander F Leithner, Jack Merrin, and Michael K Sixt. “Micro-Engineered ‘Pillar Forests’ to Study Cell Migration in Complex but Controlled 3D Environments.” In Methods in Cell Biology, 147:79–91. Academic Press, 2018. https://doi.org/10.1016/bs.mcb.2018.07.004.
View | DOI | WoS | PubMed | Europe PMC
 

2018 | Published | Conference Paper | IST-REx-ID: 182 | OA
Bakhirkin, Alexey, Thomas Ferrere, and Oded Maler. “Efficient Parametric Identification for STL.” In Proceedings of the 21st International Conference on Hybrid Systems, 177–86. ACM, 2018. https://doi.org/10.1145/3178126.3178132.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 183
Bartocci, Ezio, Thomas Ferrere, Niveditha Manjunath, and Dejan Nickovic. “Localizing Faults in Simulink/Stateflow Models with STL,” 197–206. Association for Computing Machinery, 2018. https://doi.org/10.1145/3178126.3178131.
View | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 19544 | OA
Bulatov, Emil, Regina Sayarova, Rimma Mingaleeva, Regina Miftakhova, Marina Gomzikova, Iurii Ignatev, Alexey Petukhov, Pavel Davidovich, Albert Rizvanov, and Nickolai A. Barlev. “Isatin-Schiff Base-Copper (II) Complex Induces Cell Death in P53-Positive Tumors.” Cell Death Discovery. Springer Nature, 2018. https://doi.org/10.1038/s41420-018-0120-z.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 203 | OA
Abbas, Mohamad, García J Hernández, Stephan Pollmann, Sophia L Samodelov, Martina Kolb, Jiří Friml, Ulrich Z Hammes, Matias D Zurbriggen, Miguel Blázquez, and David Alabadí. “Auxin Methylation Is Required for Differential Growth in Arabidopsis.” PNAS. National Academy of Sciences, 2018. https://doi.org/10.1073/pnas.1806565115.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 22 | OA
Botello, Gabriel, Florian Sedlmeir, Alfredo R Rueda Sanchez, Kerlos Abdalmalak, Elliott Brown, Gerd Leuchs, Sascha Preu, et al. “Sensitivity Limits of Millimeter-Wave Photonic Radiometers Based on Efficient Electro-Optic Upconverters.” Optica, 2018. https://doi.org/10.1364/OPTICA.5.001210.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 23 | OA
Vukušić, Lada, Josip Kukucka, Hannes Watzinger, Joshua M Milem, Friedrich Schäffler, and Georgios Katsaros. “Single-Shot Readout of Hole Spins in Ge.” Nano Letters. American Chemical Society, 2018. https://doi.org/10.1021/acs.nanolett.8b03217.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Published | Conference Paper | IST-REx-ID: 285 | OA
Huszár, Kristóf, Jonathan Spreer, and Uli Wagner. “On the Treewidth of Triangulated 3-Manifolds,” Vol. 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. https://doi.org/10.4230/LIPIcs.SoCG.2018.46.
[Submitted Version] View | Files available | DOI | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 298 | OA
Alwen, Joel F, Jeremiah Blocki, and Krzysztof Z Pietrzak. “Sustained Space Complexity,” 10821:99–130. Springer, 2018. https://doi.org/10.1007/978-3-319-78375-8_4.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 29 | OA
Viljakainen, Lumi, Jaana Jurvansuu, Ida Holmberg, Tobias Pamminger, Silvio Erler, and Sylvia Cremer. “Social Environment Affects the Transcriptomic Response to Bacteria in Ant Queens.” Ecology and Evolution. Wiley, 2018. https://doi.org/10.1002/ece3.4573.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 315 | OA
Polechova, Jitka. “Is the Sky the Limit? On the Expansion Threshold of a Species’ Range.” PLoS Biology. Public Library of Science, 2018. https://doi.org/10.1371/journal.pbio.2005372.
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 38 | OA
Tavares, Hugo, Annabel Whitley, David Field, Desmond Bradley, Matthew Couchman, Lucy Copsey, Joane Elleouet, et al. “Selection and Gene Flow Shape Genomic Islands That Control Floral Guides.” PNAS. National Academy of Sciences, 2018. https://doi.org/10.1073/pnas.1801832115.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed