NEWS
New Feature!!!! University Subject Rankings in 12 branches
FOR SCIENTIST REGISTRATION FOR INSTITUTIONAL BULK REGISTRATION
FOR EDIT YOUR UNIVERSITY / INSTITUTION PAGE
Some differences of the AD Scientific Index
New Feature!!!! University Subject Rankings in 12 branches
List without CERN, Statistical Data etc. Only in AD Scientific Index
New Feature!!!! University Subject Rankings in 12 branches
AD
Scientific Index 2024
About Us
Methodology
Compare & Choose
Contact - FAQ
login
Login
person_add
Register
school
University Rankings
subject
University Subject Rankings
place
Country Rankings
insights
i10 Productivity Rankings
insights
Subject Rankings
format_list_numbered
Top 100 Scientists
format_list_numbered
Citation Rankings
format_quote
Top 100 Institutions
local_fire_department
Country Top Lists
Arnaud Carayol
AD Scientific Index 2024
Others
Université Paris-Est Marne-la-Vallée - / France
Paris-Est Créteil University
Edit Form
Registration, Add Profile,
Premium Membership
Ranking &
Analysis
Job
Experiences (0)
Education
Information (0)
Published Books (0)
Book Chapters (0)
Articles (0)
Presentations (0)
Lessons (0)
Projects (0)
Congresses (0)
Editorship, Referee &
Scientific Board (0 )
Patents /
Designs (0)
Academic Grants
& Awards (0)
Artistic
Activities (0)
Certificate / Course
/ Trainings (0)
Association &
Society Memberships (0)
Contact, Office
& Social Media
person_outline
Arnaud Carayol's MOST POPULAR ARTICLES
1-)
The Caucal hierarchy of infinite graphs in terms of logic and higher-order pushdown automata A Carayol, S Wöhrle International Conference on Foundations of Software Technology and …, 2003 1442003
2-)
Recursion schemes and logical reflection CH Broadbent, A Carayol, CHL Ong, O Serre 2010 25th Annual IEEE Symposium on Logic in Computer Science, 120-129, 2010 702010
3-)
Collapsible pushdown automata and labeled recursion schemes: Equivalence, safety and effective selectionA Carayol, O Serre2012 27th Annual IEEE Symposium on Logic in Computer Science, 165-174, 2012492012
4-)
Regular sets of higher-order pushdown stacksA CarayolMathematical Foundations of Computer Science 2005: 30th International …, 2005492005
5-)
A saturation method for collapsible pushdown systemsC Broadbent, A Carayol, M Hague, O SerreInternational Colloquium on Automata, Languages, and Programming, 165-176, 2012452012
ARTICLES
Add your articles
We use cookies to personalize our website and offer you a better experience. If you accept cookies, we can offer you special services.
Cookie Policy
Accept