Audine Subias

Centre National de la Recherche Scientifique

Papers

2

Total Citations

35

H-Index

2

About

No biography available yet.

Research Focus

Artificial intelligence2 · 35 citations
Theoretical computer science2 · 35 citations
Computer science2 · 35 citations
Mathematics2 · 35 citations
Model checking1 · 33 citations
Certainty1 · 33 citations
Data mining1 · 33 citations
Event (particle physics)1 · 33 citations
Algorithm1 · 33 citations
Petri net1 · 33 citations
Programming language1 · 33 citations
Property (philosophy)1 · 33 citations

Key Achievements

2
H-Index
2
Papers
35
Total Citations
18
Avg Citations/Paper
🏆 Most Cited Paper
Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking Approach
33 citations · 2021
📈 Most Prolific Year: 2021 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Centre National de la Recherche Scientifique

Top Papers

  1. 1
    Diagnosability of Event Patterns in Safe Labeled Time Petri Nets: A Model-Checking Approach
    33 citations · 2021
  2. 2
    Dynamics-Based Identification of Hybrid Systems using Symbolic Regression
    2 citations · 2024

Key Collaborators

LTLouise Travé-Massuyès1 shared papersMSMaximilian Schmidt1 shared papersYPYannick Pencolé1 shared papersSPSwantje Plambeck1 shared papersGFGörschwin Fey1 shared papers
Not generated yet