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.
1621 Publications
2003 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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
2002 |Published| Conference Paper | IST-REx-ID: 4421
Kirsch C, Sanvido M, Henzinger TA, Pree W. A Giotto-based helicopter control system. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:46-60. doi:10.1007/3-540-45828-X_5
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4422
Jurdziński M, Kupferman O, Henzinger TA. Trading probability for fairness. In: Proceedings of the 16th International Workshop on Computer Science Logic. Vol 2471. Springer; 2002:292-305. doi:10.1007/3-540-45793-3_20
View
| DOI
2002 |Published| Journal Article | IST-REx-ID: 4259 |
Orive M, Barton NH. Associations between cytoplasmic and nuclear loci in hybridizing populations. Genetics. 2002;162(3):1469-1485. doi:10.1093/genetics/162.3.1469
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 3800 |
Bartos M, Vida I, Frotscher M, et al. Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks. PNAS. 2002;99(20):13222-13227. doi:10.1073/pnas.192233099
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 3799 |
Lien C, Martina M, Schultz J, Ehmke H, Jonas PM. Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus. Journal of Physiology. 2002;538(Pt 2):405-419. doi:10.1113/jphysiol.2001.013066
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 3497
Geiger J, Bischofberger J, Vida I, et al. Patch-clamp recording in brain slices with improved slicer technology. Pflugers Archiv : European Journal of Physiology. 2002;443(3):491-501. doi:10.1007/s00424-001-0735-3
View
| DOI
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 2988
Grebe M, Friml J, Swarup R, et al. Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway. Current Biology. 2002;12(4):329-334. doi:10.1016/S0960-9822(02)00654-1
View
| DOI
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 3421
Mueller D, Janovjak HL, Lehto T, Kuerschner L, Anderson K. Observing structure, function and assembly of single proteins by AFM. Progress in Biophysics and Molecular Biology. 2002;79(1-3):1-43. doi:10.1016/S0079-6107(02)00009-3
View
| DOI
| PubMed | Europe PMC
2002 |Published| Conference Paper | IST-REx-ID: 2927
Kolmogorov V, Zabih R. Multi-camera scene reconstruction via graph cuts. In: Proceedings of the 7th European Conference on Computer Vision. Springer; 2002:65-81. doi:10.1007/3-540-47977-5_5
View
| DOI
2002 |Published| Book Chapter | IST-REx-ID: 2694
Erdös L. Scaling limits of Schrödinger quantum mechanics. In: Dynamics of Dissipation. Lecture Notes in Physics. Springer; 2002:487-506. doi:10.1007/3-540-46122-1_19
View
| DOI