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.

538 Publications


2007 | Journal Article | IST-REx-ID: 219
R. De La Bretèche, T. D. Browning, and U. Derenthal, “On Manin’s conjecture for a certain singular cubic surface,” Annales Scientifiques de l’Ecole Normale Superieure, vol. 40, no. 1. Societe Mathematique de France, pp. 1–50, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 223 | OA
T. D. Browning, “Density of integer solutions to diagonal quadratic forms,” Monatshefte fur Mathematik, vol. 152, no. 1. Springer, pp. 13–38, 2007.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2370 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “Bose-Einstein condensation and spontaneous symmetry breaking,” Reports on Mathematical Physics, vol. 59, no. 3. Elsevier, pp. 389–399, 2007.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2373 | OA
R. Frank, C. Hainzl, S. Naboko, and R. Seiringer, “The critical temperature for the BCS equation at weak coupling,” Journal of Geometric Analysis, vol. 17, no. 4. Springer, pp. 559–567, 2007.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2750
L. Erdös, M. Salmhofer, and H. Yau, “Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams,” Communications in Mathematical Physics, vol. 271, no. 1. Springer, pp. 1–53, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2751
L. Erdös, M. Salmhofer, and H. Yau, “Quantum diffusion for the Anderson model in the scaling limit,” Annales Henri Poincare, vol. 8, no. 4. Birkhäuser, pp. 621–685, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2752
L. Erdös and M. Salmhofer, “Decay of the Fourier transform of surfaces with vanishing curvature,” Mathematische Zeitschrift, vol. 257, no. 2. Springer, pp. 261–294, 2007.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3881
L. De Alfaro, K. Chatterjee, M. Faella, and A. Legay, “Qualitative logics and equivalences for probabilistic systems,” presented at the QEST: Quantitative Evaluation of Systems, 2007, pp. 237–248.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3887
K. Chatterjee, “Markov decision processes with multiple long-run average objectives,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 2007, vol. 4855, pp. 473–484.
View | DOI
 

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

2007 | Journal Article | IST-REx-ID: 4626
L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” Theoretical Computer Science, vol. 386, no. 3. Elsevier, pp. 188–217, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8512
V. Kaloshin and B. Hunt, “Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I,” Annals of Mathematics, vol. 165, no. 1. Princeton University Press, pp. 89–170, 2007.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1745
G. Katsaros et al., “Investigating the lateral motion of SiGe islands by selective chemical etching,” Surface Science, vol. 600, no. 12. Elsevier, pp. 2608–2613, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1747
A. Rastelli et al., “Reading the footprints of strained islands,” Microelectronics Journal, vol. 37, no. 12. Elsevier, pp. 1471–1476, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 213
T. D. Browning, R. Heath Brown, and J. Starr, “The density of rational points on non-singular hypersurfaces, II,” Proceedings of the London Mathematical Society, vol. 93, no. 2. John Wiley and Sons Ltd, pp. 273–303, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2142
A. Ehresmann et al., “Studying the N+2(C2Σ+u → X2Σ+g) fluorescence excited via the 1s−1π* resonance,” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 39, no. 2. IOP Publishing Ltd., pp. 283–304, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 215
T. D. Browning and R. Heath Brown, “The density of rational points on non-singular hypersurfaces, I,” Bulletin of the London Mathematical Society, vol. 38, no. 3. Wiley-Blackwell, pp. 401–410, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 216
T. D. Browning, R. Heath Brown, and P. Salberger, “Counting rational points on algebraic varieties,” Duke Mathematical Journal, vol. 132, no. 3. Unknown, pp. 545–578, 2006.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2431
U. Wagner, “On a geometric generalization of the Upper Bound Theorem,” presented at the FOCS: Foundations of Computer Science, 2006, pp. 635–645.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2747
L. Erdös, B. Schlein, and H. Yau, “Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate,” Communications on Pure and Applied Mathematics, vol. 59, no. 12. Wiley-Blackwell, pp. 1659–1741, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2745
A. Elgart, L. Erdös, B. Schlein, and H. Yau, “Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons,” Archive for Rational Mechanics and Analysis, vol. 179, no. 2. Springer, pp. 265–283, 2006.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 2921
V. Kolmogorov and R. Zabih, “Graph cut algorithms for binocular stereo with occlusions,” in Handbook of Mathematical Models in Computer Vision, Springer, 2006, pp. 423–427.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3499
K. Chatterjee, “Nash equilibrium for upward-closed objectives,” presented at the CSL: Computer Science Logic, 2006, vol. 4207, pp. 271–286.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3890
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “The complexity of quantitative concurrent parity games,” presented at the SODA: Symposium on Discrete Algorithms, 2006, pp. 678–687.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Strategy improvement for concurrent reachability games,” presented at the QEST: Quantitative Evaluation of Systems, 2006, pp. 291–300.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8514
W. OTT, B. HUNT, and V. Kaloshin, “The effect of projections on fractal sets and measures in Banach spaces,” Ergodic Theory and Dynamical Systems, vol. 26, no. 3. Cambridge University Press, pp. 869–891, 2006.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 1444 | OA
T. Hausel, “Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve,” in Geometric Methods in Algebra and Number Theory, vol. 235, Springer, 2005, pp. 193–217.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1740
G. Costantini et al., “Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems,” Journal of Crystal Growth, vol. 278, no. 1–4. Elsevier, pp. 38–45, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 212 | OA
T. D. Browning and R. Heath Brown, “Counting rational points on hypersurfaces,” Journal fur die Reine und Angewandte Mathematik, no. 584. Walter de Gruyter and Co , pp. 83–115, 2005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 214 | OA
T. D. Browning and R. Heath Brown, “Plane curves in boxes and equal sums of two powers,” Mathematische Zeitschrift, vol. 251, no. 2. Unknown, pp. 233–247, 2005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2359 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “Justification of c-number substitutions in bosonic hamiltonians,” Physical Review Letters, vol. 94, no. 8. American Physical Society, 2005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2743
L. Erdös, D. Hasler, and J. Solovej, “Existence of the D0-D4 bound state: A detailed proof,” Annales Henri Poincare, vol. 6, no. 2. Birkhäuser, pp. 247–267, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3763
L. Shi, Y. Yu, C. Wojtan, and S. Chenney, “Controllable motion synthesis in a gaseous medium,” The Visual Computer, vol. 21, no. 7. Springer, pp. 474–487, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
K. Chatterjee, “Two-player nonzero-sum ω-regular games,” presented at the CONCUR: Concurrency Theory, 2005, vol. 3653, pp. 413–427.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3433
J. P. Bollback, “Posterior mapping and posterior predictive distributions,” in Statistical methods in Molecular Evolution, R. Nielsen, Ed. Springer, 2005, pp. 439–462.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” Theoretical Computer Science, vol. 345, no. 1. Elsevier, pp. 139–170, 2005.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 1464 | OA
T. Hausel and M. Thaddeus, “Generators for the cohomology ring of the moduli space of rank 2 higgs bundles,” Proceedings of the London Mathematical Society, vol. 88, no. 3. Oxford University Press, pp. 632–658, 2004.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2356 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “One-dimensional behavior of dilute, trapped Bose gases,” Communications in Mathematical Physics, vol. 244, no. 2. Springer, pp. 347–393, 2004.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2355 | OA
É. Lieb and R. Seiringer, “ Equivalent forms of the Bessis-Moussa-Villani conjecture,” Journal of Statistical Physics, vol. 115, no. 1–2. Springer, pp. 185–190, 2004.
View | DOI | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 3894
K. Chatterjee, R. Majumdar, and M. Jurdziński, “On Nash equilibria in stochastic games,” presented at the CSL: Computer Science Logic, 2004, vol. 3210, pp. 26–40.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
N. H. Barton, A. Etheridge, and A. Sturm, “Coalescence in a Random Background,” Annals of Applied Probability, vol. 14, no. 2. Institute of Mathematical Statistics, pp. 754–785, 2004.
View | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4629
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2004, vol. 2988, pp. 77–92.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 208
T. D. Browning, “Counting rational points on diagonal quadratic surfaces,” Quarterly Journal of Mathematics, vol. 54, no. 1. Oxford University Press, pp. 11–31, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2357 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “Poincaré inequalities in punctured domains,” Annals of Mathematics, vol. 158, no. 3. Princeton University Press, pp. 1067–1080, 2003.
View | DOI | Download (ext.)
 

2003 | Book Review | IST-REx-ID: 3139
H. Chen, S. Hippenmeyer, S. Arber, and E. Frank, “Development of the monosynaptic stretch reflex circuit,” Current Opinion in Neurobiology, vol. 13, no. 1. Elsevier, pp. 96–102, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4628
L. De Alfaro, T. A. Henzinger, and R. Majumdar, “Discounting the future in systems theory,” in Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Eindhoven, The Netherlands, 2003, vol. 2719, pp. 1022–1037.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4169
J. Montero, B. Kilian, J. Chan, P. Bayliss, and C.-P. J. Heisenberg, “Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells,” Current Biology, vol. 13, no. 15. Cell Press, pp. 1279–1289, 2003.
View | DOI | PubMed | Europe PMC
 

2002 | Conference Paper | IST-REx-ID: 4565
F. Cassez, T. A. Henzinger, and J. Raskin, “A comparison of control problems for timed and hybrid systems,” in Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Stanford, CA, USA, 2002, vol. 2289, pp. 134–148.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4207
C.-P. J. Heisenberg, “Wnt signalling: Refocusing on Strabismus,” Current Biology, vol. 12, no. 19. Cell Press, pp. R657–R659, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3802 | OA
J. Bischofberger, J. Geiger, and P. M. Jonas, “Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons,” Journal of Neuroscience, vol. 22, no. 24. Society for Neuroscience, pp. 10593–10602, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 859
A. Perelygin, F. Kondrashov, I. Rogozin, and M. Brinton, “Evolution of the mouse polyubiquitin C gene,” Journal of Molecular Evolution, vol. 55, no. 2. Springer, pp. 202–210, 2002.
View | DOI | PubMed | Europe PMC
 

2001 | Conference Paper | IST-REx-ID: 11914
K. Bharat, B.-W. Chang, M. H. Henzinger, and M. Ruhl, “Who links to whom: Mining linkage between Web sites,” in 1st IEEE International Conference on Data Mining, San Jose, CA, United States, 2001, pp. 51–58.
View | DOI
 

2001 | Book | IST-REx-ID: 3586
H. Edelsbrunner, Geometry and Topology for Mesh Generation, vol. 7. Cambridge University Press, 2001.
View | Files available | DOI
 

2001 | Journal Article | IST-REx-ID: 8522
V. Kaloshin and B. R. Hunt, “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, vol. 7, no. 4. American Mathematical Society, pp. 17–27, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 8524
V. Kaloshin and I. Rodnianski, “Diophantine properties of elements of SO(3),” Geometric And Functional Analysis, vol. 11, no. 5. Springer Nature, pp. 953–970, 2001.
View | DOI
 

2001 | Book Review | IST-REx-ID: 3596
N. H. Barton, “Mendel and mathematics,” Trends in Genetics, vol. 17. Elsevier, pp. 420–420, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2985
L. Trnková, J. Friml, and O. Dračka, “Elimination voltammetry of adenine and cytosine mixtures,” Bioelectrochemistry, vol. 54, no. 2. Elsevier, pp. 131–136, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2611
I. Ruocco, A. Cuello, R. Shigemoto, and A. Ribeiro Da Silva, “Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin,” Neuroscience, vol. 108, no. 1. Elsevier, pp. 157–166, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2609
Y. Tamaru, S. Nomura, N. Mizuno, and R. Shigemoto, “Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites,” Neuroscience, vol. 106, no. 3. Elsevier, pp. 481–503, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2419
U. Wagner and E. Welzl, “A continuous analogue of the Upper Bound Theorem,” Discrete & Computational Geometry, vol. 26, no. 2. Springer, pp. 205–219, 2001.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 11770 | OA
K. Bharat, A. Broder, J. Dean, and M. H. Henzinger, “A comparison of techniques to find mirrored hosts on the WWW,” Journal of the American Society for Information Science, vol. 51, no. 12. Wiley, pp. 1114–1122, 2000.
[Published Version] View | DOI | Download Published Version (ext.)
 

2000 | Conference Paper | IST-REx-ID: 4627
L. De Alfaro and T. A. Henzinger, “Concurrent omega-regular games,” in Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, CA, USA, 2000, pp. 141–154.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4272
N. H. Barton and M. Shpak, “The stability of symmetrical solutions to polygenic models,” Theoretical Population Biology, vol. 57, no. 3. Academic Press, pp. 249–263, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 3624
N. H. Barton, “Estimating multilocus linkage disequilibria,” Heredity, vol. 84, no. 3. Nature Publishing Group, pp. 373–389, 2000.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 3548
K. Harris, D. Henze, J. L. Csicsvari, H. Hirase, and G. Buzsáki, “Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements,” Journal of Neurophysiology, vol. 84, no. 1. American Physiological Society, pp. 401–414, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Conference Paper | IST-REx-ID: 2418
U. Wagner and E. Welzl, “Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem,” in Proceedings of the 16th annual symposium on Computational geometry, Clear Water Bay Kowloon, Hong Kong, 2000, pp. 50–56.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 11679
M. H. Henzinger, V. King, and T. Warnow, “Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology,” Algorithmica, vol. 24. Springer Nature, pp. 1–13, 1999.
View | Files available | DOI
 

1999 | Journal Article | IST-REx-ID: 2595
M. Lafon Cazal et al., “mGluR7-like receptor and GABA(B) receptor activation enhance neurotoxic effects of N-methyl-D-aspartate in cultured mouse striatal GABAergic neurones,” Neuropharmacology, vol. 38, no. 10. Elsevier, pp. 1631–1640, 1999.
View | DOI | PubMed | Europe PMC
 

1999 | Book (Editor) | IST-REx-ID: 3137
P. M. Jonas and H. Monyer, Eds., Ionotropic Glutamate Receptors in the CNS, 1st ed., vol. 141. Berlin ; Heidelberg: Springer, 1999.
View | DOI | Download None (ext.)
 

1998 | Conference Paper | IST-REx-ID: 11682
P. K. Agarwal, D. EppsteinL. J. Guibas, and M. H. Henzinger, “Parametric and kinetic minimum spanning trees,” in Proceedings of the 39th Annual Symposium on Foundations of Computer Science, Palo Alto, CA, United States, 1998, pp. 596–605.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 11680
D. Alberts and M. H. Henzinger, “Average-case analysis of dynamic graph algorithms,” Algorithmica, vol. 20. Springer Nature, pp. 31–60, 1998.
View | Files available | DOI
 

1998 | Journal Article | IST-REx-ID: 1954
L. A. Sazanov, P. Burrows, and P. Nixon, “The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves,” FEBS Letters, vol. 429, no. 1. Elsevier, pp. 115–118, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Conference Paper | IST-REx-ID: 4639
L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” in Proceedings 39th Annual Symposium on Foundations of Computer Science, Palo Alto, CA, United States of America, 1998, pp. 564–575.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 11765
M. H. Henzinger, “A static 2-approximation algorithm for vertex connectivity and incremental approximation algorithms for edge and vertex connectivity,” Journal of Algorithms, vol. 24, no. 1. Elsevier, pp. 194–220, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2581
T. Lee, T. Kaneko, R. Shigemoto, S. Nomura, and N. Mizuno, “Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat,” Journal of Comparative Neurology, vol. 388, no. 2. Wiley-Blackwell, pp. 250–264, 1997.
View | DOI | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 3541
A. Bragin, J. L. Csicsvari, M. Penttonen, and G. Buzsáki, “Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies,” Neuroscience, vol. 76, no. 4. Elsevier, pp. 1187–1203, 1997.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2564
Y. Ding, R. Shigemoto, M. Takada, H. Ohishi, S. Nakanishi, and N. Mizuno, “Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat,” Journal of Comparative Neurology, vol. 364, no. 2. Wiley-Blackwell, pp. 290–310, 1996.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2565
J. Li et al., “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, vol. 204, no. 1–2. Elsevier, pp. 9–12, 1996.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4027
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, and J. Stolfi, “Lines in space: Combinatorics and algorithms,” Algorithmica, vol. 15, no. 5. Springer, pp. 428–447, 1996.
View | DOI
 

1996 | Book Chapter | IST-REx-ID: 4295 | OA
N. H. Barton, “Speciation: more than the sum of its parts,” in Current Biology, vol. 6, Cell Press, 1996, pp. 1244–1246.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Conference Paper | IST-REx-ID: 4495
T. A. Henzinger, O. Kupferman, and M. Vardi, “A space-efficient on-the-fly algorithm for real-time model checking,” in 7th International Conference on Concurrency Theory, Pisa, Italy, 1996, vol. 1119, pp. 514–529.
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 11684
M. H. Henzinger and V. King, “Fully dynamic biconnectivity and transitive closure,” in Proceedings of IEEE 36th Annual Foundations of Computer Science, Milwaukee, WI, United States, 1995, pp. 664–672.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 11806
M. H. Henzinger, “Approximating minimum cuts under insertions,” in 22nd International Colloquium on Automata, Languages and Programming, Szeged, Hungary, 1995, vol. 944, pp. 280–291.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 3454
H. Monyer and P. M. Jonas, “Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices,” in Single-channel recording, B. Sakmann and E. Neher, Eds. Plenum, 1995, pp. 357–373.
View | DOI | Download None (ext.)
 

1995 | Book Chapter | IST-REx-ID: 3455
P. M. Jonas, “Fast application of agonists to isolated membrane patches,” in Single-channel recording, B. Sakmann and E. Neher, Eds. Plenum, 1995, pp. 231–243.
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 3478 | OA
N. Spruston, P. M. Jonas, and B. Sakmann, “Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons,” Journal of Physiology, vol. 482, no. Pt 2. Wiley-Blackwell, pp. 325–352, 1995.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

1995 | Journal Article | IST-REx-ID: 3639
N. H. Barton, “A general model for the evolution of recombination,” Genetical Research, vol. 65, no. 2. Cambridge University Press, pp. 123–144, 1995.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 4035
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, M. Sharir, and E. Welzl, “Improved bounds on weak ε-nets for convex sets,” Discrete & Computational Geometry, vol. 13, no. 1. Springer, pp. 1–15, 1995.
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 3481 | OA
D. Koh, N. Burnashev, and P. M. Jonas, “Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification,” Journal of Physiology, vol. 486, no. Pt 2. Wiley-Blackwell, pp. 305–312, 1995.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Conference Paper | IST-REx-ID: 11857
M. H. Henzinger, “Fully dynamic cycle-equivalence in graphs,” in 35th Annual Symposium on Foundations of Computer Science, Santa Fe, NM, United States, 1994, pp. 744–755.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2489
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, and N. Mizuno, “Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats,” Journal of Comparative Neurology, vol. 347, no. 1. Wiley-Blackwell, pp. 150–160, 1994.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 2536 | OA
Y. Nakajima et al., “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, vol. 268, no. 16. American Society for Biochemistry and Molecular Biology, pp. 11868–11873, 1993.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 3474 | OA
P. M. Jonas, G. Major, and B. Sakmann, “Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus,” Journal of Physiology, vol. 472. Wiley-Blackwell, pp. 615–663, 1993.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Book Chapter | IST-REx-ID: 3568
H. Edelsbrunner, “Geometric algorithms,” in Handbook of Convex Geometry, North Holland, 1993, pp. 699–735.
View | DOI | Download None (ext.)
 

1993 | Book Chapter | IST-REx-ID: 4301
N. H. Barton and K. Gale, “Genetic analysis of hybrid zones,” in Hybrid zones and the evolutionary process, R. Harrison, Ed. Oxford University Press, 1993, pp. 13–45.
View | DOI | Download None (ext.)
 

1993 | Journal Article | IST-REx-ID: 3643
S. Rouhani and N. H. Barton, “Group selection and the ‘shifting balance,’” Genetical Research, vol. 61, no. 2. Cambridge University Press, pp. 127–136, 1993.
View | DOI | Download None (ext.)
 

1993 | Journal Article | IST-REx-ID: 4045
B. Chazelle, H. Edelsbrunner, L. Guibas, and M. Sharir, “Diameter, width, closest line pair, and parametric searching,” Discrete & Computational Geometry, vol. 10, no. 1. Springer, pp. 183–196, 1993.
View | DOI | Download None (ext.)
 

1993 | Journal Article | IST-REx-ID: 4042
H. Edelsbrunner and T. Tan, “A quadratic time algorithm for the minmax length triangulation,” SIAM Journal on Computing, vol. 22, no. 3. SIAM, pp. 527–551, 1993.
View | DOI | Download None (ext.)
 

1993 | Conference Paper | IST-REx-ID: 4506
T. A. Henzinger, Z. Manna, and A. Pnueli, “Towards refining temporal specifications into hybrid systems,” in International Hybrid Systems Workshop, 1993, vol. 736, pp. 60–76.
View | DOI | Download None (ext.)
 

Filters and Search Terms

isbn%3D978-331956616-0

Search

Filter Publications