Research output per year
Research output per year
Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01/01/2009 → 31/12/2013 |
Collaborative partners
- IT University of Copenhagen (lead)
- Peking University (Project partner)
- Alexandra Instituttet A/S (Project partner)
Funding
- Danish Council for Strategic Research: DKK600,000.00
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems
Wang, W. & Hildebrandt, T., 2014, In: Lecture Notes in Computer Science. 8379, p. 127-146 20 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
-
A verification environment for bigraphs
Perrone, G. D., Debois, S. & Hildebrandt, T., 2013, In: Innovations in Systems and Software Engineering. 9, 2, p. 95-104Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Contracts for Cross-organizational Workflows as Timed Dynamic Condition Response Graphs
Hildebrandt, T., Mukkamala, R. R., Slaats, T. & Zanitti, F., 2013, In: Journal of Logic and Algebraic Programming. 82, p. 164–185Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review