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, Ho, and Herbert Edelsbrunner. “Area and Perimeter Derivatives of a Union of Disks.” In Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, 2598:88–97. Springer, 2003. https://doi.org/10.1007/3-540-36477-3_7.
View
| DOI
2002 |Published| Journal Article | IST-REx-ID: 11124 | 
Bilbao-Cortés, Daniel, Martin Hetzer, Gernot Längst, Peter B. Becker, and Iain W. Mattaj. “Ran Binds to Chromatin by Two Distinct Mechanisms.” Current Biology. Elsevier BV, 2002. https://doi.org/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
Bono, Mario de, David M. Tobin, M. Wayne Davis, Leon Avery, and Cornelia I. Bargmann. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That Detect Aversive Stimuli.” Nature. Springer Nature, 2002. https://doi.org/10.1038/nature01169.
View
| DOI
| PubMed | Europe PMC
2002 |Published| Conference Paper | IST-REx-ID: 4631
De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces.” In Proceedings of the 2nd International Conference on Embedded Software, 2491:108–22. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_9.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Synchronous and Bidirectional Component Interfaces.” In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:414–27. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_34.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4565
Cassez, Franck, Thomas A Henzinger, and Jean Raskin. “A Comparison of Control Problems for Timed and Hybrid Systems.” In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, 2289:134–48. Springer, 2002. https://doi.org/10.1007/3-540-45873-5_13.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4471
Henzinger, Thomas A, Sriram Krishnan, Orna Kupferman, and Freddy Mang. “Synthesis of Uninitialized Systems.” In Proceedings of the 29th International Colloquium on Automata, Languages and Programming, 2380:644–56. Springer, 2002. https://doi.org/10.1007/3-540-45465-9_55.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4563
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, Marcin Jurdziński, and Freddy Mang. “Interface Compatibility Checking for Software Modules.” In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:428–41. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_35.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4472
Henzinger, Thomas A, George Necula, Ranjit Jhala, Grégoire Sutre, Ritankar Majumdar, and Westley Weimer. “Temporal Safety Proofs for Systems Code.” In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:526–38. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_45.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4470
Henzinger, Thomas A, Christoph Kirsch, Ritankar Majumdar, and Slobodan Matic. “Time-Safety Checking for Embedded Programs.” In Proceedings of the 2nd International Conference on Embedded Software, 2491:76–92. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_7.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4421
Kirsch, Christoph, Marco Sanvido, Thomas A Henzinger, and Wolfgang Pree. “A Giotto-Based Helicopter Control System.” In Proceedings of the 2nd International Conference on Embedded Software, 2491:46–60. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_5.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4422
Jurdziński, Marcin, Orna Kupferman, and Thomas A Henzinger. “Trading Probability for Fairness.” In Proceedings of the 16th International Workshop on Computer Science Logic, 2471:292–305. Springer, 2002. https://doi.org/10.1007/3-540-45793-3_20.
View
| DOI
2002 |Published| Journal Article | IST-REx-ID: 4259 |
Orive, Maria, and Nicholas H Barton. “Associations between Cytoplasmic and Nuclear Loci in Hybridizing Populations.” Genetics. Genetics Society of America, 2002. https://doi.org/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, Marlene, Imre Vida, Michael Frotscher, Axel Meyer, Hannah Monyer, Jörg Geiger, and Peter M Jonas. “Fast Synaptic Inhibition Promotes Synchronized Gamma Oscillations in Hippocampal Interneuron Networks.” PNAS. National Academy of Sciences, 2002. https://doi.org/10.1073/pnas.192233099.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 3799 |
Lien, Cheng, Marco Martina, Jobst Schultz, Heimo Ehmke, and Peter M Jonas. “Gating, Modulation and Subunit Composition of Voltage-Gated K(+) Channels in Dendritic Inhibitory Interneurones of Rat Hippocampus.” Journal of Physiology. Wiley-Blackwell, 2002. https://doi.org/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örg, Joseph Bischofberger, Imre Vida, Ulrich Fröbe, S Pfitzinger, H. Weber, Klaus Haverkampf, and Peter M Jonas. “Patch-Clamp Recording in Brain Slices with Improved Slicer Technology.” Pflugers Archiv : European Journal of Physiology. Springer, 2002. https://doi.org/10.1007/s00424-001-0735-3.
View
| DOI
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 2988
Grebe, Markus, Jiří Friml, Ranjan Swarup, Karin Ljung, Göran Sandberg, Maarten Terlou, Klaus Palme, Malcolm Bennett, and Ben Scheres. “Cell Polarity Signaling in Arabidopsis Involves a BFA Sensitive Auxin Influx Pathway.” Current Biology. Cell Press, 2002. https://doi.org/10.1016/S0960-9822(02)00654-1.
View
| DOI
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 3421
Mueller, Daniel, Harald L Janovjak, Tiina Lehto, Lars Kuerschner, and Kurt Anderson. “Observing Structure, Function and Assembly of Single Proteins by AFM.” Progress in Biophysics and Molecular Biology. Elsevier, 2002. https://doi.org/10.1016/S0079-6107(02)00009-3.
View
| DOI
| PubMed | Europe PMC
2002 |Published| Conference Paper | IST-REx-ID: 2927
Kolmogorov, Vladimir, and Ramin Zabih. “Multi-Camera Scene Reconstruction via Graph Cuts.” In Proceedings of the 7th European Conference on Computer Vision, 65–81. Springer, 2002. https://doi.org/10.1007/3-540-47977-5_5.
View
| DOI
2002 |Published| Book Chapter | IST-REx-ID: 2694
Erdös, László. “Scaling Limits of Schrödinger Quantum Mechanics.” In Dynamics of Dissipation, 487–506. Lecture Notes in Physics. Springer, 2002. https://doi.org/10.1007/3-540-46122-1_19.
View
| DOI