Michael Hanus

Michael Hanus

Professor of Computer Science, Institute of Informatics, CAU Kiel
Verified email at informatik.uni-kiel.de
Cited by 6408
Programming Languages Compiler Construction Declarative Programming Functional Programming Logic Programming
William M. Waite

William M. Waite

Professor of Electrical and Computer Engineering, University of Colorado
Verified email at colorado.edu
Cited by 3411
Compiler construction
Markus Weinhardt

Markus Weinhardt

Professor, Osnabrück University of Applied Sciences
Verified email at hs-osnabrueck.de
Cited by 2941
Hardware/Software-Codesign Reconfigurable Hardware Compiler Construction Image Processing
Bastiaan Heeren

Bastiaan Heeren

Open University of the Netherlands
Verified email at ou.nl
Cited by 2270
Software Technology CS Education ITS Functional Programming Compiler Construction
Pinaki Chakraborty

Pinaki Chakraborty

Department of Computer Science and Engineering, Netaji Subhas University of Technology …
Verified email at nsut.ac.in
Cited by 1994
Educational software compiler construction operating systems human-computer interaction
Ghassem Jaberipur

Ghassem Jaberipur

Professor for the Brain Pool Program in Chosun University, Gwangju, South Korea, SBU …
Verified email at sbu.ac.ir
Cited by 1528
Computer Arithmetic Compiler Construction
Matthew Fluet

Matthew Fluet

Rochester Institute of Technology
Verified email at cs.rit.edu
Cited by 1321
functional programming compiler construction program analysis type systems parallelism and concurrency
Bettina Heim

Bettina Heim

Microsoft
Verified email at microsoft.com
Cited by 874
quantum physics compiler construction optimization
Mikael Zayenz Lagerkvist

Mikael Zayenz Lagerkvist

R&D at OptiSchedule
Verified email at kth.se
Cited by 860
Constraint programming optimization compiler construction formal methods geometric algorithms
Wolfram Amme

Wolfram Amme

Friedrich-Schiller-University
Verified email at uni-jena.de
Cited by 743
Compiler construction
1 - 10