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.

539 Publications


2008 | Journal Article | IST-REx-ID: 4548
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2008). Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. Springer. https://doi.org/10.1007/s00182-007-0110-5
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 219
De La Bretèche, R., Browning, T. D., & Derenthal, U. (2007). On Manin’s conjecture for a certain singular cubic surface. Annales Scientifiques de l’Ecole Normale Superieure. Societe Mathematique de France. https://doi.org/10.1016/j.ansens.2006.12.002
View | DOI
 

2007 | Journal Article | IST-REx-ID: 223 | OA
Browning, T. D. (2007). Density of integer solutions to diagonal quadratic forms. Monatshefte Fur Mathematik. Springer. https://doi.org/10.1007/s00605-007-0457-5
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2370 | OA
Lieb, É., Seiringer, R., & Yngvason, J. (2007). Bose-Einstein condensation and spontaneous symmetry breaking. Reports on Mathematical Physics. Elsevier. https://doi.org/10.1016/S0034-4877(07)80074-7
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2373 | OA
Frank, R., Hainzl, C., Naboko, S., & Seiringer, R. (2007). The critical temperature for the BCS equation at weak coupling. Journal of Geometric Analysis. Springer. https://doi.org/10.1007/BF02937429
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2750
Erdös, L., Salmhofer, M., & Yau, H. (2007). Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-006-0158-2
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2751
Erdös, L., Salmhofer, M., & Yau, H. (2007). Quantum diffusion for the Anderson model in the scaling limit. Annales Henri Poincare. Birkhäuser. https://doi.org/10.1007/s00023-006-0318-0
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2752
Erdös, L., & Salmhofer, M. (2007). Decay of the Fourier transform of surfaces with vanishing curvature. Mathematische Zeitschrift. Springer. https://doi.org/10.1007/s00209-007-0125-4
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3881
De Alfaro, L., Chatterjee, K., Faella, M., & Legay, A. (2007). Qualitative logics and equivalences for probabilistic systems (pp. 237–248). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2007.15
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3887
Chatterjee, K. (2007). Markov decision processes with multiple long-run average objectives (Vol. 4855, pp. 473–484). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-77050-3_39
View | DOI
 

2007 | Thesis | IST-REx-ID: 4559
Chatterjee, K. (2007). Stochastic ω-Regular Games. University of California, Berkeley.
View | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 4626
De Alfaro, L., Henzinger, T. A., & Kupferman, O. (2007). Concurrent reachability games. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2007.07.008
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8512
Kaloshin, V., & Hunt, B. (2007). Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2007.165.89
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1745
Katsaros, G., Rastelli, A., Stoffel, M., Isella, G., Von Känel, H., Bittner, A., … Kern, K. (2006). Investigating the lateral motion of SiGe islands by selective chemical etching. Surface Science. Elsevier. https://doi.org/10.1016/j.susc.2006.04.027
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1747
Rastelli, A., Stoffel, M., Katsaros, G., Tersoff, J., Denker, U., Merdzhanova, T., … Schmidt, O. (2006). Reading the footprints of strained islands. Microelectronics Journal. Elsevier. https://doi.org/10.1016/j.mejo.2006.05.029
View | DOI
 

2006 | Journal Article | IST-REx-ID: 213
Browning, T. D., Heath Brown, R., & Starr, J. (2006). The density of rational points on non-singular hypersurfaces, II. Proceedings of the London Mathematical Society. John Wiley and Sons Ltd. https://doi.org/10.1112/S0024611506015784
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2142
Ehresmann, A., Werner, L., Klumpp, S., Lucht, S., Schmoranzer, H., Mickat, S., … Sukhorukov, V. (2006). Studying the N+2(C2Σ+u → X2Σ+g) fluorescence excited via the 1s−1π* resonance. Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing Ltd. https://doi.org/10.1088/0953-4075/39/2/006
View | DOI
 

2006 | Journal Article | IST-REx-ID: 215
Browning, T. D., & Heath Brown, R. (2006). The density of rational points on non-singular hypersurfaces, I. Bulletin of the London Mathematical Society. Wiley-Blackwell. https://doi.org/10.1112/S0024609305018412
View | DOI
 

2006 | Journal Article | IST-REx-ID: 216
Browning, T. D., Heath Brown, R., & Salberger, P. (2006). Counting rational points on algebraic varieties. Duke Mathematical Journal. Unknown. https://doi.org/10.1215/S0012-7094-06-13236-2
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2431
Wagner, U. (2006). On a geometric generalization of the Upper Bound Theorem (pp. 635–645). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/FOCS.2006.53
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2747
Erdös, L., Schlein, B., & Yau, H. (2006). Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. Communications on Pure and Applied Mathematics. Wiley-Blackwell. https://doi.org/10.1002/cpa.20123
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2745
Elgart, A., Erdös, L., Schlein, B., & Yau, H. (2006). Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons. Archive for Rational Mechanics and Analysis. Springer. https://doi.org/10.1007/s00205-005-0388-z
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 2921
Kolmogorov, V., & Zabih, R. (2006). Graph cut algorithms for binocular stereo with occlusions. In Handbook of Mathematical Models in Computer Vision (pp. 423–427). Springer. https://doi.org/10.1007/0-387-28831-7_26
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3499
Chatterjee, K. (2006). Nash equilibrium for upward-closed objectives (Vol. 4207, pp. 271–286). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/11874683_18
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3890
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2006). The complexity of quantitative concurrent parity games (pp. 678–687). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/10.1145/1109557.1109631
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2006). Strategy improvement for concurrent reachability games (pp. 291–300). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.48
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8514
OTT, W., HUNT, B., & Kaloshin, V. (2006). The effect of projections on fractal sets and measures in Banach spaces. Ergodic Theory and Dynamical Systems. Cambridge University Press. https://doi.org/10.1017/s0143385705000714
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 1444 | OA
Hausel, T. (2005). Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve. In Geometric Methods in Algebra and Number Theory (Vol. 235, pp. 193–217). Springer. https://doi.org/10.1007/0-8176-4417-2_9
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1740
Costantini, G., Rastelli, A., Manzano, C., Acosta Diaz, P., Katsaros, G., Songmuang, R., … Kern, K. (2005). Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems. Journal of Crystal Growth. Elsevier. https://doi.org/10.1016/j.jcrysgro.2004.12.047
View | DOI
 

2005 | Journal Article | IST-REx-ID: 212 | OA
Browning, T. D., & Heath Brown, R. (2005). Counting rational points on hypersurfaces. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter and Co . https://doi.org/10.1515/crll.2005.2005.584.83
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 214 | OA
Browning, T. D., & Heath Brown, R. (2005). Plane curves in boxes and equal sums of two powers. Mathematische Zeitschrift. Unknown. https://doi.org/10.1007/s00209-004-0719-z
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2359 | OA
Lieb, É., Seiringer, R., & Yngvason, J. (2005). Justification of c-number substitutions in bosonic hamiltonians. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.94.080401
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2743
Erdös, L., Hasler, D., & Solovej, J. (2005). Existence of the D0-D4 bound state: A detailed proof. Annales Henri Poincare. Birkhäuser. https://doi.org/10.1007/s00023-005-0205-0
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3763
Shi, L., Yu, Y., Wojtan, C., & Chenney, S. (2005). Controllable motion synthesis in a gaseous medium. The Visual Computer. Springer. https://doi.org/10.1007/s00371-005-0296-0
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee, K. (2005). Two-player nonzero-sum ω-regular games (Vol. 3653, pp. 413–427). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/11539452_32
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3433
Bollback, J. P. (2005). Posterior mapping and posterior predictive distributions. In R. Nielsen (Ed.), Statistical methods in Molecular Evolution (pp. 439–462). Springer. https://doi.org/10.1007/0-387-27733-1
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2005). Model checking discounted temporal properties. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.07.033
View | DOI
 

2004 | Journal Article | IST-REx-ID: 1464 | OA
Hausel, T., & Thaddeus, M. (2004). Generators for the cohomology ring of the moduli space of rank 2 higgs bundles. Proceedings of the London Mathematical Society. Oxford University Press. https://doi.org/10.1112/S0024611503014618
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2356 | OA
Lieb, É., Seiringer, R., & Yngvason, J. (2004). One-dimensional behavior of dilute, trapped Bose gases. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-003-0993-3
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2355 | OA
Lieb, É., & Seiringer, R. (2004). Equivalent forms of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. Springer. https://doi.org/10.1023/B:JOSS.0000019811.15510.27
View | DOI | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 3894
Chatterjee, K., Majumdar, R., & Jurdziński, M. (2004). On Nash equilibria in stochastic games (Vol. 3210, pp. 26–40). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/978-3-540-30124-0_6
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
Barton, N. H., Etheridge, A., & Sturm, A. (2004). Coalescence in a Random Background. Annals of Applied Probability. Institute of Mathematical Statistics.
View | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-24730-2_6
View | DOI
 

2003 | Journal Article | IST-REx-ID: 208
Browning, T. D. (2003). Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. Oxford University Press. https://doi.org/10.1093/qjmath/54.1.11
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2357 | OA
Lieb, É., Seiringer, R., & Yngvason, J. (2003). Poincaré inequalities in punctured domains. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2003.158.1067
View | DOI | Download (ext.)
 

2003 | Book Review | IST-REx-ID: 3139
Chen, H., Hippenmeyer, S., Arber, S., & Frank, E. (2003). Development of the monosynaptic stretch reflex circuit. Current Opinion in Neurobiology. Elsevier. https://doi.org/10.1016/S0959-4388(03)00006-0
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2003). Discounting the future in systems theory. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 1022–1037). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/3-540-45061-0_79
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4169
Montero, J., Kilian, B., Chan, J., Bayliss, P., & Heisenberg, C.-P. J. (2003). Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(03)00505-0
View | DOI | PubMed | Europe PMC
 

2002 | Conference Paper | IST-REx-ID: 4565
Cassez, F., Henzinger, T. A., & Raskin, J. (2002). 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, pp. 134–148). Stanford, CA, USA: Springer. https://doi.org/10.1007/3-540-45873-5_13
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4207
Heisenberg, C.-P. J. (2002). Wnt signalling: Refocusing on Strabismus. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(02)01160-0
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3802 | OA
Bischofberger, J., Geiger, J., & Jonas, P. M. (2002). Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.22-24-10593.2002
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 859
Perelygin, A., Kondrashov, F., Rogozin, I., & Brinton, M. (2002). Evolution of the mouse polyubiquitin C gene. Journal of Molecular Evolution. Springer. https://doi.org/10.1007/s00239-002-2318-0
View | DOI | PubMed | Europe PMC
 

2001 | Conference Paper | IST-REx-ID: 11914
Bharat, K., Chang, B.-W., Henzinger, M. H., & Ruhl, M. (2001). Who links to whom: Mining linkage between Web sites. In 1st IEEE International Conference on Data Mining (pp. 51–58). San Jose, CA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICDM.2001.989500
View | DOI
 

2001 | Book | IST-REx-ID: 3586
Edelsbrunner, H. (2001). Geometry and Topology for Mesh Generation (Vol. 7). Cambridge University Press. https://doi.org/10.1017/CBO9780511530067
View | Files available | DOI
 

2001 | Journal Article | IST-REx-ID: 8522
Kaloshin, V., & Hunt, B. R. (2001). A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I. Electronic Research Announcements of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/s1079-6762-01-00090-7
View | DOI
 

