Skip to the content

Christian Johansen

Academic Homepage (under construction)

About
Publications
- Drafts in Press
News
- Opportunities
  - Vacancies
- Accepted Papers
People
Teaching
Academic

Search for:

About
Publications
- Drafts in Press
News
- Opportunities
  - Vacancies
- Accepted Papers
People
Teaching
Academic

Publications

See my

DBLP profile
Google Scholar profile
arXiv profile
NTNU profile

About
Publications
News
People
Teaching
Academic

Search

Recent Posts

Best Artifact Award for security verification
Teaching Assistants needed
Domain Semirings United
Posets with Interfaces
Sculptures in Concurrency

Recent Comments

No comments to show.

Archives

October 2023
August 2021

Categories

Accepted Papers
Drafts in Press
Honors and Awards
News
Opportunities
Vacancies

© 2024 Christian Johansen

Powered by WordPress

To the top ↑ Up ↑