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.

5758 Publications


2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., Jurdziński, M., & Mang, F. (2002). Interface compatibility checking for software modules (Vol. 2404, pp. 428–441). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_35
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
Cassez, F., Henzinger, T. A., & Raskin, J. (2002). A comparison of control problems for timed and hybrid systems (Vol. 2289, pp. 134–148). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-45873-5_13
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM, 49(5), 672–713. https://doi.org/10.1145/585265.585270
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2002). Timed interfaces (Vol. 2491, pp. 108–122). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45828-X_9
View | DOI
 

2002 | Journal Article | IST-REx-ID: 6158
Coates, J. C., & de Bono, M. (2002). Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature, 419(6910), 925–929. https://doi.org/10.1038/nature01170
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 6159
de Bono, M., Tobin, D. M., Davis, M. W., Avery, L., & Bargmann, C. I. (2002). Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature, 419(6910), 899–903. https://doi.org/10.1038/nature01169
View | DOI | PubMed | Europe PMC
 

2002 | Conference Paper | IST-REx-ID: 2927
Kolmogorov, V., & Zabih, R. (2002). Multi-camera scene reconstruction via graph cuts (pp. 65–81). Presented at the ECCV: European Conference on Computer Vision, Springer. https://doi.org/10.1007/3-540-47977-5_5
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2986
Friml, J., Wiśniewska, J., Benková, E., Mendgen, K., & Palme, K. (2002). Lateral relocation of auxin efflux regulator PIN3 mediates tropism in Arabidopsis. Nature, 415(6873), 806–809. https://doi.org/10.1038/415806a
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2987
Souter, M., Topping, J., Pullen, M., Friml, J., Palme, K., Hackett, R., … Lindsey, K. (2002). Hydra mutants of Arabidopsis are defective in sterol profiles and auxin and ethylene signaling. Plant Cell, 14(5), 1017–1031. https://doi.org/10.1105/tpc.001248
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2988
Grebe, M., Friml, J., Swarup, R., Ljung, K., Sandberg, G., Terlou, M., … Scheres, B. (2002). Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway. Current Biology, 12(4), 329–334. https://doi.org/10.1016/S0960-9822(02)00654-1
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2989
Friml, J., Benková, E., Blilou, I., Wiśniewska, J., Hamann, T., Ljung, K., … Palme, K. (2002). AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis. Cell, 108(5), 661–673. https://doi.org/10.1016/S0092-8674(02)00656-6
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2991
Friml, J., & Palme, K. (2002). Polar auxin transport - Old questions and new concepts? Plant Molecular Biology, 49(3–4), 273–284. https://doi.org/10.1023/A:1015248926412
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3140
Hippenmeyer, S., Shneider, N., Birchmeier, C., Burden, S., Jessell, T., & Arber, S. (2002). A role for Neuregulin1 signaling in muscle spindle differentiation. Neuron, 36(6), 1035–1049. https://doi.org/10.1016/S0896-6273(02)01101-7
View | DOI
 

2002 | Book Review | IST-REx-ID: 3421
Mueller, D., Janovjak, H. L., Lehto, T., Kuerschner, L., & Anderson, K. (2002). Observing structure, function and assembly of single proteins by AFM. Progress in Biophysics and Molecular Biology. Elsevier. https://doi.org/10.1016/S0079-6107(02)00009-3
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3422
Müller, P., Janovjak, H. L., Miserez, A., & Dobbie, Z. (2002). Processing of gene expression data generated by quantitative real-time RT-PCR. Biotechniques, 32(6), 1372–1379.
View
 

2002 | Conference Paper | IST-REx-ID: 3423
Bauer, W., Bollenbach, T., Kleine Berkenbusch, M., & Harreis, H. (2002). The percolation interpretation of the nuclear fragmentation phase transition (pp. 111–118). Presented at the Winter Workshop on Nuclear Dynamics, EP Systema.
View
 

