@article(atl,
 author       = {Rajeev Alur and Thomas A. Henzinger and Orna Kupferman},
 year         = {2002},
 title        = {Alternating-Time Temporal Logic},
 journal      = {J. ACM},
 volume       = {49},
 number       = {5},
 pages        = {672–713},
 doi          = {10.1145/585265.585270},
)
@inproceedings(Clarke1982ctl,
 author       = {Edmund M. Clarke and E. Allen Emerson},
 year         = {1982},
 title        = {Design and synthesis of synchronization skeletons using branching time temporal logic},
 editor       = {Dexter Kozen},
 booktitle    = {Logics of Programs},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {52--71},
 doi          = {10.1007/BFb0025774},
)
@book(Clarke2018Handbook,
 author       = {Edmund M Clarke and Thomas A Henzinger and Helmut Veith and Roderick Bloem},
 year         = {2018},
 title        = {Handbook of model checking},
 volume       = {10},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-10575-8},
)
@inproceedings(dalsgaard,
 author       = {{Dalsgaard, Andreas E. and Enevoldsen, S{\o}ren and Fogh, Peter and Jensen, Lasse S. and Jepsen, Tobias S. and Kaufmann, Isabella and Larsen, Kim G. and Nielsen, S{\o}ren M. and Olesen, Mads Chr. and Pastva, Samuel and Srba, Ji{\v{r}}{\'i}}},
 year         = {2017},
 title        = {Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation},
 editor       = {Wil van der Aalst and Eike Best},
 booktitle    = {Application and Theory of Petri Nets and Concurrency},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {139--158},
 doi          = {10.1007/978-3-319-57861-3\_10},
)
@article(mcjensen2020patl,
 author       = {S{\o}ren Enevoldsen and Mathias Claus Jensen and Kim Guldstrand Larsen and Anders Mariegaard and Ji{\v{r}}{\'i} Srba},
 year         = {2020},
 title        = {Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs},
 journal      = {LOPSTR2020},
 doi          = {10.1007/978-3-030-68446-4\_13},
)
@article(senevoldsen2022abstractDG,
 author       = {S{\o}ren Enevoldsen and Kim Guldstrand Larsen and Jir{\'{\i}} Srba},
 year         = {2022},
 title        = {Extended abstract dependency graphs},
 journal      = {Int. J. Softw. Tools Technol. Transf.},
 volume       = {24},
 number       = {1},
 pages        = {49--65},
 doi          = {10.1007/s10009-021-00638-8},
)
@inproceedings(jeh2001simrank,
 author       = {Glen Jeh and Jennifer Widom},
 year         = {2002},
 title        = {SimRank: a measure of structural-context similarity},
 booktitle    = {Proceedings of the Eighth {ACM} {SIGKDD} International Conference on Knowledge Discovery and Data Mining, July 23-26, 2002, Edmonton, Alberta, Canada},
 publisher    = {{ACM}},
 pages        = {538--543},
 doi          = {10.1145/775047.775126},
)
@inbook(Jensen2016Tapaal,
 author       = {Jonas F. Jensen and Thomas Nielsen and Lars K. Oestergaard and Ji{\v{r}}{\'i} Srba},
 year         = {2016},
 title        = {TAPAAL and Reachability Analysis of P/T Nets},
 pages        = {307--318},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-662-53401-4\_16},
)
@article(weightedCTL,
 author       = {{Jonas Finnemann} Jensen and {Kim Guldstrand} Larsen and Jiri Srba and {\O}stergaard, {Lars Kaerlund}},
 year         = {2016},
 title        = {Efficient model-checking of weighted CTL with upper-bound constraints},
 journal      = {International Journal on Software Tools for Technology Transfer},
 volume       = {18},
 number       = {4},
 pages        = {409--426},
 doi          = {10.1007/s10009-014-0359-5},
)
@article(probabilisticCTL,
 author       = {{Mathias Claus} Jensen and {Anders} Mariegaard and {Kim Guldstrand} Larsen},
 year         = {2019},
 title        = {Symbolic model checking of weighted PCTL using dependency graphs},
 journal      = {NASA Formal Methods Symposium},
 pages        = {298--315},
 doi          = {10.1007/978-3-030-20652-9\_20},
)
@inproceedings(Parker2011Prism,
 author       = {M. Kwiatkowska and G. Norman and D. Parker},
 year         = {2011},
 title        = {{PRISM} 4.0: Verification of Probabilistic Real-time Systems},
 editor       = {G. Gopalakrishnan and S. Qadeer},
 booktitle    = {Proc. 23rd International Conference on Computer Aided Verification (CAV'11)},
 series       = {LNCS},
 volume       = {6806},
 publisher    = {Springer},
 pages        = {585--591},
 doi          = {10.1007/978-3-642-22110-1\_47},
)
@inproceedings(Kwiatkowska2020PrismGames,
 author       = {M. Kwiatkowska and G. Norman and D. Parker and G. Santos},
 year         = {2020},
 title        = {{PRISM}-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time},
 booktitle    = {Proc. 32nd International Conference on Computer Aided Verification (CAV'20)},
 series       = {LNCS},
 volume       = {12225},
 publisher    = {Springer},
 pages        = {475--487},
 doi          = {10.1007/978-3-030-53291-8\_25},
)
@article(lee20153396,
 author       = {Sangkeun Lee and Minsuk Kahng and Sang goo Lee},
 year         = {2015},
 title        = {Constructing compact and effective graphs for recommender systems via node and edge aggregations},
 journal      = {Expert Systems with Applications},
 volume       = {42},
 number       = {7},
 pages        = {3396--3409},
 doi          = {10.1016/j.eswa.2014.11.062},
)
@inproceedings(Liu1998SimpleLA,
 author       = {Xinxin Liu and Scott A. Smolka},
 year         = {1998},
 title        = {Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract)},
 editor       = {Kim Guldstrand Larsen and Sven Skyum and Glynn Winskel},
 booktitle    = {Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1443},
 publisher    = {Springer},
 pages        = {53--66},
 doi          = {10.1007/BFb0055040},
)
@techreport(Page1998PageRank,
 author       = {Lawrence Page and Sergey Brin and Rajeev Motwani and Terry Winograd},
 year         = {1998},
 title        = {{The PageRank Citation Ranking: Bringing Order to the Web}},
 type         = {Technical Report},
 institution  = {Stanford Digital Library Technologies Project},
 url          = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.1768},
)