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.
9078 Publications
2015 | Journal Article | IST-REx-ID: 1861
Ruess J, Lygeros J. Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks. ACM Transactions on Modeling and Computer Simulation. 2015;25(2). doi:10.1145/2688906
View
| DOI
2015 | Journal Article | IST-REx-ID: 1866
Henzinger TA, Raskin J. The equivalence problem for finite automata: Technical perspective. Communications of the ACM. 2015;58(2):86-86. doi:10.1145/2701001
View
| DOI
2015 | Journal Article | IST-REx-ID: 1871 | 
Grones P, Friml J. Auxin transporters and binding proteins at a glance. Journal of Cell Science. 2015;128(1):1-7. doi:10.1242/jcs.159418
[Submitted Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1874
Boccara CN, Kjønigsen L, Hammer I, Bjaalie J, Leergaard T, Witter M. A three-plane architectonic atlas of the rat hippocampal region. Hippocampus. 2015;25(7):838-857. doi:10.1002/hipo.22407
View
| DOI
2015 | Journal Article | IST-REx-ID: 1873 |
Chatterjee K, Chmelik M. POMDPs under probabilistic semantics. Artificial Intelligence. 2015;221:46-72. doi:10.1016/j.artint.2014.12.009
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv