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
De La Bretèche R, Browning TD, Derenthal U. On Manin’s conjecture for a certain singular cubic surface. Annales Scientifiques de l’Ecole Normale Superieure. 2007;40(1):1-50. doi:10.1016/j.ansens.2006.12.002
View
| DOI
2007 | Journal Article | IST-REx-ID: 223 | 
Browning TD. Density of integer solutions to diagonal quadratic forms. Monatshefte fur Mathematik. 2007;152(1):13-38. doi:10.1007/s00605-007-0457-5
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2370 |
Lieb É, Seiringer R, Yngvason J. Bose-Einstein condensation and spontaneous symmetry breaking. Reports on Mathematical Physics. 2007;59(3):389-399. doi:10.1016/S0034-4877(07)80074-7
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2373 |
Frank R, Hainzl C, Naboko S, Seiringer R. The critical temperature for the BCS equation at weak coupling. Journal of Geometric Analysis. 2007;17(4):559-567. doi:10.1007/BF02937429
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2750
Erdös L, Salmhofer M, Yau H. Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams. Communications in Mathematical Physics. 2007;271(1):1-53. doi:10.1007/s00220-006-0158-2
View
| DOI
2007 | Journal Article | IST-REx-ID: 2751
Erdös L, Salmhofer M, Yau H. Quantum diffusion for the Anderson model in the scaling limit. Annales Henri Poincare. 2007;8(4):621-685. doi:10.1007/s00023-006-0318-0
View
| DOI
2007 | Journal Article | IST-REx-ID: 2752
Erdös L, Salmhofer M. Decay of the Fourier transform of surfaces with vanishing curvature. Mathematische Zeitschrift. 2007;257(2):261-294. doi:10.1007/s00209-007-0125-4
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3881
De Alfaro L, Chatterjee K, Faella M, Legay A. Qualitative logics and equivalences for probabilistic systems. In: IEEE; 2007:237-248. doi:10.1109/QEST.2007.15
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3887
Chatterjee K. Markov decision processes with multiple long-run average objectives. In: Vol 4855. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:473-484. doi:10.1007/978-3-540-77050-3_39
View
| DOI
2007 | Thesis | IST-REx-ID: 4559
Chatterjee K. Stochastic ω-Regular Games. 2007:1-247.
View
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 4626
De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. Theoretical Computer Science. 2007;386(3):188-217. doi:10.1016/j.tcs.2007.07.008
View
| DOI
2007 | Journal Article | IST-REx-ID: 8512
Kaloshin V, Hunt B. Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I. Annals of Mathematics. 2007;165(1):89-170. doi:10.4007/annals.2007.165.89
View
| DOI
2006 | Journal Article | IST-REx-ID: 1745
Katsaros G, Rastelli A, Stoffel M, et al. Investigating the lateral motion of SiGe islands by selective chemical etching. Surface Science. 2006;600(12):2608-2613. doi:10.1016/j.susc.2006.04.027
View
| DOI
2006 | Journal Article | IST-REx-ID: 1747
Rastelli A, Stoffel M, Katsaros G, et al. Reading the footprints of strained islands. Microelectronics Journal. 2006;37(12):1471-1476. doi:10.1016/j.mejo.2006.05.029
View
| DOI
2006 | Journal Article | IST-REx-ID: 213
Browning TD, Heath Brown R, Starr J. The density of rational points on non-singular hypersurfaces, II. Proceedings of the London Mathematical Society. 2006;93(2):273-303. doi:https://doi.org/10.1112/S0024611506015784
View
| DOI
2006 | Journal Article | IST-REx-ID: 2142
Ehresmann A, Werner L, Klumpp S, 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. 2006;39(2):283-304. doi:10.1088/0953-4075/39/2/006
View
| DOI
2006 | Journal Article | IST-REx-ID: 215
Browning TD, Heath Brown R. The density of rational points on non-singular hypersurfaces, I. Bulletin of the London Mathematical Society. 2006;38(3):401-410. doi:10.1112/S0024609305018412
View
| DOI
2006 | Journal Article | IST-REx-ID: 216
Browning TD, Heath Brown R, Salberger P. Counting rational points on algebraic varieties. Duke Mathematical Journal. 2006;132(3):545-578. doi:10.1215/S0012-7094-06-13236-2
View
| DOI
2006 | Conference Paper | IST-REx-ID: 2431
Wagner U. On a geometric generalization of the Upper Bound Theorem. In: IEEE; 2006:635-645. doi:10.1109/FOCS.2006.53
View
| DOI
2006 | Journal Article | IST-REx-ID: 2747
Erdös L, Schlein B, Yau H. Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. Communications on Pure and Applied Mathematics. 2006;59(12):1659-1741. doi:10.1002/cpa.20123
View
| DOI
2006 | Journal Article | IST-REx-ID: 2745
Elgart A, Erdös L, Schlein B, Yau H. Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons. Archive for Rational Mechanics and Analysis. 2006;179(2):265-283. doi:10.1007/s00205-005-0388-z
View
| DOI
2006 | Book Chapter | IST-REx-ID: 2921
Kolmogorov V, Zabih R. Graph cut algorithms for binocular stereo with occlusions. In: Handbook of Mathematical Models in Computer Vision. Springer; 2006:423-427. doi:10.1007/0-387-28831-7_26
View
| DOI
2006 | Conference Paper | IST-REx-ID: 3499
Chatterjee K. Nash equilibrium for upward-closed objectives. In: Vol 4207. Springer; 2006:271-286. doi:10.1007/11874683_18
View
| DOI
2006 | Conference Paper | IST-REx-ID: 3890
Chatterjee K, De Alfaro L, Henzinger TA. The complexity of quantitative concurrent parity games. In: SIAM; 2006:678-687. doi:10.1145/1109557.1109631
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee K, De Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability games. In: IEEE; 2006:291-300. doi:10.1109/QEST.2006.48
View
| DOI
2006 | Journal Article | IST-REx-ID: 8514
OTT W, HUNT B, Kaloshin V. The effect of projections on fractal sets and measures in Banach spaces. Ergodic Theory and Dynamical Systems. 2006;26(3):869-891. doi:10.1017/s0143385705000714
View
| DOI
2005 | Book Chapter | IST-REx-ID: 1444 |
Hausel T. 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:193-217. doi:10.1007/0-8176-4417-2_9
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 1740
Costantini G, Rastelli A, Manzano C, et al. Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems. Journal of Crystal Growth. 2005;278(1-4):38-45. doi:10.1016/j.jcrysgro.2004.12.047
View
| DOI
2005 | Journal Article | IST-REx-ID: 212 |
Browning TD, Heath Brown R. Counting rational points on hypersurfaces. Journal fur die Reine und Angewandte Mathematik. 2005;(584):83-115. doi:https://doi.org/10.1515/crll.2005.2005.584.83
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 214 |
Browning TD, Heath Brown R. Plane curves in boxes and equal sums of two powers. Mathematische Zeitschrift. 2005;251(2):233-247. doi:10.1007/s00209-004-0719-z
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 2359 |
Lieb É, Seiringer R, Yngvason J. Justification of c-number substitutions in bosonic hamiltonians. Physical Review Letters. 2005;94(8). doi:10.1103/PhysRevLett.94.080401
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 2743
Erdös L, Hasler D, Solovej J. Existence of the D0-D4 bound state: A detailed proof. Annales Henri Poincare. 2005;6(2):247-267. doi:10.1007/s00023-005-0205-0
View
| DOI
2005 | Journal Article | IST-REx-ID: 3763
Shi L, Yu Y, Wojtan C, Chenney S. Controllable motion synthesis in a gaseous medium. The Visual Computer. 2005;21(7):474-487. doi:10.1007/s00371-005-0296-0
View
| DOI
2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee K. Two-player nonzero-sum ω-regular games. In: Vol 3653. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2005:413-427. doi:10.1007/11539452_32
View
| DOI
2005 | Book Chapter | IST-REx-ID: 3433
Bollback JP. Posterior mapping and posterior predictive distributions. In: Nielsen R, ed. Statistical Methods in Molecular Evolution. Springer; 2005:439-462. doi:10.1007/0-387-27733-1
View
| DOI
2005 | Journal Article | IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. Theoretical Computer Science. 2005;345(1):139-170. doi:10.1016/j.tcs.2005.07.033
View
| DOI
2004 | Journal Article | IST-REx-ID: 1464 |
Hausel T, Thaddeus M. Generators for the cohomology ring of the moduli space of rank 2 higgs bundles. Proceedings of the London Mathematical Society. 2004;88(3):632-658. doi:10.1112/S0024611503014618
View
| DOI
| Download (ext.)
2004 | Journal Article | IST-REx-ID: 2356 |
Lieb É, Seiringer R, Yngvason J. One-dimensional behavior of dilute, trapped Bose gases. Communications in Mathematical Physics. 2004;244(2):347-393. doi:10.1007/s00220-003-0993-3
View
| DOI
| Download (ext.)
2004 | Journal Article | IST-REx-ID: 2355 |
Lieb É, Seiringer R. Equivalent forms of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. 2004;115(1-2):185-190. doi: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. On Nash equilibria in stochastic games. In: Vol 3210. Springer; 2004:26-40. doi:10.1007/978-3-540-30124-0_6
View
| DOI
2004 | Journal Article | IST-REx-ID: 4253
Barton NH, Etheridge A, Sturm A. Coalescence in a Random Background. Annals of Applied Probability. 2004;14(2):754-785.
View
| Download (ext.)
2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. In: Vol 2988. Springer; 2004:77-92. doi:10.1007/978-3-540-24730-2_6
View
| DOI
2003 | Journal Article | IST-REx-ID: 208
Browning TD. Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. 2003;54(1):11-31. doi:10.1093/qjmath/54.1.11
View
| DOI
2003 | Journal Article | IST-REx-ID: 2357 |
Lieb É, Seiringer R, Yngvason J. Poincaré inequalities in punctured domains. Annals of Mathematics. 2003;158(3):1067-1080. doi: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. Development of the monosynaptic stretch reflex circuit. Current Opinion in Neurobiology. 2003;13(1):96-102. doi:10.1016/S0959-4388(03)00006-0
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro L, Henzinger TA, Majumdar R. Discounting the future in systems theory. In: Proceedings of the 30th International Colloquium on Automata, Languages and Programming. Vol 2719. Springer; 2003:1022-1037. doi: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-PJ. Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. 2003;13(15):1279-1289. doi:10.1016/S0960-9822(03)00505-0
View
| DOI
| PubMed | Europe PMC
2002 | Conference Paper | IST-REx-ID: 4565
Cassez F, Henzinger TA, Raskin J. 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. Springer; 2002:134-148. doi:10.1007/3-540-45873-5_13
View
| DOI
2002 | Journal Article | IST-REx-ID: 4207
Heisenberg C-PJ. Wnt signalling: Refocusing on Strabismus. Current Biology. 2002;12(19):R657-R659. doi:10.1016/S0960-9822(02)01160-0
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3802 |
Bischofberger J, Geiger J, Jonas PM. Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons. Journal of Neuroscience. 2002;22(24):10593-10602. doi: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. Evolution of the mouse polyubiquitin C gene. Journal of Molecular Evolution. 2002;55(2):202-210. doi:10.1007/s00239-002-2318-0
View
| DOI
| PubMed | Europe PMC
2001 | Conference Paper | IST-REx-ID: 11914
Bharat K, Chang B-W, Henzinger MH, Ruhl M. Who links to whom: Mining linkage between Web sites. In: 1st IEEE International Conference on Data Mining. Institute of Electrical and Electronics Engineers; 2001:51-58. doi:10.1109/ICDM.2001.989500
View
| DOI
2001 | Book | IST-REx-ID: 3586
Edelsbrunner H. Geometry and Topology for Mesh Generation. Vol 7. Cambridge University Press; 2001. doi:10.1017/CBO9780511530067
View
| Files available
| DOI
2001 | Journal Article | IST-REx-ID: 8522
Kaloshin V, Hunt BR. 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. 2001;7(4):17-27. doi:10.1090/s1079-6762-01-00090-7
View
| DOI
2001 | Journal Article | IST-REx-ID: 8524
Kaloshin V, Rodnianski I. Diophantine properties of elements of SO(3). Geometric And Functional Analysis. 2001;11(5):953-970. doi:10.1007/s00039-001-8222-8
View
| DOI
2001 | Book Review | IST-REx-ID: 3596
Barton NH. Mendel and mathematics. Trends in Genetics. 2001;17:420-420. doi:10.1016/S0168-9525(01)02315-0
View
| DOI
2001 | Journal Article | IST-REx-ID: 2985
Trnková L, Friml J, Dračka O. Elimination voltammetry of adenine and cytosine mixtures. Bioelectrochemistry. 2001;54(2):131-136. doi: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. Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin. Neuroscience. 2001;108(1):157-166. doi: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. Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites. Neuroscience. 2001;106(3):481-503. doi:10.1016/S0306-4522(01)00305-0
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 2419
Wagner U, Welzl E. A continuous analogue of the Upper Bound Theorem. Discrete & Computational Geometry. 2001;26(2):205-219. doi:10.1007/s00454-001-0028-9
View
| DOI
2000 | Journal Article | IST-REx-ID: 11770 |
Bharat K, Broder A, Dean J, Henzinger MH. A comparison of techniques to find mirrored hosts on the WWW. Journal of the American Society for Information Science. 2000;51(12):1114-1122. doi: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 TA. Concurrent omega-regular games. In: Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science. IEEE; 2000:141-154. doi:10.1109/LICS.2000.855763
View
| DOI
2000 | Journal Article | IST-REx-ID: 4272
Barton NH, Shpak M. The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. 2000;57(3):249-263. doi:10.1006/tpbi.2000.1455
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3624
Barton NH. Estimating multilocus linkage disequilibria. Heredity. 2000;84(3):373-389. doi: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 JL, Hirase H, Buzsáki G. Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements. Journal of Neurophysiology. 2000;84(1):401-414. doi:10.1152/jn.2000.84.1.401
View
| DOI
| PubMed | Europe PMC
2000 | Conference Paper | IST-REx-ID: 2418
Wagner U, Welzl E. Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem. In: Proceedings of the 16th Annual Symposium on Computational Geometry. ACM; 2000:50-56. doi:10.1145/336154.336176
View
| DOI
1999 | Journal Article | IST-REx-ID: 11679
Henzinger MH, King V, Warnow T. Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. Algorithmica. 1999;24:1-13. doi:10.1007/pl00009268
View
| Files available
| DOI
1999 | Journal Article | IST-REx-ID: 2595
Lafon Cazal M, Viennois G, Kühn R, 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. 1999;38(10):1631-1640. doi:10.1016/S0028-3908(99)00124-0
View
| DOI
| PubMed | Europe PMC
1999 | Book (Editor) | IST-REx-ID: 3137
Jonas PM, Monyer H, eds. Ionotropic Glutamate Receptors in the CNS. Vol 141. 1st ed. Berlin ; Heidelberg: Springer; 1999. doi:10.1007/978-3-662-08022-1
View
| DOI
| Download None (ext.)
1998 | Conference Paper | IST-REx-ID: 11682
Agarwal PK, EppsteinL. J. Guibas D, Henzinger MH. Parametric and kinetic minimum spanning trees. In: Proceedings of the 39th Annual Symposium on Foundations of Computer Science. ; 1998:596-605. doi:10.1109/SFCS.1998.743510
View
| DOI
1998 | Journal Article | IST-REx-ID: 11680
Alberts D, Henzinger MH. Average-case analysis of dynamic graph algorithms. Algorithmica. 1998;20:31-60. doi:10.1007/pl00009186
View
| Files available
| DOI
1998 | Journal Article | IST-REx-ID: 1954
Sazanov LA, Burrows P, Nixon P. The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. FEBS Letters. 1998;429(1):115-118. doi:10.1016/S0014-5793(98)00573-0
View
| DOI
| PubMed | Europe PMC
1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. In: Proceedings 39th Annual Symposium on Foundations of Computer Science. IEEE; 1998:564-575. doi:10.1109/SFCS.1998.743507
View
| DOI
1997 | Journal Article | IST-REx-ID: 11765
Henzinger MH. A static 2-approximation algorithm for vertex connectivity and incremental approximation algorithms for edge and vertex connectivity. Journal of Algorithms. 1997;24(1):194-220. doi:10.1006/jagm.1997.0855
View
| DOI
1997 | Journal Article | IST-REx-ID: 2581
Lee T, Kaneko T, Shigemoto R, Nomura S, Mizuno N. Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat. Journal of Comparative Neurology. 1997;388(2):250-264. doi:10.1002/(SICI)1096-9861(19971117)388:2<250::AID-CNE5>3.0.CO;2-0
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3541
Bragin A, Csicsvari JL, Penttonen M, Buzsáki G. Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies. Neuroscience. 1997;76(4):1187-1203. doi: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. Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat. Journal of Comparative Neurology. 1996;364(2):290-310. doi:10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2565
Li J, Ohishi H, Kaneko T, 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. 1996;204(1-2):9-12. doi: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. Lines in space: Combinatorics and algorithms. Algorithmica. 1996;15(5):428-447. doi:10.1007/BF01955043
View
| DOI
1996 | Book Chapter | IST-REx-ID: 4295 |
Barton NH. Speciation: more than the sum of its parts. In: Current Biology. Vol 6. Cell Press; 1996:1244-1246. doi: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 TA, Kupferman O, Vardi M. A space-efficient on-the-fly algorithm for real-time model checking. In: 7th International Conference on Concurrency Theory. Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:514-529. doi:10.1007/3-540-61604-7_73
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 11684
Henzinger MH, King V. Fully dynamic biconnectivity and transitive closure. In: Proceedings of IEEE 36th Annual Foundations of Computer Science. Institute of Electrical and Electronics Engineers; 1995:664-672. doi:10.1109/SFCS.1995.492668
View
| DOI
1995 | Conference Paper | IST-REx-ID: 11806
Henzinger MH. Approximating minimum cuts under insertions. In: 22nd International Colloquium on Automata, Languages and Programming. Vol 944. Springer Nature; 1995:280–291. doi:10.1007/3-540-60084-1_81
View
| DOI
1995 | Book Chapter | IST-REx-ID: 3454
Monyer H, Jonas PM. Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices. In: Sakmann B, Neher E, eds. Single-Channel Recording. Plenum; 1995:357-373. doi:10.1007/978-1-4419-1229-9_16
View
| DOI
| Download None (ext.)
1995 | Book Chapter | IST-REx-ID: 3455
Jonas PM. Fast application of agonists to isolated membrane patches. In: Sakmann B, Neher E, eds. Single-Channel Recording. Plenum; 1995:231-243. doi:10.1007/978-1-4419-1229-9_10
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 3478 |
Spruston N, Jonas PM, Sakmann B. Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons. Journal of Physiology. 1995;482(Pt 2):325-352. doi: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. Measuring proteins and voids in proteins. In: Proceedings of the 28th Annual Hawaii International Conference on System Sciences. IEEE; 1995:256-264. doi:10.1109/HICSS.1995.375331
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 3639
Barton NH. A general model for the evolution of recombination. Genetical Research. 1995;65(2):123-144. doi: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. Improved bounds on weak ε-nets for convex sets. Discrete & Computational Geometry. 1995;13(1):1-15. doi:10.1007/BF02574025
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 3481 |
Koh D, Burnashev N, Jonas PM. Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. 1995;486(Pt 2):305-312. doi:10.1113/jphysiol.1995.sp020813
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Conference Paper | IST-REx-ID: 11857
Henzinger MH. Fully dynamic cycle-equivalence in graphs. In: 35th Annual Symposium on Foundations of Computer Science. Institute of Electrical and Electronics Engineers; 1994:744-755. doi:10.1109/sfcs.1994.365718
View
| DOI
1994 | Journal Article | IST-REx-ID: 2489
Akazawa C, Shigemoto R, Bessho Y, Nakanishi S, Mizuno N. Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats. Journal of Comparative Neurology. 1994;347(1):150-160. doi:10.1002/cne.903470112
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2536 |
Nakajima Y, Iwakabe H, Akazawa C, 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. 1993;268(16):11868-11873. doi: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 |
Jonas PM, Major G, Sakmann B. Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal of Physiology. 1993;472:615-663. doi: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. Geometric algorithms. In: Handbook of Convex Geometry. North Holland; 1993:699-735. doi:10.1016/C2009-0-15705-7
View
| DOI
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 4301
Barton NH, Gale K. Genetic analysis of hybrid zones. In: Harrison R, ed. Hybrid Zones and the Evolutionary Process. Oxford University Press; 1993:13-45. doi:10.1046/j.1420-9101.1994.7050631.x
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 3643
Rouhani S, Barton NH. Group selection and the “shifting balance.” Genetical Research. 1993;61(2):127-136. doi:10.1017/S0016672300031232
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4045
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. Diameter, width, closest line pair, and parametric searching. Discrete & Computational Geometry. 1993;10(1):183-196. doi:10.1007/BF02573973
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4042
Edelsbrunner H, Tan T. A quadratic time algorithm for the minmax length triangulation. SIAM Journal on Computing. 1993;22(3):527-551. doi:10.1137/0222036
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4506
Henzinger TA, Manna Z, Pnueli A. Towards refining temporal specifications into hybrid systems. In: Grossman R, Nerode A, Ravn A, Rischel H, eds. International Hybrid Systems Workshop. Vol 736. Springer; 1993:60-76. doi:10.1007/3-540-57318-6_24
View
| DOI
| Download None (ext.)