6
Publications
178
Citations
6
H-Index
2003
Active since
Mikkel Nygaard is an author at Aarhus University specializing in formal methods, computer science, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceSyntaxLanguageSemanticsProcess ControlParallel ComputingAutomated ReasoningFormal Verification
Publications per year
2003–2022
6
6
Morten Riemenschneider, Lars G. Hvid, Steffen Ringgaard et al. · Multiple Sclerosis Journal · 2022 · 45 citations
Mikkel Nygaard, Glynn Winskel · Theoretical Computer Science · 2004 · 38 citations
Linearity in process languages
Mikkel Nygaard, Glynn Winskel · 2003 · 15 citations
Rows per page
1–5 of 6