Robert Giegerich

Robert Giegerich

Professor for Practical Computer Science and Bioinformatics, Bielefeld University
Correu electrònic verificat a techfak.uni-bielefeld.de
Citat per 13580
Bioinformatics Combinatorial Algorithms Declarative Programming
Michael Hanus

Michael Hanus

Professor of Computer Science, Institute of Informatics, CAU Kiel
Correu electrònic verificat a informatik.uni-kiel.de
Citat per 6501
Programming Languages Compiler Construction Declarative Programming Functional Programming Logic Programming
Harald Søndergaard

Harald Søndergaard

Computing and Information Systems, The University of Melbourne
Correu electrònic verificat a unimelb.edu.au
Citat per 3908
Program analysis Software verification Logic Declarative programming Artificial intelligence
Peter Schneider-Kamp

Peter Schneider-Kamp

Professor of Computer Science, University of Southern Denmark
Correu electrònic verificat a imada.sdu.dk
Citat per 3798
Artificial Intelligence Automated Reasoning Declarative Programming Programming Languages Software Verification
Herbert Kuchen

Herbert Kuchen

Professor for Practical Computer Science, University of Münster, Germany
Correu electrònic verificat a uni-muenster.de
Citat per 3657
Parallel programming declarative programming testing model-driven software development e-assessment
Yuanlin Zhang

Yuanlin Zhang

Department of Computer Science, Texas Tech University
Correu electrònic verificat a ttu.edu
Citat per 2055
Knowledge Representation and Reasoning … Declarative Programming Applications of KRR
ROSSI GIANFRANCO

ROSSI GIANFRANCO

Professor of Computer Science, Univ. of Parma, Italy
Correu electrònic verificat a math.unipr.it
Citat per 1973
Declarative Programming Programming with Sets Artificial Intelligence
Marina De Vos

Marina De Vos

University of Bath
Correu electrònic verificat a bath.ac.uk
Citat per 1886
Logic Programming Sociotechnical Systems multi-agent systems declarative programming
Péter Szeredi

Péter Szeredi

Budapest University of Technology and Economics
Correu electrònic verificat a cs.bme.hu
Citat per 1355
Declarative Programming Logic Programming Constraints Prolog. Semantic technologies: Semantic … Semantic Integration.
Olof Torgersson

Olof Torgersson

Associate professor, University of Gothenburg
Correu electrònic verificat a chalmers.se
Citat per 1156
Interaction design medical informatics declarative programming intelligent user interfaces
1 - 10