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.

1621 Publications


2017 |Published| Conference Paper | IST-REx-ID: 1178 | OA
Skórski, Maciej. “Simulating Auxiliary Inputs, Revisited,” 9985:159–79. Springer, 2017. https://doi.org/10.1007/978-3-662-53641-4_7.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 1116 | OA
Avni, Guy, Shubham Goel, Thomas A Henzinger, and Guillermo Rodríguez Navas. “Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults,” 10206:169–87. Springer, 2017. https://doi.org/10.1007/978-3-662-54580-5_10.
[Submitted Version] View | Files available | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 1110 | OA
Kuhn, Benjamin, Tomasz Nodzyński, Sanae Errafi, Rahel Bucher, Shibu Gupta, Bibek Aryal, Petre Dobrev, et al. “Flavonol-Induced Changes in PIN2 Polarity and Auxin Transport in the Arabidopsis Thaliana Rol1-2 Mutant Require Phosphatase Activity.” Scientific Reports. Nature Publishing Group, 2017. https://doi.org/10.1038/srep41906.
[Published Version] View | Files available | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 1061 | OA
Veetil, Vinod, Andreas Angermayr, and Klaas Hellingwerf. “Ethylene Production with Engineered Synechocystis Sp PCC 6803 Strains.” Microbial Cell Factories. BioMed Central, 2017. https://doi.org/10.1186/s12934-017-0645-5.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 |Published| Journal Article | IST-REx-ID: 1062
Guarina, Laura, David H Vandael, Valentina Carabelli, and Emilio Carbone. “Low PH Inf o Boosts Burst Firing and Catecholamine Release by Blocking TASK-1 and BK Channels While Preserving Cav1 Channels in Mouse Chromaffin Cells.” Journal of Physiology. Wiley-Blackwell, 2017. https://doi.org/10.1113/JP273735.
View | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 1018
Dobisova, Tereza, Vendula Hrdinova, Candela Cuesta, Sarka Michlickova, Ivana Urbankova, Romana Hejatkova, Petra Zadnikova, Markéta Pernisová, Eva Benková, and Jan Hejátko. “Light Regulated Expression of Sensor Histidine Kinase CKI1 Controls Cytokinin Related Development.” Plant Physiology. American Society of Plant Biologists, 2017. https://doi.org/10.1104/pp.16.01964.
View | DOI | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 1011 | OA
Chatterjee, Krishnendu, Bernhard Kragl, Samarth Mishra, and Andreas Pavlogiannis. “Faster Algorithms for Weighted Recursive State Machines.” edited by Hongseok Yang, 10201:287–313. Springer, 2017. https://doi.org/10.1007/978-3-662-54434-1_11.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 989
Maas, Jan, Martin Rumpf, and Stefan Simon. “Transport Based Image Morphing with Intensity Modulation.” edited by François Lauze, Yiqiu Dong, and Anders Bjorholm Dahl, 10302:563–77. Springer, 2017. https://doi.org/10.1007/978-3-319-58771-4_45.
View | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 994 | OA
Cherepanov, Igor, and Mikhail Lemeshko. “Fingerprints of Angulon Instabilities in the Spectra of Matrix-Isolated Molecules.” Physical Review Materials. American Physical Society, 2017. https://doi.org/10.1103/PhysRevMaterials.1.035602.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 962
Trinh, Minh, Duc Hiep Chu, and Joxan Jaffar. “Model Counting for Recursively-Defined Strings.” edited by Rupak Majumdar and Viktor Kunčak, 10427:399–418. Springer, 2017. https://doi.org/10.1007/978-3-319-63390-9_21.
View | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 951 | OA
Schmidt, Tom, Nicholas H Barton, Gordana Rasic, Andrew Turley, Brian Montgomery, Inaki Iturbe Ormaetxe, Peter Cook, et al. “Local Introduction and Heterogeneous Spatial Spread of Dengue-Suppressing Wolbachia through an Urban Population of Aedes Aegypti.” PLoS Biology. Public Library of Science, 2017. https://doi.org/10.1371/journal.pbio.2001894.
[Published Version] View | Files available | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 751 | OA
Matsubayashi, Yutaka, Adam Louani, Anca Dragu, Besaiz Sanchez Sanchez, Eduardo Serna Morales, Lawrence Yolland, Attila György, et al. “A Moving Source of Matrix Components Is Essential for De Novo Basement Membrane Formation.” Current Biology. Cell Press, 2017. https://doi.org/10.1016/j.cub.2017.10.001.
[Published Version] View | Files available | DOI | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 836
Ethier, Marc, Grzegorz Jablonski, and Marian Mrozek. “Finding Eigenvalues of Self-Maps with the Kronecker Canonical Form.” In Special Sessions in Applications of Computer Algebra, 198:119–36. Springer, 2017. https://doi.org/10.1007/978-3-319-56932-1_8.
View | DOI | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 942
Le, Xuan, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. “S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples,” F130154:593–604. ACM, 2017. https://doi.org/10.1145/3106237.3106309.
View | DOI | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 833 | OA
Heiss, Teresa, and Hubert Wagner. “Streaming Algorithm for Euler Characteristic Curves of Multidimensional Images.” edited by Michael Felsberg, Anders Heyden, and Norbert Krüger, 10424:397–409. Springer, 2017. https://doi.org/10.1007/978-3-319-64689-3_32.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 799 | OA
Kitakura, Saeko, Maciek Adamowski, Yuki Matsuura, Luca Santuari, Hirotaka Kouno, Kohei Arima, Christian Hardtke, Jiří Friml, Tatsuo Kakimoto, and Hirokazu Tanaka. “BEN3/BIG2 ARF GEF Is Involved in Brefeldin a-Sensitive Trafficking at the Trans-Golgi Network/Early Endosome in Arabidopsis Thaliana.” Plant and Cell Physiology. Oxford University Press, 2017. https://doi.org/10.1093/pcp/pcx118.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 |Published| Journal Article | IST-REx-ID: 800 | OA
Strüber, Michael, Jonas Sauer, Peter M Jonas, and Marlene Bartos. “Distance-Dependent Inhibition Facilitates Focality of Gamma Oscillations in the Dentate Gyrus.” Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/s41467-017-00936-3.
[Published Version] View | Files available | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 727
Mueller, Jan, Gregory Szep, Maria Nemethova, Ingrid de Vries, Arnon Lieber, Christoph Winkler, Karsten Kruse, et al. “Load Adaptation of Lamellipodial Actin Networks.” Cell. Cell Press, 2017. https://doi.org/10.1016/j.cell.2017.07.051.
View | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 1146
Sun, Wuping, Ming-Zhu Zhai, Da Li, Yiming Zhou, Nana Chen, Ming Guo, and Shisheng Zhou. “Comparison of the Effects of Nicotinic Acid and Nicotinamide Degradation on Plasma Betaine and Choline Levels.” Clinical Nutrition. Elsevier, 2017. https://doi.org/10.1016/j.clnu.2016.07.016.
View | DOI
 

2017 |Published| Conference Paper | IST-REx-ID: 1194 | OA
Chatterjee, Krishnendu, Petr Novotný, and Djordje Zikelic. “Stochastic Invariants for Probabilistic Termination,” 52:145–60. ACM, 2017. https://doi.org/10.1145/3009837.3009873.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications