Research Interests
Author Statistics
#Papers: 105
#Citation: 3468
H-Index: 27
G-Index: 57
Sociability: 5
Diversity: 1
Activity: 1
- 合作者
- 学生
- 导师

Koen Claessen合作论文数
Functional Programming division, Department of Computer Science and Engineering, Chalmers University of Technology31

Bo Joel Svensson合作论文数
Chalmers University of Technology17

Satnam Singh Dhanjal合作论文数
Department of Mechanical Engineering, National Institute of Technology12

Emil Axelsson合作论文数
Chalmers University of Technology11

Geraint Jones合作论文数
6

John Hughes合作论文数
Department of Computing Science, Chalmers University of Technology;Quviq AB6

Per Larsson-Edefors合作论文数
VLSI Research Group
5

Ryan Newton合作论文数
Massachusetts Institute of Technology5

Emily Shriver合作论文数
4

Carl-Johan H. Seger合作论文数
Strategic CAD Labs JFT-104, Intel Corporation4

Per Stenström合作论文数
Department of Computer Science and Engineering, Chalmers University of Technology4

Kjell Jeppson合作论文数
Chalmers University of Technology4

Abhiroop Sarkar合作论文数
Chalmers University of Technology3

Markus Aronsson合作论文数
3

Anders Persson合作论文数
Chalmers University of Technology3

Niklas Eén合作论文数
Cadence Research Labs.3

Wouter Swierstra合作论文数
University of Nottingham3

Erik Axelsson合作论文数
2

Zoltán Horváth合作论文数
Eötvös Loránd University
Eotvos Lorand University, Budapest, Hungary
2

Josef Svenningsson合作论文数
I am a postdoc at the CS department at Chalmers2

Gergely Devai合作论文数
2

Kasyab P. Subramaniyan合作论文数
2

Gunnar Stålmarck合作论文数
Prover Technology AB, Chalmers University of Technology2

Per Bjesse合作论文数
Synopsys2

Andras Vajda合作论文数
2

Magnus Själander合作论文数
Norwegian University of Science and Technolgoy2

Niklas Sörensson合作论文数
2

Tom Melham合作论文数
Department of Computer Science, University of Oxford2

Bo Lyckegård合作论文数
2

Lars J. Svensson合作论文数
Chalmers University of Technology2

P. Larsson-Edefors合作论文数
VLSI Research Group
2

Gábor Páli合作论文数
1

David Engdal合作论文数
1

Mathis Bouverot-Dupuis合作论文数
1

karin keijzer合作论文数
1

Martin Elsman合作论文数
Department of Computer Science, Faculty of Science, University of Copenhagen1

Robert Krook合作论文数
Chalmers University of Technology1

Martin Dybdal合作论文数
1

Henrik Eriksson合作论文数
Department of Technology Management and Economics, Chalmers University of Technology1

Wayne Luk合作论文数
Department of Computing, Faculty of Engineering, Imperial College London1

Laurie J. Hendren合作论文数
Sable Research Group, School of Computer Science, Faculty of Science, McGill University1

Hidehiko Masuhara合作论文数
1

Patrick Schaumont合作论文数
Electrical and Computer Engineering Department, Worcester Polytechnic Institute1

Axel Jantsch合作论文数
Institute of Computer Technology, Fakultat fir Elektrotechnik und Informationstechnik, TU Wien1

Derek Dreyer合作论文数
Max Planck Institute for Software Systems, Max-Planck-Gesellschaft1

Thierry Coquand合作论文数
Department of Computer Science and Engineering, University of Gothenburg1

Mohammad Malkawi合作论文数
1

Máté Tejfel合作论文数
Eötvös Loránd University1

Peter Dybjer合作论文数
Department of Computer Science and Engineering, Chalmers University of Technology1
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn