Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-36089-3_10 | SLE |
Field | DocType | Citations |
Sequence diagram,Programming language,Unified Modeling Language,Computer science,Boolean satisfiability problem,Propositional calculus,Modeling language,Finite-state machine,Software,Software versioning | Conference | 11 |
PageRank | References | Authors |
1.21 | 18 | 8 |
Name | Order | Citations | PageRank |
---|---|---|---|
Magdalena Widl | 1 | 60 | 5.88 |
Armin Biere | 2 | 4106 | 245.11 |
Petra Brosch | 3 | 214 | 17.97 |
Uwe Egly | 4 | 544 | 45.57 |
Marijn J. H. Heule | 5 | 605 | 49.51 |
Gerti Kappel | 6 | 1575 | 349.41 |
Martina Seidl | 7 | 685 | 51.78 |
Hans Tompits | 8 | 1916 | 97.73 |