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.
9096 Publications
2010 | Conference Paper | IST-REx-ID: 4341
Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data
P. Danowski, in:, IFLA, 2010.
View
| Download (ext.)
P. Danowski, in:, IFLA, 2010.
2010 | Conference Paper | IST-REx-ID: 4369 | 
From MTL to deterministic timed automata
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
[Submitted Version]
View
| Files available
| DOI
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
2010 | Conference Paper | IST-REx-ID: 4364
Counterexample-guided focus
A. Podelski, T. Wies, in:, ACM, 2010, pp. 249–260.
View
| DOI
A. Podelski, T. Wies, in:, ACM, 2010, pp. 249–260.
2010 | Journal Article | IST-REx-ID: 3068
Arabidopsis PIS1 encodes the ABCG37 transporter of auxinic compounds including the auxin precursor indole 3 butyric acid
K. Růžička, L. Strader, A. Bailly, H. Yang, J. Blakeslee, Ł. Łangowski, E. Nejedlá, H. Fujita, H. Itoh, K. Syōno, J. Hejátko, W. Gray, E. Martinoia, M. Geisler, B. Bartel, A. Murphy, J. Friml, PNAS 107 (2010) 10749–10753.
View
| DOI
K. Růžička, L. Strader, A. Bailly, H. Yang, J. Blakeslee, Ł. Łangowski, E. Nejedlá, H. Fujita, H. Itoh, K. Syōno, J. Hejátko, W. Gray, E. Martinoia, M. Geisler, B. Bartel, A. Murphy, J. Friml, PNAS 107 (2010) 10749–10753.
2010 | Journal Article | IST-REx-ID: 3067
Probing plant membranes with FM dyes: Tracking dragging or blocking?
A. Jelínková, K. Malínská, S. Simon, J. Kleine Vehn, M. Pařezová, P. Pejchar, M. Kubeš, J. Martinec, J. Friml, E. Zažímalová, J. Petrášek, Plant Journal 61 (2010) 883–892.
View
| DOI
A. Jelínková, K. Malínská, S. Simon, J. Kleine Vehn, M. Pařezová, P. Pejchar, M. Kubeš, J. Martinec, J. Friml, E. Zažímalová, J. Petrášek, Plant Journal 61 (2010) 883–892.