Elvira Albert

Elvira Albert

Complutense University of Spain
Vahvistettu sähköpostiosoite verkkotunnuksessa sip.ucm.es
Viittausten määrä 5075
Programming Languages Static Analysis Program Transformation Optimization Concurrency
Germán Puebla

Germán Puebla

Associate Professor
Vahvistettu sähköpostiosoite verkkotunnuksessa fi.upm.es
Viittausten määrä 4859
Programming languages static analysis abstract interpretation optimization program transformation
Cristina Cifuentes

Cristina Cifuentes

Vice President, Oracle
Vahvistettu sähköpostiosoite verkkotunnuksessa oracle.com
Viittausten määrä 4589
Software assurance program analysis program transformation binary translation decompilation
Graham Hutton

Graham Hutton

Professor of Computer Science, University of Nottingham
Vahvistettu sähköpostiosoite verkkotunnuksessa nottingham.ac.uk
Viittausten määrä 2984
Haskell Program Transformation Functional Programming Category Theory
Alberto Pettorossi

Alberto Pettorossi

Professor of Computer Science, University of Roma Tor Vergata
Vahvistettu sähköpostiosoite verkkotunnuksessa iasi.cnr.it
Viittausten määrä 2772
Program Transformation Program Verification Software Model Cheking
Maurizio Proietti

Maurizio Proietti

Research Scientist, CNR-IASI, Italy
Vahvistettu sähköpostiosoite verkkotunnuksessa iasi.cnr.it
Viittausten määrä 2549
Constrained Horn Clauses Program Verification Logic Programming Program Transformation Business Process Modeling
Martin Ward

Martin Ward

Reader in Software Engineering, De Montfort University
Vahvistettu sähköpostiosoite verkkotunnuksessa gkc.org.uk
Viittausten määrä 2187
Program Transformation Program Slicing Software Evolution Formal Methods Reverse Engineering
Puri Arenas

Puri Arenas

Associate Professor
Vahvistettu sähköpostiosoite verkkotunnuksessa sip.ucm.es
Viittausten määrä 1909
Programming Languages Static Analysis Program Transformation Optimization Concurrency
Jose N. Oliveira

Jose N. Oliveira

HASLab / INESC TEC and Universidade do Minho
Vahvistettu sähköpostiosoite verkkotunnuksessa di.uminho.pt
Viittausten määrä 1873
Formal methods program transformation software engineering mathematics of program construction
Akihiko Takano

Akihiko Takano

Professor, National Institute of Informatics/ Professor, University of Tokyo
Vahvistettu sähköpostiosoite verkkotunnuksessa nii.ac.jp
Viittausten määrä 1587
functional programming program transformation interactive information retrieval
1 - 10