FA
323
Publications
6,129
Citations
35
h-index
114
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (224)
- Book Chapter (84)
- Book (8)
- Preprint (6)
- Other (1)
Filter by Open Access Type
- Open Access (151)
- Closed Access (172)
Filter by Authors
- Farhad Arbab (323)
- Marcello Bonsangue (26)
- Marjan Sirjani (25)
- Carolyn Talcott (20)
- Sung-Shik T. Q. Jongmans (20)
Filter by Topics
- Advanced Software Engineering Methodologies (91)
- Logic, programming, and type systems (84)
- Service-Oriented Architecture and Web Services (84)
- Formal Methods in Verification (81)
- Distributed systems and fault tolerance (65)