DOI,IST REx ID,Title of publication
1544,4402,Model Checking on Trees with Path Equivalences
10.1186/1752-0509-1-4,4405,Qualitative networks: A symbolic approach to analyze biological signaling networks
10.1007/978-3-540-71322-7_13,4417,Abstract counterexample-based refinement for powerset domains
10.1145/1286821.1286824,4446,"The embedded machine: Predictable, portable real-time code"
10.1007/978-3-540-73208-2_2,4511,Quantitative generalizations of languages
10.1007/978-3-540-69507-3_7,4514,"Games, time, and probability: Graph models for system design and analysis"
10.1038/nbt1356,4529,Executable cell biology
10.1007/978-3-540-74915-8,4530,CSL: Computer Science Logic 
10.1371/journal.pcbi.0030092,4531,Predictive modeling of signaling crosstalk during C. elegans vulval development
10.1007/978-3-540-71209-1_21,4537,Assume-guarantee synthesis
10.2168/LMCS-3(3:4)2007,4547,Algorithms for omega-regular games with imperfect information
null,4559,"Stochastic ω-Regular Games"
null,4566,A framework for compositional design and analysis of systems
10.1007/s10009-007-0044-z,4567,The software model checker BLAST: Applications to software engineering
10.1007/978-3-540-73420-8_71,4570,Minimum-time reachability in timed games
10.1145/1250734.1250769,4571,Path invariants
10.1007/978-3-540-69738-1_27,4572,Invariant synthesis for combined theories
10.1007/978-3-540-73368-3_51,4573,Configurable software verification: Concretizing the convergence of model checking and program analysis
10.1109/ICWS.2007.32 ,4575,An application of web-service interfaces
10.1016/j.tcs.2007.07.008,4626,Concurrent reachability games