×

zbMATH — the first resource for mathematics

Ouaknine, Joel O.

Compute Distance To:
Author ID: ouaknine.joel-o
Published as: Ouaknine, J.; Ouaknine, Joel; Ouaknine, Joel O.; Ouaknine, Joël
External Links: ORCID · dblp
Documents Indexed: 97 Publications since 2002, including 3 Books
all top 5

Co-Authors

1 single-authored
73 Worrell, James B.
8 Haase, Christoph
7 Clarke, Edmund Melson jun.
7 Pouly, Amaury
6 Bouyer, Patricia
6 Chaki, Sagar
6 Kiefer, Stefan
6 Markey, Nicolas
6 Murawski, Andrzej S.
6 Strichman, Ofer
5 Chonev, Ventsislav
5 Mislove, Michael W.
5 Roscoe, Andrew William
5 Sousa-Pinto, Joao
4 Bundala, Daniel
4 Kröning, Daniel
4 Lazić, Ranko
4 Wachter, Björn
3 Abdulla, Parosh Aziz
3 Fijalkow, Nathanaël
3 Ho, Hsi-Ming
3 Lechner, Antonia
3 Palikareva, Hristina
3 Sharygina, Natasha
2 Antonopoulos, Timos
2 Brihaye, Thomas
2 Deneux, Johann
2 Doyen, Laurent
2 Geeraerts, Gilles
2 Göller, Stefan
2 Hunter, Paul
2 Mayr, Richard M.
2 Newcomb, Tom
2 Ohlmann, Pierre
2 Potapov, Igor
2 Quaas, Karin
2 Rabinovich, Alexander
2 Raskin, Jean-François
2 Schnoebelen, Philippe
2 Seshia, Sanjit Arunkumar
2 Sinha, Nishant
2 van Breugel, Franck
2 Yorav, Karen
1 Adams, Sara
1 Akshay, S.
1 Almagor, Shaull
1 Arends, Felix
1 Brady, Bryan A.
1 Bruna, Maria
1 Bryant, Randal E.
1 Cook, Byron
1 Drucker, Nir
1 Fahrenberg, Uli
1 Fehnker, Ansgar
1 Galby, Esther
1 Gorogiannis, Nikos
1 Grigore, Radu
1 Groce, Alex
1 Grumberg, Orna
1 Han, Zhi
1 Hsu, Justin
1 Jenkins, Mark D.
1 Kanovich, Max I.
1 Kreutzer, Stephan
1 Krogh, Bruce H.
1 Laroussinie, François
1 Larsen, Kim Guldstrand
1 Lowe, Gavin
1 Parkinson, Matthew J.
1 Pavlović, Duško
1 Penn, Michal
1 Silva, Alexandra
1 Stokely, Murray
1 Stursberg, Olaf
1 Theobald, Michael
1 Touili, Tayssir
1 Vaandrager, Frits W.
1 van Heerdt, Gerco
1 Veith, Helmut
1 Wahl, Thomas
1 Wampler, Charles W. II
1 Zhang, Lijun

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription