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.

197 Publications


2006 | Journal Article | IST-REx-ID: 213
Browning, T. D., Heath Brown, R., & Starr, J. (2006). The density of rational points on non-singular hypersurfaces, II. Proceedings of the London Mathematical Society. John Wiley and Sons Ltd. https://doi.org/10.1112/S0024611506015784
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2134
Ehresmann, A., Werner, L., Klumpp, S., Demekhin, P., Lemeshko, M., Sukhorukov, V., … Schmoranzer, H. (2006). Predissociation of the N+2(C 2Σ+u) state observed via C 2Σ+u → X 2Σ+g fluorescence after resonant 1s−1π* excitation of N2 molecule. Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing Ltd. https://doi.org/10.1088/0953-4075/39/6/L03
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2142
Ehresmann, A., Werner, L., Klumpp, S., Lucht, S., Schmoranzer, H., Mickat, S., … Sukhorukov, V. (2006). Studying the N+2(C2Σ+u → X2Σ+g) fluorescence excited via the 1s−1π* resonance. Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing Ltd. https://doi.org/10.1088/0953-4075/39/2/006
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2144
Vedrinskiǐ, R., Nazarenko, E., Lemeshko, M., Nassif, V., Proux, O., Novakovich, A., & Joly, Y. (2006). Temperature dependent XAFS studies of local atomic structure of the perovskite-type zirconates. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.73.134109
View | DOI
 

2006 | Journal Article | IST-REx-ID: 215
Browning, T. D., & Heath Brown, R. (2006). The density of rational points on non-singular hypersurfaces, I. Bulletin of the London Mathematical Society. Wiley-Blackwell. https://doi.org/10.1112/S0024609305018412
View | DOI
 

2006 | Journal Article | IST-REx-ID: 216
Browning, T. D., Heath Brown, R., & Salberger, P. (2006). Counting rational points on algebraic varieties. Duke Mathematical Journal. Unknown. https://doi.org/10.1215/S0012-7094-06-13236-2
View | DOI
 

2006 | Journal Article | IST-REx-ID: 218
De La Bretèche, R., & Browning, T. D. (2006). Sums of arithmetic functions over values of binary forms. Acta Arithmetica. Instytut Matematyczny. https://doi.org/10.4064/aa125-3-6
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 7326
Büchi, F. N., Freunberger, S. A., & Santis, M. (2006). What is learned beyond the scale of single cells? In ECS Transactions (Vol. 3, pp. 963–968). Cancun, Mexico: ECS. https://doi.org/10.1149/1.2356215
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7327
Santis, M., Freunberger, S. A., Papra, M., Wokaun, A., & Büchi, F. N. (2006). Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks. Journal of Power Sources. Elsevier. https://doi.org/10.1016/j.jpowsour.2006.06.007
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7328
Freunberger, S. A., Reum, M., Evertz, J., Wokaun, A., & Büchi, F. N. (2006). Measuring the current distribution in PEFCs with sub-millimeter resolution. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.2345591
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7329
Freunberger, S. A., Reum, M., Wokaun, A., & Büchi, F. N. (2006). Expanding current distribution measurement in PEFCs to sub-millimeter resolution. Electrochemistry Communications. Elsevier. https://doi.org/10.1016/j.elecom.2006.05.032
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7330
Santis, M., Freunberger, S. A., Reiner, A., & Büchi, F. N. (2006). Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients. Electrochimica Acta. Elsevier. https://doi.org/10.1016/j.electacta.2006.02.008
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7331
Freunberger, S. A., Wokaun, A., & Büchi, F. N. (2006). In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.2185282
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7332
Freunberger, S. A., Santis, M., Schneider, I. A., Wokaun, A., & Büchi, F. N. (2006). In-plane effects in large-scale PEMFCs. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.2150150
View | DOI
 

2006 | Preprint | IST-REx-ID: 573 | OA
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2006). Counterfactual computation revisited. ArXiv.
View | Download Preprint (ext.) | arXiv
 

2006 | Preprint | IST-REx-ID: 574 | OA
Hosten, O., & Kwiat, P. (2006). Weak measurements and counterfactual computation. ArXiv.
View | Download Preprint (ext.) | arXiv
 

2006 | Conference Paper | IST-REx-ID: 577
Rangarajan, R., Altepeter, J., Jeffrey, E., Stoutimore, M., Peters, N., Hosten, O., & Kwiat, P. (2006). High-efficiency single-photon detectors (Vol. 6372). Presented at the Unknown (978-081946470-5), SPIE. https://doi.org/10.1117/12.686117
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 578
Peters, N., Arnold, K., Vandevender, A., Jeffrey, E., Rangarajan, R., Hosten, O., … Kwiat, P. (2006). Towards a quasi-deterministic single-photon source (Vol. 6305). Presented at the Quantum Communications and Quantum Imaging, SPIE. https://doi.org/10.1117/12.684702
View | DOI
 

2006 | Journal Article | IST-REx-ID: 579
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2006). Counterfactual quantum computation through quantum interrogation. Nature. Nature Publishing Group. https://doi.org/10.1038/nature04523
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 583
Rangarajan, R., Peters, N., Hosten, O., Altepeter, J., Jeffrey, E., & Kwiat, P. (2006). Improved single-photon detection. Presented at the CLEO/QELS: Conference on Lasers and Electro-Optics / Quantum Electronics and Laser Science Conference, IEEE. https://doi.org/10.1109/CLEO.2006.4628641
View | DOI
 

2006 | Journal Article | IST-REx-ID: 6151 | OA
Salecker, I., Häusser, M., & de Bono, M. (2006). On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits. EMBO Reports. Wiley. https://doi.org/10.1038/sj.embor.7400713
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 6152
Rogers, C., Persson, A., Cheung, B., & de Bono, M. (2006). Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2006.03.023
View | DOI | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 1461 | OA
Hausel, T., & Swartz, E. (2006). Intersection forms of toric hyperkähler varieties. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/S0002-9939-06-08248-7
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 1462 | OA
Hausel, T. (2006). Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0601337103
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 1033 | OA
Kraemer, T., Mark, M., Waldburger, P., Danzl, J. G., Chin, C., Engeser, B., … Grimm, R. (2006). Evidence for Efimov quantum states in an ultracold gas of caesium atoms. Nature. Nature Publishing Group. https://doi.org/10.1038/nature04626
View | DOI | Download None (ext.)
 

2006 | Conference Paper | IST-REx-ID: 1034 | OA
Nägerl, H., Kraemer, T., Mark, M., Waldburger, P., Danzl, J. G., Engeser, B., … Grimm, R. (2006). Experimental evidence for Efimov quantum states (Vol. 869, pp. 269–277). Presented at the ICAP: International Conference on Atomic Physics, AIP. https://doi.org/10.1063/1.2400657
View | DOI | Download None (ext.)
 

2006 | Journal Article | IST-REx-ID: 903
Babenko, V., Basu, M., Kondrashov, F., Rogozin, I., & Koonin, E. (2006). Signs of positive selection of somatic mutations in human cancers detected by EST sequence analysis. BMC Cancer. BioMed Central. https://doi.org/10.1186/1471-2407-6-36
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3722
Janovjak, H. L., & Mueller, D. (2006). Rastersondenmikroskopie. In Bioanalytik. Spektrum Akademischer Verlag.
View
 

2006 | Journal Article | IST-REx-ID: 3728
Cieplak, M., Filipek, S., Janovjak, H. L., & Krzysko, K. (2006). Pulling single bacteriorhodopsin out of a membrane: Comparison of simulation and experiment. Biochimica et Biophysica Acta (BBA) - Biomembranes. Elsevier. https://doi.org/10.1016/j.bbamem.2006.03.028
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3729
Bippes, C., Humphris, A., Stark, M., Mueller, D., & Janovjak, H. L. (2006). Direct measurement of single-molecule visco-elasticity in atomic force microscope force-extension experiments. European Biophysics Journal. Springer. https://doi.org/10.1007/s00249-005-0023-9
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3750
Le, T., Guet, C. C., & Cluzel, P. (2006). Protein expression enhancement in efflux-deleted mutant bacteria. Protein Expression and Purification. Elsevier.
View
 

2006 | Journal Article | IST-REx-ID: 3755 | OA
Le, T., Emonet, T., Harlepp, S., Guet, C. C., & Cluzel, P. (2006). Dynamical determinants of drug-inducible gene expression in a single bacterium. Biophysical Journal. Biophysical Society. https://doi.org/10.1529/biophysj.105.073353
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3758
Wojtan, C. J., Mucha, P., & Turk, G. (2006). Keyframe control of complex particle systems using the adjoint method (pp. 15–23). Presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, ACM.
View | Download None (ext.)
 

