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.
9087 Publications
2003 | Journal Article | IST-REx-ID: 2993
Friml J, Benková E, Mayer U, Palme K, Muster G. Automated whole mount localisation techniques for plant seedlings. Plant Journal. 2003;34(1):115-124. doi:10.1046/j.1365-313X.2003.01705.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 3151
Rayburn L, Gooding H, Choksi S, et al. Amontillado, the Drosophila homolog of the prohormone processing protease PC2, is required during embryogenesis and early larval development. Genetics. 2003;163(1):227-237.
View
2003 | Journal Article | IST-REx-ID: 3150
Siekhaus DE, Drubin D. Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant. Nature Cell Biology. 2003;5(3):231-235. doi:10.1038/ncb941
View
| DOI
2003 | Journal Article | IST-REx-ID: 3209
Pietrzak KZ. On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems. Journal of Computer and System Sciences. 2003;67(4):757-771. doi:10.1016/S0022-0000(03)00078-3
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3210
Maurer U, Pietrzak KZ. The security of many round Luby Rackoff pseudo random permutations. In: Vol 2656. Springer; 2003:544-561. doi:10.1007/3-540-39200-9_34
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3425
Bollenbach MT, Strother T, Bauer W. 3D supernova collapse calculations. In: Vol 166. Springer; 2003:277-288. doi:10.1007/978-1-4020-2705-5_21
View
| DOI
2003 | Book Chapter | IST-REx-ID: 3458
Jonas PM, Unsicker K. Molekulare und zelluläre Grundlagen des Nervensystems. In: Schmidt R, ed. Lehrbuch Vorklinik. Vol B. Deutscher Ärzte Verlag; 2003:3-26.
View
2003 | Journal Article | IST-REx-ID: 3536
Buzsáki G, Buhl D, Harris K, Csicsvari JL, Czéh B, Morozov A. Hippocampal network patterns of activity in the mouse. Neuroscience. 2003;116(1):201-211. doi:10.1016/S0306-4522(02)00669-3
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3556
Edelsbrunner H, Harer J, Natarajan V, Pascucci V. Morse-Smale complexes for piecewise linear 3-manifolds. In: ACM; 2003:361-370. doi:10.1145/777792.777846
View
| DOI
| Download (ext.)
2003 | Book Chapter | IST-REx-ID: 3573
Edelsbrunner H. Surface reconstruction by wrapping finite sets in space. In: Discrete & Computational Geometry. Springer; 2003:379-404. doi:10.1007/978-3-642-55566-4_17
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3584
Edelsbrunner H, Zomorodian A. Computing linking numbers of a filtration. Homology, Homotopy and Applications. 2003;5(2):19-37.
View
| Download None (ext.)
2003 | Journal Article | IST-REx-ID: 3620
Nürnberger B, Hofman S, Förg Brey B, et al. A linkage map for the hybridising toads Bombina bombina and B. variegata (Anura: Discoglossidae). Heredity. 2003;91(2):136-142. doi:10.1038/sj.hdy.6800291
View
| DOI
2003 | Journal Article | IST-REx-ID: 3619
Baird S, Barton NH, Etheridge A. The distribution of surviving blocks of an ancestral genome. Theoretical Population Biology. 2003;64(4):451-471. doi:10.1016/S0040-5809(03)00098-4
View
| DOI
2003 | Journal Article | IST-REx-ID: 3618
Vines T, Barton NH. A new approach to detecting mixed families. Molecular Ecology. 2003;12(7):1999-2002. doi:10.1046/j.1365-294X.2003.01867.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 3752 | 
Vilar J, Guet CC, Leibler S. Modeling network dynamics: the lac operon, a case study. Journal of Cell Biology. 2003;161(3):471-476. doi:10.1083/jcb.200301125
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3797
Bauer W, Kleine Berkenbusch M, Bollenbach MT. Breaking atomic nuclei into little pieces: evidence for a phase transition. Revista Mexicana De Fisica. 2003;49(4):1-6.
View
2003 | Conference Paper | IST-REx-ID: 3897
Chatterjee K, Jurdziński M, Henzinger TA. Simple stochastic parity games. In: Vol 2803. Springer; 2003:100-113. doi:10.1007/978-3-540-45220-1_11
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3898
Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. Stack size analysis for interrupt-driven programs. In: Vol 2694. Springer; 2003:109-126. doi:10.1007/3-540-44898-5_7
View
| DOI
2003 | Journal Article | IST-REx-ID: 3993
Edelsbrunner H, Harer J, Zomorodian A. Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds. Discrete & Computational Geometry. 2003;30(1):87-107. doi:10.1007/s00454-003-2926-5
View
| DOI
2003 | Journal Article | IST-REx-ID: 3994
Cheng H, Edelsbrunner H. Area, perimeter and derivatives of a skin curve. Computational Geometry: Theory and Applications. 2003;26(2):173-192. doi:10.1016/S0925-7721(02)00124-4
View
| DOI
2003 | Book Review | IST-REx-ID: 3139
Chen H, Hippenmeyer S, Arber S, Frank E. Development of the monosynaptic stretch reflex circuit. Current Opinion in Neurobiology. 2003;13(1):96-102. doi:10.1016/S0959-4388(03)00006-0
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3171
Kolmogorov V, Zabih R, Gortler S. Generalized multi camera scene reconstruction using graph cuts. In: Vol 2683. Springer; 2003:501-516. doi:10.1007/978-3-540-45063-4_32
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3174
Kim J, Kolmogorov V, Zabih R. Visual correspondence using energy minimization and mutual information. In: Vol 2. IEEE; 2003:1033-1040. doi:10.1109/ICCV.2003.1238463
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3170
Boykov Y, Kolmogorov V. Computing geodesics and minimal surfaces via graph cuts. In: Vol 1. IEEE; 2003:26-33. doi:10.1109/ICCV.2003.1238310
View
| DOI
2003 | Journal Article | IST-REx-ID: 3526
Harris K, Csicsvari JL, Hirase H, Dragoi G, Buzsáki G. Organization of cell assemblies in the hippocampus. Nature. 2003;424(6948):552-556. doi:0.1038/nature01834
View
| DOI
2003 | Journal Article | IST-REx-ID: 3529
Csicsvari JL, Henze D, Jamieson B, et al. Massively parallel recording of unit and local field potentials with silicon-based electrodes. Journal of Neurophysiology. 2003;90(2):1314-1323. doi:10.1152/jn.00116.2003
View
| DOI
2003 | Journal Article | IST-REx-ID: 3528
Csicsvari JL, Jamieson B, Wise K, Buzsáki G. Mechanisms of gamma oscillations in the hippocampus of the behaving rat. Neuron. 2003;37(2):311-322. doi:10.1016/S0896-6273(02)01169-8
View
| DOI
2003 | Journal Article | IST-REx-ID: 3543
Sirota A, Csicsvari JL, Buhl D, Buzsáki G. Communication between neocortex and hippocampus during sleep in rodents. PNAS. 2003;100(4):2065-2069. doi:10.1073/pnas.0437938100
View
| DOI
2003 | Journal Article | IST-REx-ID: 3593
Chatterjee K, Dasgupta P, Chakrabarti P. A branching time temporal framework for quantitative reasoning. Journal of Automated Reasoning. 2003;30(2):205-232. doi:10.1023/A:1023217515688
View
| DOI
2003 | Thesis | IST-REx-ID: 3678
Lampert C. The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric . Bonner Mathematische Schriften. 2003;356:1-165.
View
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3725 |
Janovjak HL, Kessler M, Oesterhelt D, Gaub H, Mueller D. Unfolding pathways of native bacteriorhodopsin depend on temperature. EMBO Journal. 2003;22(19):5220-5229. doi:10.1093/emboj/cdg509
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3804
Lien C, Jonas PM. Kv3 potassium conductance is necessary and kinetically optimized for high-frequency action potential generation in hippocampal interneurons. Journal of Neuroscience. 2003;23(6):2058-2068.
View
2003 | Journal Article | IST-REx-ID: 3806
Hallermann S, Pawlu C, Jonas PM, Heckmann M. A large pool of releasable vesicles in a cortical glutamatergic synapse. PNAS. 2003;100(15):8975-8980. doi:10.1073/pnas.1432836100
View
| DOI
2003 | Journal Article | IST-REx-ID: 3921
Anderson C, Cremer S, Heinze J. Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals. Behavioral Ecology. 2003;14(1):54-62. doi:10.1093/beheco/14.1.54
View
| DOI
2003 | Journal Article | IST-REx-ID: 3922
Cremer S, Heinze J. Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants. Current Biology. 2003;13(3):219-223. doi:10.1016/S0960-9822(03)00012-5
View
| DOI
2003 | Journal Article | IST-REx-ID: 3917
Cremer S, Heinze J. Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen. Blick in die Wissenschaft. 2003;12(15):32-36.
View
2003 | Thesis | IST-REx-ID: 4416
Majumdar R. Symbolic algorithms for verification and control. 2003:1-201.
View
2003 | Thesis | IST-REx-ID: 4425
Horowitz B. Giotto: A time-triggered language for embedded programming. 2003:1-237.
View
2003 | Journal Article | IST-REx-ID: 576
Hosten O, Vignolo P, Minguzzi A, Tanatar B, Tosi M. Free expansion of two-dimensional condensates with a vortex. Journal of Physics B: Atomic, Molecular and Optical Physics. 2003;36(12):2455-2463. doi:10.1088/0953-4075/36/12/306
View
| DOI
2003 | Journal Article | IST-REx-ID: 6156
Rogers C, Reale V, Kim K, et al. Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1. Nature Neuroscience. 2003;6(11):1178-1185. doi:10.1038/nn1140
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 6157
de Bono M. Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology. 2003;54(1):78-92. doi:10.1002/neu.10162
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 847
Sunyaev S, Kondrashov F, Bork P, Ramensky V. Impact of selection, mutation rate and genetic drift on human genetic variation. Human Molecular Genetics. 2003;12(24):3325-3330. doi:10.1093/hmg/ddg359
View
| DOI
2003 | Journal Article | IST-REx-ID: 876
Kondrashov F, Koonin E. Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences. Trends in Genetics. 2003;19(3):115-119. doi:10.1016/S0168-9525(02)00029-X
View
| DOI
2003 | Journal Article | IST-REx-ID: 9495 |
Cao X, Aufsatz W, Zilberman D, et al. Role of the DRM and CMT3 methyltransferases in RNA-directed DNA methylation. Current Biology. 2003;13(24):2212-2217. doi:10.1016/j.cub.2003.11.052
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 8519
Kaloshin V. The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles. Inventiones mathematicae. 2003;151(3):451-512. doi:10.1007/s00222-002-0244-9
View
| DOI
2003 | Journal Article | IST-REx-ID: 9455
Zilberman D, Cao Xiaofeng, Jacobsen SE. ARGONAUTE4 control of locus-specific siRNA accumulation and DNA and histone methylation. Science. 2003;299(5607):716-719. doi:10.1126/science.1079695
View
| DOI
| PubMed | Europe PMC
2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro L, Henzinger TA, Majumdar R. Discounting the future in systems theory. In: Proceedings of the 30th International Colloquium on Automata, Languages and Programming. Vol 2719. Springer; 2003:1022-1037. doi:10.1007/3-540-45061-0_79
View
| DOI
2003 | Journal Article | IST-REx-ID: 13436
Michrowska A, Bieniek M, Kim M, Klajn R, Grela K. Cross-metathesis reaction of vinyl sulfones and sulfoxides. Tetrahedron. 2003;59(25):4525-4531. doi:10.1016/s0040-4020(03)00682-3
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti A, De Alfaro L, Henzinger TA, Stoelinga M. Resource interfaces. In: Third International Conference on Embedded Software. Vol 2855. ACM; 2003:117-133. doi:10.1007/978-3-540-45212-6_9
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4630
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. The element of surprise in timed games. In: Proceedings of the 14th International Conference on Concurrency Theory. Vol 2761. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2003:144-158. doi:10.1007/978-3-540-45187-7_9
View
| DOI
2003 | Journal Article | IST-REx-ID: 4468
Henzinger TA, Kirsch C, Sanvido M, Pree W. From control models to real-time code using Giotto. IEEE Control Systems Magazine. 2003;23(1):50-64. doi:10.1109/MCS.2003.1172829
View
| DOI
2003 | Book Chapter | IST-REx-ID: 4465
Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: Software-Enabled Control: Information Technology for Dynamical Systems. Wiley-Blackwell; 2003:123-146. doi:10.1002/047172288X.ch8
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4466
Henzinger TA, Kupferman O, Majumdar R. On the universal and existential fragments of the mu-calculus. In: Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . Vol 2619. Springer; 2003:49-64. doi:10.1007/3-540-36577-X_5
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4467
Henzinger TA, Jhala R, Majumdar R, Sutre G. Software verification with BLAST. In: Proceedings of the 10th International SPIN Workshop . Vol 2648. Springer; 2003:235-239. doi:10.1007/3-540-44829-2_17
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4463
Henzinger TA, Jhala R, Majumdar R, Qadeer S. Thread-modular abstraction refinement. In: Proceedings of the 15th International Conference on Computer Aided Verification. Vol 2725. Springer; 2003:262-274. doi:10.1007/978-3-540-45069-6_27
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4462
Henzinger TA, Jhala R, Majumdar R. Counterexample-guided control. In: Proceedings of the 30th International Colloquium on Automata, Languages and Programming. Vol 2719. Springer; 2003:886-902. doi:10.1007/3-540-45061-0_69
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4464
Henzinger TA, Kirsch C, Matic S. Schedule-carrying code. In: Proceedings of the 3rd International Conference on Embedded Software. Vol 2855. ACM; 2003:241-256. doi:10.1007/978-3-540-45212-6_16
View
| DOI
2003 | Journal Article | IST-REx-ID: 4460
Henzinger TA, Kupferman O, Qadeer S. From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. 2003;23(3):303-327. doi:10.1023/A:1026228213080
View
| DOI
2003 | Journal Article | IST-REx-ID: 4469
Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. 2003;91(1):84-99. doi:10.1109/JPROC.2002.805825
View
| DOI
2003 | Journal Article | IST-REx-ID: 4338
Vines T, Kohler SC, Thiel M, et al. On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata. Evolution. 2003;57(8):1876-1888. doi:10.1111/j.0014-3820.2003.tb00595.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 4350
Harshman J, Huddleston C, Bollback JP, Parsons T, Braun M. True and false gharials: A nuclear gene phylogeny of crocodylia. Systematic Biology. 2003;52(3):386-402. doi:10.1080/10635150390197028
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck J, Nielsen R, Bollback JP. Stochastic mapping of morphological characters. Systematic Biology. 2003;52(2):131-158. doi:10.1080/10635150390192780
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4254
Navarro A, Barton NH. Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation. Evolution; International Journal of Organic Evolution. 2003;57(3):447-459. doi:10.1111/j.0014-3820.2003.tb01537.x
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4257
Charlesworth B, Charlesworth D, Barton NH. The effects of genetic and geographic structure on neutral variation. Annual Review of Ecology and Systematics. 2003;34:99-125. doi:10.1146/annurev.ecolsys.34.011802.132359
View
| DOI
2003 | Journal Article | IST-REx-ID: 4256
Barton NH, Zuidema W. The erratic path towards complexity. Current Biology. 2003;13(16):R649-R651. doi:10.1016/S0960-9822(03)00573-6
[Published Version]
View
| DOI
2003 | Journal Article | IST-REx-ID: 4255
Navarro A, Barton NH. Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes. Science. 2003;300(5617):321-324. doi:10.1126/science.1080600
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4146 |
Ulrich F, Concha M, Heid P, et al. Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation. Development. 2003;130(22):5375-5384. doi:10.1242/dev.00758
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4169
Montero J, Kilian B, Chan J, Bayliss P, Heisenberg C-PJ. Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. 2003;13(15):1279-1289. doi:10.1016/S0960-9822(03)00505-0
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4185
Kilian B, Mansukoski H, Barbosa F, Ulrich F, Tada M, Heisenberg C-PJ. The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation. Mechanisms of Development. 2003;120(4):467-476. doi:10.1016/S0925-4773(03)00004-2
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 3992 |
Edelsbrunner H, Koehl P. The weighted-volume derivative of a space-filling diagram. PNAS. 2003;100(5):2203-2208. doi:10.1073/pnas.0537830100
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2003 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner H, Üngör A. Relaxed scheduling in dynamic skin triangulation. In: Proceedings of the Japanese Conference on Discrete and Computational Geometry . Vol 2866. Springer; 2003:135-151. doi:10.1007/978-3-540-44400-8_14
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3997
Bremer P, Edelsbrunner H, Hamann B, Pascucci V. A multi-resolution data structure for two-dimensional Morse-Smale functions. In: Proceedings of the 14th IEEE Conference on Visualization . IEEE; 2003:139-146. doi:10.1109/VISUAL.2003.1250365
View
| DOI
2003 | Journal Article | IST-REx-ID: 4168
Montero J, Heisenberg C-PJ. Adhesive crosstalk in gastrulation. Developmental Cell. 2003;5(2):190-191. doi:10.1016/S1534-5807(03)00235-1
View
| DOI
| PubMed | Europe PMC
2003 | Book Chapter | IST-REx-ID: 3991
Cheng H, Edelsbrunner H. Area and perimeter derivatives of a union of disks. In: Computer Science in Perspective: Essays Dedicated to Thomas Ottmann. Vol 2598. Springer; 2003:88-97. doi:10.1007/3-540-36477-3_7
View
| DOI
2002 | Journal Article | IST-REx-ID: 11124 |
Bilbao-Cortés D, Hetzer M, Längst G, Becker PB, Mattaj IW. Ran binds to chromatin by two distinct mechanisms. Current Biology. 2002;12(13):1151-1156. doi:10.1016/s0960-9822(02)00927-2
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 11123
Hetzer M, Gruss OJ, Mattaj IW. The Ran GTPase as a marker of chromosome position in spindle formation and nuclear envelope assembly. Nature Cell Biology. 2002;4(7):E177-E184. doi:10.1038/ncb0702-e177
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 12659 |
Burlando P, Pellicciotti F, Strasser U. Modelling mountainous water systems between learning and speculating looking for challenges. Hydrology Research. 2002;33(1):47-74. doi:10.2166/nh.2002.0004
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Conference Paper | IST-REx-ID: 1738
Falaras P, Chryssou K, Stergiopoulos T, et al. Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes. In: Vol 4801. SPIE; 2002:125-135. doi:10.1117/12.452446
View
| DOI
2002 | Journal Article | IST-REx-ID: 1739
Stergiopoulos T, Arabatzis I, Katsaros G, Falaras P. Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells. Nano Letters. 2002;2(11):1259-1261. doi:10.1021/nl025798u
View
| DOI
2002 | Conference Paper | IST-REx-ID: 2339
Seiringer R. Symmetry breaking in a model of a rotating Bose gas. In: Weder R, Exner P, Grébert B, eds. Vol 307. World Scientific Publishing; 2002:281-286. doi:10.1090/conm/307
View
| DOI
2002 | Journal Article | IST-REx-ID: 2351 |
Seiringer R. Gross-Pitaevskii theory of the rotating Bose gas. Communications in Mathematical Physics. 2002;229(3):491-509. doi:10.1007/s00220-002-0695-2
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2349 |
Lieb É, Seiringer R. Proof of Bose-Einstein condensation for dilute trapped gases. Physical Review Letters. 2002;88(17):1704091-1704094. doi:10.1103/PhysRevLett.88.170409
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2352 |
Hainzl C, Seiringer R. General decomposition of radial functions on ℝn and applications to N-body quantum systems. Letters in Mathematical Physics. 2002;61(1):75-84. doi:10.1023/A:1020204818938
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2617 |
Losonczy A, Zhang L, Shigemoto R, Somogyi P, Nusser Z. Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones. Journal of Physiology. 2002;542(1):193-210. doi:10.1113/jphysiol.2002.020024
View
| DOI
| Download (ext.)
2002 | Conference Paper | IST-REx-ID: 2708
Erdös L. Two dimensional Pauli operator via scalar potential. In: Vol 307. World Scientific Publishing; 2002:129-133. doi:10.1090/conm/307
View
| DOI
2002 | Journal Article | IST-REx-ID: 2991
Friml J, Palme K. Polar auxin transport - Old questions and new concepts? Plant Molecular Biology. 2002;49(3-4):273-284. doi:10.1023/A:1015248926412
View
| DOI
2002 | Patent | IST-REx-ID: 3508 |
Edelsbrunner H, Fu P. Methods of generating three-dimensional digital models of objects by wrapping point cloud data points. 2002.
[Published Version]
View
| Download Published Version (ext.)
2002 | Conference Paper | IST-REx-ID: 3448
Mallick S, Chatterjee K, Merchant A, Dasgupta P. Implementation of shape grammar for plan analysis. In: Elsevier; 2002.
View
2002 | Thesis | IST-REx-ID: 4414
Mang F. Games in open systems verification and synthesis. 2002:1-116.
View
2002 | Journal Article | IST-REx-ID: 6158
Coates JC, de Bono M. Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. 2002;419(6910):925-929. doi:10.1038/nature01170
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 6159
de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. 2002;419(6910):899-903. doi:10.1038/nature01169
View
| DOI
| PubMed | Europe PMC
2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro L, Henzinger TA, Stoelinga M. Timed interfaces. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:108-122. doi:10.1007/3-540-45828-X_9
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. Synchronous and bidirectional component interfaces. In: Proceedings of the 14th International Conference on Computer Aided Verification. Vol 2404. Springer; 2002:414-427. doi:10.1007/3-540-45657-0_34
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4565
Cassez F, Henzinger TA, Raskin J. A comparison of control problems for timed and hybrid systems. In: Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control. Vol 2289. Springer; 2002:134-148. doi:10.1007/3-540-45873-5_13
View
| DOI
2002 | Journal Article | IST-REx-ID: 4595
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. Journal of the ACM. 2002;49(5):672-713. doi:10.1145/585265.585270
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4471
Henzinger TA, Krishnan S, Kupferman O, Mang F. Synthesis of uninitialized systems. In: Proceedings of the 29th International Colloquium on Automata, Languages and Programming. Vol 2380. Springer; 2002:644-656. doi:10.1007/3-540-45465-9_55
View
| DOI
2002 | Journal Article | IST-REx-ID: 4474 |
Henzinger TA, Kupferman O, Rajamani S. Fair simulation. Information and Computation. 2002;173(1):64-81. doi:10.1006/inco.2001.3085
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti A, De Alfaro L, Henzinger TA, Jurdziński M, Mang F. Interface compatibility checking for software modules. In: Proceedings of the 14th International Conference on Computer Aided Verification. Vol 2404. Springer; 2002:428-441. doi:10.1007/3-540-45657-0_35
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4472
Henzinger TA, Necula G, Jhala R, Sutre G, Majumdar R, Weimer W. Temporal safety proofs for systems code. In: Proceedings of the 14th International Conference on Computer Aided Verification. Vol 2404. Springer; 2002:526-538. doi:10.1007/3-540-45657-0_45
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4470
Henzinger TA, Kirsch C, Majumdar R, Matic S. Time-safety checking for embedded programs. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:76-92. doi:10.1007/3-540-45828-X_7
View
| DOI