Get my own profile
Public access
View all13 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Nicholas SmallboneChalmers University of TechnologyVerified email at chalmers.se
Lucas DixonPAIR, Google DeepMindVerified email at google.com
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
Dan RosénUppsala University, dept. of Pharmaceutical BiosciencesVerified email at farmbio.uu.se
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaVerified email at univr.it
Sólrún Halla EinarsdóttirPhD student, Chalmers University of TechnologyVerified email at chalmers.se
Ekaterina KomendantskayaProfessor in Computer Science, Southampton University and Heriot-Watt University, UKVerified email at hw.ac.uk
Jónathan HerasUniversity of La RiojaVerified email at unirioja.es
Richard JohanssonUniversity of Gothenburg and Chalmers University of TechnologyVerified email at gu.se
Maximilian AlgehedQuviq ABVerified email at quviq.com
Dan KuylenstiernaAssociate professor, ChalmersVerified email at chalmers.se
Denitsa SaynovaPhD student, Chalmers University of TechnologyVerified email at chalmers.se
Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Agrin HilmkilMicrosoft ResearchVerified email at microsoft.com
Bastiaan BruinsmaPost Doc, Chalmers University of TechnologyVerified email at chalmers.se
Teun van ErpPost Doc Stellenbosch UniversityVerified email at sun.ac.za
Irene Lobo ValbuenaChalmers University of TechnologyVerified email at chalmers.se
Dilian GurovProfessor in Computer Science, KTH Royal Institute of TechnologyVerified email at kth.se
Philipp RuemmerProfessor in Computer Science, University of RegensburgVerified email at ur.de