2001 | Journal Article | IST-REx-ID: 8524
Kaloshin, V., & Rodnianski, I. (2001). Diophantine properties of elements of SO(3). Geometric And Functional Analysis. Springer Nature. https://doi.org/10.1007/s00039-001-8222-8
View | DOI
 

2001 | Book Review | IST-REx-ID: 3596
Barton, N. H. (2001). Mendel and mathematics. Trends in Genetics. Elsevier. https://doi.org/10.1016/S0168-9525(01)02315-0
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2985
Trnková, L., Friml, J., & Dračka, O. (2001). Elimination voltammetry of adenine and cytosine mixtures. Bioelectrochemistry. Elsevier. https://doi.org/10.1016/S1567-5394(01)00119-0
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2611
Ruocco, I., Cuello, A., Shigemoto, R., & Ribeiro Da Silva, A. (2001). Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin. Neuroscience. Elsevier. https://doi.org/10.1016/S0306-4522(01)00158-0
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2609
Tamaru, Y., Nomura, S., Mizuno, N., & Shigemoto, R. (2001). Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites. Neuroscience. Elsevier. https://doi.org/10.1016/S0306-4522(01)00305-0
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2419
Wagner, U., & Welzl, E. (2001). A continuous analogue of the Upper Bound Theorem. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-001-0028-9
View | DOI
 

2000 | Journal Article | IST-REx-ID: 11770 | OA
Bharat, K., Broder, A., Dean, J., & Henzinger, M. H. (2000). A comparison of techniques to find mirrored hosts on the WWW. Journal of the American Society for Information Science. Wiley. https://doi.org/10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0
[Published Version] View | DOI | Download Published Version (ext.)
 

2000 | Conference Paper | IST-REx-ID: 4627
De Alfaro, L., & Henzinger, T. A. (2000). Concurrent omega-regular games. In Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science (pp. 141–154). Santa Barbara, CA, USA: IEEE. https://doi.org/10.1109/LICS.2000.855763
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4272
Barton, N. H., & Shpak, M. (2000). The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. Academic Press. https://doi.org/10.1006/tpbi.2000.1455
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 3624
Barton, N. H. (2000). Estimating multilocus linkage disequilibria. Heredity. Nature Publishing Group. https://doi.org/10.1046/j.1365-2540.2000.00683.x
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 3548
Harris, K., Henze, D., Csicsvari, J. L., Hirase, H., & Buzsáki, G. (2000). Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements. Journal of Neurophysiology. American Physiological Society. https://doi.org/10.1152/jn.2000.84.1.401
View | DOI | PubMed | Europe PMC
 

2000 | Conference Paper | IST-REx-ID: 2418
Wagner, U., & Welzl, E. (2000). Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem. In Proceedings of the 16th annual symposium on Computational geometry (pp. 50–56). Clear Water Bay Kowloon, Hong Kong: ACM. https://doi.org/10.1145/336154.336176
View | DOI
 

1999 | Journal Article | IST-REx-ID: 11679
Henzinger, M. H., King, V., & Warnow, T. (1999). Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. Algorithmica. Springer Nature. https://doi.org/10.1007/pl00009268
View | Files available | DOI
 

1999 | Journal Article | IST-REx-ID: 2595
Lafon Cazal, M., Viennois, G., Kühn, R., Malitschek, B., Pin, J., Shigemoto, R., & Bockaërt, J. (1999). mGluR7-like receptor and GABA(B) receptor activation enhance neurotoxic effects of N-methyl-D-aspartate in cultured mouse striatal GABAergic neurones. Neuropharmacology. Elsevier. https://doi.org/10.1016/S0028-3908(99)00124-0
View | DOI | PubMed | Europe PMC
 

