Please note that IST 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.

6403 Publications


2006 | Conference Paper | IST-REx-ID: 4526
Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. 2006. A hierarchical coordination language for interacting real-time tasks. EMSOFT: Embedded Software , 132–141.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4528
Fisher J, Henzinger TA. 2006. Executable biology. WSC: Winter Simulation Conference, 1675–1682.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee K, Henzinger TA. 2006. Strategy improvement and randomized subexponential algorithms for stochastic parity games. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 3884, 512–523.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee K, Henzinger TA. 2006. Finitary winning in omega-regular games. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 3920, 257–271.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee K, De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2006. Compositional quantitative reasoning. QEST: Quantitative Evaluation of Systems, 179–188.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4550
Chatterjee K, Henzinger TA, Jurdziński M. 2006. Games with secure equilibria. Theoretical Computer Science. 365(1–2), 67–82.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee K, Majumdar R, Henzinger TA. 2006. Markov decision processes with multiple objectives. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 3884, 325–336.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee K, De Alfaro L, Henzinger TA. 2006. Strategy improvement for concurrent reachability games. QEST: Quantitative Evaluation of Systems, 291–300.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4574
Beyer D, Henzinger TA, Théoduloz G. 2006. Lazy shape analysis. CAV: Computer Aided Verification, LNCS, vol. 4144, 532–546.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3002
Sauer M, Friml J. 2006.In vitro culture of Arabidopsis embryos. In: Somatic Embryogenesis. Plant Cell Monographs, vol. 2, 343–354.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3005
Friml J, Benfey P, Benková E, Bennett M, Berleth T, Geldner N, Grebe M, Heisler M, Hejátko J, Jürgens G, Laux T, Lindsey K, Lukowitz W, Luschnig C, Offringa R, Scheres B, Swarup R, Torres Ruiz R, Weijers D, Zažímalová E. 2006. Apical-basal polarity: Why plant cells don’t stand on their heads. Trends in Plant Science. 11(1), 12–14.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3006
Dhonukshe P, Baluška F, Schlicht M, Hlavacka A, Šamaj J, Friml J, Gadella T. 2006. Endocytosis of cell surface material mediates cell plate formation during plant cytokinesis. Developmental Cell. 10(1), 137–150.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3007
Abas L, Benjamins R, Malenica N, Paciorek T, Wiśniewska J, Moulinier Anzola J, Sieberer T, Friml J, Luschnig C. 2006. Intracellular trafficking and proteolysis of the Arabidopsis auxin-efflux facilitator PIN2 are involved in root gravitropism. Nature Cell Biology. 8(3), 249–256.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3008
Xu J, Hofhuis H, Heidstra R, Sauer M, Friml J, Scheres B. 2006. A molecular framework for plant regeneration. Science. 311(5759), 385–388.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3009 | OA
Paciorek T, Friml J. 2006. Auxin signaling. Journal of Cell Science. 119(7), 1199–1202.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 3010
Scarpella E, Marcos D, Friml J, Berleth T. 2006. Control of leaf vascular patterning by polar auxin transport. Genes and Development. 20(8), 1015–1027.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3011
Wiśniewska J, Xu J, Seifertová D, Brewer P, Růžička K, Blilou I, Rouquié D, Benková E, Scheres B, Friml J. 2006. Polar PIN localization directs auxin flow in plants. Science. 312(5775).
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3012
Petrášek J, Mravec J, Bouchard R, Blakeslee J, Abas MF, Seifertová D, Wiśniewska J, Tadele Z, Kubeš M, Čovanová M, Dhonukshe P, Skůpa P, Benková E, Perry L, Křeček P, Lee O, Fink G, Geisler M, Murphy A, Luschnig C, Zažímalová E, Friml J. 2006. PIN proteins perform a rate-limiting function in cellular auxin efflux. Science. 312(5775), 914–918.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3013
Paciorek T, Sauer M, Balla J, Wiśniewska J, Friml J. 2006. Immunocytochemical technique for protein localization in sections of plant tissues. Nature Protocols. 1(1), 104–107.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3014
Brewer P, Heisler M, Hejátko J, Friml J, Benková E. 2006. In situ hybridization for mRNA detection in Arabidopsis tissue sections. Nature Protocols. 1(3), 1462–1467.
View | DOI
 

Search

Filter Publications