Edit Profile (opens in new tab) Mariegaard, Anders Compute Distance To: Compute Author ID: mariegaard.anders Published as: Mariegaard, Anders Documents Indexed: 3 Publications since 2015 Co-Authors: 8 Co-Authors with 3 Joint Publications 231 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Larsen, Kim Guldstrand 1 Christoffersen, Peter F. 1 Enevoldsen, Søren 1 Hansen, Mikkel 1 Jensen, Mathias Claus 1 Mardare, Radu 1 Ringsmose, Julian Trier 1 Srba, Jiří Serials Fields 3 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year