Automata-Theoretic Semantics is a formal framework within theoretical computer science that interprets the meaning of programs or logical formulas by associating them with automata whose behaviors characterize the computational or logical properties of the expressions in a precise, mathematically rigorous manner.
326
Publications
17.1K
Citations
537
Authors
268
Institutions
Publications per year
2017–2026
16
Parents
Publications
326
1–5 of 326
Authors
537
- MY
10
h-index
- DQ
9
h-index
- MB
9
h-index
- MA
6
h-index
- AB
4
h-index
1–5 of 537
Institutions
268
Centre National de la Recherche Scientifique
Paris, France
12 h-index
25 publications
822 citations
University of Warsaw
Warsaw, Poland
11 h-index
22 publications
493 citations
Université Paris Cité
Paris, France
11 h-index
17 publications
1.1K citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
10 h-index
18 publications
638 citations
Sun Yat-sen University
Guangzhou, China
7 h-index
14 publications
630 citations
Stanford University
Stanford, United States
6 h-index
9 publications
1.7K citations
Laboratoire d'Informatique Algorithmique: Fondements et Applications
Paris, France
5 h-index
8 publications
594 citations
Rice University
Houston, United States
5 h-index
7 publications
201 citations
1–8 of 268
Venues
- Theoretical Computer Science
21 publications · 1.1K citations
17
h-index
- Information and Computation
14 publications · 814 citations
13
h-index
- Information and Control
10 publications · 613 citations
10
h-index
- Fuzzy Sets and Systems
8 publications · 409 citations
8
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 7 publications · 183 citations
7
h-index
1–5