Researchers
281 Pubs
Cited by 9571
Canada
semanticsprobabilistic systemsverificationmachine learningquantum information theory
Cited by 2765
United Kingdom
continuous data typesexact computationcomputational psychiatry/psychotherapy
Cited by 2030
Cited by 11683
United Kingdom
12 Pubs
Cited by 93
Canada
reinforcement learninghierarchical behaviorbisimulation metricsspectral learning
70 Pubs
Cited by 946
Cited by 8637
33 Pubs
Cited by 1092
United States
reinforcement learningmachine learningartificial intelligencecreativitymusic
Cited by 24
10 Pubs
Cited by 385
Cited by 11968
United States
computer architectureparallel systemscompilersapplicationshpc
317 Pubs
Cited by 14716
Cited by 38
151 Pubs
Cited by 2711
United Kingdom
theoretical computer sciencelogiccategory theorycomputational linguisticartificial intelligence
Cited by 200
Cited by 27753
United Kingdom
Cited by 19789
United States
program logic and semanticsalgorithm design and analysiscomplexity theoryautomata theory
Cited by 3091
United Kingdom
quantum cloudquantum verificationquantum cryptography
Cited by 7884
France
differential privacymachine learningfairnessquantitative information flowconcurrency theory
61 Pubs
Cited by 3223
Cited by 3627
France
securityprivacyquantitative information flowformal verification
Cited by 7098
United Kingdom
financial contractscomputational systems biologycomplex systemsprobabilistic systems and models
355 Pubs
Cited by 13359
222 Pubs
Cited by 11201
Goldman Sachs Research
programming languagesconcurrencylogicmachine learningknowledge representation and reasoning
Cited by 2093
Professor of Computer Science, Laval university
verificationprobabilistic systemssecurity
Cited by 1049
Vrije Universiteit Brussel
sensingmobile & cloud technologiesdata-innovationquantum computationamorphous computing
Cited by 29168
Director, Professor Aalborg University
Cited by 2339
Cited by 5684
Unknown affiliation
A Network of Researchers