Asger Eir

Construction informatics - Issues in engineering, computer science and ontology

Dines Bjørner, Per Galle, Asger Eir, 2004 .

Some Clarifying Observations in the Context of Software Engineering

Dines Bjørner, Asger Eir, D. Bjørner, 2008 .

Relating Domain Concepts Intensionally by Ordering Connections

Asger Eir, 2007, Formal Methods and Hybrid Real-Time Systems.

Compositionality: Ontology and Mereology of Domains

Dines Bjørner, Asger Eir, D. Bjørner, 2010, Concurrency, Compositionality, and Correctness.