Salvador Lucas

Salvador Lucas

DSIC & VRAIN, Universitat Politècnica de València
Verified email at dsic.upv.es
Cited by 2955
Artificial Intelligence Formal Methods Logic Termination Theorem Proving
Andreas Abel

Andreas Abel

Senior Lecturer at the Department of Computer Science and Engineering, Gothenburg …
Verified email at gu.se
Cited by 2624
Type Theory Functional Programming Verification Termination
Laure Gonnord

Laure Gonnord

University of Lyon - LIP
Verified email at ens-lyon.fr
Cited by 940
Static Analysis Compilation Safety Termination
Thomas Ströder

Thomas Ströder

Professor, FHDW
Verified email at fhdw.de
Cited by 698
Program Analysis and Synthesis Termination Verification Artificial Intelligence and Knowledge … Software Engine
Aleksandar Chakarov

Aleksandar Chakarov

Amazon Web Services (AWS)
Verified email at amazon.com
Cited by 632
Programming Languages and Verification Probabilistic Analysis Termination Invariant Generation
Jera Hensel

Jera Hensel

RWTH Aachen University
Verified email at cs.rwth-aachen.de
Cited by 398
verification termination formal methods
Prajwal Karki

Prajwal Karki

Postdoctorate at Max Planck Institute for Biophysical Chemistry
Verified email at mpibpc.mpg.de
Cited by 381
translation readthrough ribosome termination
Abu Naser Masud

Abu Naser Masud

Mälardalen University
Verified email at mdu.se
Cited by 256
Static Program analysis program verification Termination
Elias Tahhan

Elias Tahhan

Professor of Mathematics, Universidad Simón Bolívar
Verified email at usb.ve
Cited by 88
Combinatorics proof theory termination
Meghan Spoth

Meghan Spoth

University of Maine
Verified email at maine.edu
Cited by 24
paleoclimate westerlies termination
1 - 10