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.

5967 Publications

2015 | Published | Conference Paper | IST-REx-ID: 1661 |

Improved algorithms for one-pair and k-pair Streett objectives
K. Chatterjee, M. Henzinger, V. Loitzenbauer, in:, Proceedings - Symposium on Logic in Computer Science, IEEE, 2015.

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

2015 | Published | Journal Article | IST-REx-ID: 1530

Impact of the cell division cycle on gene circuits
V. Bierbaum, S. Klumpp, Physical Biology 12 (2015).

View | DOI | WoS

2015 | Research Data Reference | IST-REx-ID: 9772

Description of the agent based simulations
B. Trubenova, S. Novak, R. Hager, (2015).

[Published Version] View | Files available | DOI

2015 | Research Data Reference | IST-REx-ID: 9715

Mathematical inference of the results
B. Trubenova, S. Novak, R. Hager, (2015).

[Published Version] View | Files available | DOI

2015 | Published | Journal Article | IST-REx-ID: 1580 |

Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons
O. Brenes, D.H. Vandael, E. Carbone, P. Montarolo, M. Ghirardi, Neuroscience 311 (2015) 430–443.

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

2015 | Published | Conference Paper | IST-REx-ID: 1630 |

Learning shape placements by example
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, in:, ACM, 2015.

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

2015 | Published | Journal Article | IST-REx-ID: 1538 |

Iterative experiment design guides the characterization of a light-inducible gene expression circuit
J. Ruess, F. Parise, A. Milias Argeitis, M. Khammash, J. Lygeros, PNAS 112 (2015) 8148–8153.

2015 | Published | Journal Article | IST-REx-ID: 1818 |

Limits to adaptation along environmental gradients
J. Polechova, N.H. Barton, PNAS 112 (2015) 6401–6406.

2015 | Published | Conference Paper | IST-REx-ID: 1660 |

Long-run average behaviour of probabilistic vector addition systems
T. Brázdil, S. Kiefer, A. Kučera, P. Novotný, in:, IEEE, 2015, pp. 44–55.

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

2015 | Published | Journal Article | IST-REx-ID: 2008 |

Iterative scaling in curved exponential families
A. Klimova, T. Rudas, Scandinavian Journal of Statistics 42 (2015) 832–847.

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

2015 | Published | Journal Article | IST-REx-ID: 1828 |

Invariant measures of genetic recombination process
A. Akopyan, S. Pirogov, A. Rybko, Journal of Statistical Physics 160 (2015) 163–167.

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

2015 | Published | Journal Article | IST-REx-ID: 1944

Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants
H. Rakusová, M. Fendrych, J. Friml, Current Opinion in Plant Biology 23 (2015) 116–123.

View | DOI | WoS

2015 | Published | Journal Article | IST-REx-ID: 1789 |

Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome
Kuechler A, Zink A, Wieland T, Lüdecke H, Cremer K, Salviati L, Magini P, Najafi K, Zweier C, Czeschik J, Aretz S, Endele S, Tamburrino F, Pinato C, Clementi M, Gundlach J, Maylahn C, Mazzanti L, Wohlleber E, Schwarzmayr T, Kariminejad R, Schlessinger A, Wieczorek D, Strom T, Novarino G, Engels H. 2015. Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome. European Journal of Human Genetics. 23(6), 753–760.

2015 | Published | Journal Article | IST-REx-ID: 1856 |

Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, Journal of the ACM 62 (2015).

2015 | Published | Journal Article | IST-REx-ID: 1834 |

Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats
C. Chen, C. Wang, X. Zhao, T. Zhou, D. Xu, Z. Wang, Y. Wang, ASN Neuro 7 (2015).

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

2015 | Published | Journal Article | IST-REx-ID: 1589 |

Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 5 (2015).

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

2015 | Published | Journal Article | IST-REx-ID: 523 |

Looking at mean-payoff and total-payoff through windows
K. Chatterjee, L. Doyen, M. Randour, J. Raskin, Information and Computation 242 (2015) 25–52.

2015 | Published | Conference Paper | IST-REx-ID: 1628 |

Microstructures to control elasticity in 3D printing
C. Schumacher, B. Bickel, J. Rys, S. Marschner, C. Daraio, M. Gross, in:, ACM, 2015.

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

2015 | Published | Journal Article | IST-REx-ID: 1586

Metabolic engineering of cyanobacteria for the synthesis of commodity products
A. Angermayr, A. Gorchs, K. Hellingwerf, Trends in Biotechnology 33 (2015) 352–361.

View | DOI | WoS

2015 | Published | Journal Article | IST-REx-ID: 1546 |

Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development
Y. Nakamura, H. Harada, N. Kamasawa, K. Matsui, J. Rothman, R. Shigemoto, R.A. Silver, D. Digregorio, T. Takahashi, Neuron 85 (2015) 145–158.

Research Groups

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

5967 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

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

5967 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options