Profiles

Pierre-Cyrille Heam

Université de Franche-Comté, Computer Science

Verified email at femto-st.fr

Cited by 2315

Finite Automata Software Verification and Testing

Damián López

VRAIN Valencian Research Institute for Artificial Intelligence - UPV

Verified email at dsic.upv.es

Cited by 2302

Grammatical inference finite automata formal languages

AN Trahtman

Bar-Ilan univrsity

Verified email at macs.biu.ac.il

Cited by 1074

semigroups local testability graphs synchronization finite automata

Dr.Karthikeyan Kaliyaperumal

Associate Professor, IT@ IoT , AMBO University, Ethiopia.

Verified email at ambou.edu.et

Cited by 1050

Artificial Intelligence Finite Automata Data Mining IoT Neural Networks

Manda Rama Narasingarao

Professor of Computer Science and Engineering, GITAM School of Technology, GITAM …

Verified email at gitam.edu

Cited by 694

Applications of Neural Networks Machine Learning Finite Automata Bioinformatics and Software Engineering

Dillon Mayhew

University of Leeds

Verified email at leeds.ac.uk

Cited by 669

Matroid theory monadic second-order logic finite automata algorithm design

Marco Almeida

Instituto de Telecomunicações

Verified email at ncc.up.pt

Cited by 332

Formal language theory finite automata regular expressions

Zdenek Tronicek

State University of New York

Verified email at oneonta.edu

Cited by 199

algorithms finite automata software engineering

Jim Newton

EPITA

Verified email at epita.fr

Cited by 140

Functional programming finite automata

Alexandros Palioudakis

Cited by 123

Finite Automata Computation Mathematical Finance

1 - 10