Jean-Pierre Jouannaud

Jean-Pierre Jouannaud

LSV, École Normale Supérieure de Paris-Saclay
在 lix.polytechnique.fr 的电子邮件经过验证
被引用次数：9755
Rewriting Symbolic constraints Type Theory
Francisco Durán

Francisco Durán

University of Málaga
在 uma.es 的电子邮件经过验证
被引用次数：7266
Rewriting Formal Verification Component-Based Software Cloud Computing Model-Driven Engineering
Jürgen Giesl

Jürgen Giesl

Professor of Computer Science, RWTH Aachen University
在 informatik.rwth-aachen.de 的电子邮件经过验证
被引用次数：6422
Program Analysis Verification Rewriting Automated Deduction
Rakesh Verma, Rakesh M. Verma, RM Verma, R Verma

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

Professor of Computer Science, University of Houston
在 uh.edu 的电子邮件经过验证
被引用次数：3358
Analysis of Algorithms Computational Logic Data Science Rewriting Security Analytics
hans zantema

hans zantema

Eindhoven university of technology
在 tue.nl 的电子邮件经过验证
被引用次数：3245
algorithms rewriting automated reasoning verification
Jakob Grue Simonsen

Jakob Grue Simonsen

Department of Computer Science, University of Copenhagen (DIKU)
在 diku.dk 的电子邮件经过验证
被引用次数：3241
Computability Complexity Rewriting Information Retrieval Human-Computer Interaction
Jordi Levy

Jordi Levy

Research Scientist, IIIA-CSIC
在 iiia.csic.es 的电子邮件经过验证
被引用次数：2639
Logic SAT Satisfiability Automated Deduction Rewriting
Benedikt Schmidt

Benedikt Schmidt

Snowflake
在 snowflake.com 的电子邮件经过验证
被引用次数：2544
Formal Methods Security Protocols Cryptography Program Verification Rewriting
Maribel Fernandez

Maribel Fernandez

Professor of Computer Science, King's College London
在 kcl.ac.uk 的电子邮件经过验证
被引用次数：2527
Models of computation Programming Languages Rewriting Security
Delia Kesner

Delia Kesner

Professor in Computer Science, Université de Paris
在 irif.fr 的电子邮件经过验证
被引用次数：2231
semantics of programming languages proof theory rewriting concurrenty theory
1 - 10