×

zbMATH — the first resource for mathematics

Bouajjani, Ahmed

Compute Distance To:
Author ID: bouajjani.ahmed
Published as: Bouajjani, A.; Bouajjani, Ahmed
Documents Indexed: 95 Publications since 1989, including 5 Books
all top 5

Co-Authors

2 single-authored
15 Enea, Constantin
15 Habermehl, Peter
12 Abdulla, Parosh Aziz
12 Touili, Tayssir
12 Vojnar, Tomáš
11 Atig, Mohamed Faouzi
9 Sighireanu, Mihaela
7 Emmi, Michael
7 Esparza, Javier
6 Hamza, Jad
5 Dragoi, Cezara
4 Fernandez, Jean-Claude
4 Holík, Lukáš
4 Jurski, Yan
3 Annichini, Aurore
3 Graf, Susanne
3 Halbwachs, Nicolas
3 Jonsson, Bengt
3 Kaati, Lisa
3 Maler, Oded
3 Mayr, Richard M.
3 Meyer, Antoine
3 Moro, Pierre
3 Qadeer, Shaz
2 Bensalem, Saddek
2 Bozga, Marius
2 Burckhardt, Sebastian
2 Collomb-Annichini, Aurore
2 d’Orso, Julien
2 Iosif, Radu
2 Kumar, K. Narayan
2 Lahiri, Shuvendu Kumar
2 Lakhnech, Yassine
2 Merceron, Agathe
2 Meyer, Roland
2 Musuvathi, Madanlal
2 Ngo, Tuan Phong
2 Nilsson, Marcus
2 Rabinovich, Alexander
2 Rogalewicz, Adam
2 Sagiv, Mooly
2 Saivasan, Prakash
2 Sifakis, Joseph
2 Strejček, Jan
2 Wolper, Pierre
2 Yorsh, Greta
1 Alur, Rajeev
1 Asarin, Eugene
1 Boasson, Luc
1 Cederberg, Jonathan
1 Chin, Wei-Ngan
1 Derevenetc, Egor
1 Finkel, Alain
1 Fratani, Séverine
1 Guerraoui, Rachid
1 Haziza, Frédéric
1 Legay, Axel
1 Loiseaux, Claire
1 Möhlmann, Eike
1 Monniaux, David P.
1 Mukund, Madhavan
1 Müller-Olm, Markus
1 Muscholl, Anca
1 Ozkan, Burcu Kulahcioglu
1 Papers, Tayssir Touili
1 Parlato, Gennaro
1 Ratel, Christophe
1 Raymond, Paula D.
1 Rezine, Ahmed
1 Rodriguez, Carmelo
1 Rossmanith, Peter
1 Schwoon, Stefan
1 Shenoy R., Gautham
1 Sifkis, J.
1 Silva, Alexandra
1 Suresh, S. P.
1 Tasiran, Serdar
1 Tripakis, Stavros
1 Wang, Chao
1 Willems, Bernard
1 Yovine, Sergio

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription