DOI,IST REx ID,Title of publication
null,4278,The evolutionary consequences of gene flow and local adaptation: Future approaches
10.1007/3-540-45449-7,4449,EMSOFT: Embedded Software
10.1109/.2001.980714,4475,Some lessons from the HYTECH experience
10.1007/3-540-45351-2_24,4477,Assume-guarantee reasoning for hierarchical hybrid systems
10.1145/384197.384208,4478,Embedded control systems development with Giotto
10.1007/3-540-45449-7_12,4479,Giotto: A time-triggered language for embedded programming
10.1109/DASC.2001.964169,4564,A reusable and platform-independent framework for distributed control systems
10.1023/A:1008767206905,4599,Partial-order reduction in symbolic state-space exploration
10.1109/ICSE.2001.919196,4600,jMocha: A model-checking tool that exploits design structure
10.1145/503209.503226,4622,Interface automata
10.1007/3-540-45449-7_11,4623,Interface theories for component-based design
10.1007/3-540-44685-0_24,4632,Compositional methods for probabilistic systems
10.1007/3-540-44685-0_36,4633,Symbolic algorithms for infinite-state games
10.1007/3-540-44685-0_38,4634,"The control of synchronous systems, Part II"
null,4635,MCWEB: A model-checking tool for web-site debugging
10.1109/LICS.2001.932504,4636,From verification to control: dynamic programs for omega-regular objectives
10.1159/000016374,12925,Structure and Function of the Ion Channel ICln
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.1109/LEOS.2000.890656,1736,"Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems"