SE
80
Publications
3,234
Citations
22
h-index
33
i10-index
Loading papers...
Search by keywords
Filter by Type
- Book Chapter (46)
- Article (33)
- Book (1)
Filter by Open Access Type
- Open Access (25)
- Closed Access (55)
Filter by Authors
- Steven Eker (80)
- José Meseguer (49)
- Patrick Lincoln (43)
- Francisco Durán (43)
- Narciso Martı́-Oliet (41)
Filter by Topics
- Logic, programming, and type systems (46)
- Formal Methods in Verification (30)
- Logic, Reasoning, and Knowledge (12)
- Model-Driven Software Engineering Techniques (9)
- Natural Language Processing Techniques (7)