Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Eudes Petonnet

Counting CTL

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Related publications

Monotonic Abstraction-Refinement for CTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Counting Incompossibles

Mind
Philosophy
2017English

WNT Signaling Inhibits CTL Memory Programming

Molecular Immunology
ImmunologyMolecular Biology
2013English

Counting Souls

Demographic Research
Demography
2016English

Counting Defiers

2019English

CTL Model Update for System Modifications

Journal of Artificial Intelligence Research
Artificial Intelligence
2008English

Counting Commutators

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1974English

Quantified CTL: Expressiveness and Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Development of CTL-Based Reading Materials

2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy