Computer Science – Data Structures and Algorithms
Scientist
Computer Science
Data Structures and Algorithms
Scientist
LSV
On Reachability for Hybrid Automata over Bounded Time
On Searching for Small Kochen-Specker Vector Systems (extended version)
On Stabilization in Herman's Algorithm
On Termination for Faulty Channel Machines
On the Complexity of the Equivalence Problem for Probabilistic Automata
No associations
LandOfFree
Joël Ouaknine does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Joël Ouaknine, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Joël Ouaknine will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-25070