!!Research output per year
!!Research output per year
Projektdetaljer
| Status | Afsluttet |
|---|---|
| Effektiv start/slut dato | 01/01/2009 → 31/12/2013 |
Samarbejdspartnere
- IT-Universitetet i København (leder)
- Peking University (Projektpartner)
- Alexandra Instituttet A/S (Projektpartner)
Finansiering
- Danish Council for Strategic Research: 600.000,00 kr.
Fingerprint
Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.
-
Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems
Wang, W. & Hildebrandt, T., 2014, I: Lecture Notes in Computer Science. 8379, s. 127-146 20 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
-
A verification environment for bigraphs
Bidragets oversatte titel :Et verifikationsmiljø for bigrafer Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Contracts for Cross-organizational Workflows as Timed Dynamic Condition Response Graphs
Bidragets oversatte titel :Kontrakter for tværorganisatoriske arbejdsgange som Timed Dynamic Condition Response Graphs Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review