×

zbMATH — the first resource for mathematics

Edit Profile

Attie, Paul C.

Compute Distance To:
Author ID: attie.paul-c
Published as: Attie, Paul; Attie, Paul C.
External Links: MGP
Documents Indexed: 22 Publications since 1993, including 1 Book
all top 5

Co-Authors

8 single-authored
4 Lynch, Nancy Ann
2 Arora, Anish
2 Chockler, Hana
2 Emerson, Ernest Allen
1 Araragi, Tadashi
1 Baranov, Eduard
1 Bliudze, Simon
1 Cortesi, Agostino
1 Das, Champak
1 Evangelist, Michael
1 Francez, Nissim
1 Goldin, Dina Q.
1 Gouda, Mohamed G.
1 Grumberg, Orna
1 Guerraoui, Rachid
1 Jaber, Mohamad Y.
1 Keidar, Idit
1 Kogure, Kiyoshi
1 Kuznetsov, Petr
1 Luchangco, Victor
1 Mano, Ken
1 Mukhopadhyay, Supratik
1 Rajsbaum, Sergio
1 Sifakis, Joseph
1 Smolka, Scott A.
1 Sonderegger, Elaine L.
1 Zuck, Leonore D.
all top 5

Serials

3 Information and Computation
2 Information Processing Letters
2 Distributed Computing
2 Formal Methods in System Design
1 International Journal of Systems Science
1 Theoretical Computer Science
1 Formal Aspects of Computing
1 Lecture Notes in Computer Science

Fields

22 Computer science (68-XX)
1 General and overarching topics; collections (00-XX)
1 Mathematical logic and foundations (03-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription