ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5473 Publications

Search / Filter

2018 | Published | Conference Paper | IST-REx-ID: 155 |

Routing thermal noise through quantum networks
A. Xuereb, M. Aquilina, S. Barzanjeh, in:, D.L. Andrews, A. Ostendorf, A.J. Bain, J.M. Nunzi (Eds.), SPIE, 2018.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Published | Conference Paper | IST-REx-ID: 156 |

The compound interest in relaxing punctuality
T. Ferrere, in:, Springer, 2018, pp. 147–164.

[Submitted Version] View | Files available | DOI | WoS

2018 | Published | Journal Article | IST-REx-ID: 157 |

Evolution of cooperation in stochastic games
C. Hilbe, Š. Šimsa, K. Chatterjee, M. Nowak, Nature 559 (2018) 246–249.

[Submitted Version] View | Files available | DOI | WoS

2018 | Published | Journal Article | IST-REx-ID: 158 |

Maternal auxin supply contributes to early embryo patterning in Arabidopsis
H. Robert, C. Park, C. Gutièrrez, B. Wójcikowska, A. Pěnčík, O. Novák, J. Chen, W. Grunewald, T. Dresselhaus, J. Friml, T. Laux, Nature Plants 4 (2018) 548–553.

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC

2018 | Published | Journal Article | IST-REx-ID: 159 |

Optical control of L-type Ca2+ channels using a diltiazem photoswitch
T. Fehrentz, F. Huber, N. Hartrampf, T. Bruegmann, J. Frank, N. Fine, D. Malan, J.G. Danzl, D. Tikhonov, M. Sumser, P. Sasse, D. Hodson, B. Zhorov, N. Klocker, D. Trauner, Nature Chemical Biology 14 (2018) 764–767.

[Submitted Version] View | Files available | DOI | WoS

2018 | Published | Journal Article | IST-REx-ID: 16 |

Mixing layer instability and vorticity amplification in a creeping viscoelastic flow
A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018).

[Submitted Version] View | Files available | DOI | WoS

2018 | Published | Conference Paper | IST-REx-ID: 160 |

Layered Concurrent Programs
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.

[Published Version] View | Files available | DOI | WoS

2018 | Published | Journal Article | IST-REx-ID: 161 |

Statistical mechanics for metabolic networks during steady state growth
D. De Martino, A.A. Mc, T. Bergmiller, C.C. Guet, G. Tkačik, Nature Communications 9 (2018).

[Published Version] View | Files available | DOI | WoS

2018 | Published | Journal Article | IST-REx-ID: 162 |

Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage
Kaucka M, Petersen J, Tesarova M, Szarowska B, Kastriti M, Xie M, Kicheva A, Annusver K, Kasper M, Symmons O, Pan L, Spitz F, Kaiser J, Hovorakova M, Zikmund T, Sunadome K, Matise MP, Wang H, Marklund U, Abdo H, Ernfors P, Maire P, Wurmser M, Chagin AS, Fried K, Adameyko I. 2018. Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. eLife. 7, e34465.

[Published Version] View | Files available | DOI | WoS

2018 | Published | Journal Article | IST-REx-ID: 163 |

Agitation modules: Flexible means to accelerate automated freeze substitution
S. Reipert, H. Goldammer, C. Richardson, M. Goldberg, T. Hawkins, E. Saeckl, W. Kaufmann, S. Antreich, Y. Stierhof, Journal of Histochemistry and Cytochemistry 66 (2018) 903–921.

[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC

2018 | Published | Journal Article | IST-REx-ID: 738 |

Automated competitive analysis of real time scheduling with graph games
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, Real-Time Systems 54 (2018) 166–207.

[Published Version] View | Files available | DOI | WoS

2018 | Published | Conference Paper | IST-REx-ID: 7407 |

Proofs of catalytic space
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference (ITCS 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 59:1-59:25.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2018 | Published | Journal Article | IST-REx-ID: 742 |

On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, Geometriae Dedicata 195 (2018) 307–317.

[Published Version] View | Files available | DOI | WoS

2018 | Published | Journal Article | IST-REx-ID: 76 |

Near-optimal self-stabilising counting and firing squads
C. Lenzen, J. Rybicki, Distributed Computing (2018).

[Published Version] View | Files available | DOI | WoS

2018 | Published | Journal Article | IST-REx-ID: 77 |

A germanium hole spin qubit
H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).

[Published Version] View | Files available | DOI | WoS

2018 | Published | Conference Paper | IST-REx-ID: 78 |

Online timed pattern matching using automata
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.

[Submitted Version] View | Files available | DOI | WoS

2018 | Published | Conference Paper | IST-REx-ID: 7812 |

Model compression via distillation and quantization
A. Polino, R. Pascanu, D.-A. Alistarh, in:, 6th International Conference on Learning Representations, 2018.

[Published Version] View | Files available | arXiv

2018 | Published | Conference Paper | IST-REx-ID: 79 |

Parameter-independent strategies for pMDPs via POMDPs
S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer, 2018, pp. 53–70.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Published | Journal Article | IST-REx-ID: 806

Social immunity: Emergence and evolution of colony-level disease protection
S. Cremer, C. Pull, M. Fürst, Annual Review of Entomology 63 (2018) 105–123.

View | Files available | DOI | WoS

2018 | Published | Conference Paper | IST-REx-ID: 81 |

Monitoring temporal logic with clock variables
A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.

[Submitted Version] View | Files available | DOI | WoS