ISTA Research Explorer

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.

5995 Publications

2012 | Published | Journal Article | IST-REx-ID: 2972 |

Chatterjee K, Doyen L. Energy parity games. Theoretical Computer Science. 2012;458:49-60. doi:10.1016/j.tcs.2012.07.038

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

2012 | Published | Journal Article | IST-REx-ID: 3118 |

Bojsen-Hansen M, Li H, Wojtan C. Tracking surfaces with evolving topology. ACM Transactions on Graphics. 2012;31(4). doi:10.1145/2185520.2185549

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

2012 | Published | Journal Article | IST-REx-ID: 3115 |

Berberich E, Halperin D, Kerber M, Pogalnikova R. Deconstructing approximate offsets. Discrete & Computational Geometry. 2012;48(4):964-989. doi:10.1007/s00454-012-9441-5

2012 | Published | Journal Article | IST-REx-ID: 3122

Field D, Barrett S. Disassortative mating and the maintenance of sexual polymorphism in painted maple. Molecular Ecology. 2012;21(15):3640-3643. doi:10.1111/j.1365-294X.2012.05643.x

View | DOI | WoS

2012 | Published | Journal Article | IST-REx-ID: 3120 |

Brown G, Kerber M, Reid M. Fano 3 folds in codimension 4 Tom and Jerry Part I. Compositio Mathematica. 2012;148(4):1171-1194. doi:10.1112/S0010437X11007226

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

2012 | Published | Journal Article | IST-REx-ID: 3121 |

Williams C, Chen W, Lee C, Yaeger D, Vyleta N, Smith S. Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA. Nature Neuroscience. 2012;15(9):1195-1197. doi:10.1038/nn.3162

2012 | Published | Journal Article | IST-REx-ID: 3117 |

Kolmogorov V. Minimizing a sum of submodular functions. Discrete Applied Mathematics. 2012;160(15):2246-2258. doi:10.1016/j.dam.2012.05.025

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

2012 | Published | Journal Article | IST-REx-ID: 2966 |

Cremer S, Suefuji M, Schrempf A, Heinze J. The dynamics of male-male competition in Cardiocondyla obscurior ants. BMC Ecology. 2012;12. doi:10.1186/1472-6785-12-7

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

2012 | Published | Journal Article | IST-REx-ID: 2968 |

Lohse K, Barton NH, Melika G, Stone G. A likelihood based comparison of population histories in a parasitoid guild. Molecular Ecology. 2012;21(18):4605-4617. doi:10.1111/j.1365-294X.2012.05700.x

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

2012 | Published | Journal Article | IST-REx-ID: 2969 |

Goswami S, Bucurenciu I, Jonas PM. Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling. Journal of Neuroscience. 2012;32(41):14294-14304. doi:10.1523/JNEUROSCI.6104-11.2012

2012 | Published | Journal Article | IST-REx-ID: 2962 |

Aeschbacher S, Beaumont M, Futschik A. A novel approach for choosing summary statistics in approximate Bayesian computation. Genetics. 2012;192(3):1027-1047. doi:10.1534/genetics.112.143164

2012 | Published | Journal Article | IST-REx-ID: 2963

Jesse F, Riebel K. Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata. Behavioural Processes. 2012;91(3):262-266. doi:10.1016/j.beproc.2012.09.006

View | DOI | WoS

2012 | Published | Journal Article | IST-REx-ID: 2970

Kicheva A, Bollenbach MT, Wartlick O, Julicher F, Gonzalez Gaitan M. Investigating the principles of morphogen gradient formation: from tissues to cells. Current Opinion in Genetics & Development. 2012;22(6):527-532. doi:10.1016/j.gde.2012.08.004

View | DOI | WoS

2012 | Published | Journal Article | IST-REx-ID: 2967

Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. ACM Transactions on Computational Logic (TOCL). 2012;13(3). doi:10.1145/2287718.2287727

View | Files available | DOI | WoS

2012 | Research Data Reference | IST-REx-ID: 13075 |

Lohse K, Barton NH, Stone G, Melika G. Data from: A likelihood-based comparison of population histories in a parasitoid guild. 2012. doi:10.5061/DRYAD.0G0FS

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

2012 | Published | Conference Paper | IST-REx-ID: 2955 |

Chatterjee K, Doyen L. Partial-observation stochastic games: How to win when belief fails. In: Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2012. doi:10.1109/LICS.2012.28

2012 | Published | Conference Paper | IST-REx-ID: 2956 |

Chatterjee K, Velner Y. Mean payoff pushdown games. In: Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2012. doi:10.1109/LICS.2012.30

2012 | Published | Journal Article | IST-REx-ID: 2958 |

Allen K, Rawlins JN, Bannerman D, Csicsvari JL. Hippocampal place cells can encode multiple trial-dependent features through rate remapping. Journal of Neuroscience. 2012;32(42):14752-14766. doi:10.1523/JNEUROSCI.6175-11.2012

2012 | Published | Conference Paper | IST-REx-ID: 2957 |

Chatterjee K, Tracol M. Decidable problems for probabilistic automata on infinite words. In: Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2012. doi:10.1109/LICS.2012.29

2012 | Published | Technical Report | IST-REx-ID: 5377 |

Chatterjee K, Velner Y. Mean-Payoff Pushdown Games. IST Austria; 2012. doi:10.15479/AT:IST-2012-0002

[Published Version] View | Files available | DOI

ISTA Research Explorer

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

5995 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

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

5995 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options