2002 | Conference Paper | IST-REx-ID: 3424
Bollenbach, T., & Bauer, W. (2002). 3d supernovae collapse calculations (Vol. 644, pp. 219–232). Presented at the CRIS: Catania Relativistic Ion Studies , American Institute of Physics. https://doi.org/10.1063/1.1523196
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 3448
Mallick, S., Chatterjee, K., Merchant, A., & Dasgupta, P. (2002). Implementation of shape grammar for plan analysis. Presented at the IT-Built: Information Technology For Built Environment, Elsevier.
View
 

2002 | Journal Article | IST-REx-ID: 3497
Geiger, J., Bischofberger, J., Vida, I., Fröbe, U., Pfitzinger, S., Weber, H., … Jonas, P. M. (2002). Patch-clamp recording in brain slices with improved slicer technology. Pflugers Archiv : European Journal of Physiology, 443(3), 491–501. https://doi.org/10.1007/s00424-001-0735-3
View | DOI
 

2002 | Patent | IST-REx-ID: 3508
Edelsbrunner, H., & Fu, P. (2002). Methods of generating three-dimensional digital models of objects by wrapping point cloud data points. Elsevier. https://doi.org/US 6,377,865 B1
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3533
Buzsáki, G., Csicsvari, J. L., Dragoi, G., Harris, K., Henze, D., & Hirase, H. (2002). Homeostatic maintenance of neuronal excitability by burst discharges in vivo. Cerebral Cortex, 12(9), 893–899. https://doi.org/10.1093/cercor/12.9.893
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3621 | OA
Kirkpatrick, M., Johnson, T., & Barton, N. H. (2002). General models of multilocus evolution. Genetics, 161(4), 1727–1750.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3757
Guet, C. C., Elowitz, M., Hsing, W., & Leibler, S. (2002). Combinatorial synthesis of genetic networks. Science, 296(5572), 1466–1470. https://doi.org/10.1126/science.1067407
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3799 | OA
Lien, C., Martina, M., Schultz, J., Ehmke, H., & Jonas, P. M. (2002). Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus. Journal of Physiology, 538(Pt 2), 405–419. https://doi.org/ 10.1113/jphysiol.2001.013066
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3800
Bartos, M., Vida, I., Frotscher, M., Meyer, A., Monyer, H., Geiger, J., & Jonas, P. M. (2002). Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks. PNAS, 99(20), 13222–13227. https://doi.org/10.1073/pnas.192233099
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3801
Hefft, S., Kraushaar, U., Geiger, J., & Jonas, P. M. (2002). Presynaptic short-term depression is maintained during regulation of transmitter release at a GABAergic synapse in rat hippocampus. Journal of Physiology, 539(Pt 1), 201–208. https://doi.org/10.1113/jphysiol.2001.013455
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3802
Bischofberger, J., Geiger, J., & Jonas, P. M. (2002). Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons. Journal of Neuroscience, 22(24), 10593–10602.
View
 

2002 | Journal Article | IST-REx-ID: 3803
Bischofberger, J., & Jonas, P. M. (2002). TwoB or not twoB: differential transmission at glutamatergic mossy fiber-interneuron synapses in the hippocampus. Trends in Neurosciences, 25(12), 600–603. https://doi.org/10.1016/S0166-2236(02)02259-2
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3919 | OA
Cremer, S., & Heinze, J. (2002). Adaptive production of fighter males: queens of the ant Cardiocondyla adjust the sex ratio under local mate competition. Proceedings of the Royal Society of London Series B Biological Sciences, 269(1489), 417–422. https://doi.org/10.1098/rspb.2001.1892
View | DOI | Download None (ext.)
 

2002 | Journal Article | IST-REx-ID: 3920
Turillazzi, S., Sledge, M., Cremer, S., & Heinze, J. (2002). A method for analysing small-size specimens in GC-MS. Insect Social Life, 4, 169–175.
View
 

2002 | Journal Article | IST-REx-ID: 3924
Cremer, S., Lautenschläger, B., & Heinze, J. (2002). A transitional stage between the ergatoid and winged male morph in the ant Cardiocondyla obscurior. Insectes Sociaux, 49(3), 221–228. https://doi.org/10.1007/s00040-002-8305-z
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3925
Cremer, S., Sledge, M., & Heinze, J. (2002). Chemical mimicry: Male ants disguised by the queen’s bouquet. Nature, 419, 897–897. https://doi.org/10.1038/419897a
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3995
Agarwal, P., Guibas, L., Edelsbrunner, H., Erickson, J., Isard, M., Har Peled, S., … Wolefson, O. (2002). Algorithmic issues in modeling motion. ACM Computing Surveys, 34(4), 550–572. https://doi.org/10.1145/592642.592647
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3996
Edelsbrunner, H., Letscher, D., & Zomorodian, A. (2002). Topological persistence and simplification. Discrete & Computational Geometry, 28(4), 511–533. https://doi.org/10.1007/s00454-002-2885-2
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3998
Edelsbrunner, H., & Guoy, D. (2002). An experimental study of sliver exudation. Engineering with Computers, 18(3), 229–240. https://doi.org/10.1007/s003660200020
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4000
Zomorodian, A., & Edelsbrunner, H. (2002). Fast software for box intersections. International Journal of Computational Geometry and Applications, 12(1–2), 143–172. https://doi.org/10.1142/S0218195902000785
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4003
Agarwal, P., Edelsbrunner, H., & Wang, Y. (2002). Computing the writhing number of a polygonal knot (pp. 791–799). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
 

2002 | Journal Article | IST-REx-ID: 4139
Polechova, J., & Stopka, P. (2002). Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus. Canadian Journal of Zoology, 80(8), 1383–1388. https://doi.org/3820
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4148
Tada, M., Concha, M., & Heisenberg, C. (2002). Non-canonical Wnt signalling and regulation of gastrulation movements. Seminars in Cell & Developmental Biology, 13(3), 251–260. https://doi.org/10.1016/S1084-9521(02)00052-6
View | DOI
 

2002 | Journal Article | IST-REx-ID: 859
Perelygin, A., Kondrashov, F., Rogozin, I., & Brinton, M. (2002). Evolution of the mouse polyubiquitin C gene. Journal of Molecular Evolution, 55(2), 202–210. https://doi.org/10.1007/s00239-002-2318-0
View | DOI
 

2002 | Journal Article | IST-REx-ID: 871
Kondrashov, F., Rogozin, I., Wolf, Y., & Koonin, E. (2002). Selection in the evolution of gene duplications . Genome Biology, 3(2). https://doi.org/10.1186/gb-2002-3-2-research0008
View | DOI
 

2002 | Journal Article | IST-REx-ID: 885
Kondrashov, A., Sunyaev, S., & Kondrashov, F. (2002). Dobzhansky-Muller incompatibilities in protein evolution. PNAS, 99(23), 14878–14883. https://doi.org/10.1073/pnas.232565499
View | DOI
 

