DOI,IST REx ID,Title of publication
10.1111/j.0014-3820.2005.tb01771.x,4249,Speciation through competition: A critical review
10.1534/genetics.104.032821,4251,Evolution of recombination due to random drift
10.1098/rstb.2005.1667,4252,Theoretical models of selection and mutationon quantitative traits
1550,4367,Boolean Heaps
1542,4404,Synthesis of interface specifications for Java classes
10.1109/RTSS.2005.43,4412,Trading end-to-end latency for composability
10.1145/1064979.1064986,4418,A programmable microkernel for real-time systems
10.1145/1042038.1042039,4454,A classification of symbolic transition systems
10.1007/11603009_18,4455,Quantifying similarities between timed systems
10.1145/1081706.1081713,4456,Permissive interfaces
10.1145/1065910.1065914,4457,Composable code generation for distributed Giotto
DOI: 10.1007/11603009_13,4536,Automatic rectangular refinement of affine hybrid systems
10.1007/11590156_1,4541,Semiperfect-information games
10.1007/11523468_71,4553,The complexity of stochastic Rabin and Streett games
10.1109/LICS.2005.26,4554,Mean-payoff parity games
null,4557,Counterexample-guided planning
10.1007/11560548_7,4560,Verifying quantitative properties using bound functions
10.1145/1060745.1060770,4576,Web service interfaces
10.1007/978-3-540-31984-9_2,4579,Checking memory safety with BLAST
10.1007/1-4020-3532-2_3,4624,Interface-based design