FD
202
Publications
3,671
Citations
28
h-index
68
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (113)
- Book Chapter (77)
- Preprint (10)
- Book (1)
- Paratext (1)
Filter by Open Access Type
- Open Access (73)
- Closed Access (129)
Filter by Authors
- Francisco Durán (202)
- José Meseguer (58)
- Steven Eker (43)
- Narciso Martı́-Oliet (40)
- Carolyn Talcott (38)
Filter by Topics
- Logic, programming, and type systems (71)
- Formal Methods in Verification (65)
- Advanced Software Engineering Methodologies (48)
- Service-Oriented Architecture and Web Services (44)
- Model-Driven Software Engineering Techniques (44)