Norwegian version of this page

Analytical Solutions and Reasoning (ASR)

About the group

The members of the ASR group work on these three research areas:


Modeling

Ontologies, Active Objects, Rewriting Logic

Read more


Analysis

Simulation, Verification, Theorem Proving, Model Checking, Static Analysis

Read more


Model-driven Information Systems

Semantic Technologies, Data Integration, Data Access, Databases

Read more

Publikasjoner

See here for a list of publications (co-) authored by members of the group.

Published July 10, 2011 11:25 AM - Last modified Jan. 30, 2024 11:57 AM

Contact

Group leader: Martin Giese

Participants

Detailed list of participants