The following pages link to Antoine Petit (Q1201864):
Displayed 40 items.
- (Q293377) (redirect page) (← links)
- An extension of the wreath product principle for finite Mazurkiewicz traces (Q293379) (← links)
- Decidability of the star problem in \(A^*\times{}\{ b\}^*\) (Q1201865) (← links)
- An extension of Kleene's and Ochmański's theorems to infinite traces (Q1318685) (← links)
- Recognizable trace languages, distributed automata and the distribution problem (Q1323363) (← links)
- Rational and recognizable complex trace languages (Q1346721) (← links)
- An algebraic approach to data languages and timed languages (Q1398367) (← links)
- Updatable timed automata (Q1885906) (← links)
- An integrable model for first-order three-planet mean motion resonances (Q2241843) (← links)
- Timed substitutions for regular signal-event languages (Q2385194) (← links)
- (Q2743234) (← links)
- (Q2754107) (← links)
- Intersection of Regular Signal-Event (Timed) Languages (Q3511222) (← links)
- Refinements and Abstractions of Signal-Event (Timed) Languages (Q3511223) (← links)
- Modular constructions of distributing automata (Q3569036) (← links)
- (Q3975164) (← links)
- (Q4031678) (← links)
- (Q4035234) (← links)
- (Q4036568) (← links)
- (Q4218111) (← links)
- (Q4260375) (← links)
- (Q4264103) (← links)
- Introduction à l'algorithmique des objets partagés (Q4349778) (← links)
- (Q4381400) (← links)
- (Q4536359) (← links)
- On the power of non-observable actions in timed automata (Q4593936) (← links)
- On the undecidability of deadlock detection in families of nets (Q4596646) (← links)
- (Q4699318) (← links)
- (Q4791839) (← links)
- (Q4807830) (← links)
- (Q4938626) (← links)
- (Q4967236) (← links)
- Removing ε-transitions in timed automata (Q5048956) (← links)
- Deformation Modelling for a Physics-Based Perception System (Q5057904) (← links)
- Non-rigid Tracking Using RGB-D Data (Q5057905) (← links)
- Poset properties of complex traces (Q5096837) (← links)
- (Q5190773) (← links)
- Asynchronous cellular automata for infinite traces (Q5204349) (← links)
- (Q5485974) (← links)
- Computer Aided Verification (Q5900678) (← links)