_id,title
4340,Open bibliographic data
4341,"Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data"
4346,Handbuch Bibliothek 2.0
4358,Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation
4361,Forward analysis of depth-bounded processes
4362,Runtime verification for software transactional memories
4364,Counterexample-guided focus
4369,From MTL to deterministic timed automata
4378,Building a calculus of data structures
4379,Analog property checkers: a DDR2 case study
4380,A marketplace for cloud resources
4381,FlexPRICE: Flexible provisioning of resources in a cloud environment
4382,Transactions in the jungle
4388,GIST: A solver for probabilistic games
4389,Robustness of sequential circuits
4390,Model checking of linearizability of concurrent list implementations
4392,Quantitative Simulation Games
4393,Simulation distances
4395,Verifying local transformations on relaxed memory models
4396,Shape refinement through explicit heap analysis