559
Publications
25,928
Citations
66
h-index
259
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (335)
- Book Chapter (113)
- Preprint (51)
- Report (33)
- Book (13)
Filter by Open Access Type
- Open Access (238)
- Closed Access (321)
Filter by Authors
- Nancy Lynch (559)
- Roberto Segala (49)
- Frits Vaandrager (38)
- Dilsun Kaynar (38)
- Calvin Newport (31)
Filter by Topics
- Distributed systems and fault tolerance (234)
- Formal Methods in Verification (132)
- Petri Nets in System Modeling (87)
- Optimization and Search Problems (84)
- Real-Time Systems Scheduling (55)