OM
193
Publications
12,620
Citations
53
h-index
114
i10-index
Loading papers...
Search by keywords
Filter by Type
- Book Chapter (92)
- Article (84)
- Preprint (10)
- Book (6)
- Editorial (1)
Filter by Open Access Type
- Open Access (53)
- Closed Access (140)
Filter by Authors
- Oded Maler (193)
- Eugène Asarin (35)
- Amir Pnueli (28)
- Dejan Ničković (22)
- Thao Dang (18)
Filter by Topics
- Formal Methods in Verification (116)
- Embedded Systems Design Techniques (42)
- Logic, programming, and type systems (38)
- Petri Nets in System Modeling (36)
- Real-Time Systems Scheduling (30)