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.
9114 Publications
2008 | Book Chapter | IST-REx-ID: 4371
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.” In Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, 475–505. Springer, 2008. https://doi.org/10.1007/978-3-540-78127-1_26.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 4366
Podelski, Andreas, Andrey Rybalchenko, and Thomas Wies. “Heap Assumptions on Demand,” 5123:314–27. Springer, 2008. https://doi.org/10.1007/978-3-540-70545-1_31.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3038
Swarup K, Benková E, Swarup R, Casimiro I, Péret B, Yang Y, Parry G, Nielsen E, De Smet I, Vanneste S, Levesque M, Carrier D, James N, Calvo V, Ljung K, Kramer E, Roberts R, Graham N, Marillonnet S, Patel K, Jones J, Taylor C, Schachtman D, May S, Sandberg G, Benfey P, Friml J, Kerr I, Beeckman T, Laplaze L, Bennett M. 2008. The auxin influx carrier LAX3 promotes lateral root emergence. Nature Cell Biology. 10(8), 946–954.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3036
Dubrovsky, Joseph, Michael Sauer, Selene Napsucialy Mendivil, Maria Ivanchenko, Jiří Friml, Svetlana Shishkova, John Celenza, and Eva Benková. “Auxin Acts as a Local Morphogenetic Trigger to Specify Lateral Root Founder Cells.” PNAS. National Academy of Sciences, 2008. https://doi.org/10.1073/pnas.0712307105.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3030
Růčková, Eva, Jiří Friml, Petra Procházková Schrumpfová, and Jiří Fajkus. “Role of Alternative Telomere Lengthening Unmasked in Telomerase Knock-out Mutant Plants.” Plant Molecular Biology. Springer, 2008. https://doi.org/10.1007/s11103-008-9295-7.
View
| DOI