×

zbMATH — the first resource for mathematics

Edit Profile

Abdulla, Parosh Aziz

Compute Distance To:
Author ID: abdulla.parosh-aziz
Published as: Abdulla, P. A.; Abdulla, Parosh; Abdulla, Parosh A.; Abdulla, Parosh Aziz; Aziz Abdulla, Parosh
Documents Indexed: 114 Publications since 1992, including 2 Books
all top 5

Co-Authors

6 single-authored
25 Jonsson, Bengt
18 Atig, Mohamed Faouzi
16 Delzanno, Giorgio
15 Rezine, Ahmed
13 Mayr, Richard M.
12 Bouajjani, Ahmed
12 Holík, Lukáš
12 Vojnar, Tomáš
8 d’Orso, Julien
7 Kaati, Lisa
6 Chen, Yu-Fang
6 Deneux, Johann
6 Henda, Noomene Ben
6 Mahata, Pritha
6 Nilsson, Marcus
5 Cederberg, Jonathan
5 Nylén, Aletta
4 Aronis, Stavros
4 Haziza, Frédéric
4 Krčál, Pavel
4 Leonardsson, Carl
4 Rezine, Othmane
4 Sagonas, Konstantinos
4 Sangnier, Arnaud
4 Stenman, Jari
4 Van Begin, Laurent
4 Yi, Wang
3 Iyer, S. Purushothaman
3 Ouaknine, Joel O.
3 Saksena, Mayank
3 Sandberg, Sven
3 Trinh, Cong Quy
3 Worrell, James B.
2 Baier, Christel
2 Čerāns, Karlis
2 Clemente, Lorenzo
2 Högberg, Johanna
2 Hong, Chih-Duo
2 Legay, Axel
2 Lengál, Ondřej
2 Ngo, Tuan Phong
2 Potapov, Igor
2 Quaas, Karin
2 Rabinovich, Alexander
2 Sproston, Jeremy
2 Traverso, Riccardo
1 Aiswarya, Cyriac
1 Annichini, Aurore
1 Bensalem, Saddek
1 Bertrand, Nathalie
1 Bjesse, Per
1 Boasson, Luc
1 Ciobanu, Radu
1 Collomb-Annichini, Aurore
1 de Alfaro, Luca
1 Demri, Stéphane P.
1 Eén, Niklas
1 Finkel, Alain
1 Habermehl, Peter
1 Hofman, Piotr
1 Iyer, Purushothaman
1 Kara, Ahmet
1 Kaxiras, Stefanos
1 Krishna, Shankara Narayanan
1 Kumar, K. Narayan
1 Lakhnech, Yassine
1 Leino, K. Rustan M.
1 Leroux, Jérôme
1 Meyer, Roland
1 Podelski, Andreas
1 Ros, Alberto
1 Salehi, Mehdi Seyed
1 Schnoebelen, Philippe
1 Sistla, Aravinda Prasad
1 Talupur, Muralidhar
1 Totzke, Patrick
1 Tsay, Yih-Kuen
1 Zhu, Yunyun
all top 5

Serials

7 Logical Methods in Computer Science
6 Information and Computation
5 International Journal of Foundations of Computer Science
4 Theoretical Computer Science
4 Formal Methods in System Design
2 Acta Informatica
2 Fundamenta Informaticae
2 Lecture Notes in Computer Science
1 Formal Aspects of Computing
1 Journal of Logic and Computation
1 Nordic Journal of Computing
1 The Bulletin of Symbolic Logic
1 Journal of the ACM
1 The Journal of Logic and Algebraic Programming
all top 5

Fields

113 Computer science (68-XX)
11 Mathematical logic and foundations (03-XX)
5 Game theory, economics, social and behavioral sciences (91-XX)
4 Probability theory and stochastic processes (60-XX)
3 General mathematics (00-XX)
1 Operations research, mathematical programming (90-XX)
1 Information and communication, circuits (94-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription