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.

6749 Publications


2008 | Conference Paper | IST-REx-ID: 4452
Henzinger TA, Hottelier T, Kovács L. Valigator: A verification tool with bound and invariant generation. In: Vol 5330. Springer; 2008:333-342. doi:10.1007/978-3-540-89439-1_24
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4509
Henzinger TA. Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. 2008;366(1881):3727-3736. doi:10.1098/rsta.2008.0141
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4521
Gupta A, Henzinger TA, Majumdar R, Rybalchenko A, Xu R. Proving non-termination. In: ACM; 2008:147-158. doi:10.1145/1328438.1328459
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4524
Ghosal A. A hierarchical coordination language for reliable real-time tasks. 2008:1-210.
View
 

2008 | Conference Paper | IST-REx-ID: 4527
Fisher J, Henzinger TA, Mateescu M, Piterman N. Bounded asynchrony: Concurrency for modeling cell-cell interactions. In: Vol 5054. Springer; 2008:17-32. doi:10.1007/978-3-540-68413-8_2
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4532
Doyen L, Henzinger TA, Raskin J. Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. 2008;19(3):549-563. doi:10.1142/S0129054108005814
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4533
Doyen L, Henzinger TA, Jobstmann B, Petrov T. Interface theories with component reuse. In: ACM; 2008:79-88. doi:10.1145/1450058.1450070
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4534
Chatterjee K, Henzinger TA. Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. 2008;106(1):1-7. doi:10.1016/j.ipl.2007.08.035
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee K, Ghosal A, Henzinger TA, et al. Logical reliability of interacting real-time tasks. In: IEEE; 2008:909-914. doi:10.1145/1403375.1403595
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4548
Chatterjee K, Majumdar R, Henzinger TA. Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. 2008;37(2):219-234. doi:10.1007/s00182-007-0110-5
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4568
Beyer D, Henzinger TA, Théoduloz G. Program analysis with dynamic change of precision. In: ACM; 2008:29-38. doi:10.1109/ASE.2008.13
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3030
Růčková E, Friml J, Procházková Schrumpfová P, Fajkus J. Role of alternative telomere lengthening unmasked in telomerase knock-out mutant plants. Plant Molecular Biology. 2008;66(6):637-646. doi:10.1007/s11103-008-9295-7
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3031
Dhonukshe P, Grigoriev I, Fischer R, et al. Auxin transport inhibitors impair vesicle motility and actin cytoskeleton dynamics in diverse eukaryotes. PNAS. 2008;105(11):4489-4494. doi:10.1073/pnas.0711414105
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3032
Kleine Vehn J, Dhonukshe P, Sauer M, et al. ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis. Current Biology. 2008;18(7):526-531. doi:10.1016/j.cub.2008.03.021
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3033
Sauer M, Friml J. Visualization of auxin gradients in embryogenesis . In: Suárez M, Bozhkov P, eds. Plant Embryogenesis. Vol 427. Humana Press; 2008:137-144. doi:10.1007/978-1-59745-273-1_11
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3034
Friml J, Sauer M. Plant biology: In their neighbour’s shadow. Nature. 2008;453(7193):298-299. doi:10.1038/453298a
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3035
Sauer M, Friml J. In vitro culture of Arabidopsis embryos . In: Suárez M, Bozhkov P, eds. Plant Embryogenesis. Vol 427. Humana Press; 2008:71-76. doi:10.1007/978-1-59745-273-1_5
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3036
Dubrovsky J, Sauer M, Napsucialy Mendivil S, et al. Auxin acts as a local morphogenetic trigger to specify lateral root founder cells. PNAS. 2008;105(25):8790-8794. doi:10.1073/pnas.0712307105
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3037 | OA
Feraru E, Friml J. PIN polar targeting. Plant Physiology. 2008;147(4):1553-1559. doi:10.1104/pp.108.121756
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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: 3039
De Smet I, Vassileva V, De Rybel B, et al. Receptor-like kinase ACR4 restricts formative cell divisions in the Arabidopsis root. Science. 2008;322(5901):594-597. doi:10.1126/science.1160158
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3040
Kleine Vehn J, Łangowski Ł, Wiśniewska J, Dhonukshe P, Brewer P, Friml J. Cellular and molecular requirements for polar PIN targeting and transcytosis in plants. Molecular Plant. 2008;1(6):1056-1066. doi:10.1093/mp/ssn062
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3041
Santelia D, Henrichs S, Vincenzetti V, et al. Flavonoids redirect PIN mediated polar auxin fluxes during root gravitropic responses. Journal of Biological Chemistry. 2008;283(45):31218-31226. doi: 10.1074/jbc.M710122200
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3042
Kleine Vehn J, Leitner J, Zwiewka M, et al. Differential degradation of PIN2 auxin efflux carrier by retromer dependent vacuolar targeting. PNAS. 2008;105(46):17812-17817. doi:10.1073/pnas.0808073105
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3043
Kleine Vehn J, Friml J. Polar targeting and endocytic recycling in auxin-dependent plant development. Annual Review of Cell and Developmental Biology. 2008;24:447-473. doi:10.1146/annurev.cellbio.24.110707.175254
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3044
Mravec J, Kubeš M, Bielach A, et al. Interaction of PIN and PGP transport mechanisms in auxin distribution-dependent development. Development. 2008;135(20):3345-3354. doi:10.1242/dev.021071
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3045
Dhonukshe P, Tanaka H, Goh T, et al. Generation of cell polarity in plants links endocytosis auxin distribution and cell fate decisions. Nature. 2008;456(7224):962-966. doi:10.1038/nature07409
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3194
Kohli P, Shekhovtsov A, Rother C, Kolmogorov V, Torr P. On partial optimality in multi label MRFs. In: Omnipress; 2008:480-487. doi:10.1145/1390156.1390217
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3195
Vicente S, Kolmogorov V, Rother C. Graph cut based image segmentation with connectivity priors. In: IEEE; 2008. doi:10.1109/CVPR.2008.4587440
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3196
Szeliski R, Zabih R, Scharstein D, et al. A comparative study of energy minimization methods for Markov random fields with smoothness-based priors. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2008;30(6):1068-1080. doi:10.1109/TPAMI.2007.70844
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3198
Torresani L, Kolmogorov V, Rother C. Feature correspondence via graph matching: Models and global optimization. In: Vol 5303. Springer; 2008:596-609. doi:10.1007/978-3-540-88688-4_44
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3224
Dodis Y, Pietrzak KZ, Puniya P. A new mode of operation for block ciphers and length preserving MACs. In: Vol 4965. Springer; 2008:198-219. doi:10.1007/978-3-540-78967-3_12
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3225
Fischlin M, Lehmann A, Pietrzak KZ. Robust multi property combiners for hash functions revisited. In: Vol 5126. Springer; 2008:655-666. doi:10.1007/978-3-540-70583-3_53
View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3226
Pietrzak KZ, Sjödin J. Weak pseudorandom functions in minicrypt. In: Vol 5126. Springer; 2008:423-436. doi:10.1007/978-3-540-70583-3_35
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3227
Zubielik P, Nadaczny J, Pietrzak KZ, Lawenda M. Elektrowiz – system of measurement data management. Przeglad Elektrotechniczny. 2008;84(10):239-242.
View | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3228
Pietrzak KZ. Compression from collisions or why CRHF combiners have a long output. In: Vol 5157. Springer; 2008:413-432. doi:10.1007/978-3-540-85174-5_23
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3229
Dziembowski S, Pietrzak KZ. Leakage resilient cryptography. In: IEEE; 2008:293-302. doi:10.1109/FOCS.2008.56
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3291
Schmalhorst PS, Krappmann S, Vervecken W, et al. Contribution of galactofuranose to the virulence of the opportunistic pathogen Aspergillus fumigatus. Eukaryotic Cell. 2008;7(8):1268-1277. doi:10.1128/EC.00065-08
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3307 | OA
Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3409
Struckmeier J, Wahl R, Leuschner M, et al. Fully automated single-molecule force spectroscopy for screening applications. Nanotechnology. 2008;19(38). doi:10.1088/0957-4484/19/38/384020
View | DOI
 

2008 | Book Review | IST-REx-ID: 3410
Janovjak HL, Sapra T, Kedrov A, Mueller D. From valleys to ridges: Exploring the energy landscape of single membrane proteins. ChemPhysChem. 2008;9(7):954-966. doi:10.1002/cphc.200700662
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3435 | OA
Bollback JP, York T, Nielsen R. Estimation of 2Nes From Temporal Allele Frequency Data. Genetics. 2008;179(1):497-502. doi:10.1534/genetics.107.085019
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3501
Adler BT, Chatterjee K, De Alfaro L, Faella M, Pye I, Raman V. Assigning trust to Wikipedia content. In: ACM; 2008. doi:10.1145/1822258.1822293
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3502
Chatterjee K, De Alfaro L, Pye I. Robust content-driven reputation. In: ACM; 2008:33-42. doi:10.1145/1456377.1456387
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3504 | OA
Chatterjee K, De Alfaro L, Majumdar R, Raman V. Algorithms for game metrics. In: Vol 2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:107-118. doi:10.4230/LIPIcs.FSTTCS.2008.1745
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 3516
Huxter J, Senior T, Allen K, Csicsvari JL. Theta phase-specific codes for two-dimensional position, trajectory and heading in the hippocampus. Nature Neuroscience. 2008;11(5):587-594. doi:10.1038/nn.2106
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3520
O’Neill J, Senior T, Allen K, Huxter J, Csicsvari JL. Reactivation of experience-dependent cell assembly patterns in the hippocampus. Nature Neuroscience. 2008;11(2):209-215. doi:10.1038/nn2037
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3530
Fuentealba P, Begum R, Capogna M, et al. Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity. Neuron. 2008;57(6):917-929. doi:10.1016/j.neuron.2008.01.034
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3534
Dupret D, Pleydell Bouverie B, Csicsvari JL. Inhibitory interneurons and network oscillations. PNAS. 2008;105(47):18079-18080. doi:10.1073/pnas.0810064105
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3537
Senior T, Huxter J, Allen K, O’Neill J, Csicsvari JL. Gamma oscillatory firing reveals distinct populations of pyramidal cells in the CA1 region of the hippocampus. Journal of Neuroscience. 2008;28(9):2274-2286. doi:10.1523/JNEUROSCI.4669-07.2008
View | DOI
 

Search

Filter Publications