×

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: 119 Publications since 1992, including 2 Books
all top 5

Co-Authors

6 single-authored
26 Jonsson, Bengt
21 Atig, Mohamed Faouzi
16 Delzanno, Giorgio
15 Rezine, Ahmed
13 Holík, Lukáš
13 Mayr, Richard M.
12 Bouajjani, Ahmed
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 Aronis, Stavros
5 Cederberg, Jonathan
5 Haziza, Frédéric
5 Nylén, Aletta
5 Sagonas, Konstantinos
4 Krčál, Pavel
4 Leonardsson, Carl
4 Rezine, Othmane
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 Aiswarya, Cyriac
2 Baier, Christel
2 Čerāns, Karlis
2 Clemente, Lorenzo
2 Diep, Bui Phi
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 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 Holík, Luká
1 Iyer, Purushothaman
1 Janků, Petr
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 Prasad Sistla, A.
1 Ros, Alberto
1 Salehi, Mehdi Seyed
1 Schnoebelen, Philippe
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

118 Computer science (68-XX)
10 Mathematical logic and foundations (03-XX)
6 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
4 Probability theory and stochastic processes (60-XX)
3 General and overarching topics; collections (00-XX)
1 Operations research, mathematical programming (90-XX)
1 Information and communication theory, circuits (94-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription