DOI,IST REx ID,Title of publication
10.1109/ICCAD.2000.896481,4483,Decomposing refinement proofs using assume-guarantee reasoning
10.1007/3-540-44929-9_38,4512,Masaccio: A formal model for embedded components
10.1007/978-3-642-59615-5,4513,The theory of hybrid automata
10.1109/5.871304 ,4598,Discrete abstractions of hybrid systems
10.1109/LICS.2000.855763,4627,Concurrent omega-regular games
10.1007/3-540-44618-4_33,4637,The control of synchronous systems
10.1007/10722167_17,4638,Detecting errors before reaching them
10.1016/S0168-9525(00)02059-X,842,No footprints of primordial introns in a eukaryotic genome
10.1007/s002200050811,8525,Generic diffeomorphisms with superexponential growth of number of periodic orbits
10.1074/jbc.M000032200 ,3149,Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion
10.1523/JNEUROSCI.20-15-05594.2000,3489,Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse
10.1523/JNEUROSCI.20-22-08290.2000,3490,Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels
10.1126/science.287.5451.295,3491,Distal initiation and active propagation of action potentials in interneuron dendrites
10.1016/S0896-6273(00)00164-1,3492,Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons
10.1152/jn.2000.84.1.390,3532,Intracellular features predicted by extracellular recordings in the hippocampus in vivo
10.1016/S0896-6273(00)00135-5,3542,Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events
10.1152/jn.2000.84.1.401,3548,Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements
10.1145/335305.335338,3555,Smoothing and cleaning up slivers
null,3572,Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung
10.1017/S0962492900001331,3583,Triangulations and meshes in computational geometry