Concepedia

Paul Gastin

PG

25

Publications

924

Citations

16

H-Index

1991

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

École Normale Supérieure Paris-Saclay

Université Paris Cité

University of Stuttgart

Université de Bordeaux

Paul Gastin is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationVerificationLinguisticsSystems EngineeringLanguageSemantics

Publications per year

1991–2015

25

Publications

25

Weighted automata and weighted logics

Manfred Droste, Paul Gastin · Theoretical Computer Science · 2007 · 222 citations

Logical Automaton, Engineering, Automated Reasoning +4

Characterization of the Expressive Power of Silent Transitions in Timed Automata

Béatrice Bérard, Antoine Petit, Volker Diekert et al. · Fundamenta Informaticae · 1998 · 142 citations

Engineering, Timed Languages, Pushdown Automaton +16

First-order definable languages ∗

Volker Diekert, Paul Gastin · 2008 · 86 citations

A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS

Volker Diekert, Paul Gastin, Manfred Kufleitner · International Journal of Foundations of Computer Science · 2008 · 73 citations

Non-classical Logic, Syntax, Alternation Hierarchy +14

Pure future local temporal logics are expressively complete for Mazurkiewicz traces

Volker Diekert, Paul Gastin · Information and Computation · 2006 · 39 citations

Computational Logic, Engineering, Automated Reasoning +8

Rows per page

1–5 of 25