2006 | Journal Article | IST-REx-ID: 3767
Kupczok, A., & Dittrich, P. (2006). Determinants of simulated RNA evolution. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2005.06.019
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3811
Vida, I., Bartos, M., & Jonas, P. M. (2006). Shunting inhibition improves robustness of gamma oscillations in hippocampal interneuron networks by homogenizing firing rates. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2005.11.036
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3813 | OA
Aponte, Y., Lien, C., Reisinger, E., & Jonas, P. M. (2006). Hyperpolarization-activated cation channels in fast-spiking interneurons of rat hippocampus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2005.104042
View | DOI | Download (ext.)
 

2006 | Book Review | IST-REx-ID: 3814
Frotscher, M., Jonas, P. M., & Sloviter, R. (2006). Synapses formed by normal and abnormal hippocampal mossy fibers (Review). Cell and Tissue Research. Springer. https://doi.org/10.1007/s00441-006-0269-2
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3815
Bischofberger, J., Engel, D., Frotscher, M., & Jonas, P. M. (2006). Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. Pflugers Archiv : European Journal of Physiology. Springer. https://doi.org/10.1007/s00424-006-0093-2
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3817
Frotscher, M., Gundelfinger, E., Jonas, P. M., Neher, E., & Seeburg, P. (2006). The most important recent advances in synapse research from my point of view--and what remains to be done. Cell and Tissue Research. Springer. https://doi.org/10.1007/s00441-006-0325-y
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3818
Bischofberger, J., Engel, D., Li, L., Geiger, J., & Jonas, P. M. (2006). Patch-clamp recording from mossy fiber terminals in hippocampal slices. Nature Protocols. Nature Publishing Group. https://doi.org/10.1038/nprot.2006.312
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3888
Chatterjee, K., & Henzinger, T. A. (2006). Strategy improvement for stochastic Rabin and Streett games (Vol. 4137, pp. 375–389). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/11817949_25
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3889
Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J. (2006). Algorithms for omega-regular games with imperfect information (Vol. 4207, pp. 287–302). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/11874683_19
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3890
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2006). The complexity of quantitative concurrent parity games (pp. 678–687). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/10.1145/1109557.1109631
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3891
Chatterjee, K. (2006). Concurrent games with tail objectives (Vol. 4207, pp. 256–270). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/11874683_17
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3908
Ustinova, J., Achmann, R., Cremer, S., & Mayer, F. (2006). Long repeats in a huge gemome: microsatellite loci in the grasshopper Chorthippus biguttulus. Journal of Molecular Evolution. Springer. https://doi.org/10.1007/s00239-005-0022-6
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3912
Cremer, S., Ugelvig, L. V., Lommen, S., Petersen, K., & Pedersen, J. (2006). Attack of the invasive garden ant: aggression behaviour of Lasius neglectus (Hymenoptera: Formicidae) against native Lasius species in Spain. Myrmecological News. Österreichische Gesellschaft für Entomofaunistik.
View
 

2006 | Journal Article | IST-REx-ID: 3913
Heinze, J., Cremer, S., Eckl, N., & Schrempf, A. (2006). Stealthy invaders: the biology of Cardiocondyla tramp ants. Insectes Sociaux. Springer. https://doi.org/10.1007/s00040-005-0847-4
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3914
Moder, K., Schlick Steiner, B., Steiner, F., Cremer, S., Christian, E., & Seifert, B. (2006). Optimal species distinction by discriminant analysis: comparing established methods of character selection with a combination procedure using ant morphometrics as a case study. Journal of Zoological Systematics and Evolutionary Research. Wiley-Blackwell. https://doi.org/10.1111/j.1439-0469.2006.00372.x
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3932
Henic, E., Sixt, M. K., Hansson, S., Høyer Hansen, G., & Casslén, B. (2006). EGF-stimulated migration in ovarian cancer cells is associated with decreased internalization, increased surface expression, and increased shedding of the urokinase plasminogen activator receptor. Gynecologic Oncology. Elsevier. https://doi.org/10.1016/j.ygyno.2005.09.038
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3934
Drumea Mirancea, M., Wessels, J., Müller, C., Essl, M., Eble, J., Tolosa, E., … Klein, G. (2006). Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/​jcs.02840
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3935
Chu, H., Thievessen, I., Sixt, M. K., Lämmermann, T., Waisman, A., Braun, A., … Fässler, R. (2006). γ-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response. Molecular and Cellular Biology. American Society for Microbiology. https://doi.org/10.1128/MCB.26.5.1817-1825.2006
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3936
Sixt, M. K., Bauer, M., Lämmermann, T., & Fässler, R. (2006). β1 integrins: zip codes and signaling relay for blood cells. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2006.08.007
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3978
Ban, Y., Rudolph, J., Zhou, P., & Edelsbrunner, H. (2006). Evaluating the quality of NMR structures by local density of protons. Proteins: Structure, Function and Bioinformatics. Wiley-Blackwell. https://doi.org/10.1002/prot.20811
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3979
Ban, Y., Edelsbrunner, H., & Rudolph, J. (2006). Interface surfaces for protein-protein complexes. Journal of the ACM. ACM. https://doi.org/10.1145/1147954.1147957
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3980
Agarwal, P., Edelsbrunner, H., Harer, J., & Wang, Y. (2006). Extreme elevation on a 2-manifold. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-006-1265-8
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4140
Witzel, S., Zimyanin, V., Carreira Barbosa, F., Tada, M., & Heisenberg, C.-P. J. (2006). Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.200606017
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4145
Tonelli, D., Calegari, F., Fei, J., Nomura, T., Osumi, N., Heisenberg, C.-P. J., & Huttner, W. (2006). Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid. Biotechniques. Informa Healthcare. https://doi.org/10.2144/000112296
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4173 | OA
Link, V., Shevchenko, A., & Heisenberg, C.-P. J. (2006). Proteomics of early zebrafish embryos. BMC Developmental Biology. BioMed Central. https://doi.org/10.1186/1471-213X-6-1
View | DOI | Download None (ext.)
 

2006 | Journal Article | IST-REx-ID: 4176
Link, V., Carvalho, L., Castanon, I., Stockinger, P., Shevchenko, A., & Heisenberg, C.-P. J. (2006). Identification of regulators of germ layer morphogenesis using proteomics in zebrafish. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.02928
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4178
Langenberg, T., Dracz, T., Oates, A., Heisenberg, C.-P. J., & Brand, M. (2006). Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics. Wiley-Blackwell. https://doi.org/10.1002/dvdy.20692
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4184
Köppen, M., Fernández, B., Carvalho, L., Jacinto, A., & Heisenberg, C.-P. J. (2006). Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila. Development. Company of Biologists. https://doi.org/doi: 10.1242/dev.02439
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4218
Blaser, H., Reichman Fried, M., Castanon, I., Dumstrei, K., Marlow, F., Kawakami, K., … Raz, E. (2006). Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2006.09.023
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4235
de Vladar, H., & González, J. (2006). Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. Elsevier.
View
 

2006 | Journal Article | IST-REx-ID: 4237
de Vladar, H. (2006). Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology. Elsevier. https://doi.org/3802
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4248
Roze, D., & Barton, N. H. (2006). The Hill-Robertson effect and the evolution of recombination. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.106.058586
View | DOI
 

