Abstract | ||
---|---|---|
The origins of QEST in these diverse communities are reflected in the wide range of topics in the call and the great variety of the submitted and accepted papers. This, of course, makes the selection process challenging but also stimulating. The reviewing ... |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/QEST.2008.40 | QEST |
Keywords | Field | DocType |
selection process,diverse community,accepted paper,great variety,interactive visualization,wide range,counterexamples,debugging,system design,model checking,state space,heuristic search,color,computational modeling,stochastic model,visualization,k,stochastic processes,space exploration | Dependability,Heuristic,Computer science,Visualization,Stochastic process,Theoretical computer science,Interactive visualization,Space exploration,Counterexample,Debugging | Conference |
Citations | PageRank | References |
18 | 0.87 | 17 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Husain Aljazzar | 1 | 212 | 9.05 |
Stefan Leue | 2 | 1199 | 108.55 |