DOI,IST REx ID,Title of publication
10.1007/BFb0028745,4489,From pre-historic to post-modern symbolic model checking
10.1007/BFb0055086,4490,The regular real-time languages
10.1109/9.664156 ,4491,Algorithmic analysis of nonlinear hybrid systems
10.1006/jcss.1998.1581,4492,What's decidable about hybrid automata?
10.1007/BFb0055640,4515,It's about time: Real-time logics reviewed
10.1007/BFb0055622,4603,Alternating refinement relations
10.1007/BFb0028774,4604,Mocha: Modularity in model checking
10.1007/BFb0054181,4606,Symbolic exploration of transition hierarchies
10.1109/SFCS.1998.743507  ,4639,Concurrent reachability games
10.1088/0951-7715/10/5/002,8527,How projections affect the dimension spectrum of fractal measures
10.1007/bf02466014,8528,Prevalence in the space of finitely smooth maps
10.1145/265924.265925,11666,Continuous profiling: Where have all the cycles gone?
10.1006/jagm.1997.0855,11765,A static 2-approximation algorithm for vertex connectivity and incremental approximation algorithms for edge and vertex connectivity
10.1006/jcss.1997.1493,11767,Faster shortest-path algorithms for planar graphs
10.1007/3-540-63165-8_214,11803,Maintaining minimum spanning trees in dynamic graphs
10.1145/269005.266637,11849,Continuous profiling: Where have all the cycles gone?
10.1002/(sici)1098-2418(199712)11:4<369::aid-rsa5>3.0.co;2-x,11883,Sampling to provide or to bound: With applications to fully dynamic graph algorithms
10.1002/(SICI)1096-9861(19970217)378:3&lt;320::AID-CNE2&gt;3.0.CO;2-5,2493,Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus
10.1016/S0304-3940(97)13429-2,2575,"Localization of a metabotropic glutamate receptor, mGluR7, in axon terminals of presumed nociceptive, primary afferent fibers in the superficial layers of the spinal dorsal horn: An electron microscope study in the rat"
10.1002/(SICI)1096-9861(19970224)378:4&lt;508::AID-CNE6&gt;3.0.CO;2-6,2576,Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat