Concepedia

Mogens Nielsen

MN

40

Publications

2.6K

Citations

25

H-Index

1974

Active since

Affiliations

Aarhus University(Current)

Danish National Research Foundation

Pennsylvania State University

Mogens Nielsen is an author at Aarhus University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationSystems EngineeringSemanticsProgram AnalysisFormal Specification

Publications per year

1974–2024

40

Publications

40

Petri nets, event structures and domains, part I

Mogens Nielsen, Gordon Plotkin, Glynn Winskel · Theoretical Computer Science · 1981 · 912 citations

Petri Net, Engineering, Automated Reasoning +5

Bisimulation from Open Maps

André Joyal, Mogens Nielsen, Glynn Winskel · Information and Computation · 1996 · 269 citations

Cartography, Topological Property, Open Maps +1

A Calculus of Communicating Systems with Label Passing

Uffe Engberg, Mogens Nielsen · DAIMI Report Series · 1986 · 101 citations · Full text

Formal Specification, Engineering, Ccs W.r.t +12

Decidability Issues for Petri Nets

Javier Esparza, Mogens Nielsen · BRICS Report Series · 1994 · 101 citations · Full text

Petri Net, Model Checking Problem, Engineering +13

Temporal concurrent constraint programming: denotation, logic and applications

Mogens Nielsen, Catuscia Palamidessi, Frank Valencia · 2002 · 90 citations

Rows per page

1–5 of 40