Germán Puebla

Germán Puebla

Associate Professor
在 fi.upm.es 的电子邮件经过验证
被引用次数：4804
Programming languages static analysis abstract interpretation optimization program transformation
Cristina Cifuentes

Cristina Cifuentes

Vice President, Oracle
在 oracle.com 的电子邮件经过验证
被引用次数：4576
Software assurance program analysis program transformation binary translation decompilation
Elvira Albert

Elvira Albert

Complutense University of Spain
在 sip.ucm.es 的电子邮件经过验证
被引用次数：4414
Programming Languages Static Analysis Program Transformation Optimization Concurrency
Graham Hutton

Graham Hutton

Professor of Computer Science, University of Nottingham
在 nottingham.ac.uk 的电子邮件经过验证
被引用次数：2951
Haskell Program Transformation Functional Programming Category Theory
Alberto Pettorossi

Alberto Pettorossi

Professor of Computer Science, University of Roma Tor Vergata
在 iasi.cnr.it 的电子邮件经过验证
被引用次数：2726
Program Transformation Program Verification Software Model Cheking
Maurizio Proietti

Maurizio Proietti

Research Scientist, CNR-IASI, Italy
在 iasi.cnr.it 的电子邮件经过验证
被引用次数：2499
Constrained Horn Clauses Program Verification Logic Programming Program Transformation Business Process Modeling
Martin Ward

Martin Ward

Reader in Software Engineering, De Montfort University
在 gkc.org.uk 的电子邮件经过验证
被引用次数：2175
Program Transformation Program Slicing Software Evolution Formal Methods Reverse Engineering
Jose N. Oliveira

Jose N. Oliveira

HASLab / INESC TEC and Universidade do Minho
在 di.uminho.pt 的电子邮件经过验证
被引用次数：1989
Formal methods program transformation software engineering mathematics of program construction
Puri Arenas

Puri Arenas

Associate Professor
在 sip.ucm.es 的电子邮件经过验证
被引用次数：1876
Programming Languages Static Analysis Program Transformation Optimization Concurrency
Akihiko Takano

Akihiko Takano

Professor, National Institute of Informatics/ Professor, University of Tokyo
在 nii.ac.jp 的电子邮件经过验证
被引用次数：1557
functional programming program transformation interactive information retrieval
1 - 10