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
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
2002 |Published| Journal Article | IST-REx-ID: 2618
Nunzi, Maria, Ryuichi Shigemoto, and Enrico Mugnaini. “Differential Expression of Calretinin and Metabotropic Glutamate Receptor MGluR1α Defines Subsets of Unipolar Brush Cells in Mouse Cerebellum.” Journal of Comparative Neurology. Wiley-Blackwell, 2002. https://doi.org/10.1002/cne.10344.
View
| DOI
| PubMed | Europe PMC
2002 |Published| Conference Paper | IST-REx-ID: 2421
Ambühl, Christoph, and Uli Wagner. “On the Clique Problem in Intersection Graphs of Ellipses.” In Proceedings of the 13th International Symposium on Algorithms and Computation, 2518:489–500. Springer, 2002. https://doi.org/10.1007/3-540-36136-7_43.
View
| DOI
2002 |Published| Journal Article | IST-REx-ID: 2420
Wagner, Uli. “On the Number of Corner Cuts.” Advances in Applied Mathematics. ACM, 2002. https://doi.org/10.1016/S0196-8858(02)00014-3.
View
| DOI
2002 |Published| Journal Article | IST-REx-ID: 1451 |
Hausel, Tamás, and Bernd Sturmfels. “Toric Hyperkähler Varieties.” Documenta Mathematica. Deutsche Mathematiker Vereinigung, 2002. https://doi.org/10.4171/DM/130.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2002 |Published| Journal Article | IST-REx-ID: 871 |
Kondrashov, Fyodor, Igor Rogozin, Yuri Wolf, and Eugene Koonin. “Selection in the Evolution of Gene Duplications .” Genome Biology. BioMed Central, 2002. https://doi.org/10.1186/gb-2002-3-2-research0008.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC