個人資料

Jean-Pierre Jouannaud

LSV, École Normale Supérieure de Paris-Saclay

在 lix.polytechnique.fr 的電子郵件地址已通過驗證

被引用 9746 次

Rewriting Symbolic constraints Type Theory

Francisco Durán

University of Málaga

在 uma.es 的電子郵件地址已通過驗證

被引用 7257 次

Rewriting Formal Verification Component-Based Software Cloud Computing Model-Driven Engineering

Jürgen Giesl

Professor of Computer Science, RWTH Aachen University

在 informatik.rwth-aachen.de 的電子郵件地址已通過驗證

被引用 6388 次

Program Analysis Verification Rewriting Automated Deduction

Rakesh Verma, Rakesh M. Verma, RM Verma, R Verma

Professor of Computer Science, University of Houston

在 uh.edu 的電子郵件地址已通過驗證

被引用 3324 次

Analysis of Algorithms Computational Logic Data Science Rewriting Security Analytics

hans zantema

Eindhoven university of technology

在 tue.nl 的電子郵件地址已通過驗證

被引用 3241 次

algorithms rewriting automated reasoning verification

Jakob Grue Simonsen

Department of Computer Science, University of Copenhagen (DIKU)

在 diku.dk 的電子郵件地址已通過驗證

被引用 3214 次

Computability Complexity Rewriting Information Retrieval Human-Computer Interaction

Jordi Levy

Research Scientist, IIIA-CSIC

在 iiia.csic.es 的電子郵件地址已通過驗證

被引用 2634 次

Logic SAT Satisfiability Automated Deduction Rewriting

Benedikt Schmidt

Snowflake

在 snowflake.com 的電子郵件地址已通過驗證

被引用 2527 次

Formal Methods Security Protocols Cryptography Program Verification Rewriting

Maribel Fernandez

Professor of Computer Science, King's College London

在 kcl.ac.uk 的電子郵件地址已通過驗證

被引用 2512 次

Models of computation Programming Languages Rewriting Security

Delia Kesner

Professor in Computer Science, Université de Paris

在 irif.fr 的電子郵件地址已通過驗證

被引用 2212 次

semantics of programming languages proof theory rewriting concurrenty theory

1 - 10