DOI,IST REx ID,Title of publication
10.1016/S0925-7721(01)00020-7,4002,Design and analysis of planar shape deformation
null,4005,Dynamic skin triangulation
10.3217/jucs-007-05-0379,4006,180 wrapped tubes
10.1007/s00454-001-0007-1,4007,Dynamic skin triangulation
10.1101/gad.194301,4200,A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon
10.1007/s002390010140,4229,"Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae)"
10.1016/S0169-5347(01)02177-2,4264,Theory and speciation
10.1111/j.0014-3820.2001.tb01310.x,4265,Selection for recombination in small populations
10.1046/j.1365-294X.2001.01216.x,4266,The role of hybridization in evolution
null,4267,Adaptation at the edge of a species' range
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