1999 | Book (Editor) | IST-REx-ID: 3137
Jonas, P. M., & Monyer, H. (Eds.). (1999). Ionotropic Glutamate Receptors in the CNS (1st ed., Vol. 141). Berlin ; Heidelberg: Springer. https://doi.org/10.1007/978-3-662-08022-1
View | DOI | Download None (ext.)
 

1998 | Conference Paper | IST-REx-ID: 11682
Agarwal, P. K., EppsteinL. J. Guibas, D., & Henzinger, M. H. (1998). Parametric and kinetic minimum spanning trees. In Proceedings of the 39th Annual Symposium on Foundations of Computer Science (pp. 596–605). Palo Alto, CA, United States. https://doi.org/10.1109/SFCS.1998.743510
View | DOI
 

1998 | Journal Article | IST-REx-ID: 11680
Alberts, D., & Henzinger, M. H. (1998). Average-case analysis of dynamic graph algorithms. Algorithmica. Springer Nature. https://doi.org/10.1007/pl00009186
View | Files available | DOI
 

1998 | Journal Article | IST-REx-ID: 1954
Sazanov, L. A., Burrows, P., & Nixon, P. (1998). The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. FEBS Letters. Elsevier. https://doi.org/10.1016/S0014-5793(98)00573-0
View | DOI | PubMed | Europe PMC
 

1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro, L., Henzinger, T. A., & Kupferman, O. (1998). Concurrent reachability games. In Proceedings 39th Annual Symposium on Foundations of Computer Science (pp. 564–575). Palo Alto, CA, United States of America: IEEE. https://doi.org/10.1109/SFCS.1998.743507 
View | DOI
 

1997 | Journal Article | IST-REx-ID: 11765
Henzinger, M. H. (1997). A static 2-approximation algorithm for vertex connectivity and incremental approximation algorithms for edge and vertex connectivity. Journal of Algorithms. Elsevier. https://doi.org/10.1006/jagm.1997.0855
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2581
Lee, T., Kaneko, T., Shigemoto, R., Nomura, S., & Mizuno, N. (1997). Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19971117)388:2&lt;250::AID-CNE5&gt;3.0.CO;2-0
View | DOI | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 3541
Bragin, A., Csicsvari, J. L., Penttonen, M., & Buzsáki, G. (1997). Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies. Neuroscience. Elsevier. https://doi.org/10.1016/S0306-4522(96)00446-0
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2564
Ding, Y., Shigemoto, R., Takada, M., Ohishi, H., Nakanishi, S., & Mizuno, N. (1996). Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19960108)364:2&lt;290::AID-CNE8&gt;3.0.CO;2-0
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2565
Li, J., Ohishi, H., Kaneko, T., Shigemoto, R., Neki, A., Nakanishi, S., & Mizuno, N. (1996). Immunohistochemical localization of a metabotropic glutamate receptor, mGluR7, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)12299-0
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4027
Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., & Stolfi, J. (1996). Lines in space: Combinatorics and algorithms. Algorithmica. Springer. https://doi.org/10.1007/BF01955043
View | DOI
 

1996 | Book Chapter | IST-REx-ID: 4295 | OA
Barton, N. H. (1996). Speciation: more than the sum of its parts. In Current Biology (Vol. 6, pp. 1244–1246). Cell Press. https://doi.org/10.1016/S0960-9822(02)70707-0
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Conference Paper | IST-REx-ID: 4495
Henzinger, T. A., Kupferman, O., & Vardi, M. (1996). A space-efficient on-the-fly algorithm for real-time model checking. In 7th International Conference on Concurrency Theory (Vol. 1119, pp. 514–529). Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-61604-7_73
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 11684
Henzinger, M. H., & King, V. (1995). Fully dynamic biconnectivity and transitive closure. In Proceedings of IEEE 36th Annual Foundations of Computer Science (pp. 664–672). Milwaukee, WI, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/SFCS.1995.492668
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 11806
Henzinger, M. H. (1995). Approximating minimum cuts under insertions. In 22nd International Colloquium on Automata, Languages and Programming (Vol. 944, pp. 280–291). Szeged, Hungary: Springer Nature. https://doi.org/10.1007/3-540-60084-1_81
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 3454
Monyer, H., & Jonas, P. M. (1995). Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices. In B. Sakmann & E. Neher (Eds.), Single-channel recording (pp. 357–373). Plenum. https://doi.org/10.1007/978-1-4419-1229-9_16
View | DOI | Download None (ext.)
 

1995 | Book Chapter | IST-REx-ID: 3455
Jonas, P. M. (1995). Fast application of agonists to isolated membrane patches. In B. Sakmann & E. Neher (Eds.), Single-channel recording (pp. 231–243). Plenum. https://doi.org/10.1007/978-1-4419-1229-9_10
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 3478 | OA
Spruston, N., Jonas, P. M., & Sakmann, B. (1995). Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1995.sp020521
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Conference Paper | IST-REx-ID: 3551
Edelsbrunner, H., Facello, M., Fu, P., & Liang, J. (1995). Measuring proteins and voids in proteins. In Proceedings of the 28th Annual Hawaii International Conference on System Sciences (pp. 256–264). Wailea, HI, United States of America: IEEE. https://doi.org/10.1109/HICSS.1995.375331
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 3639
Barton, N. H. (1995). A general model for the evolution of recombination. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672300033140
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 4035
Chazelle, B., Edelsbrunner, H., Grigni, M., Guibas, L., Sharir, M., & Welzl, E. (1995). Improved bounds on weak ε-nets for convex sets. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02574025
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 3481 | OA
Koh, D., Burnashev, N., & Jonas, P. M. (1995). Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1995.sp020813
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Conference Paper | IST-REx-ID: 11857
Henzinger, M. H. (1994). Fully dynamic cycle-equivalence in graphs. In 35th Annual Symposium on Foundations of Computer Science (pp. 744–755). Santa Fe, NM, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/sfcs.1994.365718
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2489
Akazawa, C., Shigemoto, R., Bessho, Y., Nakanishi, S., & Mizuno, N. (1994). Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.903470112
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 2536 | OA
Nakajima, Y., Iwakabe, H., Akazawa, C., Nawa, H., Shigemoto, R., Mizuno, N., & Nakanishi, S. (1993). Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1016/S0021-9258(19)50280-0
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 3474 | OA
Jonas, P. M., Major, G., & Sakmann, B. (1993). Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1993.sp019965
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Book Chapter | IST-REx-ID: 3568
Edelsbrunner, H. (1993). Geometric algorithms. In Handbook of Convex Geometry (pp. 699–735). North Holland. https://doi.org/10.1016/C2009-0-15705-7
View | DOI | Download None (ext.)
 

1993 | Book Chapter | IST-REx-ID: 4301
Barton, N. H., & Gale, K. (1993). Genetic analysis of hybrid zones. In R. Harrison (Ed.), Hybrid zones and the evolutionary process (pp. 13–45). Oxford University Press. https://doi.org/10.1046/j.1420-9101.1994.7050631.x
View | DOI | Download None (ext.)
 

1993 | Journal Article | IST-REx-ID: 3643
Rouhani, S., & Barton, N. H. (1993). Group selection and the “shifting balance.” Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672300031232
View | DOI | Download None (ext.)
 

1993 | Journal Article | IST-REx-ID: 4045
Chazelle, B., Edelsbrunner, H., Guibas, L., & Sharir, M. (1993). Diameter, width, closest line pair, and parametric searching. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02573973
View | DOI | Download None (ext.)
 

1993 | Journal Article | IST-REx-ID: 4042
Edelsbrunner, H., & Tan, T. (1993). A quadratic time algorithm for the minmax length triangulation. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/0222036
View | DOI | Download None (ext.)
 

Filters and Search Terms

isbn%3D978-331956616-0

Search

Filter Publications