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.
5795 Publications
2010 | Journal Article | IST-REx-ID: 3538 | 
Jiruska P, Csicsvari JL, Powell A, et al. High-frequency network activity, global increase in neuronal activity, and synchrony expansion precede epileptic seizures in vitro. Journal of Neuroscience. 2010;30(16):5690-5701. doi:10.1523/JNEUROSCI.0535-10.2010
View
| DOI
| Download None (ext.)
2010 | Conference Paper | IST-REx-ID: 3719 |
Feret J, Henzinger TA, Koeppl H, Petrov T. Lumpability abstractions of rule-based systems. In: Vol 40. Open Publishing Association; 2010:142-161.
[Submitted Version]
View
| Files available
| arXiv
2010 | Journal Article | IST-REx-ID: 3748 |
Park H, Pontius W, Guet CC, Marko J, Emonet T, Cluzel P. Interdependence of behavioural variability and response to small stimuli in bacteria. Nature. 2010;468:819-823. doi:10.1038/nature09551
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3749 |
Park H, Guet CC, Emonet T, Cluzel P. Fine-tuning of chemotactic response in E. coli determined by high-throughput capillary assay. Current Microbiology. 2010;62(3):764-769. doi:10.1007/s00284-010-9778-z
View
| DOI
| Download (ext.)
2010 | Book Chapter | IST-REx-ID: 3795 |
Edelsbrunner H, Morozov D, Patel A. The stability of the apparent contour of an orientable 2-manifold. In: Topological Data Analysis and Visualization: Theory, Algorithms and Applications. Springer; 2010:27-42. doi:10.1007/978-3-642-15014-2_3
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3831 |
Norenberg A, Hu H, Vida I, Bartos M, Jonas PM. Distinct nonuniform cable properties optimize rapid and efficient activation of fast-spiking GABAergic interneurons. PNAS. 2010;107(2):894-899. doi:10.1073/pnas.0910716107
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3832 |
Guzmán J, Jonas PM. Beyond TARPs: The growing list of auxiliary AMPAR subunits. Neuron. 2010;66(1):8-10. doi:10.1016/j.neuron.2010.04.003
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Conference Paper | IST-REx-ID: 3847 |
Didier F, Henzinger TA, Mateescu M, Wolf V. SABRE: A tool for the stochastic analysis of biochemical reaction networks. In: IEEE; 2010:193-194. doi:10.1109/QEST.2010.33
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3845 |
Henzinger TA, Hottelier T, Kovács L, Rybalchenko A. Aligators for arrays. In: Vol 6397. Springer; 2010:348-356. doi:10.1007/978-3-642-16242-8_25
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3842 |
Didier F, Henzinger TA, Mateescu M, Wolf V. Fast adaptive uniformization of the chemical master equation. IET Systems Biology. 2010;4(6):441-452. doi:10.1049/iet-syb.2010.0005
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3858 |
Chatterjee K, Doyen L. The complexity of partial-observation parity games. In: Vol 6397. Springer; 2010:1-14. doi:10.1007/978-3-642-16242-8_1
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3856 |
Chatterjee K, Doyen L, Gimbert H, Henzinger TA. Randomness for free. In: Vol 6281. Springer; 2010:246-257. doi:10.1007/978-3-642-15155-2_23
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 | Conference Paper | IST-REx-ID: 3866 |
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. Robustness in the presence of liveness. In: Touili T, Cook B, Jackson P, eds. Vol 6174. Springer; 2010:410-424. doi:10.1007/978-3-642-14295-6_36
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3868 |
Chatterjee K, De Alfaro L, Majumdar R, Raman V. Algorithms for game metrics. Logical Methods in Computer Science. 2010;6(3):1-27. doi:10.2168/LMCS-6(3:13)2010
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3960 |
Weber M, Sixt MK. MEK signalling tunes actin treadmilling for interstitial lymphocyte migration. EMBO Journal. 2010;29(17):2861-2863. doi:10.1038/emboj.2010.183
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 4243 |
Barton NH, Etheridge A, Véber A. A new model for evolution in a spatial continuum. Electronic Journal of Probability. 2010;15(7):162-216. doi:10.1214/EJP.v15-741
[Published Version]
View
| Files available
| DOI
2010 | Other Publication | IST-REx-ID: 4340 |
Danowski P. Open Bibliographic Data. Elsevier; 2010.
View
| Files available
| Download None (ext.)
2010 | Book (Editor) | IST-REx-ID: 4346 |
Danowski P, Bergmann J, eds. Handbuch Bibliothek 2.0. Vol 41. De Gruyter; 2010. doi:10.1515/9783110232103
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Conference Paper | IST-REx-ID: 4369 |
Nickovic D, Piterman N. From MTL to deterministic timed automata. In: Henzinger TA, Chatterjee K, eds. Vol 6246. Springer; 2010:152-167. doi:10.1007/978-3-642-15297-9_13
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3306 |
Evans S, Sturmfels B, Uhler C. Commuting birth and death processes. The Annals of Applied Probability. 2010;20:238-266. doi:10.1214/09-AAP615
View
| DOI
| Download (ext.)