- (1995), pp. 313–314 Douc et al. (2018), p. 99
Klenke (2020), p. 494-495
Bouajjani, A.; Drǎgoi, C.; Enea, C.; Rezine, A.; Sighireanu, M. (2010). "Invariant...
-
Carlos (2015-05-13). "Efficient State-Based
CRDTS by Delta-Mutation". In
Bouajjani, Ahmed; Fauconnier,
Hugues (eds.).
Networked Systems.
Lecture Notes in...
- "Hermite
Normal Form". mathworld.wolfram.com.
Retrieved 2016-06-22.
Bouajjani, Ahmed; Maler, Oded (2009-06-19).
Computer Aided Verification: 21st International...
- "Reasoning in the Bernays-Schönfinkel-Ramsey
Fragment of
Separation Logic". In
Bouajjani, Ahmed; Monniaux,
David (eds.). Verification,
Model Checking, and Abstract...
-
replacing the
upper bound of an
interval by ∞ {\displaystyle \infty } .
Ahmed Bouajjani and
Tayssir Touili (2012), "Widening
techniques for
regular tree model...
-
Moshe Y. Vardi: "Alternating
Refinement Relations" (CONCUR 1998)
Ahmed Bouajjani,
Javier Esparza & Oded Maler: "Reachability
Analysis of
Pushdown Automata:...
-
Pushdown Automata:
Application to Model-checking (co-aut****d with
Ahmed Bouajjani and Oded Maler);
several best
paper awards at conferences;
multiple times...
