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.

6767 Publications

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: 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 | Conference Paper | IST-REx-ID: 2971

Zankl G, Haxhimusa Y, Ion A. Interactive labeling of image segmentation hierarchies. In: 34th DAGM and 36th OAGM Symposium. Vol 7476. Springer; 2012:11-20. doi:10.1007/978-3-642-32717-9_2

View | DOI

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 | Conference Paper | IST-REx-ID: 2974 |

Jain A, Krenn S, Pietrzak KZ, Tentes A. Commitments and efficient zero knowledge proofs from learning parity with noise. In: Wang X, Sako K, eds. Vol 7658. Springer; 2012:663-680. doi:10.1007/978-3-642-34961-4_40

[Submitted Version] View | Files available | DOI

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

Ibarra CA, Feng X, Schoft VK, et al. Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes. Science. 2012;337(6100):1360-1364. doi:10.1126/science.1224839

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

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: 1384 |

Beyer D, Henzinger TA, Keremoglu M, Wendler P. Conditional model checking: A technique to pass information between verifiers. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM; 2012. doi:10.1145/2393596.2393664

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

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

Tangermann M, Müller K, Aertsen A, et al. Review of the BCI competition IV. Frontiers in Neuroscience. 2012;6. doi:10.3389/fnins.2012.00055

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

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

Kruckman A, Rubin S, Sheridan J, Zax B. A Myhill Nerode theorem for automata with advice. In: Proceedings GandALF 2012. Vol 96. Open Publishing Association; 2012:238-246. doi:10.4204/EPTCS.96.18