AȘ
73
Publications
5,724
Citations
21
h-index
29
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (62)
- Book Chapter (5)
- Preprint (4)
- Letter (1)
- Review (1)
Filter by Open Access Type
- Open Access (32)
- Closed Access (41)
Filter by Authors
- Andrei Ștefănescu (73)
- Grigore Roşu (20)
- Ioan Lascăr (8)
- Dragoş Zamfirescu (8)
- Ştefan Ciobâcă (6)
Filter by Topics
- Logic, programming, and type systems (22)
- Formal Methods in Verification (19)
- Security and Verification in Computing (18)
- Distributed systems and fault tolerance (7)
- Organ and Tissue Transplantation Research (6)