DOI,IST REx ID,Title of publication
null,4340,Open bibliographic data
null,4341,"Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data"
10.1515/9783110232103,4346,Handbuch Bibliothek 2.0
10.1093/gbe/evq031,4358,Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation
10.1007/978-3-642-12032-9_8,4361,Forward analysis of depth-bounded processes
10.1007/978-3-642-16612-9_32,4362,Runtime verification for software transactional memories
10.1145/1707801.1706330,4364,Counterexample-guided focus
10.1007/978-3-642-15297-9_13,4369,From MTL to deterministic timed automata
10.1007/978-3-642-11319-2_6,4378,Building a calculus of data structures
10.1007/s10703-009-0085-x,4379,Analog property checkers: a DDR2 case study
10.1145/1879021.1879022,4380,A marketplace for cloud resources
10.1109/CLOUD.2010.71,4381,FlexPRICE: Flexible provisioning of resources in a cloud environment
10.1145/1810479.1810529,4382,Transactions in the jungle
10.1007/978-3-642-14295-6_57,4388,GIST: A solver for probabilistic games
10.1109/ACSD.2010.26,4389,Robustness of sequential circuits
10.1007/978-3-642-14295-6_41,4390,Model checking of linearizability of concurrent list implementations
10.1007/978-3-642-13754-9_3,4392,Quantitative Simulation Games
10.1007/978-3-642-15375-4_18,4393,Simulation distances
10.1007/978-3-642-11970-5_7,4395,Verifying local transformations on relaxed memory models
10.1007/978-3-642-12029-9_19,4396,Shape refinement through explicit heap analysis