2006 | Book Review | IST-REx-ID: 4250
Barton, N. H. (2006). Evolutionary Biology: How did the human species form? Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2006.07.032
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4345
Danowski, P., & Heller, L. (2006). Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst. Zentral- und Landesbibliothek Berlin. https://doi.org/424
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 4351
Bollback, J. P. (2006). SIMMAP: stochastic character mapping of discrete traits on phylogenies. BMC Bioinformatics. BioMed Central. https://doi.org/10.1186/1471-2105-7-88
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4352
Conn, J., Vineis, J., Bollback, J. P., Onyabe, D., Wilkerson, R., & Povoa, M. (2006). Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil. The American Journal of Tropical Medicine and Hygiene. American Society of Tropical Medicine and Hygiene.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 4359
Wies, T., Kuncak, V., Lam, P., Podelski, A., & Rinard, M. (2006). Field Constraint Analysis (pp. 157–173). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. https://doi.org/1551
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4373
Maler, O., Nickovic, D., & Pnueli, A. (2006). Real Time Temporal Logic: Past, Present, Future (pp. 2–16). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1571
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4374
Maler, O., Nickovic, D., & Pnueli, A. (2006). From MITL to Timed Automata (pp. 274–289). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1570
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Alur, R., Cerny, P., & Zdancewic, S. (2006). Preserving Secrecy Under Refinement (pp. 107–118). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/1543
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4406
De Wulf, M., Doyen, L., Henzinger, T. A., & Raskin, J. (2006). Antichains: A new algorithm for checking universality of finite automata (Vol. 4144, pp. 17–30). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/11817963_5
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4431
Henzinger, T. A., & Sifakis, J. (2006). The embedded systems design challenge (Vol. 4085, pp. 1–15). Presented at the FM: Formal Methods, Springer. https://doi.org/10.1007/11813040_1
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4432
Henzinger, T. A., & Prabhu, V. (2006). Timed alternating-time temporal logic (Vol. 4202, pp. 1–17). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/11867340_1
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4436
Henzinger, T. A., & Matic, S. (2006). An interface algebra for real-time components (pp. 253–266). Presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, IEEE. https://doi.org/10.1109/RTAS.2006.11
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4437
Henzinger, T. A., & Piterman, N. (2006). Solving games without determinization (Vol. 4207, pp. 395–410). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/11874683_26
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
Henzinger, T. A., Kupferman, O., & Majumdar, R. (2006). On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.11.015
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4523
Gulavani, B., Henzinger, T. A., Kannan, Y., Nori, A., & Rajamani, S. (2006). Synergy: A new algorithm for property checking (pp. 117–127). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/1181775.1181790
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., & Sangiovanni Vincentelli, A. (2006). A hierarchical coordination language for interacting real-time tasks (pp. 132–141). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1176887.1176907
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4528
Fisher, J., & Henzinger, T. A. (2006). Executable biology (pp. 1675–1682). Presented at the WSC: Winter Simulation Conference, IEEE. https://doi.org/10.1109/WSC.2006.322942
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee, K., & Henzinger, T. A. (2006). Strategy improvement and randomized subexponential algorithms for stochastic parity games (Vol. 3884, pp. 512–523). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/11672142_42
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee, K., & Henzinger, T. A. (2006). Finitary winning in omega-regular games (Vol. 3920, pp. 257–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/11691372_17
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee, K., De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2006). Compositional quantitative reasoning (pp. 179–188). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.11
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4550
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2006). Games with secure equilibria. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2006.07.032
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2006). Markov decision processes with multiple objectives (Vol. 3884, pp. 325–336). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/11672142_26
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2006). Strategy improvement for concurrent reachability games (pp. 291–300). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.48
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4574
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2006). Lazy shape analysis (Vol. 4144, pp. 532–546). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/11817963_48
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3002
Sauer, M., & Friml, J. (2006). In vitro culture of Arabidopsis embryos. In A. Mujib & J. Šamaj (Eds.), Somatic Embryogenesis (Vol. 2, pp. 343–354). Springer. https://doi.org/10.1007/7089_020
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3005
Friml, J., Benfey, P., Benková, E., Bennett, M., Berleth, T., Geldner, N., … Zažímalová, E. (2006). Apical-basal polarity: Why plant cells don’t stand on their heads. Trends in Plant Science. Cell Press. https://doi.org/10.1016/j.tplants.2005.11.010
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. Cell Press. https://doi.org/10.1016/j.devcel.2005.11.015
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3007
Abas, L., Benjamins, R., Malenica, N., Paciorek, T., Wiśniewska, J., Moulinier Anzola, J., … Luschnig, C. (2006). Intracellular trafficking and proteolysis of the Arabidopsis auxin-efflux facilitator PIN2 are involved in root gravitropism. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb1369
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. American Association for the Advancement of Science. https://doi.org/10.1126/science.1121790
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3009 | OA
Paciorek, T., & Friml, J. (2006). Auxin signaling. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.02910
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. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.1402406
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3011
Wiśniewska, J., Xu, J., Seifertová, D., Brewer, P., Růžička, K., Blilou, I., … Friml, J. (2006). Polar PIN localization directs auxin flow in plants. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1121356
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3012
Petrášek, J., Mravec, J., Bouchard, R., Blakeslee, J., Abas, M. F., Seifertová, D., … Friml, J. (2006). PIN proteins perform a rate-limiting function in cellular auxin efflux. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1123542
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. Nature Publishing Group. https://doi.org/10.1038/nprot.2006.16
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. Nature Publishing Group. https://doi.org/10.1038/nprot.2006.226
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications