Perfis

Jean-Pierre Jouannaud

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

E-mail confirmado em lix.polytechnique.fr

Citado por 9720

Rewriting Symbolic constraints Type Theory

Francisco Durán

University of Málaga

E-mail confirmado em uma.es

Citado por 7304

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

Jürgen Giesl

Professor of Computer Science, RWTH Aachen University

E-mail confirmado em informatik.rwth-aachen.de

Citado por 6460

Program Analysis Verification Rewriting Automated Deduction

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

Professor of Computer Science, University of Houston

E-mail confirmado em uh.edu

Citado por 3443

Analysis of Algorithms Computational Logic Data Science Rewriting Security Analytics

Jakob Grue Simonsen

Department of Computer Science, University of Copenhagen (DIKU)

E-mail confirmado em diku.dk

Citado por 3349

Computability Complexity Rewriting Information Retrieval Human-Computer Interaction

hans zantema

Eindhoven university of technology

E-mail confirmado em tue.nl

Citado por 3261

algorithms rewriting automated reasoning verification

Jordi Levy

Research Scientist, IIIA-CSIC

E-mail confirmado em iiia.csic.es

Citado por 2664

Logic SAT Satisfiability Automated Deduction Rewriting

Benedikt Schmidt

Snowflake

E-mail confirmado em snowflake.com

Citado por 2583

Formal Methods Security Protocols Cryptography Program Verification Rewriting

Maribel Fernandez

Professor of Computer Science, King's College London

E-mail confirmado em kcl.ac.uk

Citado por 2542

Models of computation Programming Languages Rewriting Security

Delia Kesner

Professor in Computer Science, Université de Paris

E-mail confirmado em irif.fr

Citado por 2245

semantics of programming languages proof theory rewriting concurrenty theory

1 - 10