• Asmussens Allé, 303B, 043

    2800 Kgs. Lyngby

    Denmark

1965 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1980 2019

Domain analysis and description principles, techniques, and modelling languages

Bjørner, D., 1 Apr 2019, In : ACM Transactions on Software Engineering and Methodology. 28, 2, 67 p., 8.

Research output: Contribution to journalJournal articleResearchpeer-review

66 Downloads (Pure)

Domain analysis & description: The implicit and explicit semantics problem

Bjørner, D., 2018, Proceedings IMPEX 2017 and FM&MDD 2017. Vol. 271. p. 1-23 23 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Domain science and engineering a review of 10 years work and a laudatio the ZCC fest, 20 October 2017, Changsha, China

Bjørner, D., 2018, Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday. C. J., J. W. & N. Z. (eds.). Springer, p. 61-84 24 p. (Lecture Notes in Computer Science, Vol. 11180).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsCommunication

17 Downloads (Pure)

To every manifest domain a CSP expression – a rôle for mereology in computer science

Bjørner, D., 2018, In : Journal of Logical and Algebraic Methods in Programming. 94, p. 91-108

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
174 Downloads (Pure)

Manifest domains:analysis and description

Bjørner, D., 1 Mar 2017, In : Formal Aspects of Computing. 29, 2, p. 175-225 51 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Projects 1965 2007

Geodata-Infrastruktur

Christensen, J. V., Nilsson, J. F., Frederiksen, P., Jacobi, O. I., Villadsen, J., Andreasen, T., Östman, A. & Bjørner, D.

Ansat eksternt

01/02/200201/08/2007

Project: PhD

Design og Anvendelse af en byggeontologi - Design and Application of a civil engineering Ontology

Eir, A., Galle, P., Hansen, B. S., Pedersen, S. A., Turk, Z. & Bjørner, D.

DTU stipendium

01/02/200105/07/2004

Project: PhD

AMORE

Bjørner, D.

Unknown

01/04/200031/03/2003

Project: Research

FMERail (ESPRIT Project EP26538)

Hansen, B. S., Bjørner, D. & Haxthausen, A. E.

Overhead/overskud

01/01/199830/09/1999

Project: Research

RaCoSy: Railway Computing Systems

Bjørner, D.

02/09/199701/09/2000

Project: Research