2002 | Journal Article | IST-REx-ID: 897
Castillo Davis, C., Mekhedov, S., Hartl, D., Koonin, E., & Kondrashov, F. (2002). Selection for short introns in highly expressed genes. Nature Genetics, 31(4), 415–418. https://doi.org/10.1038/ng940
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1032
Fürst, J., Ritter, M., Rudzki, J., Danzl, J., Gschwentner, M., Scandella, E., … Paulmichl, M. (2002). ICln ion channel splice variants in Caenorhabditis elegans: Voltage dependence and interaction with an operon partner protein. Journal of Biological Chemistry, 277(6), 4435–4445. https://doi.org/10.1074/jbc.M107372200
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1451 | OA
Hausel, T., & Sturmfels, B. (2002). Toric hyperkähler varieties. Documenta Mathematica, 7(1), 495–534.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 2340 | OA
Seiringer, R. (2001). Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. In M. Demuth & B. Schultze (Eds.) (Vol. 126, pp. 307–314). Presented at the PDE: Partial Differential Equations and Spectral Theory, Birkhäuser. https://doi.org/10.1007/978-3-0348-8231-6
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2341 | OA
Baumgartner, B., & Seiringer, R. (2001). Atoms with bosonic "electrons" in strong magnetic fields. Annales Henri Poincare, 2(1), 41–76. https://doi.org/10.1007/PL00001032
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2345 | OA
Seiringer, R. (2001). On the maximal ionization of atoms in strong magnetic fields. Journal of Physics A: Mathematical and General, 34(9), 1943–1948. https://doi.org/10.1088/0305-4470/34/9/311
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2346 | OA
Hainzl, C., & Seiringer, R. (2001). Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics. Letters in Mathematical Physics, 55(2), 133–142. https://doi.org/10.1023/A:1010951905548
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2347 | OA
Lieb, É., Seiringer, R., & Yngvason, J. (2001). A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas. Communications in Mathematical Physics, 224(1), 17–31. https://doi.org/10.1007/s002200100533
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2348 | OA
Hainzl, C., & Seiringer, R. (2001). A discrete density matrix theory for atoms in strong magnetic fields. Communications in Mathematical Physics, 217(1), 229–248. https://doi.org/10.1007/s002200100373
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2419
Wagner, U., & Welzl, E. (2001). A continuous analogue of the Upper Bound Theorem. Discrete & Computational Geometry, 26(2), 205–219. https://doi.org/10.1007/s00454-001-0028-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2604
Ruocco, I., Cuello, A., Shigemoto, R., & Ribeiro Da Silva, A. (2001). Light and electron microscopic study of the distribution of substance P-immunoreactive fibers and neurokinin-1 receptors in the skin of the rat lower lip. Journal of Comparative Neurology, 432(4), 466–480. https://doi.org/10.1002/cne.1114
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2605
Geurts, F., Timmermans, J., Shigemoto, R., & De Schutter, E. (2001). Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum. Neuroscience, 104(2), 499–512. https://doi.org/10.1016/S0306-4522(01)00058-6
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2606
Martínez, G., López Bendito, G., Luján, R., Shigemoto, R., Fairén, A., & Valdeolmillos, M. (2001). Cajal-Retzius cells in early postnatal mouse cortex selectively express functional metabotropic glutamate receptors. European Journal of Neuroscience, 13(6), 1147–1154. https://doi.org/10.1046/j.0953-816X.2001.01494.x
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2607
Mion, S., Corti, C., Neki, A., Shigemoto, R., Corsi, M., Fumagalli, G., & Ferraguti, F. (2001). Bidirectional regulation of neurite elaboration by alternatively spliced metabotropic glutamate receptor 5 (mGluR5) isoforms. Molecular and Cellular Neuroscience, 17(6), 957–972. https://doi.org/10.1006/mcne.2001.0993
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2608
López Bendito, G., Shigemoto, R., Luján, R., & Juíz, J. (2001). Developmental changes in the localisation of the mGluR1α subtype of metabotropic glutamate receptors in Purkinje cells. Neuroscience, 105(2), 413–429. https://doi.org/10.1016/S0306-4522(01)00188-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2609
Tamaru, Y., Nomura, S., Mizuno, N., & Shigemoto, R. (2001). Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites. Neuroscience, 106(3), 481–503. https://doi.org/10.1016/S0306-4522(01)00305-0
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2610
Sansig, G., Bushell, T., Clarke, V., Rozov, A., Burnashev, N., Portet, C., … Van Der Putten, H. (2001). Increased seizure susceptibility in mice lacking metabotropic glutamate receptor 7. Journal of Neuroscience, 21(22), 8734–8745.
View
 

2001 | Journal Article | IST-REx-ID: 2611
Ruocco, I., Cuello, A., Shigemoto, R., & Ribeiro Da Silva, A. (2001). Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin. Neuroscience, 108(1), 157–166. https://doi.org/10.1016/S0306-4522(01)00158-0
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2612
Li, J., Shigemoto, R., Kulik, Á., Chen, P., Nomura, S., Kaneko, T., & Mizuno, N. (2001). Immunocytochemical localization of GABAB receptors in mesencephalic trigeminal nucleus neurons in the rat. Neuroscience Letters, 315(1–2), 93–97. https://doi.org/10.1016/S0304-3940(01)02321-7
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2709
Erdös, L. (2001). Long time dynamics of an electron in a weakly coupled phonon field. ICMP: International Congress on Mathematical Physics, 273–281.
View
 

