Qian, Zhenyu
Universität Bremen - Java security, extensions, and semantics; object-oriented, functional, concurrent, logic programming languages; specification languages; compiler construction; program specification, construction and transformation; object-oriented analysis and design; types; lambda-calculus; unification; algebraic semantics; and theorem proving systems.
Quaglia, Francesco
Università di Roma - Fault-tolerant distributed computing, parallel simulation and performance evaluation.
Quinlan, Ross
University of New South Wales - Machine learning and data mining.
Qian, Zhenyu
Universität Bremen - Java security, extensions, and semantics; object-oriented, functional, concurrent, logic programming languages; specification languages; compiler construction; program specification, construction and transformation; object-oriented analysis and design; types; lambda-calculus; unification; algebraic semantics; and theorem proving systems.
Quaglia, Francesco
Università di Roma - Fault-tolerant distributed computing, parallel simulation and performance evaluation.
Quinlan, Ross
University of New South Wales - Machine learning and data mining.
Results: 1 2