Send email Copy Email Address
Placeholder
PhD Student

Norine Coenen

Reliable Security Guarantees

Email

Phone

Address

Campus E1 1
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Norine Coenen

Year 2021

2021-07-15

Causality-Based Game Solving

Conference / Medium

CAV
Proceedings, Part I33rd International Conference, CAV 2021

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page

Year 2020

2020-09

The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective

Other

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page

Year 2019

2019

The Hierarchy of Hyperlogics

Conference / Medium

LICS
IEEE Symposium on Logic in Computer Science, LICS

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page
2019

Verifying Hyperliveness

Conference / Medium

CAV
Computer Aided Verification - 31th International Conference, CAV

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page

Year 2015

2015

Kollaboratives Text Lesen: Adaptive Text Scroll Geschwindigkeit

Conference / Medium

Mensch und Computer 2015 - Proceedings, Stuttgart, Germany, September 6-9, 2015

Tags
Authors
Download Visit Detail Page
2015

Collaborative Newspaper Demo: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario

Conference / Medium

Proceedings of the 4th International Symposium on Pervasive Displays, PerDis 2015, Saarbrücken, Germany, June 10-12, 2015

Tags
Authors
  • Christian Lander
  • Marco Speicher
  • Denise Paradowski
  • Norine Coenen
  • Sebastian Biewer
  • Antonio Krüger
Download Visit Detail Page
2015

Collaborative Newspaper: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario

Conference / Medium

Proceedings of the 4th International Symposium on Pervasive Displays, PerDis 2015, Saarbrücken, Germany, June 10-12, 2015

Tags
Authors
  • Christian Lander
  • Marco Speicher
  • Denise Paradowski
  • Norine Coenen
  • Sebastian Biewer
  • Antonio Krüger
Download Visit Detail Page