2001 | Journal Article | IST-REx-ID: 2734
Erdös, L., & Solovej, J. (2001). The kernel of Dirac operators on S3 and R3. Reviews in Mathematical Physics, 13(10), 1247–1280. https://doi.org/10.1142/S0129055X01000983
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2735
Erdös, L. (2001). Lifschitz tail in a magnetic field: Coexistence of classical and quantum behavior in the borderline case. Probability Theory and Related Fields, 121(2), 219–236. https://doi.org/10.1007/PL00008803
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2736 | OA
Erdös, L., & Yau, H. (2001). Derivation of the nonlinear Schrödinger equation from a many body Coulomb system. Advances in Theoretical and Mathematical Physics, 5(6), 1169–1205.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 4200
Heisenberg, C., Houart, C., Take Uchi, M., Rauch, G., Young, N., Coutinho, P., … Stemple, D. (2001). A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon. Genes and Development, 15(11), 1427–1434. https://doi.org/10.1101/gad.194301
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4229
Bollback, J. P., & Huelsenbeck, J. (2001). Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae). Journal of Molecular Evolution, 52(2), 117–128. https://doi.org/10.1007/s002390010140
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4264
Turelli, M., Barton, N. H., & Coyne, J. (2001). Theory and speciation. Trends in Ecology and Evolution, 16(7), 330–343. https://doi.org/10.1016/S0169-5347(01)02177-2
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4265
Otto, S., & Barton, N. H. (2001). Selection for recombination in small populations. Evolution; International Journal of Organic Evolution, 55(10), 1921–1931. https://doi.org/10.1111/j.0014-3820.2001.tb01310.x
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4266
Barton, N. H. (2001). The role of hybridisation in evolution. Molecular Ecology, 10(3), 551–568. https://doi.org/10.1046/j.1365-294X.2001.01216.x
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4267
Barton, N. H. (2001). Adaptation at the edge of a species’ range. In Integrating ecology and evolution in a spatial context (pp. 365–392). Cambridge University Press.
View
 

2001 | Book Chapter | IST-REx-ID: 4278
Barton, N. H. (2001). The evolutionary consequences of gene flow and local adaptation: Future approaches. In Dispersal. Oxford University Press.
View
 

2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger, T. A., & Kirsch, C. (2001). EMSOFT: Embedded Software. EMSOFT: Embedded Software (Vol. 2211). ACM. https://doi.org/10.1007/3-540-45449-7
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, T. A., Preussig, J., & Wong Toi, H. (2001). Some lessons from the HYTECH experience (Vol. 3, pp. 2887–2892). Presented at the CDC: Decision and Control, IEEE. https://doi.org/10.1109/.2001.980714
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, T. A., Minea, M., & Prabhu, V. (2001). Assume-guarantee reasoning for hierarchical hybrid systems (Vol. 2034, pp. 275–290). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-45351-2_24
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Embedded control systems development with Giotto (pp. 64–72). Presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, ACM. https://doi.org/10.1145/384197.384208
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Giotto: A time-triggered language for embedded programming (Vol. 2211, pp. 166–184). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/1303
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
Brown, T., Pasetti, A., Pree, W., Henzinger, T. A., & Kirsch, C. (2001). A reusable and platform-independent framework for distributed control systems (pp. 1–11). Presented at the DASC: Digital Avionics Systems Conference, IEEE. https://doi.org/10.1109/DASC.2001.964169
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., & Rajamani, S. (2001). Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design, 18(2), 97–116. https://doi.org/10.1023/A:1008767206905
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
Alur, R., De Alfaro, L., Grosu, R., Henzinger, T. A., Kang, M., Kirsch, C., … Wang, B. (2001). jMocha: A model-checking tool that exploits design structure (pp. 835–836). Presented at the ICSE: Software Engineering, IEEE. https://doi.org/10.1109/ICSE.2001.919196
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro, L., & Henzinger, T. A. (2001). Interface automata (pp. 109–120). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/503209.503226
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro, L., & Henzinger, T. A. (2001). Interface theories for component-based design (Vol. 2211, pp. 148–165). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45449-7_11
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro, L., Henzinger, T. A., & Jhala, R. (2001). Compositional methods for probabilistic systems (Vol. 2154, pp. 351–365). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_24
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). Symbolic algorithms for infinite-state games (Vol. 2154, pp. 536–550). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_36
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). The control of synchronous systems, Part II (Vol. 2154, pp. 566–581). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_38
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4635
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). MCWEB: A model-checking tool for web-site debugging (pp. 86–87). Presented at the WWW: World Wide Web Conference, ACM.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 4636
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). From verification to control: dynamic programs for omega-regular objectives (pp. 279–290). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2001.932504
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2981 | OA
Molendijk, A., Bischoff, F., Rajendrakumar, C., Friml, J., Braun, M., Gilroy, S., & Palme, K. (2001). Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth. EMBO Journal, 20(11), 2779–2788. https://doi.org/10.1093/emboj/20.11.2779
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2982
Gil, P., Dewey, E., Friml, J., Zhao, Y., Snowden, K., Putterill, J., … Chory, J. (2001). BIG: A calossin-like protein required for polar auxin transport in Arabidopsis. Genes and Development, 15(15), 1985–1997. https://doi.org/10.1101/gad.905201
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2983
Geldner, N., Friml, J., Stierhof, Y., Jürgens, G., & Palme, K. (2001). Auxin transport inhibitors block PIN1 cycling and vesicle trafficking. Nature, 413(6854), 425–428. https://doi.org/10.1038/35096571
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
Swarup, R., Friml, J., Marchant, A., Ljung, K., Sandberg, G., Palme, K., & Bennett, M. (2001). Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex. Genes and Development, 15(20), 2648–2653. https://doi.org/10.1101/gad.210501
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2985
Trnková, L., Friml, J., & Dračka, O. (2001). Elimination voltammetry of adenine and cytosine mixtures. Bioelectrochemistry, 54(2), 131–136. https://doi.org/10.1016/S1567-5394(01)00119-0
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3169
Kolmogorov, V., & Zabih, R. (2001). Computing visual correspondence with occlusions using graph cuts (Vol. 2, pp. 508–515). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2001.937668
View | DOI | Download (ext.)
 

2001 | Book Chapter | IST-REx-ID: 3434
Huelsenbeck, J., & Bollback, J. P. (2001). Application of the likelihood function in phylogenetic analysis. In D. Balding, M. Bishop, & C. Cannings (Eds.), Handbook of Statistical Genetics (pp. 415–439). Wiley-Blackwell. https://doi.org/10.1002/9780470061619.ch15
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3438
Huelsenbeck, J., Ronquist, F., Nielsen, R., & Bollback, J. P. (2001). Bayesian inference of phylogeny and its impact on evolutionary biology. Science, 294(5550), 2310–2314. https://doi.org/10.1126/science.1065889
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3439
Conn, J., Bollback, J. P., Onyabe, D., Robinson, T., Wilkerson, R., & Povoa, M. (2001). Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi. Molecular Ecology Notes, 1(4), 223–225. https://doi.org/ 10.1046/j.1471-8278.2001.00078.x
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3440
Huelsenbeck, J., & Bollback, J. P. (2001). Empirical and hierarchical Bayesian estimation of ancestral states. Systematic Biology, 50(3), 351–366. https://doi.org/10.1080/10635150119871
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3447
Chatterjee, K., Dasgupta, P., & Chakrabarti, P. (2001). Weighted quantified computation tree logic. Presented at the CIT: Conference on Information Technology, Elsevier.
View
 

2001 | Journal Article | IST-REx-ID: 3493 | OA
Jones, M. ., Jonas, P. M., Sahara, Y., & Westbrook, G. (2001). Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists. Biophysical Journal, 81(5), 2660–2670. https://doi.org/10.1016/S0006-3495(01)75909-7
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3494
Bartos, M., Vida, I., Frotscher, M., Geiger, J., & Jonas, P. M. (2001). Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network. Journal of Neuroscience, 21(8), 2687–2698.
View
 

Search

Filter Publications