Concepedia

Author

Paul Kröger

Carl von Ossietzky Universität OldenburgORCID

Also Known As

Kröger, Paul, Paul Kröger

17

Publications

57

Citations

4

H-Index

15

Concepts

All Affiliations

Carl von Ossietzky Universität Oldenburg
PK

About

Paul Kröger is an author at Carl von Ossietzky Universität Oldenburg specializing in computer science, verification, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

34

2

Computer Science

2

2

34

3

Arts

1

1

19

4

Classics

1

1

19

5

Computer Engineering

1

1

15

Paul Kröger

×

2

Publications

34

Citations

2

H-Index

YearCitations

In memory of Oded Maler

Martin Fränzle, Mingshuai Chen, Paul Kröger

ACM SIGLOG News

2019

19

A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation

Bernd Finkbeiner, Martin Fränzle, Florian Kohn,

Algorithms

2022

15

Page 1