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.
723 Publications
2007 | Journal Article | IST-REx-ID: 4531
Fisher J, Piterman N, Hajnal A, Henzinger TA. Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology. 2007;3(5):e92. doi:10.1371/journal.pcbi.0030092
View
| DOI
2007 | Thesis | IST-REx-ID: 4566
Chakrabarti A. A framework for compositional design and analysis of systems. 2007:1-244.
View
2007 | Journal Article | IST-REx-ID: 4567
Beyer D, Henzinger TA, Jhala R, Majumdar R. The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. 2007;9(5):505-525. doi:10.1007/s10009-007-0044-z
View
| DOI
2007 | Journal Article | IST-REx-ID: 4626
De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. Theoretical Computer Science. 2007;386(3):188-217. doi:10.1016/j.tcs.2007.07.008
View
| DOI
2007 | Journal Article | IST-REx-ID: 7781
Robinson MR, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep. Evolution. 2007;60(10):2168-2181. doi:10.1111/j.0014-3820.2006.tb01854.x
View
| DOI
2006 | Conference Paper | IST-REx-ID: 1034 | 
Nägerl H, Kraemer T, Mark M, et al. Experimental evidence for Efimov quantum states. In: Vol 869. AIP; 2006:269-277. doi:10.1063/1.2400657
View
| DOI
| Download None (ext.)
2006 | Journal Article | IST-REx-ID: 1715
Dudu V, Bittig T, Entchev E, Kicheva A, Julicher F, González Gaitán M. Postsynaptic mad signaling at the Drosophila neuromuscular junction. Current Biology. 2006;16(7):625-635. doi:10.1016/j.cub.2006.02.061
View
| Files available
| DOI
2006 | Journal Article | IST-REx-ID: 1796
Siegert S, Schnierle P, Schnierle B. Novel anti-viral therapy: Drugs that block HIV entry at different target sites. Mini-Reviews in Medicinal Chemistry. 2006;6(5):557-562. doi:10.2174/138955706776876267
View
| DOI
2006 | Journal Article | IST-REx-ID: 2089
Weyrich T, Matusik W, Pfister H, et al. Analysis of human faces using a measurement-based skin reflectance model. ACM Transactions on Graphics. 2006;25(3):1013-1024. doi:10.1145/1141911.1141987
View
| DOI
2006 | Conference Paper | IST-REx-ID: 2088
Weyrich T, Matusik W, Pfister H, et al. Analysis of human faces using a measurement-based skin reflectance model. In: ACM; 2006:1013-1024. doi:10.1145/1179352.1141987
View
| DOI
2006 | Journal Article | IST-REx-ID: 2144
Vedrinskiǐ R, Nazarenko E, Lemeshko M, et al. Temperature dependent XAFS studies of local atomic structure of the perovskite-type zirconates. Physical Review B - Condensed Matter and Materials Physics. 2006;73(13). doi:10.1103/PhysRevB.73.134109
View
| DOI
2006 | Journal Article | IST-REx-ID: 2663
Kodama T, Itsukaichi Nishida Y, Fukazawa Y, et al. A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses. European Journal of Neuroscience. 2006;24(11):2993-3007. doi:10.1111/j.1460-9568.2006.05191.x
View
| DOI
2006 | Book Chapter | IST-REx-ID: 3002
Sauer M, Friml J. In vitro culture of Arabidopsis embryos. In: Mujib A, Šamaj J, eds. Somatic Embryogenesis. Vol 2. Springer; 2006:343-354. doi:10.1007/7089_020
View
| DOI
2006 | Journal Article | IST-REx-ID: 3934
Drumea Mirancea M, Wessels J, Müller C, et al. Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules. Journal of Cell Science. 2006;119(Pt 7):1396-1405. doi:10.1242/jcs.02840
View
| DOI
2006 | Journal Article | IST-REx-ID: 8490
Schanda P, Brutscher B. Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR. Journal of Magnetic Resonance. 2006;178(2):334-339. doi:10.1016/j.jmr.2005.10.007
View
| DOI
2005 | Book Chapter | IST-REx-ID: 1444 |
Hausel T. Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve. In: Geometric Methods in Algebra and Number Theory. Vol 235. Springer; 2005:193-217. doi:10.1007/0-8176-4417-2_9
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 1740
Costantini G, Rastelli A, Manzano C, et al. Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems. Journal of Crystal Growth. 2005;278(1-4):38-45. doi:10.1016/j.jcrysgro.2004.12.047
View
| DOI
2005 | Journal Article | IST-REx-ID: 1795
Siegert S, Thaler S, Wagner R, Schnierle B. Assessment of HIV-1 entry inhibitors by MLV/HIV-1 pseudotyped vectors. AIDS Research and Therapy. 2005;2(1). doi:10.1186/1742-6405-2-7
View
| DOI
2005 | Journal Article | IST-REx-ID: 2650
Nyíri G, Szabadits E, Cserép C, Mackie K, Shigemoto R, Freund T. GABAB and CB1 cannabinoid receptor expression identifies two types of septal cholinergic neurons. European Journal of Neuroscience. 2005;21(11):3034-3042. doi:10.1111/j.1460-9568.2005.04146.x
View
| DOI
2005 | Journal Article | IST-REx-ID: 2649
Tanaka J, Matsuzaki M, Tarusawa E, et al. Number and density of AMPA receptors in single synapses in immature cerebellum. Journal of Neuroscience. 2005;25(4):799-807. doi:10.1523/JNEUROSCI.4256-04.2005
View
| DOI