https://drops.dagstuhl.de/entities/volume/DFU-volume-1
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.I
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.1
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.11
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.30
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.45
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.62
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.78
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.90
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.110
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.124
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.136
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.163
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.179
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.196
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.210
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.227
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.246
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.259
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.275
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.289
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.303
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.321
https://drops.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.336
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9052
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9141
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9251
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9271
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9282
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9301
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9311
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9341
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9361
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9371
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9381
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9401
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9411
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9421
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9431
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9432
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9441
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9451
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9461
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9471
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9481
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9491
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9501
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9502
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9511
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10011
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10021
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10031
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10041
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10042
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10051
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10061
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10071
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10081
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10091
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10101
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10102
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10111
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10121
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10141
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10151
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10152
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10161
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10171
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10181
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10191
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10211
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10231
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10232
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10241
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10252
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10261
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10271
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10281
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10291
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10292
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10301
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10302
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10341
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10351
https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10361
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09052.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09141.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09141.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09251.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09271.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09282.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09282.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09282.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09282.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09282.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09282.6
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09282.7
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09301.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09301.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09301.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09311.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09311.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09311.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09341.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09341.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09361.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09361.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09371.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09371.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09371.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09371.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09371.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09371.6
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09381.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09401.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09411.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09411.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09411.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09411.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09411.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09421.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09421.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09421.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09421.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09421.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09421.6
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09421.7
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09421.8
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09431.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09432.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09441.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09441.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09441.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09441.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09441.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09451.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09461.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09461.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09461.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09461.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09461.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09461.6
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09471.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09471.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09471.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09471.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09481.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09491.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09491.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09491.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09501.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09501.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09502.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09511.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09511.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09511.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09511.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09511.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09511.6
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09511.7
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10011.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10021.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10021.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10021.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10021.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10021.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10021.6
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10031.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10031.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10041.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10041.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10041.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10041.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10041.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10042.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10042.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10042.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10042.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10051.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10051.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10051.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10061.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10061.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10061.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10061.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10061.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10061.6
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10071.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10071.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10071.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10071.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10071.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10071.6
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10071.7
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10071.8
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10071.9
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10071.10
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10071.11
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10071.12
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10071.13
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10071.14
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.6
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.7
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.8
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.9
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.10
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.11
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.12
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.13
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.14
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.15
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.16
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.17
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10091.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10091.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10101.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10101.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10101.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10101.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10101.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10101.6
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10102.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10102.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10102.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10102.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.6
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.7
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.8
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.9
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10121.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10121.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10121.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10141.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10141.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10141.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10141.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10151.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10151.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10152.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10152.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10161.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10161.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10161.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10161.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10171.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10171.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10171.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10181.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10181.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10191.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10191.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10191.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10211.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10211.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10231.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10231.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10231.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10231.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10231.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10231.6
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10231.7
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10231.8
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10232.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10241.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10241.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10241.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10252.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10252.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10261.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10261.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10261.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10261.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10271.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10271.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10271.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10271.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10281.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10281.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10281.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10281.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10281.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10281.6
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10281.7
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10281.8
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10281.9
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10281.10
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10281.11
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10281.12
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10281.13
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10281.14
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10291.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10291.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10291.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10291.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10291.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10291.6
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10291.7
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10291.8
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10291.9
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10291.10
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10291.11
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10291.12
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10291.13
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10291.14
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10291.15
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10292.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10301.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10302.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10302.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10302.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10302.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10302.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10302.6
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10341.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10341.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10351.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10351.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10351.3
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10351.4
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10351.5
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10351.6
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10351.7
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10361.1
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10361.2
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10361.3
https://drops.dagstuhl.de/entities/document/10.4230/DagActivityRep.2009.DE
https://drops.dagstuhl.de/entities/volume/OASIcs-volume-14
https://drops.dagstuhl.de/entities/volume/OASIcs-volume-15
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2010.i
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2010.1
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2010.13
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2010.24
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2010.34
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2010.45
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2010.61
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2010.74
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2010.88
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2010.100
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2010.114
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2010.130
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2010.142
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2010.156
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.i
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.1
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.11
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.23
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.36
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.44
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.54
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.64
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.77
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.89
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.90
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.101
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.113
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.124
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.136
https://drops.dagstuhl.de/entities/volume/LIPIcs-volume-5
https://drops.dagstuhl.de/entities/volume/LIPIcs-volume-6
https://drops.dagstuhl.de/entities/volume/LIPIcs-volume-7
https://drops.dagstuhl.de/entities/volume/LIPIcs-volume-8
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2439
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2505
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2440
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2495
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2441
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2442
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2443
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2444
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2445
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2446
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2447
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2448
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2449
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2450
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2496
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2451
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2452
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2453
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2454
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2455
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2456
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2457
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2458
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2459
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2460
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2461
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2463
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2464
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2465
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2466
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2467
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2476
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2468
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2469
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2470
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2471
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2472
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2473
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2462
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2474
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2475
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2477
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2478
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2479
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2480
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2481
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2482
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2483
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2484
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2485
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2486
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2487
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2488
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2489
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2490
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2491
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2492
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2493
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2010.2494
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.i
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.XIII
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.1
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.5
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.7
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.17
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.33
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.49
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.67
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.85
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.103
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.119
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.135
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.151
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.161
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.177
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.193
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.209
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.227
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.243
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.259
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.277
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.295
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.311
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.325
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.341
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.357
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.373
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.385
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2010.401
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.i
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.XI
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.1
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.2
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.4
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.14
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.24
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.34
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.44
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.54
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.64
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.74
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.84
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.94
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.104
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.114
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.124
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.134
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.144
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.154
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.162
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.172
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.182
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.192
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.202
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.212
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.222
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.226
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.236
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.241
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.248
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.255
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.265
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.270
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.277
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.281
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.286
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.289
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.294
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.300
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.303
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.i
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.1
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.13
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.30
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.42
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.65
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.73
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.84
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.96
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.108
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.120
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.133
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.145
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.157
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.169
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.181
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.192
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.204
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.216
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.228
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.240
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.251
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.260
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.272
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.284
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.296
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.308
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.317
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.327
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.338
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.352
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.364
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.376
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.388
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.400
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.412
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.424
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.436
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.447
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.459
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.469
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.481
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.493
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2010.505