DOI,IST REx ID,Title of publication
10.1007/s00542-008-0565-8,21512,Modelling of the filling of micro-cavities of finite geometry by amorphous polymers using hot-embossing
10.1002/smll.200800511,13422,"Synthesis, shape control, and optical properties of hybrid Au/Fe3O4 “nanoflowers”"
10.1002/adfm.200800293,13423,Bulk synthesis and surface patterning of nanoporous metals and alloys from supraspherical nanoparticle aggregates
10.1007/s00222-008-0142-x,1460,Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz
10.1016/j.ceb.2008.01.008,1717,The Decapentaplegic morphogen gradient a precise definition
10.1088/1367-2630/10/6/063001,1719,Dynamics of anisotropic tissue growth
10.1021/bi801160u,1967,"Chemical and NADH-induced, ROS-dependent, cross-linking between sublimits of complex I from Escherichia coli and Thermus thermophilus"
10.1016/j.bbabio.2008.03.023,1968,Three-dimensional structure of respiratory complex I from Escherichia coli in ice in the presence of nucleotides
10.1007/978-3-540-70545-1_31,4366,Heap Assumptions on Demand
10.1007/978-3-540-78127-1_26,4371,"Checking Temporal Properties of Discrete, Timed and Continuous Behaviors"
10.1145/1375581.1375626,4384,Model checking transactional memories
10.1007/978-3-540-87779-0_21,4386,Permissiveness in transactional memories
10.1007/978-3-540-85361-9_6,4387,Completeness and nondeterminism in model checking transactional memories
null,4397,CSIsat: Interpolation for LA+EUF
null,4400,Security evaluation of ES&S voting machines and election management system
null,4409,Games for the verification of timed systems
null,4415,Compositionality in deterministic real-time embedded systems
10.1007/978-3-540-89439-1_24,4452,Valigator: A verification tool with bound and invariant generation
10.1098/rsta.2008.0141,4509,Two challenges in embedded systems design: Predictability and robustness
10.1145/1328438.1328459,4521,Proving non-termination