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 M. 2017. Simulating auxiliary inputs, revisited. TCC: Theory of Cryptography Conference, LNCS, vol. 9985, 159–179.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 1116 | OA
Avni G, Goel S, Henzinger TA, Rodríguez Navas G. 2017. Computing scores of forwarding schemes in switched networks with probabilistic faults. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10206, 169–187.
[Submitted Version] View | Files available | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 1110 | OA
Kuhn B, Nodzyński T, Errafi S, Bucher R, Gupta S, Aryal B, Dobrev P, Bigler L, Geisler M, Zažímalová E, Friml J, Ringli C. 2017. Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. Scientific Reports. 7, 41906.
[Published Version] View | Files available | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 1061 | OA
Veetil V, Angermayr A, Hellingwerf K. 2017. Ethylene production with engineered Synechocystis sp PCC 6803 strains. Microbial Cell Factories. 16(1), 34.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 |Published| Journal Article | IST-REx-ID: 1062
Guarina L, Vandael DH, Carabelli V, Carbone E. 2017. 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. 595(8), 2587–2609.
View | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 1018
Dobisova T, Hrdinova V, Cuesta C, Michlickova S, Urbankova I, Hejatkova R, Zadnikova P, Pernisová M, Benková E, Hejátko J. 2017. Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development. Plant Physiology. 174(1), 387–404.
View | DOI | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 1011 | OA
Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. 2017. Faster algorithms for weighted recursive state machines. ESOP: European Symposium on Programming, LNCS, vol. 10201, 287–313.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 989
Maas J, Rumpf M, Simon S. 2017. Transport based image morphing with intensity modulation. SSVM:  Scale Space and Variational Methods in Computer Vision, LNCS, vol. 10302, 563–577.
View | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 994 | OA
Cherepanov I, Lemeshko M. 2017. Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules. Physical Review Materials. 1(3).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 962
Trinh M, Chu DH, Jaffar J. 2017. Model counting for recursively-defined strings. CAV: Computer Aided Verification, LNCS, vol. 10427, 399–418.
View | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 951 | OA
Schmidt T, Barton NH, Rasic G, Turley A, Montgomery B, Iturbe Ormaetxe I, Cook P, Ryan P, Ritchie S, Hoffmann A, O’Neill S, Turelli M. 2017. Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti. PLoS Biology. 15(5), e2001894.
[Published Version] View | Files available | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 751 | OA
Matsubayashi Y, Louani A, Dragu A, Sanchez Sanchez B, Serna Morales E, Yolland L, György A, Vizcay G, Fleck R, Heddleston J, Chew T, Siekhaus DE, Stramer B. 2017. A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. 27(22), 3526–3534e.4.
[Published Version] View | Files available | DOI | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 836
Ethier M, Jablonski G, Mrozek M. 2017. Finding eigenvalues of self-maps with the Kronecker canonical form. Special Sessions in Applications of Computer Algebra. ACA: Applications of Computer Algebra, PROMS, vol. 198, 119–136.
View | DOI | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 942
Le X, Chu DH, Lo D, Le Goues C, Visser W. 2017. S3: Syntax- and semantic-guided repair synthesis via programming by examples. FSE: Foundations of Software Engineering vol. F130154, 593–604.
View | DOI | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 833 | OA
Heiss T, Wagner H. 2017. Streaming algorithm for Euler characteristic curves of multidimensional images. CAIP: Computer Analysis of Images and Patterns, LNCS, vol. 10424, 397–409.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 799 | OA
Kitakura S, Adamowski M, Matsuura Y, Santuari L, Kouno H, Arima K, Hardtke C, Friml J, Kakimoto T, Tanaka H. 2017. 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. 58(10), 1801–1811.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 |Published| Journal Article | IST-REx-ID: 800 | OA
Strüber M, Sauer J, Jonas PM, Bartos M. 2017. Distance-dependent inhibition facilitates focality of gamma oscillations in the dentate gyrus. Nature Communications. 8(1), 758.
[Published Version] View | Files available | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 727
Mueller J, Szep G, Nemethova M, de Vries I, Lieber A, Winkler C, Kruse K, Small J, Schmeiser C, Keren K, Hauschild R, Sixt MK. 2017. Load adaptation of lamellipodial actin networks. Cell. 171(1), 188–200.
View | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 1146
Sun W, Zhai M-Z, Li D, Zhou Y, Chen N, Guo M, Zhou S. 2017. Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels. Clinical Nutrition. 36(4), 1136–1142.
View | DOI
 

2017 |Published| Conference Paper | IST-REx-ID: 1194 | OA
Chatterjee K, Novotný P, Zikelic D. 2017. Stochastic invariants for probabilistic termination. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 52, 145–160.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications