ISTA Research Explorer

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.

1850 Publications

1997 |Published| Journal Article | IST-REx-ID: 4174 |

Masai I, Heisenberg C-PJ, Barth KA, Macdonald R, Adamek S, Wilson S. Floating head and masterblind regulate neuronal patterning in the roof of the forebrain. Neuron. 1997;18(1):43-57. doi:10.1016/S0896-6273(01)80045-3

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

1997 |Published| Journal Article | IST-REx-ID: 4285 |

Otto S, Barton NH. The evolution of recombination: Removing the limits to natural selection. Genetics. 1997;147(2):879-906. doi:10.1093/genetics/147.2.879

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

1997 |Published| Conference Paper | IST-REx-ID: 4441

Henzinger TA, Kopke P. Discrete-time control for rectangular hybrid automata. In: Proceedings of the 24th International Colloquium on Automata, Languages and Programming. Vol 1256. Springer; 1997:582-593. doi:10.1007/3-540-63165-8_213

View | DOI

1997 |Published| Conference Paper | IST-REx-ID: 4496

Henzinger TA, Kupferman O, Rajamani S. Fair simulation. In: Proceedings of the 8th International Conference on Concurrency Theory. Vol 1243. Springer; 1997:273-287. doi:10.1007/3-540-63141-0_19

View | DOI

1997 |Published| Conference Paper | IST-REx-ID: 4494

Henzinger TA, Ho P, Wong Toi H. HyTech: A model checker for hybrid systems. In: Vol 1254. Springer; 1997:460-463. doi:10.1007/3-540-63166-6_48

View | DOI

1997 |Published| Conference Paper | IST-REx-ID: 4583

Alur R, Henzinger TA. Modularity for timed and hybrid systems. In: 8th International Conference on Concurrency Theory. Vol 1243. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1997:74-88. doi:10.1007/3-540-63141-0_6

View | DOI

1997 |Published| Conference Paper | IST-REx-ID: 4608

Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. In: 9th International Conference on Computer Aided Verification. Vol 1254. Springer; 1997:340-351. doi:10.1007/3-540-63166-6_34

View | DOI

1997 |Published| Journal Article | IST-REx-ID: 8528

Kaloshin V. Prevalence in the space of finitely smooth maps. Functional Analysis and Its Applications. 1997;31(2):95-99. doi:10.1007/bf02466014

View | DOI

1996 |Published| Conference Paper | IST-REx-ID: 11804

Henzinger MH, Telle JA. Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. In: 5th Scandinavian Workshop on Algorithm Theory. Vol 1097. Springer Nature; 1996:16–27. doi:10.1007/3-540-61422-2_117

View | DOI

1996 |Published| Conference Paper | IST-REx-ID: 11910

Henzinger MH, Thorup M. Improved sampling with applications to dynamic graph algorithms. In: 23rd International Colloquium on Automata, Languages, and Programming. Vol 1099. Springer Nature; 1996:290-299. doi:10.1007/3-540-61440-0_136

View | DOI

1996 |Published| Conference Paper | IST-REx-ID: 11927 |

Henzinger MH, King V, Warnow T. Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. In: 7th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 1996:333-340.

[Published Version] View | Files available | Download Published Version (ext.)

1996 |Published| Journal Article | IST-REx-ID: 2562

Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody. Neuroscience Letters. 1996;202(3):197-200. doi:10.1016/0304-3940(95)12248-6